Trace number 43278

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)0 1801.26 1787.53

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-sc205.opb
MD5SUMcfa0de6a5c077caf94404f012a430180
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark22.6626
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables6090
Total number of constraints204
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints204
Minimum length of a constraint30
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 8589934592
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 22548578283
Number of bits of the biggest sum of numbers35
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

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/node76/watcher-43278-1149312720 -o ROOT/results/node76/solver-43278-1149312720 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node76/43278-1149312720/instance-43278-1149312720.opb 301492353 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.85 0.97 0.99 2/68 28000
/proc/meminfo: memFree=1544072/2055888 swapFree=4085392/4096564
[pid=28000] ppid=27998 vsize=1788 CPUtime=0
/proc/28000/stat : 28000 (java) R 27998 28000 27954 0 -1 0 135 0 0 0 0 0 0 0 19 0 1 0 196911388 1830912 105 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28000/statm: 447 114 85 14 0 91 0

[startup+10.0022 s]
/proc/loadavg: 0.95 0.98 0.99 2/80 28012
/proc/meminfo: memFree=1390440/2055888 swapFree=4085392/4096564
[pid=28000] ppid=27998 vsize=1713412 CPUtime=11.15
/proc/28000/stat : 28000 (java) R 27998 28000 27954 0 -1 0 42767 0 1 0 1096 19 0 0 25 0 13 0 196911388 1754533888 40298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071419757 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28000/statm: 428353 40298 1905 14 0 415099 0
[pid=28000/tid=28001] ppid=27998 vsize=1713412 CPUtime=0.06
/proc/28000/task/28001/stat : 28001 (java) S 27998 28000 27954 0 -1 64 1275 0 0 0 6 0 0 0 17 0 13 0 196911391 1754533888 40298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28002] ppid=27998 vsize=1713412 CPUtime=0.06
/proc/28000/task/28002/stat : 28002 (java) S 27998 28000 27954 0 -1 64 1308 0 0 0 6 0 0 0 16 0 13 0 196911391 1754533888 40298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28003] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28003/stat : 28003 (java) S 27998 28000 27954 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 40298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28004] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28004/stat : 28004 (java) S 27998 28000 27954 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 40298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28005] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28005/stat : 28005 (java) S 27998 28000 27954 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 40298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28006] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28006/stat : 28006 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196911398 1754533888 40298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28007] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28007/stat : 28007 (java) S 27998 28000 27954 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196911398 1754533888 40298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28008] ppid=27998 vsize=1713412 CPUtime=0.76
/proc/28000/task/28008/stat : 28008 (java) S 27998 28000 27954 0 -1 64 2553 0 0 0 75 1 0 0 17 0 13 0 196911398 1754533888 40298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28009] ppid=27998 vsize=1713412 CPUtime=0.75
/proc/28000/task/28009/stat : 28009 (java) S 27998 28000 27954 0 -1 64 1096 0 0 0 75 0 0 0 16 0 13 0 196911398 1754533888 40298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28010] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28010/stat : 28010 (java) S 27998 28000 27954 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196911398 1754533888 40298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28011] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28011/stat : 28011 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196911398 1754533888 40298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28012] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28012/stat : 28012 (java) S 27998 28000 27954 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 196911474 1754533888 40298 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.15
Current children cumulated vsize (Kb) 1713412

[startup+20.0094 s]
/proc/loadavg: 0.96 0.98 0.99 2/80 28013
/proc/meminfo: memFree=1375648/2055888 swapFree=4085392/4096564
[pid=28000] ppid=27998 vsize=1713412 CPUtime=21.29
/proc/28000/stat : 28000 (java) R 27998 28000 27954 0 -1 0 48623 0 1 0 2107 22 0 0 25 0 13 0 196911388 1754533888 43955 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071485607 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28000/statm: 428353 43955 1907 14 0 415099 0
[pid=28000/tid=28001] ppid=27998 vsize=1713412 CPUtime=0.15
/proc/28000/task/28001/stat : 28001 (java) S 27998 28000 27954 0 -1 64 4027 0 0 0 14 1 0 0 16 0 13 0 196911391 1754533888 43955 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28002] ppid=27998 vsize=1713412 CPUtime=0.15
/proc/28000/task/28002/stat : 28002 (java) S 27998 28000 27954 0 -1 64 4233 0 0 0 14 1 0 0 16 0 13 0 196911391 1754533888 43955 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28003] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28003/stat : 28003 (java) S 27998 28000 27954 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 43955 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28004] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28004/stat : 28004 (java) S 27998 28000 27954 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 43955 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28005] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28005/stat : 28005 (java) S 27998 28000 27954 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 43955 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28006] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28006/stat : 28006 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196911398 1754533888 43955 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28007] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28007/stat : 28007 (java) S 27998 28000 27954 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196911398 1754533888 43955 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28008] ppid=27998 vsize=1713412 CPUtime=0.81
/proc/28000/task/28008/stat : 28008 (java) S 27998 28000 27954 0 -1 64 2558 0 0 0 80 1 0 0 17 0 13 0 196911398 1754533888 43955 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28009] ppid=27998 vsize=1713412 CPUtime=0.8
/proc/28000/task/28009/stat : 28009 (java) S 27998 28000 27954 0 -1 64 1098 0 0 0 80 0 0 0 16 0 13 0 196911398 1754533888 43955 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28010] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28010/stat : 28010 (java) S 27998 28000 27954 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196911398 1754533888 43955 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28011] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28011/stat : 28011 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196911398 1754533888 43955 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28013] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28013/stat : 28013 (java) S 27998 28000 27954 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196912424 1754533888 43955 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.29
Current children cumulated vsize (Kb) 1713412

[startup+30.0167 s]
/proc/loadavg: 0.96 0.98 0.99 2/80 28013
/proc/meminfo: memFree=1375008/2055888 swapFree=4085392/4096564
[pid=28000] ppid=27998 vsize=1713412 CPUtime=31.32
/proc/28000/stat : 28000 (java) R 27998 28000 27954 0 -1 0 50335 0 1 0 3109 23 0 0 25 0 13 0 196911388 1754533888 44146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071484797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28000/statm: 428353 44146 1909 14 0 415099 0
[pid=28000/tid=28001] ppid=27998 vsize=1713412 CPUtime=0.18
/proc/28000/task/28001/stat : 28001 (java) S 27998 28000 27954 0 -1 64 4907 0 0 0 16 2 0 0 16 0 13 0 196911391 1754533888 44146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28002] ppid=27998 vsize=1713412 CPUtime=0.17
/proc/28000/task/28002/stat : 28002 (java) S 27998 28000 27954 0 -1 64 5057 0 0 0 16 1 0 0 16 0 13 0 196911391 1754533888 44146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28003] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28003/stat : 28003 (java) S 27998 28000 27954 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 44146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28004] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28004/stat : 28004 (java) S 27998 28000 27954 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 44146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28005] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28005/stat : 28005 (java) S 27998 28000 27954 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 44146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28006] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28006/stat : 28006 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196911398 1754533888 44146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28007] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28007/stat : 28007 (java) S 27998 28000 27954 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196911398 1754533888 44146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28008] ppid=27998 vsize=1713412 CPUtime=0.81
/proc/28000/task/28008/stat : 28008 (java) S 27998 28000 27954 0 -1 64 2558 0 0 0 80 1 0 0 17 0 13 0 196911398 1754533888 44146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28009] ppid=27998 vsize=1713412 CPUtime=0.8
/proc/28000/task/28009/stat : 28009 (java) S 27998 28000 27954 0 -1 64 1101 0 0 0 80 0 0 0 16 0 13 0 196911398 1754533888 44146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28010] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28010/stat : 28010 (java) S 27998 28000 27954 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196911398 1754533888 44146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28011] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28011/stat : 28011 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196911398 1754533888 44146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28013] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28013/stat : 28013 (java) S 27998 28000 27954 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196912424 1754533888 44146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.32
Current children cumulated vsize (Kb) 1713412

[startup+40.0239 s]
/proc/loadavg: 0.97 0.98 0.99 2/80 28013
/proc/meminfo: memFree=1375712/2055888 swapFree=4085392/4096564
[pid=28000] ppid=27998 vsize=1713412 CPUtime=41.35
/proc/28000/stat : 28000 (java) R 27998 28000 27954 0 -1 0 51207 0 1 0 4112 23 0 0 20 0 13 0 196911388 1754533888 43945 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071495095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28000/statm: 428353 43945 1909 14 0 415099 0
[pid=28000/tid=28001] ppid=27998 vsize=1713412 CPUtime=0.2
/proc/28000/task/28001/stat : 28001 (java) S 27998 28000 27954 0 -1 64 5311 0 0 0 18 2 0 0 16 0 13 0 196911391 1754533888 43945 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28002] ppid=27998 vsize=1713412 CPUtime=0.2
/proc/28000/task/28002/stat : 28002 (java) S 27998 28000 27954 0 -1 64 5520 0 0 0 19 1 0 0 16 0 13 0 196911391 1754533888 43945 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28003] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28003/stat : 28003 (java) S 27998 28000 27954 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 196911394 1754533888 43945 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28004] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28004/stat : 28004 (java) S 27998 28000 27954 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 43945 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28005] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28005/stat : 28005 (java) S 27998 28000 27954 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 43945 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28006] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28006/stat : 28006 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196911398 1754533888 43945 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28007] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28007/stat : 28007 (java) S 27998 28000 27954 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196911398 1754533888 43945 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28008] ppid=27998 vsize=1713412 CPUtime=0.81
/proc/28000/task/28008/stat : 28008 (java) S 27998 28000 27954 0 -1 64 2558 0 0 0 80 1 0 0 17 0 13 0 196911398 1754533888 43945 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28009] ppid=27998 vsize=1713412 CPUtime=0.8
/proc/28000/task/28009/stat : 28009 (java) S 27998 28000 27954 0 -1 64 1101 0 0 0 80 0 0 0 16 0 13 0 196911398 1754533888 43945 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28010] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28010/stat : 28010 (java) S 27998 28000 27954 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196911398 1754533888 43945 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28011] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28011/stat : 28011 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196911398 1754533888 43945 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28013] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28013/stat : 28013 (java) S 27998 28000 27954 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196912424 1754533888 43945 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.35
Current children cumulated vsize (Kb) 1713412

[startup+50.0311 s]
/proc/loadavg: 0.97 0.98 0.99 2/80 28013
/proc/meminfo: memFree=1376800/2055888 swapFree=4085392/4096564
[pid=28000] ppid=27998 vsize=1713412 CPUtime=51.38
/proc/28000/stat : 28000 (java) R 27998 28000 27954 0 -1 0 51769 0 1 0 5114 24 0 0 17 0 13 0 196911388 1754533888 43676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071533409 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28000/statm: 428353 43676 1909 14 0 415099 0
[pid=28000/tid=28001] ppid=27998 vsize=1713412 CPUtime=0.22
/proc/28000/task/28001/stat : 28001 (java) S 27998 28000 27954 0 -1 64 5626 0 0 0 20 2 0 0 16 0 13 0 196911391 1754533888 43676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28002] ppid=27998 vsize=1713412 CPUtime=0.23
/proc/28000/task/28002/stat : 28002 (java) S 27998 28000 27954 0 -1 64 5761 0 0 0 21 2 0 0 16 0 13 0 196911391 1754533888 43676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28003] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28003/stat : 28003 (java) S 27998 28000 27954 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 43676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28004] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28004/stat : 28004 (java) S 27998 28000 27954 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 43676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28005] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28005/stat : 28005 (java) S 27998 28000 27954 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 43676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28006] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28006/stat : 28006 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196911398 1754533888 43676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28007] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28007/stat : 28007 (java) S 27998 28000 27954 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196911398 1754533888 43676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28008] ppid=27998 vsize=1713412 CPUtime=0.81
/proc/28000/task/28008/stat : 28008 (java) S 27998 28000 27954 0 -1 64 2558 0 0 0 80 1 0 0 17 0 13 0 196911398 1754533888 43676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28009] ppid=27998 vsize=1713412 CPUtime=0.8
/proc/28000/task/28009/stat : 28009 (java) S 27998 28000 27954 0 -1 64 1101 0 0 0 80 0 0 0 16 0 13 0 196911398 1754533888 43676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28010] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28010/stat : 28010 (java) S 27998 28000 27954 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196911398 1754533888 43676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28011] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28011/stat : 28011 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196911398 1754533888 43676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28013] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28013/stat : 28013 (java) S 27998 28000 27954 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196912424 1754533888 43676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.38
Current children cumulated vsize (Kb) 1713412

[startup+60.0373 s]
/proc/loadavg: 0.98 0.98 0.99 2/80 28013
/proc/meminfo: memFree=1379488/2055888 swapFree=4085392/4096564
[pid=28000] ppid=27998 vsize=1713412 CPUtime=61.39
/proc/28000/stat : 28000 (java) R 27998 28000 27954 0 -1 0 52199 0 1 0 6115 24 0 0 25 0 13 0 196911388 1754533888 43018 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071599387 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28000/statm: 428353 43018 1909 14 0 415099 0
[pid=28000/tid=28001] ppid=27998 vsize=1713412 CPUtime=0.23
/proc/28000/task/28001/stat : 28001 (java) S 27998 28000 27954 0 -1 64 5931 0 0 0 21 2 0 0 16 0 13 0 196911391 1754533888 43018 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28002] ppid=27998 vsize=1713412 CPUtime=0.24
/proc/28000/task/28002/stat : 28002 (java) S 27998 28000 27954 0 -1 64 5882 0 0 0 22 2 0 0 17 0 13 0 196911391 1754533888 43018 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28003] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28003/stat : 28003 (java) S 27998 28000 27954 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 43018 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28004] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28004/stat : 28004 (java) S 27998 28000 27954 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 43018 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28005] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28005/stat : 28005 (java) S 27998 28000 27954 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 43018 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28006] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28006/stat : 28006 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196911398 1754533888 43018 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=28000/tid=28004] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28004/stat : 28004 (java) S 27998 28000 27954 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 78223 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28005] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28005/stat : 28005 (java) S 27998 28000 27954 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 78223 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28006] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28006/stat : 28006 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196911398 1754533888 78223 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28007] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28007/stat : 28007 (java) S 27998 28000 27954 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196911398 1754533888 78223 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28008] ppid=27998 vsize=1713412 CPUtime=0.82
/proc/28000/task/28008/stat : 28008 (java) S 27998 28000 27954 0 -1 64 2558 0 0 0 81 1 0 0 17 0 13 0 196911398 1754533888 78223 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28009] ppid=27998 vsize=1713412 CPUtime=0.84
/proc/28000/task/28009/stat : 28009 (java) S 27998 28000 27954 0 -1 64 1105 0 0 0 84 0 0 0 16 0 13 0 196911398 1754533888 78223 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28010] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28010/stat : 28010 (java) S 27998 28000 27954 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196911398 1754533888 78223 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28011] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28011/stat : 28011 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196911398 1754533888 78223 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28013] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28013/stat : 28013 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196912424 1754533888 78223 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (Kb) 1713412

[startup+1784.32 s]
/proc/loadavg: 1.08 1.03 1.00 2/80 28210
/proc/meminfo: memFree=1237728/2055888 swapFree=4085392/4096564
[pid=28000] ppid=27998 vsize=1713412 CPUtime=1797.94
/proc/28000/stat : 28000 (java) R 27998 28000 27954 0 -1 0 144844 0 1 0 179707 87 0 0 25 0 13 0 196911388 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071611519 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28000/statm: 428353 78144 1911 14 0 415099 0
[pid=28000/tid=28001] ppid=27998 vsize=1713412 CPUtime=13.39
/proc/28000/task/28001/stat : 28001 (java) S 27998 28000 27954 0 -1 64 37322 0 0 0 1320 19 0 0 16 0 13 0 196911391 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28002] ppid=27998 vsize=1713412 CPUtime=13.34
/proc/28000/task/28002/stat : 28002 (java) S 27998 28000 27954 0 -1 64 35857 0 0 0 1315 19 0 0 17 0 13 0 196911391 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28003] ppid=27998 vsize=1713412 CPUtime=0.32
/proc/28000/task/28003/stat : 28003 (java) S 27998 28000 27954 0 -1 64 141 0 0 0 17 15 0 0 16 0 13 0 196911394 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28004] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28004/stat : 28004 (java) S 27998 28000 27954 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28005] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28005/stat : 28005 (java) S 27998 28000 27954 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28006] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28006/stat : 28006 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196911398 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28007] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28007/stat : 28007 (java) S 27998 28000 27954 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196911398 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28008] ppid=27998 vsize=1713412 CPUtime=0.82
/proc/28000/task/28008/stat : 28008 (java) S 27998 28000 27954 0 -1 64 2558 0 0 0 81 1 0 0 17 0 13 0 196911398 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28009] ppid=27998 vsize=1713412 CPUtime=0.84
/proc/28000/task/28009/stat : 28009 (java) S 27998 28000 27954 0 -1 64 1105 0 0 0 84 0 0 0 16 0 13 0 196911398 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28010] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28010/stat : 28010 (java) S 27998 28000 27954 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196911398 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28011] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28011/stat : 28011 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196911398 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28013] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28013/stat : 28013 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196912424 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (Kb) 1713412

[startup+1785.33 s]
/proc/loadavg: 1.08 1.03 1.00 2/80 28210
/proc/meminfo: memFree=1237728/2055888 swapFree=4085392/4096564
[pid=28000] ppid=27998 vsize=1713412 CPUtime=1798.95
/proc/28000/stat : 28000 (java) R 27998 28000 27954 0 -1 0 144844 0 1 0 179808 87 0 0 25 0 13 0 196911388 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071482918 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28000/statm: 428353 78144 1911 14 0 415099 0
[pid=28000/tid=28001] ppid=27998 vsize=1713412 CPUtime=13.39
/proc/28000/task/28001/stat : 28001 (java) S 27998 28000 27954 0 -1 64 37322 0 0 0 1320 19 0 0 16 0 13 0 196911391 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28002] ppid=27998 vsize=1713412 CPUtime=13.34
/proc/28000/task/28002/stat : 28002 (java) S 27998 28000 27954 0 -1 64 35857 0 0 0 1315 19 0 0 17 0 13 0 196911391 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28003] ppid=27998 vsize=1713412 CPUtime=0.32
/proc/28000/task/28003/stat : 28003 (java) S 27998 28000 27954 0 -1 64 141 0 0 0 17 15 0 0 16 0 13 0 196911394 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28004] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28004/stat : 28004 (java) S 27998 28000 27954 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28005] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28005/stat : 28005 (java) S 27998 28000 27954 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28006] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28006/stat : 28006 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196911398 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28007] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28007/stat : 28007 (java) S 27998 28000 27954 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196911398 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28008] ppid=27998 vsize=1713412 CPUtime=0.82
/proc/28000/task/28008/stat : 28008 (java) S 27998 28000 27954 0 -1 64 2558 0 0 0 81 1 0 0 17 0 13 0 196911398 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28009] ppid=27998 vsize=1713412 CPUtime=0.84
/proc/28000/task/28009/stat : 28009 (java) S 27998 28000 27954 0 -1 64 1105 0 0 0 84 0 0 0 16 0 13 0 196911398 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28010] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28010/stat : 28010 (java) S 27998 28000 27954 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196911398 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28011] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28011/stat : 28011 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196911398 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28013] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28013/stat : 28013 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196912424 1754533888 78144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.95
Current children cumulated vsize (Kb) 1713412

[startup+1786.34 s]
/proc/loadavg: 1.07 1.03 1.00 2/80 28210
/proc/meminfo: memFree=1237664/2055888 swapFree=4085392/4096564
[pid=28000] ppid=27998 vsize=1713412 CPUtime=1799.98
/proc/28000/stat : 28000 (java) R 27998 28000 27954 0 -1 0 144866 0 1 0 179911 87 0 0 25 0 13 0 196911388 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071484797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28000/statm: 428353 78149 1911 14 0 415099 0
[pid=28000/tid=28001] ppid=27998 vsize=1713412 CPUtime=13.4
/proc/28000/task/28001/stat : 28001 (java) S 27998 28000 27954 0 -1 64 37330 0 0 0 1321 19 0 0 16 0 13 0 196911391 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28002] ppid=27998 vsize=1713412 CPUtime=13.36
/proc/28000/task/28002/stat : 28002 (java) S 27998 28000 27954 0 -1 64 35870 0 0 0 1317 19 0 0 16 0 13 0 196911391 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28003] ppid=27998 vsize=1713412 CPUtime=0.32
/proc/28000/task/28003/stat : 28003 (java) S 27998 28000 27954 0 -1 64 141 0 0 0 17 15 0 0 16 0 13 0 196911394 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28004] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28004/stat : 28004 (java) S 27998 28000 27954 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28005] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28005/stat : 28005 (java) S 27998 28000 27954 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28006] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28006/stat : 28006 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28007] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28007/stat : 28007 (java) S 27998 28000 27954 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28008] ppid=27998 vsize=1713412 CPUtime=0.82
/proc/28000/task/28008/stat : 28008 (java) S 27998 28000 27954 0 -1 64 2558 0 0 0 81 1 0 0 17 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28009] ppid=27998 vsize=1713412 CPUtime=0.84
/proc/28000/task/28009/stat : 28009 (java) S 27998 28000 27954 0 -1 64 1105 0 0 0 84 0 0 0 16 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28010] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28010/stat : 28010 (java) S 27998 28000 27954 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28011] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28011/stat : 28011 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28013] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28013/stat : 28013 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196912424 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.98
Current children cumulated vsize (Kb) 1713412

[startup+1787.34 s]
/proc/loadavg: 1.07 1.03 1.00 2/80 28210
/proc/meminfo: memFree=1237664/2055888 swapFree=4085392/4096564
[pid=28000] ppid=27998 vsize=1713412 CPUtime=1800.98
/proc/28000/stat : 28000 (java) R 27998 28000 27954 0 -1 0 144866 0 1 0 180011 87 0 0 25 0 13 0 196911388 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071611614 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28000/statm: 428353 78149 1911 14 0 415099 0
[pid=28000/tid=28001] ppid=27998 vsize=1713412 CPUtime=13.4
/proc/28000/task/28001/stat : 28001 (java) S 27998 28000 27954 0 -1 64 37330 0 0 0 1321 19 0 0 16 0 13 0 196911391 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28002] ppid=27998 vsize=1713412 CPUtime=13.36
/proc/28000/task/28002/stat : 28002 (java) S 27998 28000 27954 0 -1 64 35870 0 0 0 1317 19 0 0 16 0 13 0 196911391 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28003] ppid=27998 vsize=1713412 CPUtime=0.32
/proc/28000/task/28003/stat : 28003 (java) S 27998 28000 27954 0 -1 64 141 0 0 0 17 15 0 0 16 0 13 0 196911394 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28004] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28004/stat : 28004 (java) S 27998 28000 27954 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28005] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28005/stat : 28005 (java) S 27998 28000 27954 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28006] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28006/stat : 28006 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28007] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28007/stat : 28007 (java) S 27998 28000 27954 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28008] ppid=27998 vsize=1713412 CPUtime=0.82
/proc/28000/task/28008/stat : 28008 (java) S 27998 28000 27954 0 -1 64 2558 0 0 0 81 1 0 0 17 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28009] ppid=27998 vsize=1713412 CPUtime=0.84
/proc/28000/task/28009/stat : 28009 (java) S 27998 28000 27954 0 -1 64 1105 0 0 0 84 0 0 0 16 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28010] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28010/stat : 28010 (java) S 27998 28000 27954 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28011] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28011/stat : 28011 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28013] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28013/stat : 28013 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196912424 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.98
Current children cumulated vsize (Kb) 1713412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.35 s]
/proc/loadavg: 1.07 1.03 1.00 2/80 28210
/proc/meminfo: memFree=1237664/2055888 swapFree=4085392/4096564
[pid=28000] ppid=27998 vsize=1713412 CPUtime=1800.98
/proc/28000/stat : 28000 (java) R 27998 28000 27954 0 -1 0 144866 0 1 0 180011 87 0 0 25 0 13 0 196911388 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071611519 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28000/statm: 428353 78149 1911 14 0 415099 0
[pid=28000/tid=28001] ppid=27998 vsize=1713412 CPUtime=13.4
/proc/28000/task/28001/stat : 28001 (java) S 27998 28000 27954 0 -1 64 37330 0 0 0 1321 19 0 0 16 0 13 0 196911391 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28002] ppid=27998 vsize=1713412 CPUtime=13.36
/proc/28000/task/28002/stat : 28002 (java) S 27998 28000 27954 0 -1 64 35870 0 0 0 1317 19 0 0 16 0 13 0 196911391 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28003] ppid=27998 vsize=1713412 CPUtime=0.32
/proc/28000/task/28003/stat : 28003 (java) S 27998 28000 27954 0 -1 64 141 0 0 0 17 15 0 0 16 0 13 0 196911394 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28004] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28004/stat : 28004 (java) S 27998 28000 27954 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28005] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28005/stat : 28005 (java) S 27998 28000 27954 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196911394 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28006] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28006/stat : 28006 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28007] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28007/stat : 28007 (java) S 27998 28000 27954 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28008] ppid=27998 vsize=1713412 CPUtime=0.82
/proc/28000/task/28008/stat : 28008 (java) S 27998 28000 27954 0 -1 64 2558 0 0 0 81 1 0 0 17 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28000/tid=28009] ppid=27998 vsize=1713412 CPUtime=0.84
/proc/28000/task/28009/stat : 28009 (java) S 27998 28000 27954 0 -1 64 1105 0 0 0 84 0 0 0 16 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28010] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28010/stat : 28010 (java) S 27998 28000 27954 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28011] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28011/stat : 28011 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196911398 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28000/tid=28013] ppid=27998 vsize=1713412 CPUtime=0
/proc/28000/task/28013/stat : 28013 (java) S 27998 28000 27954 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196912424 1754533888 78149 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.98
Current children cumulated vsize (Kb) 1713412

Sending SIGTERM to -28000
Sleeping 2 seconds

Child status: 143
Real time (s): 1787.53
CPU time (s): 1801.26
CPU user time (s): 1800.34
CPU system time (s): 0.925859
CPU usage (%): 100.768
Max. virtual memory (cumulated for all children) (Kb): 1713412

Launcher Data (download as text)

Begin job on node76 on Sat Jun  3 05:32:00 UTC 2006


FILE ID= 43278-1149312720

PBS_JOBID= 308104

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc205.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node76/43278-1149312720/instance-43278-1149312720.opb 301492353
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-43278-1149312720 -o ROOT/results/node76/solver-43278-1149312720 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node76/43278-1149312720/instance-43278-1149312720.opb 301492353

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  cfa0de6a5c077caf94404f012a430180

RANDOM SEED= 301492353


/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.236
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	: 6006.14
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.236
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	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1544472 kB
Buffers:         38428 kB
Cached:         404824 kB
SwapCached:       2488 kB
Active:          35984 kB
Inactive:       416016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1544472 kB
SwapTotal:     4096564 kB
SwapFree:      4085392 kB
Dirty:             252 kB
Writeback:           0 kB
Mapped:          16548 kB
Slab:            45984 kB
Committed_AS:   320440 kB
PageTables:       1260 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node76 on Sat Jun  3 06:01:48 UTC 2006