Trace number 42588

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
SAT4JPSEUDO 2006.2 HeuristicsSAT (TO)-69505 1800.77 1759.74

General information on the benchmark

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

Verifier Data (download as text)

OK	-69505

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node9/watcher-42588-1149352133 -o ROOT/results/node9/solver-42588-1149352133 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node9/42588-1149352133/instance-42588-1149352133.opb 681599834 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.98 0.99 3/64 22008
/proc/meminfo: memFree=1627632/2055920 swapFree=4180864/4192956
[pid=22008] ppid=22006 vsize=168 CPUtime=0
/proc/22008/stat : 22008 (java) R 22006 22008 21962 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 200875653 172032 23 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 8663844 0 0 4096 0 0 0 0 17 1 0 0
/proc/22008/statm: 54 30 25 14 0 2 0

[startup+10.0028 s]
/proc/loadavg: 0.93 0.98 0.99 2/76 22020
/proc/meminfo: memFree=1439456/2055920 swapFree=4180864/4192956
[pid=22008] ppid=22006 vsize=1711088 CPUtime=10.98
/proc/22008/stat : 22008 (java) R 22006 22008 21962 0 -1 0 51919 0 1 0 1073 25 0 0 25 0 13 0 200875653 1752154112 48836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071341149 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22008/statm: 427772 48836 1907 14 0 414519 0
[pid=22008/tid=22009] ppid=22006 vsize=1711088 CPUtime=0.14
/proc/22008/task/22009/stat : 22009 (java) S 22006 22008 21962 0 -1 64 3399 0 0 0 13 1 0 0 17 0 13 0 200875657 1752154112 48836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22010] ppid=22006 vsize=1711088 CPUtime=0.14
/proc/22008/task/22010/stat : 22010 (java) S 22006 22008 21962 0 -1 64 3672 0 0 0 13 1 0 0 16 0 13 0 200875657 1752154112 48836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22011] ppid=22006 vsize=1711088 CPUtime=0
/proc/22008/task/22011/stat : 22011 (java) S 22006 22008 21962 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 200875659 1752154112 48836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22012] ppid=22006 vsize=1711088 CPUtime=0
/proc/22008/task/22012/stat : 22012 (java) S 22006 22008 21962 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200875660 1752154112 48836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22013] ppid=22006 vsize=1711088 CPUtime=0
/proc/22008/task/22013/stat : 22013 (java) S 22006 22008 21962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200875660 1752154112 48836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22014] ppid=22006 vsize=1711088 CPUtime=0
/proc/22008/task/22014/stat : 22014 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200875663 1752154112 48836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22015] ppid=22006 vsize=1711088 CPUtime=0
/proc/22008/task/22015/stat : 22015 (java) S 22006 22008 21962 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200875663 1752154112 48836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22016] ppid=22006 vsize=1711088 CPUtime=0.66
/proc/22008/task/22016/stat : 22016 (java) S 22006 22008 21962 0 -1 64 1077 0 0 0 66 0 0 0 16 0 13 0 200875663 1752154112 48836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22017] ppid=22006 vsize=1711088 CPUtime=0.59
/proc/22008/task/22017/stat : 22017 (java) S 22006 22008 21962 0 -1 64 776 0 0 0 59 0 0 0 16 0 13 0 200875663 1752154112 48836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22018] ppid=22006 vsize=1711088 CPUtime=0
/proc/22008/task/22018/stat : 22018 (java) S 22006 22008 21962 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200875663 1752154112 48836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22019] ppid=22006 vsize=1711088 CPUtime=0
/proc/22008/task/22019/stat : 22019 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200875663 1752154112 48836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22020] ppid=22006 vsize=1711088 CPUtime=0
/proc/22008/task/22020/stat : 22020 (java) S 22006 22008 21962 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 200875809 1752154112 48836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.98
Current children cumulated vsize (Kb) 1711088

[startup+20.0099 s]
/proc/loadavg: 0.94 0.98 0.99 2/76 22020
/proc/meminfo: memFree=1453792/2055920 swapFree=4180864/4192956
[pid=22008] ppid=22006 vsize=1710992 CPUtime=21.02
/proc/22008/stat : 22008 (java) R 22006 22008 21962 0 -1 0 52908 0 1 0 2076 26 0 0 23 0 13 0 200875653 1752055808 45260 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071568488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22008/statm: 427748 45260 1909 14 0 414495 0
[pid=22008/tid=22009] ppid=22006 vsize=1710992 CPUtime=0.2
/proc/22008/task/22009/stat : 22009 (java) S 22006 22008 21962 0 -1 64 3811 0 0 0 18 2 0 0 16 0 13 0 200875657 1752055808 45260 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22010] ppid=22006 vsize=1710992 CPUtime=0.19
/proc/22008/task/22010/stat : 22010 (java) S 22006 22008 21962 0 -1 64 4194 0 0 0 18 1 0 0 16 0 13 0 200875657 1752055808 45260 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22011] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22011/stat : 22011 (java) S 22006 22008 21962 0 -1 64 44 0 0 0 0 0 0 0 16 0 13 0 200875659 1752055808 45260 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22012] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22012/stat : 22012 (java) S 22006 22008 21962 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200875660 1752055808 45260 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22013] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22013/stat : 22013 (java) S 22006 22008 21962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200875660 1752055808 45260 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22014] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22014/stat : 22014 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200875663 1752055808 45260 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22015] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22015/stat : 22015 (java) S 22006 22008 21962 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200875663 1752055808 45260 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22016] ppid=22006 vsize=1710992 CPUtime=0.67
/proc/22008/task/22016/stat : 22016 (java) S 22006 22008 21962 0 -1 64 1080 0 0 0 67 0 0 0 16 0 13 0 200875663 1752055808 45260 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22017] ppid=22006 vsize=1710992 CPUtime=0.6
/proc/22008/task/22017/stat : 22017 (java) S 22006 22008 21962 0 -1 64 776 0 0 0 60 0 0 0 16 0 13 0 200875663 1752055808 45260 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22018] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22018/stat : 22018 (java) S 22006 22008 21962 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200875663 1752055808 45260 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22019] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22019/stat : 22019 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200875663 1752055808 45260 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22020] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22020/stat : 22020 (java) S 22006 22008 21962 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 200875809 1752055808 45260 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.02
Current children cumulated vsize (Kb) 1710992

[startup+30.0171 s]
/proc/loadavg: 0.95 0.98 0.99 2/76 22020
/proc/meminfo: memFree=1416288/2055920 swapFree=4180864/4192956
[pid=22008] ppid=22006 vsize=1710992 CPUtime=31.23
/proc/22008/stat : 22008 (java) R 22006 22008 21962 0 -1 0 64512 0 1 0 3091 32 0 0 25 0 13 0 200875653 1752055808 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071568559 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22008/statm: 427748 54618 1909 14 0 414495 0
[pid=22008/tid=22009] ppid=22006 vsize=1710992 CPUtime=0.33
/proc/22008/task/22009/stat : 22009 (java) S 22006 22008 21962 0 -1 64 6579 0 0 0 29 4 0 0 16 0 13 0 200875657 1752055808 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22010] ppid=22006 vsize=1710992 CPUtime=0.34
/proc/22008/task/22010/stat : 22010 (java) S 22006 22008 21962 0 -1 64 7605 0 0 0 31 3 0 0 15 0 13 0 200875657 1752055808 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22011] ppid=22006 vsize=1710992 CPUtime=0.01
/proc/22008/task/22011/stat : 22011 (java) S 22006 22008 21962 0 -1 64 46 0 0 0 1 0 0 0 16 0 13 0 200875659 1752055808 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22012] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22012/stat : 22012 (java) S 22006 22008 21962 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200875660 1752055808 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22013] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22013/stat : 22013 (java) S 22006 22008 21962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200875660 1752055808 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22014] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22014/stat : 22014 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200875663 1752055808 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22015] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22015/stat : 22015 (java) S 22006 22008 21962 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 200875663 1752055808 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22016] ppid=22006 vsize=1710992 CPUtime=0.72
/proc/22008/task/22016/stat : 22016 (java) S 22006 22008 21962 0 -1 64 1085 0 0 0 72 0 0 0 17 0 13 0 200875663 1752055808 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22017] ppid=22006 vsize=1710992 CPUtime=0.62
/proc/22008/task/22017/stat : 22017 (java) S 22006 22008 21962 0 -1 64 777 0 0 0 62 0 0 0 16 0 13 0 200875663 1752055808 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22018] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22018/stat : 22018 (java) S 22006 22008 21962 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200875663 1752055808 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22019] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22019/stat : 22019 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200875663 1752055808 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22020] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22020/stat : 22020 (java) S 22006 22008 21962 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 200875809 1752055808 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.23
Current children cumulated vsize (Kb) 1710992

[startup+40.0242 s]
/proc/loadavg: 0.95 0.98 0.99 2/76 22021
/proc/meminfo: memFree=1405336/2055920 swapFree=4180864/4192956
[pid=22008] ppid=22006 vsize=1710992 CPUtime=41.43
/proc/22008/stat : 22008 (java) R 22006 22008 21962 0 -1 0 68495 0 1 0 4109 34 0 0 25 0 13 0 200875653 1752055808 57370 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071445895 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22008/statm: 427748 57370 1911 14 0 414495 0
[pid=22008/tid=22009] ppid=22006 vsize=1710992 CPUtime=0.46
/proc/22008/task/22009/stat : 22009 (java) S 22006 22008 21962 0 -1 64 8340 0 0 0 42 4 0 0 16 0 13 0 200875657 1752055808 57370 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22010] ppid=22006 vsize=1710992 CPUtime=0.48
/proc/22008/task/22010/stat : 22010 (java) S 22006 22008 21962 0 -1 64 9798 0 0 0 44 4 0 0 16 0 13 0 200875657 1752055808 57370 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22011] ppid=22006 vsize=1710992 CPUtime=0.01
/proc/22008/task/22011/stat : 22011 (java) S 22006 22008 21962 0 -1 64 47 0 0 0 1 0 0 0 16 0 13 0 200875659 1752055808 57370 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22012] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22012/stat : 22012 (java) S 22006 22008 21962 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200875660 1752055808 57370 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22013] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22013/stat : 22013 (java) S 22006 22008 21962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200875660 1752055808 57370 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22014] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22014/stat : 22014 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200875663 1752055808 57370 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22015] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22015/stat : 22015 (java) S 22006 22008 21962 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200875663 1752055808 57370 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22016] ppid=22006 vsize=1710992 CPUtime=0.75
/proc/22008/task/22016/stat : 22016 (java) S 22006 22008 21962 0 -1 64 1086 0 0 0 75 0 0 0 16 0 13 0 200875663 1752055808 57370 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22017] ppid=22006 vsize=1710992 CPUtime=0.68
/proc/22008/task/22017/stat : 22017 (java) S 22006 22008 21962 0 -1 64 781 0 0 0 68 0 0 0 17 0 13 0 200875663 1752055808 57370 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22018] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22018/stat : 22018 (java) S 22006 22008 21962 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200875663 1752055808 57370 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22019] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22019/stat : 22019 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200875663 1752055808 57370 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22021] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22021/stat : 22021 (java) S 22006 22008 21962 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200879147 1752055808 57370 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.43
Current children cumulated vsize (Kb) 1710992

[startup+50.0314 s]
/proc/loadavg: 0.96 0.98 0.99 2/76 22021
/proc/meminfo: memFree=1409624/2055920 swapFree=4180864/4192956
[pid=22008] ppid=22006 vsize=1710992 CPUtime=51.51
/proc/22008/stat : 22008 (java) R 22006 22008 21962 0 -1 0 70126 0 1 0 5115 36 0 0 25 0 13 0 200875653 1752055808 56247 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071556727 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22008/statm: 427748 56247 1911 14 0 414495 0
[pid=22008/tid=22009] ppid=22006 vsize=1710992 CPUtime=0.56
/proc/22008/task/22009/stat : 22009 (java) S 22006 22008 21962 0 -1 64 8880 0 0 0 51 5 0 0 16 0 13 0 200875657 1752055808 56247 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22010] ppid=22006 vsize=1710992 CPUtime=0.55
/proc/22008/task/22010/stat : 22010 (java) S 22006 22008 21962 0 -1 64 10583 0 0 0 50 5 0 0 16 0 13 0 200875657 1752055808 56247 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22011] ppid=22006 vsize=1710992 CPUtime=0.03
/proc/22008/task/22011/stat : 22011 (java) S 22006 22008 21962 0 -1 64 52 0 0 0 2 1 0 0 16 0 13 0 200875659 1752055808 56247 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22012] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22012/stat : 22012 (java) S 22006 22008 21962 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200875660 1752055808 56247 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22013] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22013/stat : 22013 (java) S 22006 22008 21962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200875660 1752055808 56247 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22014] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22014/stat : 22014 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200875663 1752055808 56247 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22015] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22015/stat : 22015 (java) S 22006 22008 21962 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200875663 1752055808 56247 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22016] ppid=22006 vsize=1710992 CPUtime=0.75
/proc/22008/task/22016/stat : 22016 (java) S 22006 22008 21962 0 -1 64 1086 0 0 0 75 0 0 0 16 0 13 0 200875663 1752055808 56247 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22017] ppid=22006 vsize=1710992 CPUtime=0.68
/proc/22008/task/22017/stat : 22017 (java) S 22006 22008 21962 0 -1 64 781 0 0 0 68 0 0 0 17 0 13 0 200875663 1752055808 56247 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22018] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22018/stat : 22018 (java) S 22006 22008 21962 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200875663 1752055808 56247 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22019] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22019/stat : 22019 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200875663 1752055808 56247 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22021] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22021/stat : 22021 (java) S 22006 22008 21962 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200879147 1752055808 56247 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.51
Current children cumulated vsize (Kb) 1710992

[startup+60.0385 s]
/proc/loadavg: 0.97 0.98 0.99 2/76 22021
/proc/meminfo: memFree=1389656/2055920 swapFree=4180864/4192956
[pid=22008] ppid=22006 vsize=1710992 CPUtime=61.66
/proc/22008/stat : 22008 (java) R 22006 22008 21962 0 -1 0 76929 0 1 0 6126 40 0 0 25 0 13 0 200875653 1752055808 61235 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071427779 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22008/statm: 427748 61235 1911 14 0 414495 0
[pid=22008/tid=22009] ppid=22006 vsize=1710992 CPUtime=0.71
/proc/22008/task/22009/stat : 22009 (java) S 22006 22008 21962 0 -1 64 10994 0 0 0 65 6 0 0 16 0 13 0 200875657 1752055808 61235 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22010] ppid=22006 vsize=1710992 CPUtime=0.7
/proc/22008/task/22010/stat : 22010 (java) S 22006 22008 21962 0 -1 64 12835 0 0 0 64 6 0 0 15 0 13 0 200875657 1752055808 61235 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22011] ppid=22006 vsize=1710992 CPUtime=0.03
/proc/22008/task/22011/stat : 22011 (java) S 22006 22008 21962 0 -1 64 59 0 0 0 2 1 0 0 16 0 13 0 200875659 1752055808 61235 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22012] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22012/stat : 22012 (java) S 22006 22008 21962 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200875660 1752055808 61235 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22013] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22013/stat : 22013 (java) S 22006 22008 21962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200875660 1752055808 61235 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22014] ppid=22006 vsize=1710992 CPUtime=0
/proc/22008/task/22014/stat : 22014 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200875663 1752055808 61235 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=22008/tid=22012] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22012/stat : 22012 (java) S 22006 22008 21962 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200875660 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22013] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22013/stat : 22013 (java) S 22006 22008 21962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200875660 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22014] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22014/stat : 22014 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22015] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22015/stat : 22015 (java) S 22006 22008 21962 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22016] ppid=22006 vsize=1711356 CPUtime=1.04
/proc/22008/task/22016/stat : 22016 (java) S 22006 22008 21962 0 -1 64 1503 0 0 0 104 0 0 0 17 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22017] ppid=22006 vsize=1711356 CPUtime=1.05
/proc/22008/task/22017/stat : 22017 (java) S 22006 22008 21962 0 -1 64 1322 0 0 0 104 1 0 0 17 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22018] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22018/stat : 22018 (java) S 22006 22008 21962 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22019] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22019/stat : 22019 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22032] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22032/stat : 22032 (java) S 22006 22008 21962 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200958468 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1796.1
Current children cumulated vsize (Kb) 1711356

[startup+1756.39 s]
/proc/loadavg: 1.07 1.04 1.01 2/76 22032
/proc/meminfo: memFree=808016/2055920 swapFree=4180864/4192956
[pid=22008] ppid=22006 vsize=1711356 CPUtime=1797.16
/proc/22008/stat : 22008 (java) R 22006 22008 21962 0 -1 0 252130 0 1 0 179458 258 0 0 18 0 13 0 200875653 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071445869 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22008/statm: 427839 206092 1912 14 0 414586 0
[pid=22008/tid=22009] ppid=22006 vsize=1711356 CPUtime=40.3
/proc/22008/task/22009/stat : 22009 (java) S 22006 22008 21962 0 -1 64 95499 0 0 0 3933 97 0 0 16 0 13 0 200875657 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22010] ppid=22006 vsize=1711356 CPUtime=40.33
/proc/22008/task/22010/stat : 22010 (java) S 22006 22008 21962 0 -1 64 98570 0 0 0 3942 91 0 0 16 0 13 0 200875657 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22011] ppid=22006 vsize=1711356 CPUtime=0.69
/proc/22008/task/22011/stat : 22011 (java) S 22006 22008 21962 0 -1 64 69 0 0 0 40 29 0 0 16 0 13 0 200875659 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22012] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22012/stat : 22012 (java) S 22006 22008 21962 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200875660 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22013] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22013/stat : 22013 (java) S 22006 22008 21962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200875660 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22014] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22014/stat : 22014 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22015] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22015/stat : 22015 (java) S 22006 22008 21962 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22016] ppid=22006 vsize=1711356 CPUtime=1.04
/proc/22008/task/22016/stat : 22016 (java) S 22006 22008 21962 0 -1 64 1503 0 0 0 104 0 0 0 17 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22017] ppid=22006 vsize=1711356 CPUtime=1.05
/proc/22008/task/22017/stat : 22017 (java) S 22006 22008 21962 0 -1 64 1322 0 0 0 104 1 0 0 17 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22018] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22018/stat : 22018 (java) S 22006 22008 21962 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22019] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22019/stat : 22019 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22032] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22032/stat : 22032 (java) S 22006 22008 21962 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200958468 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1797.16
Current children cumulated vsize (Kb) 1711356

[startup+1757.4 s]
/proc/loadavg: 1.06 1.04 1.01 2/76 22032
/proc/meminfo: memFree=807952/2055920 swapFree=4180864/4192956
[pid=22008] ppid=22006 vsize=1711356 CPUtime=1798.18
/proc/22008/stat : 22008 (java) R 22006 22008 21962 0 -1 0 252131 0 1 0 179560 258 0 0 24 0 13 0 200875653 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071567263 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22008/statm: 427839 206092 1912 14 0 414586 0
[pid=22008/tid=22009] ppid=22006 vsize=1711356 CPUtime=40.32
/proc/22008/task/22009/stat : 22009 (java) S 22006 22008 21962 0 -1 64 95499 0 0 0 3935 97 0 0 16 0 13 0 200875657 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22010] ppid=22006 vsize=1711356 CPUtime=40.35
/proc/22008/task/22010/stat : 22010 (java) S 22006 22008 21962 0 -1 64 98570 0 0 0 3944 91 0 0 16 0 13 0 200875657 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22011] ppid=22006 vsize=1711356 CPUtime=0.69
/proc/22008/task/22011/stat : 22011 (java) S 22006 22008 21962 0 -1 64 69 0 0 0 40 29 0 0 15 0 13 0 200875659 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22012] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22012/stat : 22012 (java) S 22006 22008 21962 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200875660 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22013] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22013/stat : 22013 (java) S 22006 22008 21962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200875660 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22014] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22014/stat : 22014 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22015] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22015/stat : 22015 (java) S 22006 22008 21962 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22016] ppid=22006 vsize=1711356 CPUtime=1.04
/proc/22008/task/22016/stat : 22016 (java) S 22006 22008 21962 0 -1 64 1503 0 0 0 104 0 0 0 17 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22017] ppid=22006 vsize=1711356 CPUtime=1.05
/proc/22008/task/22017/stat : 22017 (java) S 22006 22008 21962 0 -1 64 1322 0 0 0 104 1 0 0 17 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22018] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22018/stat : 22018 (java) S 22006 22008 21962 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22019] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22019/stat : 22019 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200875663 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22032] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22032/stat : 22032 (java) S 22006 22008 21962 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200958468 1752428544 206092 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1798.18
Current children cumulated vsize (Kb) 1711356

[startup+1758.41 s]
/proc/loadavg: 1.06 1.04 1.01 2/76 22032
/proc/meminfo: memFree=807568/2055920 swapFree=4180864/4192956
[pid=22008] ppid=22006 vsize=1711356 CPUtime=1799.26
/proc/22008/stat : 22008 (java) R 22006 22008 21962 0 -1 0 252243 0 1 0 179668 258 0 0 25 0 13 0 200875653 1752428544 206202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071562751 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22008/statm: 427839 206202 1912 14 0 414586 0
[pid=22008/tid=22009] ppid=22006 vsize=1711356 CPUtime=40.39
/proc/22008/task/22009/stat : 22009 (java) S 22006 22008 21962 0 -1 64 95594 0 0 0 3942 97 0 0 16 0 13 0 200875657 1752428544 206202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22010] ppid=22006 vsize=1711356 CPUtime=40.42
/proc/22008/task/22010/stat : 22010 (java) S 22006 22008 21962 0 -1 64 98585 0 0 0 3951 91 0 0 17 0 13 0 200875657 1752428544 206202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22011] ppid=22006 vsize=1711356 CPUtime=0.69
/proc/22008/task/22011/stat : 22011 (java) S 22006 22008 21962 0 -1 64 69 0 0 0 40 29 0 0 15 0 13 0 200875659 1752428544 206202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22012] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22012/stat : 22012 (java) S 22006 22008 21962 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200875660 1752428544 206202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22013] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22013/stat : 22013 (java) S 22006 22008 21962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200875660 1752428544 206202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22014] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22014/stat : 22014 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200875663 1752428544 206202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22015] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22015/stat : 22015 (java) S 22006 22008 21962 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 200875663 1752428544 206202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22016] ppid=22006 vsize=1711356 CPUtime=1.04
/proc/22008/task/22016/stat : 22016 (java) S 22006 22008 21962 0 -1 64 1503 0 0 0 104 0 0 0 17 0 13 0 200875663 1752428544 206202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22017] ppid=22006 vsize=1711356 CPUtime=1.05
/proc/22008/task/22017/stat : 22017 (java) S 22006 22008 21962 0 -1 64 1322 0 0 0 104 1 0 0 17 0 13 0 200875663 1752428544 206202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22018] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22018/stat : 22018 (java) S 22006 22008 21962 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200875663 1752428544 206202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22019] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22019/stat : 22019 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200875663 1752428544 206202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22032] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22032/stat : 22032 (java) S 22006 22008 21962 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200958468 1752428544 206202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1799.26
Current children cumulated vsize (Kb) 1711356

[startup+1759.41 s]
/proc/loadavg: 1.06 1.04 1.01 2/76 22032
/proc/meminfo: memFree=807440/2055920 swapFree=4180864/4192956
[pid=22008] ppid=22006 vsize=1711356 CPUtime=1800.3
/proc/22008/stat : 22008 (java) R 22006 22008 21962 0 -1 0 252276 0 1 0 179772 258 0 0 25 0 13 0 200875653 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071562465 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22008/statm: 427839 206231 1912 14 0 414586 0
[pid=22008/tid=22009] ppid=22006 vsize=1711356 CPUtime=40.44
/proc/22008/task/22009/stat : 22009 (java) S 22006 22008 21962 0 -1 64 95598 0 0 0 3946 98 0 0 16 0 13 0 200875657 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22010] ppid=22006 vsize=1711356 CPUtime=40.46
/proc/22008/task/22010/stat : 22010 (java) S 22006 22008 21962 0 -1 64 98611 0 0 0 3955 91 0 0 16 0 13 0 200875657 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22011] ppid=22006 vsize=1711356 CPUtime=0.69
/proc/22008/task/22011/stat : 22011 (java) S 22006 22008 21962 0 -1 64 69 0 0 0 40 29 0 0 16 0 13 0 200875659 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22012] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22012/stat : 22012 (java) S 22006 22008 21962 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200875660 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22013] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22013/stat : 22013 (java) S 22006 22008 21962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200875660 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22014] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22014/stat : 22014 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200875663 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22015] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22015/stat : 22015 (java) S 22006 22008 21962 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 200875663 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22016] ppid=22006 vsize=1711356 CPUtime=1.04
/proc/22008/task/22016/stat : 22016 (java) S 22006 22008 21962 0 -1 64 1503 0 0 0 104 0 0 0 17 0 13 0 200875663 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22017] ppid=22006 vsize=1711356 CPUtime=1.05
/proc/22008/task/22017/stat : 22017 (java) S 22006 22008 21962 0 -1 64 1322 0 0 0 104 1 0 0 17 0 13 0 200875663 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22018] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22018/stat : 22018 (java) S 22006 22008 21962 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200875663 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22019] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22019/stat : 22019 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200875663 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22032] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22032/stat : 22032 (java) S 22006 22008 21962 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200958468 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (Kb) 1711356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1759.42 s]
/proc/loadavg: 1.06 1.04 1.01 2/76 22032
/proc/meminfo: memFree=807440/2055920 swapFree=4180864/4192956
[pid=22008] ppid=22006 vsize=1711356 CPUtime=1800.31
/proc/22008/stat : 22008 (java) R 22006 22008 21962 0 -1 0 252276 0 1 0 179773 258 0 0 25 0 13 0 200875653 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071556598 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22008/statm: 427839 206231 1912 14 0 414586 0
[pid=22008/tid=22009] ppid=22006 vsize=1711356 CPUtime=40.44
/proc/22008/task/22009/stat : 22009 (java) S 22006 22008 21962 0 -1 64 95598 0 0 0 3946 98 0 0 16 0 13 0 200875657 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22010] ppid=22006 vsize=1711356 CPUtime=40.46
/proc/22008/task/22010/stat : 22010 (java) S 22006 22008 21962 0 -1 64 98611 0 0 0 3955 91 0 0 16 0 13 0 200875657 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22011] ppid=22006 vsize=1711356 CPUtime=0.69
/proc/22008/task/22011/stat : 22011 (java) S 22006 22008 21962 0 -1 64 69 0 0 0 40 29 0 0 16 0 13 0 200875659 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22012] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22012/stat : 22012 (java) S 22006 22008 21962 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200875660 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22013] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22013/stat : 22013 (java) S 22006 22008 21962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200875660 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22014] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22014/stat : 22014 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200875663 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22015] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22015/stat : 22015 (java) S 22006 22008 21962 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 200875663 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22016] ppid=22006 vsize=1711356 CPUtime=1.04
/proc/22008/task/22016/stat : 22016 (java) S 22006 22008 21962 0 -1 64 1503 0 0 0 104 0 0 0 17 0 13 0 200875663 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22017] ppid=22006 vsize=1711356 CPUtime=1.05
/proc/22008/task/22017/stat : 22017 (java) S 22006 22008 21962 0 -1 64 1322 0 0 0 104 1 0 0 17 0 13 0 200875663 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22018] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22018/stat : 22018 (java) S 22006 22008 21962 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200875663 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22008/tid=22019] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22019/stat : 22019 (java) S 22006 22008 21962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 200875663 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22008/tid=22032] ppid=22006 vsize=1711356 CPUtime=0
/proc/22008/task/22032/stat : 22032 (java) S 22006 22008 21962 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200958468 1752428544 206231 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (Kb) 1711356

Sending SIGTERM to -22008
Sleeping 2 seconds

Child status: 143
Real time (s): 1759.74
CPU time (s): 1800.77
CPU user time (s): 1798.05
CPU system time (s): 2.71459
CPU usage (%): 102.331
Max. virtual memory (cumulated for all children) (Kb): 1711356

Launcher Data (download as text)

Begin job on node9 on Sat Jun  3 16:28:53 UTC 2006


FILE ID= 42588-1149352133

PBS_JOBID= 311057

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p6000.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node9/42588-1149352133/instance-42588-1149352133.opb 681599834
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-42588-1149352133 -o ROOT/results/node9/solver-42588-1149352133 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node9/42588-1149352133/instance-42588-1149352133.opb 681599834

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  e2f15e37dec17456fb4044387114eb48

RANDOM SEED= 681599834


/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.234
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.234
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:       1627840 kB
Buffers:         14812 kB
Cached:         357780 kB
SwapCached:       3652 kB
Active:          46276 kB
Inactive:       334876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1627840 kB
SwapTotal:     4192956 kB
SwapFree:      4180864 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          14720 kB
Slab:            32936 kB
Committed_AS:   361344 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node9 on Sat Jun  3 16:58:13 UTC 2006