Trace number 42870

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)174 1801.18 1767.61

General information on the benchmark

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

Verifier Data (download as text)

OK	174

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/64 23182
/proc/meminfo: memFree=1562392/2055920 swapFree=4182220/4192956
[pid=23182] ppid=23180 vsize=216 CPUtime=0
/proc/23182/stat : 23182 (java) R 23180 23182 23136 0 -1 0 41 0 0 0 0 0 0 0 19 0 1 0 206224937 221184 25 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 8376492 0 0 4096 0 0 0 0 17 1 0 0
/proc/23182/statm: 54 30 25 14 0 2 0

[startup+10.0024 s]
/proc/loadavg: 1.01 1.00 1.00 2/76 23201
/proc/meminfo: memFree=1323152/2055920 swapFree=4182220/4192956
[pid=23182] ppid=23180 vsize=1712208 CPUtime=11.87
/proc/23182/stat : 23182 (java) R 23180 23182 23136 0 -1 0 66920 0 1 0 1156 31 0 0 24 0 13 0 206224937 1753300992 61579 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071753254 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23182/statm: 428052 61579 1911 14 0 414799 0
[pid=23182/tid=23183] ppid=23180 vsize=1712208 CPUtime=0.63
/proc/23182/task/23183/stat : 23183 (java) S 23180 23182 23136 0 -1 64 12623 0 0 0 57 6 0 0 16 0 13 0 206224943 1753300992 61579 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23184] ppid=23180 vsize=1712208 CPUtime=0.62
/proc/23182/task/23184/stat : 23184 (java) S 23180 23182 23136 0 -1 64 14586 0 0 0 56 6 0 0 16 0 13 0 206224943 1753300992 61579 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23185] ppid=23180 vsize=1712208 CPUtime=0
/proc/23182/task/23185/stat : 23185 (java) S 23180 23182 23136 0 -1 64 25 0 0 0 0 0 0 0 17 0 13 0 206224945 1753300992 61579 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23186] ppid=23180 vsize=1712208 CPUtime=0
/proc/23182/task/23186/stat : 23186 (java) S 23180 23182 23136 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206224946 1753300992 61579 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23187] ppid=23180 vsize=1712208 CPUtime=0
/proc/23182/task/23187/stat : 23187 (java) S 23180 23182 23136 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206224946 1753300992 61579 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23188] ppid=23180 vsize=1712208 CPUtime=0
/proc/23182/task/23188/stat : 23188 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206224949 1753300992 61579 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23189] ppid=23180 vsize=1712208 CPUtime=0
/proc/23182/task/23189/stat : 23189 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206224949 1753300992 61579 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23190] ppid=23180 vsize=1712208 CPUtime=1
/proc/23182/task/23190/stat : 23190 (java) S 23180 23182 23136 0 -1 64 1243 0 0 0 100 0 0 0 16 0 13 0 206224949 1753300992 61579 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23191] ppid=23180 vsize=1712208 CPUtime=0.94
/proc/23182/task/23191/stat : 23191 (java) S 23180 23182 23136 0 -1 64 1879 0 0 0 93 1 0 0 17 0 13 0 206224949 1753300992 61579 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23192] ppid=23180 vsize=1712208 CPUtime=0
/proc/23182/task/23192/stat : 23192 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206224949 1753300992 61579 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23193] ppid=23180 vsize=1712208 CPUtime=0
/proc/23182/task/23193/stat : 23193 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206224949 1753300992 61579 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23201] ppid=23180 vsize=1712208 CPUtime=0
/proc/23182/task/23201/stat : 23201 (java) S 23180 23182 23136 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 206225571 1753300992 61579 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.87
Current children cumulated vsize (Kb) 1712208

[startup+20.0103 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 23201
/proc/meminfo: memFree=1297040/2055920 swapFree=4182220/4192956
[pid=23182] ppid=23180 vsize=1713232 CPUtime=22.29
/proc/23182/stat : 23182 (java) R 23180 23182 23136 0 -1 0 80072 0 1 0 2191 38 0 0 25 0 13 0 206224937 1754349568 68132 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071575075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23182/statm: 428308 68132 1911 14 0 415055 0
[pid=23182/tid=23183] ppid=23180 vsize=1713232 CPUtime=0.91
/proc/23182/task/23183/stat : 23183 (java) S 23180 23182 23136 0 -1 64 17785 0 0 0 82 9 0 0 16 0 13 0 206224943 1754349568 68132 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23184] ppid=23180 vsize=1713232 CPUtime=0.9
/proc/23182/task/23184/stat : 23184 (java) S 23180 23182 23136 0 -1 64 21607 0 0 0 81 9 0 0 16 0 13 0 206224943 1754349568 68132 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23185] ppid=23180 vsize=1713232 CPUtime=0.01
/proc/23182/task/23185/stat : 23185 (java) S 23180 23182 23136 0 -1 64 37 0 0 0 1 0 0 0 15 0 13 0 206224945 1754349568 68132 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23186] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23186/stat : 23186 (java) S 23180 23182 23136 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 68132 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23187] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23187/stat : 23187 (java) S 23180 23182 23136 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 68132 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23188] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23188/stat : 23188 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206224949 1754349568 68132 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23189] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23189/stat : 23189 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206224949 1754349568 68132 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23190] ppid=23180 vsize=1713232 CPUtime=1.09
/proc/23182/task/23190/stat : 23190 (java) S 23180 23182 23136 0 -1 64 1502 0 0 0 109 0 0 0 16 0 13 0 206224949 1754349568 68132 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23191] ppid=23180 vsize=1713232 CPUtime=0.99
/proc/23182/task/23191/stat : 23191 (java) S 23180 23182 23136 0 -1 64 1886 0 0 0 98 1 0 0 16 0 13 0 206224949 1754349568 68132 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23192] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23192/stat : 23192 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206224949 1754349568 68132 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23193] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23193/stat : 23193 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206224949 1754349568 68132 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23201] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23201/stat : 23201 (java) S 23180 23182 23136 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 206225571 1754349568 68132 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.29
Current children cumulated vsize (Kb) 1713232

[startup+30.0181 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 23201
/proc/meminfo: memFree=1290576/2055920 swapFree=4182220/4192956
[pid=23182] ppid=23180 vsize=1713232 CPUtime=32.4
/proc/23182/stat : 23182 (java) R 23180 23182 23136 0 -1 0 84495 0 1 0 3199 41 0 0 25 0 13 0 206224937 1754349568 69704 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071432769 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23182/statm: 428308 69704 1911 14 0 415055 0
[pid=23182/tid=23183] ppid=23180 vsize=1713232 CPUtime=1.02
/proc/23182/task/23183/stat : 23183 (java) S 23180 23182 23136 0 -1 64 18841 0 0 0 92 10 0 0 15 0 13 0 206224943 1754349568 69704 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23184] ppid=23180 vsize=1713232 CPUtime=1
/proc/23182/task/23184/stat : 23184 (java) S 23180 23182 23136 0 -1 64 22666 0 0 0 90 10 0 0 16 0 13 0 206224943 1754349568 69704 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23185] ppid=23180 vsize=1713232 CPUtime=0.03
/proc/23182/task/23185/stat : 23185 (java) S 23180 23182 23136 0 -1 64 45 0 0 0 2 1 0 0 16 0 13 0 206224945 1754349568 69704 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23186] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23186/stat : 23186 (java) S 23180 23182 23136 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 69704 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23187] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23187/stat : 23187 (java) S 23180 23182 23136 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 69704 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23188] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23188/stat : 23188 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206224949 1754349568 69704 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23189] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23189/stat : 23189 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206224949 1754349568 69704 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23190] ppid=23180 vsize=1713232 CPUtime=1.09
/proc/23182/task/23190/stat : 23190 (java) S 23180 23182 23136 0 -1 64 1502 0 0 0 109 0 0 0 16 0 13 0 206224949 1754349568 69704 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23191] ppid=23180 vsize=1713232 CPUtime=1
/proc/23182/task/23191/stat : 23191 (java) S 23180 23182 23136 0 -1 64 1887 0 0 0 99 1 0 0 16 0 13 0 206224949 1754349568 69704 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23192] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23192/stat : 23192 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206224949 1754349568 69704 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23193] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23193/stat : 23193 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206224949 1754349568 69704 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23201] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23201/stat : 23201 (java) S 23180 23182 23136 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 206225571 1754349568 69704 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 32.4
Current children cumulated vsize (Kb) 1713232

[startup+40.0249 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 23201
/proc/meminfo: memFree=1298128/2055920 swapFree=4182220/4192956
[pid=23182] ppid=23180 vsize=1713232 CPUtime=42.44
/proc/23182/stat : 23182 (java) R 23180 23182 23136 0 -1 0 84552 0 1 0 4202 42 0 0 19 0 13 0 206224937 1754349568 67801 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071572734 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23182/statm: 428308 67801 1911 14 0 415055 0
[pid=23182/tid=23183] ppid=23180 vsize=1713232 CPUtime=1.06
/proc/23182/task/23183/stat : 23183 (java) S 23180 23182 23136 0 -1 64 18854 0 0 0 96 10 0 0 16 0 13 0 206224943 1754349568 67801 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23184] ppid=23180 vsize=1713232 CPUtime=1.04
/proc/23182/task/23184/stat : 23184 (java) S 23180 23182 23136 0 -1 64 22676 0 0 0 94 10 0 0 16 0 13 0 206224943 1754349568 67801 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23185] ppid=23180 vsize=1713232 CPUtime=0.03
/proc/23182/task/23185/stat : 23185 (java) S 23180 23182 23136 0 -1 64 45 0 0 0 2 1 0 0 16 0 13 0 206224945 1754349568 67801 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23186] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23186/stat : 23186 (java) S 23180 23182 23136 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 67801 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23187] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23187/stat : 23187 (java) S 23180 23182 23136 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 67801 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23188] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23188/stat : 23188 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206224949 1754349568 67801 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23189] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23189/stat : 23189 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206224949 1754349568 67801 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23190] ppid=23180 vsize=1713232 CPUtime=1.09
/proc/23182/task/23190/stat : 23190 (java) S 23180 23182 23136 0 -1 64 1502 0 0 0 109 0 0 0 16 0 13 0 206224949 1754349568 67801 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23191] ppid=23180 vsize=1713232 CPUtime=1
/proc/23182/task/23191/stat : 23191 (java) S 23180 23182 23136 0 -1 64 1887 0 0 0 99 1 0 0 16 0 13 0 206224949 1754349568 67801 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23192] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23192/stat : 23192 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206224949 1754349568 67801 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23193] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23193/stat : 23193 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206224949 1754349568 67801 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23201] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23201/stat : 23201 (java) S 23180 23182 23136 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206225571 1754349568 67801 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.44
Current children cumulated vsize (Kb) 1713232

[startup+50.0327 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 23201
/proc/meminfo: memFree=1298896/2055920 swapFree=4182220/4192956
[pid=23182] ppid=23180 vsize=1713232 CPUtime=52.49
/proc/23182/stat : 23182 (java) R 23180 23182 23136 0 -1 0 84695 0 1 0 5206 43 0 0 25 0 13 0 206224937 1754349568 67642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071432590 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23182/statm: 428308 67642 1911 14 0 415055 0
[pid=23182/tid=23183] ppid=23180 vsize=1713232 CPUtime=1.11
/proc/23182/task/23183/stat : 23183 (java) S 23180 23182 23136 0 -1 64 18935 0 0 0 101 10 0 0 16 0 13 0 206224943 1754349568 67642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23184] ppid=23180 vsize=1713232 CPUtime=1.11
/proc/23182/task/23184/stat : 23184 (java) S 23180 23182 23136 0 -1 64 22700 0 0 0 100 11 0 0 16 0 13 0 206224943 1754349568 67642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23185] ppid=23180 vsize=1713232 CPUtime=0.03
/proc/23182/task/23185/stat : 23185 (java) S 23180 23182 23136 0 -1 64 45 0 0 0 2 1 0 0 16 0 13 0 206224945 1754349568 67642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23186] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23186/stat : 23186 (java) S 23180 23182 23136 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 67642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23187] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23187/stat : 23187 (java) S 23180 23182 23136 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 67642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23188] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23188/stat : 23188 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206224949 1754349568 67642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23189] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23189/stat : 23189 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206224949 1754349568 67642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23190] ppid=23180 vsize=1713232 CPUtime=1.09
/proc/23182/task/23190/stat : 23190 (java) S 23180 23182 23136 0 -1 64 1502 0 0 0 109 0 0 0 16 0 13 0 206224949 1754349568 67642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23191] ppid=23180 vsize=1713232 CPUtime=1
/proc/23182/task/23191/stat : 23191 (java) S 23180 23182 23136 0 -1 64 1887 0 0 0 99 1 0 0 16 0 13 0 206224949 1754349568 67642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23192] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23192/stat : 23192 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206224949 1754349568 67642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23193] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23193/stat : 23193 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206224949 1754349568 67642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23201] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23201/stat : 23201 (java) S 23180 23182 23136 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206225571 1754349568 67642 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 52.49
Current children cumulated vsize (Kb) 1713232

[startup+60.0395 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 23201
/proc/meminfo: memFree=1256272/2055920 swapFree=4182220/4192956
[pid=23182] ppid=23180 vsize=1713232 CPUtime=62.73
/proc/23182/stat : 23182 (java) R 23180 23182 23136 0 -1 0 96354 0 1 0 6224 49 0 0 18 0 13 0 206224937 1754349568 78283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071575382 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23182/statm: 428308 78283 1911 14 0 415055 0
[pid=23182/tid=23183] ppid=23180 vsize=1713232 CPUtime=1.35
/proc/23182/task/23183/stat : 23183 (java) S 23180 23182 23136 0 -1 64 23876 0 0 0 122 13 0 0 16 0 13 0 206224943 1754349568 78283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23184] ppid=23180 vsize=1713232 CPUtime=1.34
/proc/23182/task/23184/stat : 23184 (java) S 23180 23182 23136 0 -1 64 28578 0 0 0 121 13 0 0 15 0 13 0 206224943 1754349568 78283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23185] ppid=23180 vsize=1713232 CPUtime=0.05
/proc/23182/task/23185/stat : 23185 (java) S 23180 23182 23136 0 -1 64 57 0 0 0 3 2 0 0 15 0 13 0 206224945 1754349568 78283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23186] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23186/stat : 23186 (java) S 23180 23182 23136 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 78283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23187] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23187/stat : 23187 (java) S 23180 23182 23136 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 78283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23188] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23188/stat : 23188 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206224949 1754349568 78283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=23182/tid=23186] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23186/stat : 23186 (java) S 23180 23182 23136 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 154693 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23187] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23187/stat : 23187 (java) S 23180 23182 23136 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 154693 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23188] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23188/stat : 23188 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206224949 1754349568 154693 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23189] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23189/stat : 23189 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206224949 1754349568 154693 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23190] ppid=23180 vsize=1713232 CPUtime=1.18
/proc/23182/task/23190/stat : 23190 (java) S 23180 23182 23136 0 -1 64 1947 0 0 0 118 0 0 0 17 0 13 0 206224949 1754349568 154693 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23191] ppid=23180 vsize=1713232 CPUtime=1.05
/proc/23182/task/23191/stat : 23191 (java) S 23180 23182 23136 0 -1 64 1892 0 0 0 104 1 0 0 17 0 13 0 206224949 1754349568 154693 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23192] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23192/stat : 23192 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206224949 1754349568 154693 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23193] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23193/stat : 23193 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206224949 1754349568 154693 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23201] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23201/stat : 23201 (java) S 23180 23182 23136 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 206225571 1754349568 154693 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (Kb) 1713232

[startup+1764.36 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 23203
/proc/meminfo: memFree=949200/2055920 swapFree=4182220/4192956
[pid=23182] ppid=23180 vsize=1713232 CPUtime=1797.74
/proc/23182/stat : 23182 (java) R 23180 23182 23136 0 -1 0 203320 0 1 0 179529 245 0 0 17 0 13 0 206224937 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071432586 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23182/statm: 428308 154677 1912 14 0 415055 0
[pid=23182/tid=23183] ppid=23180 vsize=1713232 CPUtime=33.13
/proc/23182/task/23183/stat : 23183 (java) S 23180 23182 23136 0 -1 64 70525 0 0 0 3231 82 0 0 16 0 13 0 206224943 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23184] ppid=23180 vsize=1713232 CPUtime=33.09
/proc/23182/task/23184/stat : 23184 (java) S 23180 23182 23136 0 -1 64 73792 0 0 0 3230 79 0 0 16 0 13 0 206224943 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23185] ppid=23180 vsize=1713232 CPUtime=1.01
/proc/23182/task/23185/stat : 23185 (java) S 23180 23182 23136 0 -1 64 91 0 0 0 60 41 0 0 15 0 13 0 206224945 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23186] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23186/stat : 23186 (java) S 23180 23182 23136 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23187] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23187/stat : 23187 (java) S 23180 23182 23136 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23188] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23188/stat : 23188 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206224949 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23189] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23189/stat : 23189 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206224949 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23190] ppid=23180 vsize=1713232 CPUtime=1.18
/proc/23182/task/23190/stat : 23190 (java) S 23180 23182 23136 0 -1 64 1947 0 0 0 118 0 0 0 17 0 13 0 206224949 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23191] ppid=23180 vsize=1713232 CPUtime=1.05
/proc/23182/task/23191/stat : 23191 (java) S 23180 23182 23136 0 -1 64 1892 0 0 0 104 1 0 0 17 0 13 0 206224949 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23192] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23192/stat : 23192 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206224949 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23193] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23193/stat : 23193 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206224949 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23201] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23201/stat : 23201 (java) S 23180 23182 23136 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 206225571 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (Kb) 1713232

[startup+1765.36 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 23203
/proc/meminfo: memFree=949200/2055920 swapFree=4182220/4192956
[pid=23182] ppid=23180 vsize=1713232 CPUtime=1798.76
/proc/23182/stat : 23182 (java) R 23180 23182 23136 0 -1 0 203322 0 1 0 179631 245 0 0 18 0 13 0 206224937 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071575500 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23182/statm: 428308 154677 1912 14 0 415055 0
[pid=23182/tid=23183] ppid=23180 vsize=1713232 CPUtime=33.15
/proc/23182/task/23183/stat : 23183 (java) S 23180 23182 23136 0 -1 64 70525 0 0 0 3233 82 0 0 16 0 13 0 206224943 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23184] ppid=23180 vsize=1713232 CPUtime=33.11
/proc/23182/task/23184/stat : 23184 (java) S 23180 23182 23136 0 -1 64 73792 0 0 0 3232 79 0 0 16 0 13 0 206224943 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23185] ppid=23180 vsize=1713232 CPUtime=1.01
/proc/23182/task/23185/stat : 23185 (java) S 23180 23182 23136 0 -1 64 91 0 0 0 60 41 0 0 16 0 13 0 206224945 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23186] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23186/stat : 23186 (java) S 23180 23182 23136 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23187] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23187/stat : 23187 (java) S 23180 23182 23136 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23188] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23188/stat : 23188 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206224949 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23189] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23189/stat : 23189 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206224949 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23190] ppid=23180 vsize=1713232 CPUtime=1.18
/proc/23182/task/23190/stat : 23190 (java) S 23180 23182 23136 0 -1 64 1947 0 0 0 118 0 0 0 17 0 13 0 206224949 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23191] ppid=23180 vsize=1713232 CPUtime=1.05
/proc/23182/task/23191/stat : 23191 (java) S 23180 23182 23136 0 -1 64 1892 0 0 0 104 1 0 0 17 0 13 0 206224949 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23192] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23192/stat : 23192 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206224949 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23193] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23193/stat : 23193 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206224949 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23201] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23201/stat : 23201 (java) S 23180 23182 23136 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 206225571 1754349568 154677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.76
Current children cumulated vsize (Kb) 1713232

[startup+1766.37 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 23203
/proc/meminfo: memFree=949136/2055920 swapFree=4182220/4192956
[pid=23182] ppid=23180 vsize=1713232 CPUtime=1799.8
/proc/23182/stat : 23182 (java) R 23180 23182 23136 0 -1 0 203409 0 1 0 179734 246 0 0 17 0 13 0 206224937 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071572679 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23182/statm: 428308 154757 1912 14 0 415055 0
[pid=23182/tid=23183] ppid=23180 vsize=1713232 CPUtime=33.17
/proc/23182/task/23183/stat : 23183 (java) S 23180 23182 23136 0 -1 64 70542 0 0 0 3235 82 0 0 16 0 13 0 206224943 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23184] ppid=23180 vsize=1713232 CPUtime=33.14
/proc/23182/task/23184/stat : 23184 (java) S 23180 23182 23136 0 -1 64 73859 0 0 0 3235 79 0 0 16 0 13 0 206224943 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23185] ppid=23180 vsize=1713232 CPUtime=1.01
/proc/23182/task/23185/stat : 23185 (java) S 23180 23182 23136 0 -1 64 91 0 0 0 60 41 0 0 15 0 13 0 206224945 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23186] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23186/stat : 23186 (java) S 23180 23182 23136 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23187] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23187/stat : 23187 (java) S 23180 23182 23136 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23188] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23188/stat : 23188 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23189] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23189/stat : 23189 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23190] ppid=23180 vsize=1713232 CPUtime=1.18
/proc/23182/task/23190/stat : 23190 (java) S 23180 23182 23136 0 -1 64 1947 0 0 0 118 0 0 0 17 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23191] ppid=23180 vsize=1713232 CPUtime=1.05
/proc/23182/task/23191/stat : 23191 (java) S 23180 23182 23136 0 -1 64 1892 0 0 0 104 1 0 0 17 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23192] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23192/stat : 23192 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23193] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23193/stat : 23193 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23201] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23201/stat : 23201 (java) S 23180 23182 23136 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 206225571 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.8
Current children cumulated vsize (Kb) 1713232

[startup+1767.37 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 23203
/proc/meminfo: memFree=949136/2055920 swapFree=4182220/4192956
[pid=23182] ppid=23180 vsize=1713232 CPUtime=1800.83
/proc/23182/stat : 23182 (java) R 23180 23182 23136 0 -1 0 203412 0 1 0 179837 246 0 0 17 0 13 0 206224937 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071575510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23182/statm: 428308 154757 1912 14 0 415055 0
[pid=23182/tid=23183] ppid=23180 vsize=1713232 CPUtime=33.2
/proc/23182/task/23183/stat : 23183 (java) S 23180 23182 23136 0 -1 64 70542 0 0 0 3238 82 0 0 16 0 13 0 206224943 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23184] ppid=23180 vsize=1713232 CPUtime=33.16
/proc/23182/task/23184/stat : 23184 (java) S 23180 23182 23136 0 -1 64 73859 0 0 0 3237 79 0 0 15 0 13 0 206224943 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23185] ppid=23180 vsize=1713232 CPUtime=1.02
/proc/23182/task/23185/stat : 23185 (java) S 23180 23182 23136 0 -1 64 91 0 0 0 61 41 0 0 15 0 13 0 206224945 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23186] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23186/stat : 23186 (java) S 23180 23182 23136 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23187] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23187/stat : 23187 (java) S 23180 23182 23136 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23188] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23188/stat : 23188 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23189] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23189/stat : 23189 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23190] ppid=23180 vsize=1713232 CPUtime=1.18
/proc/23182/task/23190/stat : 23190 (java) S 23180 23182 23136 0 -1 64 1947 0 0 0 118 0 0 0 17 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23191] ppid=23180 vsize=1713232 CPUtime=1.05
/proc/23182/task/23191/stat : 23191 (java) S 23180 23182 23136 0 -1 64 1892 0 0 0 104 1 0 0 17 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23192] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23192/stat : 23192 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23193] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23193/stat : 23193 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23201] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23201/stat : 23201 (java) S 23180 23182 23136 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 206225571 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (Kb) 1713232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1767.38 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 23203
/proc/meminfo: memFree=949136/2055920 swapFree=4182220/4192956
[pid=23182] ppid=23180 vsize=1713232 CPUtime=1800.83
/proc/23182/stat : 23182 (java) R 23180 23182 23136 0 -1 0 203412 0 1 0 179837 246 0 0 17 0 13 0 206224937 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071575426 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23182/statm: 428308 154757 1912 14 0 415055 0
[pid=23182/tid=23183] ppid=23180 vsize=1713232 CPUtime=33.2
/proc/23182/task/23183/stat : 23183 (java) S 23180 23182 23136 0 -1 64 70542 0 0 0 3238 82 0 0 16 0 13 0 206224943 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23184] ppid=23180 vsize=1713232 CPUtime=33.16
/proc/23182/task/23184/stat : 23184 (java) S 23180 23182 23136 0 -1 64 73859 0 0 0 3237 79 0 0 15 0 13 0 206224943 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23185] ppid=23180 vsize=1713232 CPUtime=1.02
/proc/23182/task/23185/stat : 23185 (java) S 23180 23182 23136 0 -1 64 91 0 0 0 61 41 0 0 15 0 13 0 206224945 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23186] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23186/stat : 23186 (java) S 23180 23182 23136 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23187] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23187/stat : 23187 (java) S 23180 23182 23136 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206224946 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23188] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23188/stat : 23188 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23189] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23189/stat : 23189 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23182/tid=23190] ppid=23180 vsize=1713232 CPUtime=1.18
/proc/23182/task/23190/stat : 23190 (java) S 23180 23182 23136 0 -1 64 1947 0 0 0 118 0 0 0 17 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23191] ppid=23180 vsize=1713232 CPUtime=1.05
/proc/23182/task/23191/stat : 23191 (java) S 23180 23182 23136 0 -1 64 1892 0 0 0 104 1 0 0 17 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23192] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23192/stat : 23192 (java) S 23180 23182 23136 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23193] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23193/stat : 23193 (java) S 23180 23182 23136 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206224949 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23182/tid=23201] ppid=23180 vsize=1713232 CPUtime=0
/proc/23182/task/23201/stat : 23201 (java) S 23180 23182 23136 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 206225571 1754349568 154757 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (Kb) 1713232

Sending SIGTERM to -23182
Sleeping 2 seconds

Child status: 143
Real time (s): 1767.61
CPU time (s): 1801.18
CPU user time (s): 1798.62
CPU system time (s): 2.55261
CPU usage (%): 101.899
Max. virtual memory (cumulated for all children) (Kb): 1713232

Launcher Data (download as text)

Begin job on node70 on Sun Jun  4 07:19:13 UTC 2006


FILE ID= 42870-1149405553

PBS_JOBID= 314377

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node70/42870-1149405553/instance-42870-1149405553.opb 632621968
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-42870-1149405553 -o ROOT/results/node70/solver-42870-1149405553 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node70/42870-1149405553/instance-42870-1149405553.opb 632621968

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  cca57c347e264f92fb70010109aa24c5

RANDOM SEED= 632621968


/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.265
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.265
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:       1562600 kB
Buffers:         28576 kB
Cached:         390092 kB
SwapCached:       2388 kB
Active:          60088 kB
Inactive:       367176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1562600 kB
SwapTotal:     4192956 kB
SwapFree:      4182220 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          15392 kB
Slab:            52164 kB
Committed_AS:   342824 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node70 on Sun Jun  4 07:48:41 UTC 2006