Trace number 42529

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 1800.67 1789.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc205.opb
MD5SUM085f6c29f952ff5e0e711950d59893d5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
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 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524370
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 18985
/proc/meminfo: memFree=1536984/2055920 swapFree=4181500/4192956
[pid=18985] ppid=18983 vsize=1500 CPUtime=0
/proc/18985/stat : 18985 (java) R 18983 18985 18939 0 -1 0 88 0 0 0 0 0 0 0 19 0 1 0 199529026 1536000 69 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 10385078 0 0 4096 0 0 0 0 17 1 0 0
/proc/18985/statm: 363 61 46 14 0 8 0

[startup+10.0033 s]
/proc/loadavg: 1.00 0.97 0.91 2/76 18998
/proc/meminfo: memFree=1356288/2055920 swapFree=4181500/4192956
[pid=18985] ppid=18983 vsize=1715492 CPUtime=11.71
/proc/18985/stat : 18985 (java) R 18983 18985 18939 0 -1 0 51656 0 1 0 1148 23 0 0 25 0 13 0 199529026 1756663808 46964 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071424775 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18985/statm: 428873 46964 1912 14 0 415620 0
[pid=18985/tid=18986] ppid=18983 vsize=1715492 CPUtime=0.17
/proc/18985/task/18986/stat : 18986 (java) S 18983 18985 18939 0 -1 64 4234 0 0 0 15 2 0 0 16 0 13 0 199529029 1756663808 46964 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18987] ppid=18983 vsize=1715492 CPUtime=0.17
/proc/18985/task/18987/stat : 18987 (java) S 18983 18985 18939 0 -1 64 4231 0 0 0 16 1 0 0 16 0 13 0 199529029 1756663808 46964 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18988] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18988/stat : 18988 (java) S 18983 18985 18939 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 46964 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18989] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18989/stat : 18989 (java) S 18983 18985 18939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 46964 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18990] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18990/stat : 18990 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 46964 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18991] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18991/stat : 18991 (java) S 18983 18985 18939 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199529036 1756663808 46964 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18992] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18992/stat : 18992 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529036 1756663808 46964 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18993] ppid=18983 vsize=1715492 CPUtime=1.09
/proc/18985/task/18993/stat : 18993 (java) S 18983 18985 18939 0 -1 64 2590 0 0 0 108 1 0 0 16 0 13 0 199529036 1756663808 46964 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18994] ppid=18983 vsize=1715492 CPUtime=0.9
/proc/18985/task/18994/stat : 18994 (java) S 18983 18985 18939 0 -1 64 1931 0 0 0 89 1 0 0 16 0 13 0 199529036 1756663808 46964 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18995] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18995/stat : 18995 (java) S 18983 18985 18939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199529036 1756663808 46964 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18996] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18996/stat : 18996 (java) S 18983 18985 18939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199529036 1756663808 46964 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18998] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18998/stat : 18998 (java) S 18983 18985 18939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199529396 1756663808 46964 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.71
Current children cumulated vsize (Kb) 1715492

[startup+20.0103 s]
/proc/loadavg: 1.00 0.97 0.91 2/76 18998
/proc/meminfo: memFree=1351424/2055920 swapFree=4181500/4192956
[pid=18985] ppid=18983 vsize=1715492 CPUtime=21.74
/proc/18985/stat : 18985 (java) R 18983 18985 18939 0 -1 0 53588 0 1 0 2150 24 0 0 25 0 13 0 199529026 1756663808 48155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071424459 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18985/statm: 428873 48155 1914 14 0 415620 0
[pid=18985/tid=18986] ppid=18983 vsize=1715492 CPUtime=0.2
/proc/18985/task/18986/stat : 18986 (java) S 18983 18985 18939 0 -1 64 5298 0 0 0 18 2 0 0 15 0 13 0 199529029 1756663808 48155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18987] ppid=18983 vsize=1715492 CPUtime=0.2
/proc/18985/task/18987/stat : 18987 (java) S 18983 18985 18939 0 -1 64 5086 0 0 0 19 1 0 0 16 0 13 0 199529029 1756663808 48155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18988] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18988/stat : 18988 (java) S 18983 18985 18939 0 -1 64 29 0 0 0 0 0 0 0 17 0 13 0 199529032 1756663808 48155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18989] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18989/stat : 18989 (java) S 18983 18985 18939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 48155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18990] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18990/stat : 18990 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 48155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18991] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18991/stat : 18991 (java) S 18983 18985 18939 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199529036 1756663808 48155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18992] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18992/stat : 18992 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529036 1756663808 48155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18993] ppid=18983 vsize=1715492 CPUtime=1.09
/proc/18985/task/18993/stat : 18993 (java) S 18983 18985 18939 0 -1 64 2592 0 0 0 108 1 0 0 17 0 13 0 199529036 1756663808 48155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18994] ppid=18983 vsize=1715492 CPUtime=0.91
/proc/18985/task/18994/stat : 18994 (java) S 18983 18985 18939 0 -1 64 1931 0 0 0 90 1 0 0 16 0 13 0 199529036 1756663808 48155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18995] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18995/stat : 18995 (java) S 18983 18985 18939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199529036 1756663808 48155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18996] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18996/stat : 18996 (java) S 18983 18985 18939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199529036 1756663808 48155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18998] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18998/stat : 18998 (java) S 18983 18985 18939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199529396 1756663808 48155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.74
Current children cumulated vsize (Kb) 1715492

[startup+30.0174 s]
/proc/loadavg: 1.00 0.97 0.91 2/76 18998
/proc/meminfo: memFree=1349632/2055920 swapFree=4181500/4192956
[pid=18985] ppid=18983 vsize=1715492 CPUtime=31.81
/proc/18985/stat : 18985 (java) R 18983 18985 18939 0 -1 0 55645 0 1 0 3156 25 0 0 19 0 13 0 199529026 1756663808 48576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071732908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18985/statm: 428873 48576 1914 14 0 415620 0
[pid=18985/tid=18986] ppid=18983 vsize=1715492 CPUtime=0.26
/proc/18985/task/18986/stat : 18986 (java) S 18983 18985 18939 0 -1 64 6430 0 0 0 24 2 0 0 16 0 13 0 199529029 1756663808 48576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18987] ppid=18983 vsize=1715492 CPUtime=0.26
/proc/18985/task/18987/stat : 18987 (java) S 18983 18985 18939 0 -1 64 6004 0 0 0 24 2 0 0 16 0 13 0 199529029 1756663808 48576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18988] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18988/stat : 18988 (java) S 18983 18985 18939 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 48576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18989] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18989/stat : 18989 (java) S 18983 18985 18939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 48576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18990] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18990/stat : 18990 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 48576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18991] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18991/stat : 18991 (java) S 18983 18985 18939 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199529036 1756663808 48576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18992] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18992/stat : 18992 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529036 1756663808 48576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18993] ppid=18983 vsize=1715492 CPUtime=1.11
/proc/18985/task/18993/stat : 18993 (java) S 18983 18985 18939 0 -1 64 2592 0 0 0 110 1 0 0 17 0 13 0 199529036 1756663808 48576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18994] ppid=18983 vsize=1715492 CPUtime=0.91
/proc/18985/task/18994/stat : 18994 (java) S 18983 18985 18939 0 -1 64 1931 0 0 0 90 1 0 0 16 0 13 0 199529036 1756663808 48576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18995] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18995/stat : 18995 (java) S 18983 18985 18939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199529036 1756663808 48576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18996] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18996/stat : 18996 (java) S 18983 18985 18939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199529036 1756663808 48576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18998] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18998/stat : 18998 (java) S 18983 18985 18939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199529396 1756663808 48576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.81
Current children cumulated vsize (Kb) 1715492

[startup+40.0244 s]
/proc/loadavg: 1.00 0.97 0.91 2/76 18998
/proc/meminfo: memFree=1351936/2055920 swapFree=4181500/4192956
[pid=18985] ppid=18983 vsize=1715492 CPUtime=41.85
/proc/18985/stat : 18985 (java) R 18983 18985 18939 0 -1 0 56658 0 1 0 4160 25 0 0 25 0 13 0 199529026 1756663808 48013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071494577 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18985/statm: 428873 48013 1914 14 0 415620 0
[pid=18985/tid=18986] ppid=18983 vsize=1715492 CPUtime=0.3
/proc/18985/task/18986/stat : 18986 (java) S 18983 18985 18939 0 -1 64 6819 0 0 0 27 3 0 0 16 0 13 0 199529029 1756663808 48013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18987] ppid=18983 vsize=1715492 CPUtime=0.3
/proc/18985/task/18987/stat : 18987 (java) S 18983 18985 18939 0 -1 64 6621 0 0 0 28 2 0 0 16 0 13 0 199529029 1756663808 48013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18988] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18988/stat : 18988 (java) S 18983 18985 18939 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 48013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18989] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18989/stat : 18989 (java) S 18983 18985 18939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 48013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18990] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18990/stat : 18990 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 48013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18991] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18991/stat : 18991 (java) S 18983 18985 18939 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199529036 1756663808 48013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18992] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18992/stat : 18992 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529036 1756663808 48013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18993] ppid=18983 vsize=1715492 CPUtime=1.11
/proc/18985/task/18993/stat : 18993 (java) S 18983 18985 18939 0 -1 64 2592 0 0 0 110 1 0 0 16 0 13 0 199529036 1756663808 48013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18994] ppid=18983 vsize=1715492 CPUtime=0.91
/proc/18985/task/18994/stat : 18994 (java) S 18983 18985 18939 0 -1 64 1932 0 0 0 90 1 0 0 17 0 13 0 199529036 1756663808 48013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18995] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18995/stat : 18995 (java) S 18983 18985 18939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199529036 1756663808 48013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18996] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18996/stat : 18996 (java) S 18983 18985 18939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199529036 1756663808 48013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18998] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18998/stat : 18998 (java) S 18983 18985 18939 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199529396 1756663808 48013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.85
Current children cumulated vsize (Kb) 1715492

[startup+50.0315 s]
/proc/loadavg: 1.00 0.97 0.91 2/76 18998
/proc/meminfo: memFree=1350464/2055920 swapFree=4181500/4192956
[pid=18985] ppid=18983 vsize=1715492 CPUtime=51.91
/proc/18985/stat : 18985 (java) R 18983 18985 18939 0 -1 0 58388 0 1 0 5165 26 0 0 25 0 13 0 199529026 1756663808 48386 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071521311 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18985/statm: 428873 48386 1914 14 0 415620 0
[pid=18985/tid=18986] ppid=18983 vsize=1715492 CPUtime=0.34
/proc/18985/task/18986/stat : 18986 (java) S 18983 18985 18939 0 -1 64 7862 0 0 0 31 3 0 0 16 0 13 0 199529029 1756663808 48386 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18987] ppid=18983 vsize=1715492 CPUtime=0.35
/proc/18985/task/18987/stat : 18987 (java) S 18983 18985 18939 0 -1 64 7302 0 0 0 33 2 0 0 17 0 13 0 199529029 1756663808 48386 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18988] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18988/stat : 18988 (java) S 18983 18985 18939 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 48386 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18989] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18989/stat : 18989 (java) S 18983 18985 18939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 48386 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18990] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18990/stat : 18990 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 48386 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18991] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18991/stat : 18991 (java) S 18983 18985 18939 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199529036 1756663808 48386 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18992] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18992/stat : 18992 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529036 1756663808 48386 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18993] ppid=18983 vsize=1715492 CPUtime=1.11
/proc/18985/task/18993/stat : 18993 (java) S 18983 18985 18939 0 -1 64 2592 0 0 0 110 1 0 0 16 0 13 0 199529036 1756663808 48386 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18994] ppid=18983 vsize=1715492 CPUtime=0.91
/proc/18985/task/18994/stat : 18994 (java) S 18983 18985 18939 0 -1 64 1932 0 0 0 90 1 0 0 17 0 13 0 199529036 1756663808 48386 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18995] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18995/stat : 18995 (java) S 18983 18985 18939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199529036 1756663808 48386 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18996] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18996/stat : 18996 (java) S 18983 18985 18939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199529036 1756663808 48386 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18998] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18998/stat : 18998 (java) S 18983 18985 18939 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199529396 1756663808 48386 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.91
Current children cumulated vsize (Kb) 1715492

[startup+60.0385 s]
/proc/loadavg: 1.00 0.97 0.91 2/76 18998
/proc/meminfo: memFree=1350784/2055920 swapFree=4181500/4192956
[pid=18985] ppid=18983 vsize=1715492 CPUtime=61.95
/proc/18985/stat : 18985 (java) R 18983 18985 18939 0 -1 0 59379 0 1 0 6168 27 0 0 25 0 13 0 199529026 1756663808 48298 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071491298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18985/statm: 428873 48298 1914 14 0 415620 0
[pid=18985/tid=18986] ppid=18983 vsize=1715492 CPUtime=0.39
/proc/18985/task/18986/stat : 18986 (java) S 18983 18985 18939 0 -1 64 8277 0 0 0 35 4 0 0 16 0 13 0 199529029 1756663808 48298 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18987] ppid=18983 vsize=1715492 CPUtime=0.38
/proc/18985/task/18987/stat : 18987 (java) S 18983 18985 18939 0 -1 64 7873 0 0 0 36 2 0 0 16 0 13 0 199529029 1756663808 48298 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18988] ppid=18983 vsize=1715492 CPUtime=0.02
/proc/18985/task/18988/stat : 18988 (java) S 18983 18985 18939 0 -1 64 29 0 0 0 1 1 0 0 16 0 13 0 199529032 1756663808 48298 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18989] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18989/stat : 18989 (java) S 18983 18985 18939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 48298 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18990] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18990/stat : 18990 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 48298 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18991] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18991/stat : 18991 (java) S 18983 18985 18939 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199529036 1756663808 48298 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=18985/tid=18989] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18989/stat : 18989 (java) S 18983 18985 18939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 166177 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18990] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18990/stat : 18990 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 166177 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18991] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18991/stat : 18991 (java) S 18983 18985 18939 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199529036 1756663808 166177 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18992] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18992/stat : 18992 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529036 1756663808 166177 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18993] ppid=18983 vsize=1715492 CPUtime=1.13
/proc/18985/task/18993/stat : 18993 (java) S 18983 18985 18939 0 -1 64 2594 0 0 0 112 1 0 0 16 0 13 0 199529036 1756663808 166177 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18994] ppid=18983 vsize=1715492 CPUtime=0.93
/proc/18985/task/18994/stat : 18994 (java) S 18983 18985 18939 0 -1 64 1933 0 0 0 92 1 0 0 17 0 13 0 199529036 1756663808 166177 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18995] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18995/stat : 18995 (java) S 18983 18985 18939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199529036 1756663808 166177 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18996] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18996/stat : 18996 (java) S 18983 18985 18939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199529036 1756663808 166177 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18998] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18998/stat : 18998 (java) S 18983 18985 18939 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 199529396 1756663808 166177 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.29
Current children cumulated vsize (Kb) 1715492

[startup+1786.37 s]
/proc/loadavg: 1.01 1.01 0.94 2/76 19193
/proc/meminfo: memFree=878080/2055920 swapFree=4181500/4192956
[pid=18985] ppid=18983 vsize=1715492 CPUtime=1797.3
/proc/18985/stat : 18985 (java) R 18983 18985 18939 0 -1 0 355876 0 1 0 179526 204 0 0 25 0 13 0 199529026 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071628695 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18985/statm: 428873 165953 1914 14 0 415620 0
[pid=18985/tid=18986] ppid=18983 vsize=1715492 CPUtime=10.36
/proc/18985/task/18986/stat : 18986 (java) S 18983 18985 18939 0 -1 64 85779 0 0 0 991 45 0 0 16 0 13 0 199529029 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18987] ppid=18983 vsize=1715492 CPUtime=10.32
/proc/18985/task/18987/stat : 18987 (java) S 18983 18985 18939 0 -1 64 93105 0 0 0 989 43 0 0 16 0 13 0 199529029 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18988] ppid=18983 vsize=1715492 CPUtime=0.59
/proc/18985/task/18988/stat : 18988 (java) S 18983 18985 18939 0 -1 64 394 0 0 0 31 28 0 0 16 0 13 0 199529032 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18989] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18989/stat : 18989 (java) S 18983 18985 18939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18990] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18990/stat : 18990 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18991] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18991/stat : 18991 (java) S 18983 18985 18939 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199529036 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18992] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18992/stat : 18992 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529036 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18993] ppid=18983 vsize=1715492 CPUtime=1.13
/proc/18985/task/18993/stat : 18993 (java) S 18983 18985 18939 0 -1 64 2594 0 0 0 112 1 0 0 16 0 13 0 199529036 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18994] ppid=18983 vsize=1715492 CPUtime=0.93
/proc/18985/task/18994/stat : 18994 (java) S 18983 18985 18939 0 -1 64 1933 0 0 0 92 1 0 0 17 0 13 0 199529036 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18995] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18995/stat : 18995 (java) S 18983 18985 18939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199529036 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18996] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18996/stat : 18996 (java) S 18983 18985 18939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199529036 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18998] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18998/stat : 18998 (java) S 18983 18985 18939 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 199529396 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.3
Current children cumulated vsize (Kb) 1715492

[startup+1787.37 s]
/proc/loadavg: 1.01 1.01 0.94 2/76 19193
/proc/meminfo: memFree=878080/2055920 swapFree=4181500/4192956
[pid=18985] ppid=18983 vsize=1715492 CPUtime=1798.31
/proc/18985/stat : 18985 (java) R 18983 18985 18939 0 -1 0 355876 0 1 0 179627 204 0 0 25 0 13 0 199529026 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071628663 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18985/statm: 428873 165953 1914 14 0 415620 0
[pid=18985/tid=18986] ppid=18983 vsize=1715492 CPUtime=10.36
/proc/18985/task/18986/stat : 18986 (java) S 18983 18985 18939 0 -1 64 85779 0 0 0 991 45 0 0 16 0 13 0 199529029 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18987] ppid=18983 vsize=1715492 CPUtime=10.32
/proc/18985/task/18987/stat : 18987 (java) S 18983 18985 18939 0 -1 64 93105 0 0 0 989 43 0 0 16 0 13 0 199529029 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18988] ppid=18983 vsize=1715492 CPUtime=0.59
/proc/18985/task/18988/stat : 18988 (java) S 18983 18985 18939 0 -1 64 394 0 0 0 31 28 0 0 16 0 13 0 199529032 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18989] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18989/stat : 18989 (java) S 18983 18985 18939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18990] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18990/stat : 18990 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18991] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18991/stat : 18991 (java) S 18983 18985 18939 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199529036 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18992] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18992/stat : 18992 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529036 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18993] ppid=18983 vsize=1715492 CPUtime=1.13
/proc/18985/task/18993/stat : 18993 (java) S 18983 18985 18939 0 -1 64 2594 0 0 0 112 1 0 0 16 0 13 0 199529036 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18994] ppid=18983 vsize=1715492 CPUtime=0.93
/proc/18985/task/18994/stat : 18994 (java) S 18983 18985 18939 0 -1 64 1933 0 0 0 92 1 0 0 17 0 13 0 199529036 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18995] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18995/stat : 18995 (java) S 18983 18985 18939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199529036 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18996] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18996/stat : 18996 (java) S 18983 18985 18939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199529036 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18998] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18998/stat : 18998 (java) S 18983 18985 18939 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 199529396 1756663808 165953 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.31
Current children cumulated vsize (Kb) 1715492

[startup+1788.38 s]
/proc/loadavg: 1.01 1.01 0.94 2/76 19193
/proc/meminfo: memFree=879104/2055920 swapFree=4181500/4192956
[pid=18985] ppid=18983 vsize=1715492 CPUtime=1799.32
/proc/18985/stat : 18985 (java) R 18983 18985 18939 0 -1 0 355877 0 1 0 179728 204 0 0 25 0 13 0 199529026 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071424861 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18985/statm: 428873 165697 1914 14 0 415620 0
[pid=18985/tid=18986] ppid=18983 vsize=1715492 CPUtime=10.37
/proc/18985/task/18986/stat : 18986 (java) S 18983 18985 18939 0 -1 64 85779 0 0 0 991 46 0 0 16 0 13 0 199529029 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18987] ppid=18983 vsize=1715492 CPUtime=10.32
/proc/18985/task/18987/stat : 18987 (java) S 18983 18985 18939 0 -1 64 93105 0 0 0 989 43 0 0 16 0 13 0 199529029 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18988] ppid=18983 vsize=1715492 CPUtime=0.59
/proc/18985/task/18988/stat : 18988 (java) S 18983 18985 18939 0 -1 64 394 0 0 0 31 28 0 0 16 0 13 0 199529032 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18989] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18989/stat : 18989 (java) S 18983 18985 18939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18990] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18990/stat : 18990 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18991] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18991/stat : 18991 (java) S 18983 18985 18939 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18992] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18992/stat : 18992 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18993] ppid=18983 vsize=1715492 CPUtime=1.13
/proc/18985/task/18993/stat : 18993 (java) S 18983 18985 18939 0 -1 64 2594 0 0 0 112 1 0 0 16 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18994] ppid=18983 vsize=1715492 CPUtime=0.93
/proc/18985/task/18994/stat : 18994 (java) S 18983 18985 18939 0 -1 64 1933 0 0 0 92 1 0 0 17 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18995] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18995/stat : 18995 (java) S 18983 18985 18939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18996] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18996/stat : 18996 (java) S 18983 18985 18939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18998] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18998/stat : 18998 (java) S 18983 18985 18939 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 199529396 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.32
Current children cumulated vsize (Kb) 1715492

[startup+1789.39 s]
/proc/loadavg: 1.01 1.01 0.94 2/76 19193
/proc/meminfo: memFree=879104/2055920 swapFree=4181500/4192956
[pid=18985] ppid=18983 vsize=1715492 CPUtime=1800.32
/proc/18985/stat : 18985 (java) R 18983 18985 18939 0 -1 0 355877 0 1 0 179828 204 0 0 25 0 13 0 199529026 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071434912 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18985/statm: 428873 165697 1914 14 0 415620 0
[pid=18985/tid=18986] ppid=18983 vsize=1715492 CPUtime=10.37
/proc/18985/task/18986/stat : 18986 (java) S 18983 18985 18939 0 -1 64 85779 0 0 0 991 46 0 0 16 0 13 0 199529029 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18987] ppid=18983 vsize=1715492 CPUtime=10.32
/proc/18985/task/18987/stat : 18987 (java) S 18983 18985 18939 0 -1 64 93105 0 0 0 989 43 0 0 16 0 13 0 199529029 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18988] ppid=18983 vsize=1715492 CPUtime=0.59
/proc/18985/task/18988/stat : 18988 (java) S 18983 18985 18939 0 -1 64 394 0 0 0 31 28 0 0 16 0 13 0 199529032 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18989] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18989/stat : 18989 (java) S 18983 18985 18939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18990] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18990/stat : 18990 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18991] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18991/stat : 18991 (java) S 18983 18985 18939 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18992] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18992/stat : 18992 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18993] ppid=18983 vsize=1715492 CPUtime=1.13
/proc/18985/task/18993/stat : 18993 (java) S 18983 18985 18939 0 -1 64 2594 0 0 0 112 1 0 0 16 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18994] ppid=18983 vsize=1715492 CPUtime=0.93
/proc/18985/task/18994/stat : 18994 (java) S 18983 18985 18939 0 -1 64 1933 0 0 0 92 1 0 0 17 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18995] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18995/stat : 18995 (java) S 18983 18985 18939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18996] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18996/stat : 18996 (java) S 18983 18985 18939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18998] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18998/stat : 18998 (java) S 18983 18985 18939 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 199529396 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (Kb) 1715492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.39 s]
/proc/loadavg: 1.01 1.01 0.94 2/76 19193
/proc/meminfo: memFree=879104/2055920 swapFree=4181500/4192956
[pid=18985] ppid=18983 vsize=1715492 CPUtime=1800.33
/proc/18985/stat : 18985 (java) R 18983 18985 18939 0 -1 0 355877 0 1 0 179829 204 0 0 25 0 13 0 199529026 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071668959 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18985/statm: 428873 165697 1914 14 0 415620 0
[pid=18985/tid=18986] ppid=18983 vsize=1715492 CPUtime=10.37
/proc/18985/task/18986/stat : 18986 (java) S 18983 18985 18939 0 -1 64 85779 0 0 0 991 46 0 0 16 0 13 0 199529029 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18987] ppid=18983 vsize=1715492 CPUtime=10.32
/proc/18985/task/18987/stat : 18987 (java) S 18983 18985 18939 0 -1 64 93105 0 0 0 989 43 0 0 16 0 13 0 199529029 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18988] ppid=18983 vsize=1715492 CPUtime=0.59
/proc/18985/task/18988/stat : 18988 (java) S 18983 18985 18939 0 -1 64 394 0 0 0 31 28 0 0 16 0 13 0 199529032 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18989] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18989/stat : 18989 (java) S 18983 18985 18939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18990] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18990/stat : 18990 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529032 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18991] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18991/stat : 18991 (java) S 18983 18985 18939 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18992] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18992/stat : 18992 (java) S 18983 18985 18939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18993] ppid=18983 vsize=1715492 CPUtime=1.13
/proc/18985/task/18993/stat : 18993 (java) S 18983 18985 18939 0 -1 64 2594 0 0 0 112 1 0 0 16 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18994] ppid=18983 vsize=1715492 CPUtime=0.93
/proc/18985/task/18994/stat : 18994 (java) S 18983 18985 18939 0 -1 64 1933 0 0 0 92 1 0 0 17 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18995] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18995/stat : 18995 (java) S 18983 18985 18939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18985/tid=18996] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18996/stat : 18996 (java) S 18983 18985 18939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199529036 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18985/tid=18998] ppid=18983 vsize=1715492 CPUtime=0
/proc/18985/task/18998/stat : 18998 (java) S 18983 18985 18939 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 199529396 1756663808 165697 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (Kb) 1715492

Sending SIGTERM to -18985
Sleeping 2 seconds

Child status: 143
Real time (s): 1789.64
CPU time (s): 1800.67
CPU user time (s): 1798.52
CPU system time (s): 2.14567
CPU usage (%): 100.616
Max. virtual memory (cumulated for all children) (Kb): 1715492

Launcher Data (download as text)

Begin job on node7 on Sat Jun  3 12:44:28 UTC 2006


FILE ID= 42529-1149338668

PBS_JOBID= 310289

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

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  085f6c29f952ff5e0e711950d59893d5

RANDOM SEED= 843698229


/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.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1537192 kB
Buffers:         23856 kB
Cached:         427824 kB
SwapCached:       3308 kB
Active:          43804 kB
Inactive:       416712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1537192 kB
SwapTotal:     4192956 kB
SwapFree:      4181500 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          14972 kB
Slab:            44216 kB
Committed_AS:   324320 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node7 on Sat Jun  3 13:14:18 UTC 2006