Trace number 43182

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)67333632 1801.17 1787.65

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
MD5SUMc716bc6c519760d619aa6878c926054c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark40655383
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31249460
Optimality of the best value was proved NO
Number of variables6402
Total number of constraints4465
Number of constraints which are clauses2785
Number of constraints which are cardinality constraints (but not clauses)1428
Number of constraints which are nor clauses,nor cardinality constraints252
Minimum length of a constraint1
Maximum length of a constraint511
Number of terms in the objective function 4170
Biggest coefficient in the objective function 23582998528
Number of bits for the biggest coefficient in the objective function 35
Sum of the numbers in the objective function 2904924551250
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2904924551250
Number of bits of the biggest sum of numbers42
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	67333632

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.91 2/64 19368
/proc/meminfo: memFree=1859984/2055920 swapFree=4181324/4192956
[pid=19368] ppid=19366 vsize=18540 CPUtime=0
/proc/19368/stat : 19368 (runsolver) R 19366 19368 19322 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 196432094 18984960 279 18446744073709551615 4194304 4262084 548682068944 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19368/statm: 4635 279 243 16 0 2626 0

[startup+10.003 s]
/proc/loadavg: 0.93 0.95 0.91 2/76 19381
/proc/meminfo: memFree=1670400/2055920 swapFree=4181324/4192956
[pid=19368] ppid=19366 vsize=1712708 CPUtime=11.41
/proc/19368/stat : 19368 (java) R 19366 19368 19322 0 -1 0 52265 0 1 0 1116 25 0 0 25 0 13 0 196432094 1753812992 49185 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071511974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19368/statm: 428177 49185 1911 14 0 414924 0
[pid=19368/tid=19369] ppid=19366 vsize=1712708 CPUtime=0.19
/proc/19368/task/19369/stat : 19369 (java) S 19366 19368 19322 0 -1 64 5120 0 0 0 17 2 0 0 16 0 13 0 196432100 1753812992 49185 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19370] ppid=19366 vsize=1712708 CPUtime=0.2
/proc/19368/task/19370/stat : 19370 (java) S 19366 19368 19322 0 -1 64 5327 0 0 0 17 3 0 0 16 0 13 0 196432100 1753812992 49185 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19371] ppid=19366 vsize=1712708 CPUtime=0
/proc/19368/task/19371/stat : 19371 (java) S 19366 19368 19322 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 196432102 1753812992 49185 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19372] ppid=19366 vsize=1712708 CPUtime=0
/proc/19368/task/19372/stat : 19372 (java) S 19366 19368 19322 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 196432103 1753812992 49185 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19373] ppid=19366 vsize=1712708 CPUtime=0
/proc/19368/task/19373/stat : 19373 (java) S 19366 19368 19322 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196432103 1753812992 49185 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19374] ppid=19366 vsize=1712708 CPUtime=0
/proc/19368/task/19374/stat : 19374 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196432106 1753812992 49185 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19375] ppid=19366 vsize=1712708 CPUtime=0
/proc/19368/task/19375/stat : 19375 (java) S 19366 19368 19322 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196432106 1753812992 49185 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19376] ppid=19366 vsize=1712708 CPUtime=0.87
/proc/19368/task/19376/stat : 19376 (java) S 19366 19368 19322 0 -1 64 1457 0 0 0 87 0 0 0 16 0 13 0 196432106 1753812992 49185 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19377] ppid=19366 vsize=1712708 CPUtime=0.95
/proc/19368/task/19377/stat : 19377 (java) S 19366 19368 19322 0 -1 64 1276 0 0 0 94 1 0 0 16 0 13 0 196432106 1753812992 49185 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19378] ppid=19366 vsize=1712708 CPUtime=0
/proc/19368/task/19378/stat : 19378 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196432106 1753812992 49185 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19379] ppid=19366 vsize=1712708 CPUtime=0
/proc/19368/task/19379/stat : 19379 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196432106 1753812992 49185 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19381] ppid=19366 vsize=1712708 CPUtime=0
/proc/19368/task/19381/stat : 19381 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196432901 1753812992 49185 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.41
Current children cumulated vsize (Kb) 1712708

[startup+20.0113 s]
/proc/loadavg: 0.94 0.96 0.91 2/76 19381
/proc/meminfo: memFree=1661312/2055920 swapFree=4181324/4192956
[pid=19368] ppid=19366 vsize=1711688 CPUtime=21.6
/proc/19368/stat : 19368 (java) R 19366 19368 19322 0 -1 0 56104 0 1 0 2133 27 0 0 18 0 13 0 196432094 1752768512 51430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071596717 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19368/statm: 427922 51430 1911 14 0 414669 0
[pid=19368/tid=19369] ppid=19366 vsize=1711688 CPUtime=0.26
/proc/19368/task/19369/stat : 19369 (java) S 19366 19368 19322 0 -1 64 6884 0 0 0 23 3 0 0 16 0 13 0 196432100 1752768512 51430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19370] ppid=19366 vsize=1711688 CPUtime=0.26
/proc/19368/task/19370/stat : 19370 (java) S 19366 19368 19322 0 -1 64 7095 0 0 0 23 3 0 0 16 0 13 0 196432100 1752768512 51430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19371] ppid=19366 vsize=1711688 CPUtime=0
/proc/19368/task/19371/stat : 19371 (java) S 19366 19368 19322 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 196432102 1752768512 51430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19372] ppid=19366 vsize=1711688 CPUtime=0
/proc/19368/task/19372/stat : 19372 (java) S 19366 19368 19322 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 196432103 1752768512 51430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19373] ppid=19366 vsize=1711688 CPUtime=0
/proc/19368/task/19373/stat : 19373 (java) S 19366 19368 19322 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196432103 1752768512 51430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19374] ppid=19366 vsize=1711688 CPUtime=0
/proc/19368/task/19374/stat : 19374 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196432106 1752768512 51430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19375] ppid=19366 vsize=1711688 CPUtime=0
/proc/19368/task/19375/stat : 19375 (java) S 19366 19368 19322 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196432106 1752768512 51430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19376] ppid=19366 vsize=1711688 CPUtime=0.94
/proc/19368/task/19376/stat : 19376 (java) S 19366 19368 19322 0 -1 64 1749 0 0 0 94 0 0 0 16 0 13 0 196432106 1752768512 51430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19377] ppid=19366 vsize=1711688 CPUtime=1.02
/proc/19368/task/19377/stat : 19377 (java) S 19366 19368 19322 0 -1 64 1282 0 0 0 101 1 0 0 17 0 13 0 196432106 1752768512 51430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19378] ppid=19366 vsize=1711688 CPUtime=0
/proc/19368/task/19378/stat : 19378 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196432106 1752768512 51430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19379] ppid=19366 vsize=1711688 CPUtime=0
/proc/19368/task/19379/stat : 19379 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196432106 1752768512 51430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19381] ppid=19366 vsize=1711688 CPUtime=0
/proc/19368/task/19381/stat : 19381 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196432901 1752768512 51430 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.6
Current children cumulated vsize (Kb) 1711688

[startup+30.0186 s]
/proc/loadavg: 0.95 0.96 0.91 2/76 19381
/proc/meminfo: memFree=1664512/2055920 swapFree=4181324/4192956
[pid=19368] ppid=19366 vsize=1711592 CPUtime=31.63
/proc/19368/stat : 19368 (java) R 19366 19368 19322 0 -1 0 56964 0 1 0 3135 28 0 0 25 0 13 0 196432094 1752670208 50644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071460357 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19368/statm: 427898 50644 1911 14 0 414645 0
[pid=19368/tid=19369] ppid=19366 vsize=1711592 CPUtime=0.29
/proc/19368/task/19369/stat : 19369 (java) S 19366 19368 19322 0 -1 64 7384 0 0 0 25 4 0 0 17 0 13 0 196432100 1752670208 50644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19370] ppid=19366 vsize=1711592 CPUtime=0.29
/proc/19368/task/19370/stat : 19370 (java) S 19366 19368 19322 0 -1 64 7448 0 0 0 26 3 0 0 16 0 13 0 196432100 1752670208 50644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19371] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19371/stat : 19371 (java) S 19366 19368 19322 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 196432102 1752670208 50644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19372] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19372/stat : 19372 (java) S 19366 19368 19322 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 50644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19373] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19373/stat : 19373 (java) S 19366 19368 19322 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 50644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19374] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19374/stat : 19374 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196432106 1752670208 50644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19375] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19375/stat : 19375 (java) S 19366 19368 19322 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196432106 1752670208 50644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19376] ppid=19366 vsize=1711592 CPUtime=0.94
/proc/19368/task/19376/stat : 19376 (java) S 19366 19368 19322 0 -1 64 1749 0 0 0 94 0 0 0 16 0 13 0 196432106 1752670208 50644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19377] ppid=19366 vsize=1711592 CPUtime=1.02
/proc/19368/task/19377/stat : 19377 (java) S 19366 19368 19322 0 -1 64 1282 0 0 0 101 1 0 0 17 0 13 0 196432106 1752670208 50644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19378] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19378/stat : 19378 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196432106 1752670208 50644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19379] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19379/stat : 19379 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196432106 1752670208 50644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19381] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19381/stat : 19381 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196432901 1752670208 50644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.63
Current children cumulated vsize (Kb) 1711592

[startup+40.0259 s]
/proc/loadavg: 0.95 0.96 0.91 2/76 19381
/proc/meminfo: memFree=1671296/2055920 swapFree=4181324/4192956
[pid=19368] ppid=19366 vsize=1711592 CPUtime=41.66
/proc/19368/stat : 19368 (java) R 19366 19368 19322 0 -1 0 58080 0 1 0 4138 28 0 0 25 0 13 0 196432094 1752670208 48947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071610626 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19368/statm: 427898 48947 1911 14 0 414645 0
[pid=19368/tid=19369] ppid=19366 vsize=1711592 CPUtime=0.31
/proc/19368/task/19369/stat : 19369 (java) S 19366 19368 19322 0 -1 64 7854 0 0 0 27 4 0 0 16 0 13 0 196432100 1752670208 48947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19370] ppid=19366 vsize=1711592 CPUtime=0.33
/proc/19368/task/19370/stat : 19370 (java) S 19366 19368 19322 0 -1 64 8085 0 0 0 29 4 0 0 16 0 13 0 196432100 1752670208 48947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19371] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19371/stat : 19371 (java) S 19366 19368 19322 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 196432102 1752670208 48947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19372] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19372/stat : 19372 (java) S 19366 19368 19322 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 48947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19373] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19373/stat : 19373 (java) S 19366 19368 19322 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 48947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19374] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19374/stat : 19374 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196432106 1752670208 48947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19375] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19375/stat : 19375 (java) S 19366 19368 19322 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196432106 1752670208 48947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19376] ppid=19366 vsize=1711592 CPUtime=0.94
/proc/19368/task/19376/stat : 19376 (java) S 19366 19368 19322 0 -1 64 1749 0 0 0 94 0 0 0 16 0 13 0 196432106 1752670208 48947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19377] ppid=19366 vsize=1711592 CPUtime=1.03
/proc/19368/task/19377/stat : 19377 (java) S 19366 19368 19322 0 -1 64 1282 0 0 0 102 1 0 0 16 0 13 0 196432106 1752670208 48947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19378] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19378/stat : 19378 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196432106 1752670208 48947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19379] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19379/stat : 19379 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196432106 1752670208 48947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19381] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19381/stat : 19381 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196432901 1752670208 48947 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.66
Current children cumulated vsize (Kb) 1711592

[startup+50.0332 s]
/proc/loadavg: 0.96 0.96 0.91 2/76 19381
/proc/meminfo: memFree=1676416/2055920 swapFree=4181324/4192956
[pid=19368] ppid=19366 vsize=1711592 CPUtime=51.7
/proc/19368/stat : 19368 (java) R 19366 19368 19322 0 -1 0 58728 0 1 0 5140 30 0 0 25 0 13 0 196432094 1752670208 47659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071596537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19368/statm: 427898 47659 1911 14 0 414645 0
[pid=19368/tid=19369] ppid=19366 vsize=1711592 CPUtime=0.33
/proc/19368/task/19369/stat : 19369 (java) S 19366 19368 19322 0 -1 64 8253 0 0 0 29 4 0 0 16 0 13 0 196432100 1752670208 47659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19370] ppid=19366 vsize=1711592 CPUtime=0.35
/proc/19368/task/19370/stat : 19370 (java) S 19366 19368 19322 0 -1 64 8326 0 0 0 31 4 0 0 16 0 13 0 196432100 1752670208 47659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19371] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19371/stat : 19371 (java) S 19366 19368 19322 0 -1 64 32 0 0 0 0 0 0 0 15 0 13 0 196432102 1752670208 47659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19372] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19372/stat : 19372 (java) S 19366 19368 19322 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 47659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19373] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19373/stat : 19373 (java) S 19366 19368 19322 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 47659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19374] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19374/stat : 19374 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196432106 1752670208 47659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19375] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19375/stat : 19375 (java) S 19366 19368 19322 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196432106 1752670208 47659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19376] ppid=19366 vsize=1711592 CPUtime=0.94
/proc/19368/task/19376/stat : 19376 (java) S 19366 19368 19322 0 -1 64 1749 0 0 0 94 0 0 0 16 0 13 0 196432106 1752670208 47659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19377] ppid=19366 vsize=1711592 CPUtime=1.03
/proc/19368/task/19377/stat : 19377 (java) S 19366 19368 19322 0 -1 64 1282 0 0 0 102 1 0 0 16 0 13 0 196432106 1752670208 47659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19378] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19378/stat : 19378 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196432106 1752670208 47659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19379] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19379/stat : 19379 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196432106 1752670208 47659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19381] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19381/stat : 19381 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196432901 1752670208 47659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.7
Current children cumulated vsize (Kb) 1711592

[startup+60.0405 s]
/proc/loadavg: 0.97 0.96 0.91 2/76 19381
/proc/meminfo: memFree=1680768/2055920 swapFree=4181324/4192956
[pid=19368] ppid=19366 vsize=1711592 CPUtime=61.72
/proc/19368/stat : 19368 (java) R 19366 19368 19322 0 -1 0 59457 0 1 0 6142 30 0 0 17 0 13 0 196432094 1752670208 46585 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071610645 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19368/statm: 427898 46585 1911 14 0 414645 0
[pid=19368/tid=19369] ppid=19366 vsize=1711592 CPUtime=0.36
/proc/19368/task/19369/stat : 19369 (java) S 19366 19368 19322 0 -1 64 8668 0 0 0 32 4 0 0 16 0 13 0 196432100 1752670208 46585 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19370] ppid=19366 vsize=1711592 CPUtime=0.38
/proc/19368/task/19370/stat : 19370 (java) S 19366 19368 19322 0 -1 64 8631 0 0 0 34 4 0 0 16 0 13 0 196432100 1752670208 46585 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19371] ppid=19366 vsize=1711592 CPUtime=0.01
/proc/19368/task/19371/stat : 19371 (java) S 19366 19368 19322 0 -1 64 32 0 0 0 0 1 0 0 15 0 13 0 196432102 1752670208 46585 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19372] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19372/stat : 19372 (java) S 19366 19368 19322 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 46585 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19373] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19373/stat : 19373 (java) S 19366 19368 19322 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 46585 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19374] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19374/stat : 19374 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196432106 1752670208 46585 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=19368/tid=19372] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19372/stat : 19372 (java) S 19366 19368 19322 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 143140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19373] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19373/stat : 19373 (java) S 19366 19368 19322 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 143140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19374] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19374/stat : 19374 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196432106 1752670208 143140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19375] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19375/stat : 19375 (java) S 19366 19368 19322 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196432106 1752670208 143140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19376] ppid=19366 vsize=1711592 CPUtime=0.97
/proc/19368/task/19376/stat : 19376 (java) S 19366 19368 19322 0 -1 64 1750 0 0 0 97 0 0 0 16 0 13 0 196432106 1752670208 143140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19377] ppid=19366 vsize=1711592 CPUtime=1.04
/proc/19368/task/19377/stat : 19377 (java) S 19366 19368 19322 0 -1 64 1283 0 0 0 103 1 0 0 17 0 13 0 196432106 1752670208 143140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19378] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19378/stat : 19378 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196432106 1752670208 143140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19379] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19379/stat : 19379 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196432106 1752670208 143140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19383] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19383/stat : 19383 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196509627 1752670208 143140 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (Kb) 1711592

[startup+1784.38 s]
/proc/loadavg: 1.00 0.99 0.92 2/76 19385
/proc/meminfo: memFree=1292784/2055920 swapFree=4181324/4192956
[pid=19368] ppid=19366 vsize=1711592 CPUtime=1797.75
/proc/19368/stat : 19368 (java) R 19366 19368 19322 0 -1 0 265701 0 1 0 179618 157 0 0 24 0 13 0 196432094 1752670208 143107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071596561 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19368/statm: 427898 143107 1911 14 0 414645 0
[pid=19368/tid=19369] ppid=19366 vsize=1711592 CPUtime=13.07
/proc/19368/task/19369/stat : 19369 (java) S 19366 19368 19322 0 -1 64 68192 0 0 0 1272 35 0 0 16 0 13 0 196432100 1752670208 143107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19370] ppid=19366 vsize=1711592 CPUtime=13.09
/proc/19368/task/19370/stat : 19370 (java) S 19366 19368 19322 0 -1 64 69622 0 0 0 1273 36 0 0 16 0 13 0 196432100 1752670208 143107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19371] ppid=19366 vsize=1711592 CPUtime=0.53
/proc/19368/task/19371/stat : 19371 (java) S 19366 19368 19322 0 -1 64 348 0 0 0 29 24 0 0 16 0 13 0 196432102 1752670208 143107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19372] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19372/stat : 19372 (java) S 19366 19368 19322 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 143107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19373] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19373/stat : 19373 (java) S 19366 19368 19322 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 143107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19374] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19374/stat : 19374 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196432106 1752670208 143107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19375] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19375/stat : 19375 (java) S 19366 19368 19322 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196432106 1752670208 143107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19376] ppid=19366 vsize=1711592 CPUtime=0.97
/proc/19368/task/19376/stat : 19376 (java) S 19366 19368 19322 0 -1 64 1750 0 0 0 97 0 0 0 16 0 13 0 196432106 1752670208 143107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19377] ppid=19366 vsize=1711592 CPUtime=1.04
/proc/19368/task/19377/stat : 19377 (java) S 19366 19368 19322 0 -1 64 1283 0 0 0 103 1 0 0 17 0 13 0 196432106 1752670208 143107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19378] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19378/stat : 19378 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196432106 1752670208 143107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19379] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19379/stat : 19379 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196432106 1752670208 143107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19383] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19383/stat : 19383 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196509627 1752670208 143107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (Kb) 1711592

[startup+1785.39 s]
/proc/loadavg: 1.00 0.99 0.92 2/76 19385
/proc/meminfo: memFree=1292912/2055920 swapFree=4181324/4192956
[pid=19368] ppid=19366 vsize=1711592 CPUtime=1798.77
/proc/19368/stat : 19368 (java) R 19366 19368 19322 0 -1 0 265766 0 1 0 179720 157 0 0 25 0 13 0 196432094 1752670208 143073 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071596572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19368/statm: 427898 143073 1911 14 0 414645 0
[pid=19368/tid=19369] ppid=19366 vsize=1711592 CPUtime=13.08
/proc/19368/task/19369/stat : 19369 (java) S 19366 19368 19322 0 -1 64 68250 0 0 0 1273 35 0 0 16 0 13 0 196432100 1752670208 143073 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19370] ppid=19366 vsize=1711592 CPUtime=13.11
/proc/19368/task/19370/stat : 19370 (java) S 19366 19368 19322 0 -1 64 69628 0 0 0 1275 36 0 0 16 0 13 0 196432100 1752670208 143073 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19371] ppid=19366 vsize=1711592 CPUtime=0.53
/proc/19368/task/19371/stat : 19371 (java) S 19366 19368 19322 0 -1 64 348 0 0 0 29 24 0 0 16 0 13 0 196432102 1752670208 143073 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19372] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19372/stat : 19372 (java) S 19366 19368 19322 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 143073 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19373] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19373/stat : 19373 (java) S 19366 19368 19322 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 143073 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19374] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19374/stat : 19374 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196432106 1752670208 143073 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19375] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19375/stat : 19375 (java) S 19366 19368 19322 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196432106 1752670208 143073 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19376] ppid=19366 vsize=1711592 CPUtime=0.97
/proc/19368/task/19376/stat : 19376 (java) S 19366 19368 19322 0 -1 64 1750 0 0 0 97 0 0 0 16 0 13 0 196432106 1752670208 143073 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19377] ppid=19366 vsize=1711592 CPUtime=1.04
/proc/19368/task/19377/stat : 19377 (java) S 19366 19368 19322 0 -1 64 1283 0 0 0 103 1 0 0 17 0 13 0 196432106 1752670208 143073 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19378] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19378/stat : 19378 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196432106 1752670208 143073 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19379] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19379/stat : 19379 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196432106 1752670208 143073 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19383] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19383/stat : 19383 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196509627 1752670208 143073 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.77
Current children cumulated vsize (Kb) 1711592

[startup+1786.39 s]
/proc/loadavg: 1.00 0.99 0.92 2/76 19385
/proc/meminfo: memFree=1293040/2055920 swapFree=4181324/4192956
[pid=19368] ppid=19366 vsize=1711592 CPUtime=1799.79
/proc/19368/stat : 19368 (java) R 19366 19368 19322 0 -1 0 265808 0 1 0 179822 157 0 0 25 0 13 0 196432094 1752670208 143034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071596717 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19368/statm: 427898 143034 1911 14 0 414645 0
[pid=19368/tid=19369] ppid=19366 vsize=1711592 CPUtime=13.09
/proc/19368/task/19369/stat : 19369 (java) S 19366 19368 19322 0 -1 64 68288 0 0 0 1274 35 0 0 16 0 13 0 196432100 1752670208 143034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19370] ppid=19366 vsize=1711592 CPUtime=13.12
/proc/19368/task/19370/stat : 19370 (java) S 19366 19368 19322 0 -1 64 69631 0 0 0 1276 36 0 0 16 0 13 0 196432100 1752670208 143034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19371] ppid=19366 vsize=1711592 CPUtime=0.53
/proc/19368/task/19371/stat : 19371 (java) S 19366 19368 19322 0 -1 64 348 0 0 0 29 24 0 0 15 0 13 0 196432102 1752670208 143034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19372] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19372/stat : 19372 (java) S 19366 19368 19322 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 143034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19373] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19373/stat : 19373 (java) S 19366 19368 19322 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 143034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19374] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19374/stat : 19374 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196432106 1752670208 143034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19375] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19375/stat : 19375 (java) S 19366 19368 19322 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196432106 1752670208 143034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19376] ppid=19366 vsize=1711592 CPUtime=0.97
/proc/19368/task/19376/stat : 19376 (java) S 19366 19368 19322 0 -1 64 1750 0 0 0 97 0 0 0 16 0 13 0 196432106 1752670208 143034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19377] ppid=19366 vsize=1711592 CPUtime=1.04
/proc/19368/task/19377/stat : 19377 (java) S 19366 19368 19322 0 -1 64 1283 0 0 0 103 1 0 0 17 0 13 0 196432106 1752670208 143034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19378] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19378/stat : 19378 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196432106 1752670208 143034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19379] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19379/stat : 19379 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196432106 1752670208 143034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19383] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19383/stat : 19383 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196509627 1752670208 143034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.79
Current children cumulated vsize (Kb) 1711592

[startup+1787.4 s]
/proc/loadavg: 1.00 0.99 0.92 2/76 19385
/proc/meminfo: memFree=1293232/2055920 swapFree=4181324/4192956
[pid=19368] ppid=19366 vsize=1711592 CPUtime=1800.8
/proc/19368/stat : 19368 (java) R 19366 19368 19322 0 -1 0 265833 0 1 0 179923 157 0 0 25 0 13 0 196432094 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071596551 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19368/statm: 427898 142994 1911 14 0 414645 0
[pid=19368/tid=19369] ppid=19366 vsize=1711592 CPUtime=13.1
/proc/19368/task/19369/stat : 19369 (java) S 19366 19368 19322 0 -1 64 68300 0 0 0 1275 35 0 0 16 0 13 0 196432100 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19370] ppid=19366 vsize=1711592 CPUtime=13.13
/proc/19368/task/19370/stat : 19370 (java) S 19366 19368 19322 0 -1 64 69643 0 0 0 1277 36 0 0 16 0 13 0 196432100 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19371] ppid=19366 vsize=1711592 CPUtime=0.53
/proc/19368/task/19371/stat : 19371 (java) S 19366 19368 19322 0 -1 64 348 0 0 0 29 24 0 0 16 0 13 0 196432102 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19372] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19372/stat : 19372 (java) S 19366 19368 19322 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19373] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19373/stat : 19373 (java) S 19366 19368 19322 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19374] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19374/stat : 19374 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196432106 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19375] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19375/stat : 19375 (java) S 19366 19368 19322 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196432106 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19376] ppid=19366 vsize=1711592 CPUtime=0.97
/proc/19368/task/19376/stat : 19376 (java) S 19366 19368 19322 0 -1 64 1750 0 0 0 97 0 0 0 16 0 13 0 196432106 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19377] ppid=19366 vsize=1711592 CPUtime=1.04
/proc/19368/task/19377/stat : 19377 (java) S 19366 19368 19322 0 -1 64 1283 0 0 0 103 1 0 0 17 0 13 0 196432106 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19378] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19378/stat : 19378 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196432106 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19379] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19379/stat : 19379 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196432106 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19383] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19383/stat : 19383 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196509627 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.8
Current children cumulated vsize (Kb) 1711592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.4 s]
/proc/loadavg: 1.00 0.99 0.92 2/76 19385
/proc/meminfo: memFree=1293232/2055920 swapFree=4181324/4192956
[pid=19368] ppid=19366 vsize=1711592 CPUtime=1800.81
/proc/19368/stat : 19368 (java) R 19366 19368 19322 0 -1 0 265833 0 1 0 179924 157 0 0 25 0 13 0 196432094 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071596543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19368/statm: 427898 142994 1911 14 0 414645 0
[pid=19368/tid=19369] ppid=19366 vsize=1711592 CPUtime=13.1
/proc/19368/task/19369/stat : 19369 (java) S 19366 19368 19322 0 -1 64 68300 0 0 0 1275 35 0 0 16 0 13 0 196432100 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19370] ppid=19366 vsize=1711592 CPUtime=13.13
/proc/19368/task/19370/stat : 19370 (java) S 19366 19368 19322 0 -1 64 69643 0 0 0 1277 36 0 0 16 0 13 0 196432100 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19371] ppid=19366 vsize=1711592 CPUtime=0.53
/proc/19368/task/19371/stat : 19371 (java) S 19366 19368 19322 0 -1 64 348 0 0 0 29 24 0 0 16 0 13 0 196432102 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19372] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19372/stat : 19372 (java) S 19366 19368 19322 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19373] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19373/stat : 19373 (java) S 19366 19368 19322 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196432103 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19374] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19374/stat : 19374 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196432106 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19375] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19375/stat : 19375 (java) S 19366 19368 19322 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 196432106 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19376] ppid=19366 vsize=1711592 CPUtime=0.97
/proc/19368/task/19376/stat : 19376 (java) S 19366 19368 19322 0 -1 64 1750 0 0 0 97 0 0 0 16 0 13 0 196432106 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19377] ppid=19366 vsize=1711592 CPUtime=1.04
/proc/19368/task/19377/stat : 19377 (java) S 19366 19368 19322 0 -1 64 1283 0 0 0 103 1 0 0 17 0 13 0 196432106 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19378] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19378/stat : 19378 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196432106 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19368/tid=19379] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19379/stat : 19379 (java) S 19366 19368 19322 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196432106 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19368/tid=19383] ppid=19366 vsize=1711592 CPUtime=0
/proc/19368/task/19383/stat : 19383 (java) S 19366 19368 19322 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196509627 1752670208 142994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (Kb) 1711592

Sending SIGTERM to -19368
Sleeping 2 seconds

Child status: 143
Real time (s): 1787.65
CPU time (s): 1801.17
CPU user time (s): 1799.5
CPU system time (s): 1.66475
CPU usage (%): 100.756
Max. virtual memory (cumulated for all children) (Kb): 1712708

Launcher Data (download as text)

Begin job on node40 on Sat Jun  3 04:07:36 UTC 2006


FILE ID= 43182-1149307656

PBS_JOBID= 307722

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node40/43182-1149307656/instance-43182-1149307656.opb 880449239
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node40/watcher-43182-1149307656 -o ROOT/results/node40/solver-43182-1149307656 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node40/43182-1149307656/instance-43182-1149307656.opb 880449239

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  c716bc6c519760d619aa6878c926054c

RANDOM SEED= 880449239


/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.245
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.245
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:       1860384 kB
Buffers:          5956 kB
Cached:         120048 kB
SwapCached:       3400 kB
Active:          16144 kB
Inactive:       118628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1860384 kB
SwapTotal:     4192956 kB
SwapFree:      4181324 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14972 kB
Slab:            46788 kB
Committed_AS:   354060 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node40 on Sat Jun  3 04:37:24 UTC 2006