Trace number 43124

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)3573760 1800.58 1783.55

General information on the benchmark

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

Verifier Data (download as text)

OK	3573760

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.07 1.07 1.00 2/74 28246
/proc/meminfo: memFree=1724040/2055892 swapFree=4087504/4096564
[pid=28246] ppid=28244 vsize=164 CPUtime=0
/proc/28246/stat : 28246 (java) R 28244 28246 28192 0 -1 0 20 0 0 0 0 0 0 0 19 0 1 0 187556379 167936 3 18446744073709551615 0 0 4294956995 18446744073709551615 226342007831 0 0 4096 0 0 0 0 17 1 0 0
/proc/28246/statm: 41 12 8 14 0 1 0

[startup+10.0024 s]
/proc/loadavg: 1.14 1.08 1.01 2/80 28383
/proc/meminfo: memFree=1547416/2055892 swapFree=4087504/4096564
[pid=28246] ppid=28244 vsize=1711408 CPUtime=11.19
/proc/28246/stat : 28246 (java) R 28244 28246 28192 0 -1 0 49094 0 1 0 1098 21 0 0 21 0 13 0 187556379 1752481792 46110 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071305456 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28246/statm: 427852 46110 1907 14 0 414598 0
[pid=28246/tid=28247] ppid=28244 vsize=1711408 CPUtime=0.13
/proc/28246/task/28247/stat : 28247 (java) S 28244 28246 28192 0 -1 64 3522 0 0 0 12 1 0 0 16 0 13 0 187556385 1752481792 46110 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28248] ppid=28244 vsize=1711408 CPUtime=0.15
/proc/28246/task/28248/stat : 28248 (java) S 28244 28246 28192 0 -1 64 3703 0 0 0 13 2 0 0 15 0 13 0 187556385 1752481792 46110 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28249] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28249/stat : 28249 (java) S 28244 28246 28192 0 -1 64 34 0 0 0 0 0 0 0 15 0 13 0 187556387 1752481792 46110 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28250] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28250/stat : 28250 (java) S 28244 28246 28192 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 46110 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28251] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28251/stat : 28251 (java) S 28244 28246 28192 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 46110 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28252] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28252/stat : 28252 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187556391 1752481792 46110 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28253] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28253/stat : 28253 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 187556391 1752481792 46110 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28254] ppid=28244 vsize=1711408 CPUtime=0.85
/proc/28246/task/28254/stat : 28254 (java) S 28244 28246 28192 0 -1 64 1363 0 0 0 85 0 0 0 17 0 13 0 187556391 1752481792 46110 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28255] ppid=28244 vsize=1711408 CPUtime=0.72
/proc/28246/task/28255/stat : 28255 (java) S 28244 28246 28192 0 -1 64 739 0 0 0 72 0 0 0 15 0 13 0 187556391 1752481792 46110 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28256] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28256/stat : 28256 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187556391 1752481792 46110 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28257] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28257/stat : 28257 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187556391 1752481792 46110 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28259] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28259/stat : 28259 (java) S 28244 28246 28192 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 187556572 1752481792 46110 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.19
Current children cumulated vsize (Kb) 1711408

[startup+20.0093 s]
/proc/loadavg: 1.11 1.08 1.01 2/80 28383
/proc/meminfo: memFree=1542104/2055892 swapFree=4087504/4096564
[pid=28246] ppid=28244 vsize=1711408 CPUtime=21.26
/proc/28246/stat : 28246 (java) R 28244 28246 28192 0 -1 0 52184 0 1 0 2103 23 0 0 25 0 13 0 187556379 1752481792 47504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071456541 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28246/statm: 427852 47504 1909 14 0 414598 0
[pid=28246/tid=28247] ppid=28244 vsize=1711408 CPUtime=0.2
/proc/28246/task/28247/stat : 28247 (java) S 28244 28246 28192 0 -1 64 4987 0 0 0 18 2 0 0 17 0 13 0 187556385 1752481792 47504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28248] ppid=28244 vsize=1711408 CPUtime=0.21
/proc/28246/task/28248/stat : 28248 (java) S 28244 28246 28192 0 -1 64 5144 0 0 0 19 2 0 0 15 0 13 0 187556385 1752481792 47504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28249] ppid=28244 vsize=1711408 CPUtime=0.01
/proc/28246/task/28249/stat : 28249 (java) S 28244 28246 28192 0 -1 64 38 0 0 0 1 0 0 0 17 0 13 0 187556387 1752481792 47504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28250] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28250/stat : 28250 (java) S 28244 28246 28192 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 47504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28251] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28251/stat : 28251 (java) S 28244 28246 28192 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 47504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28252] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28252/stat : 28252 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187556391 1752481792 47504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28253] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28253/stat : 28253 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 187556391 1752481792 47504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28254] ppid=28244 vsize=1711408 CPUtime=0.86
/proc/28246/task/28254/stat : 28254 (java) S 28244 28246 28192 0 -1 64 1363 0 0 0 86 0 0 0 16 0 13 0 187556391 1752481792 47504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28255] ppid=28244 vsize=1711408 CPUtime=0.73
/proc/28246/task/28255/stat : 28255 (java) S 28244 28246 28192 0 -1 64 742 0 0 0 73 0 0 0 16 0 13 0 187556391 1752481792 47504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28256] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28256/stat : 28256 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187556391 1752481792 47504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28257] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28257/stat : 28257 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187556391 1752481792 47504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28259] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28259/stat : 28259 (java) S 28244 28246 28192 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 187556572 1752481792 47504 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.26
Current children cumulated vsize (Kb) 1711408

[startup+30.0162 s]
/proc/loadavg: 1.10 1.07 1.01 2/80 28383
/proc/meminfo: memFree=1558808/2055892 swapFree=4087504/4096564
[pid=28246] ppid=28244 vsize=1711408 CPUtime=31.29
/proc/28246/stat : 28246 (java) R 28244 28246 28192 0 -1 0 52593 0 1 0 3105 24 0 0 17 0 13 0 187556379 1752481792 43326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071682933 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28246/statm: 427852 43326 1909 14 0 414598 0
[pid=28246/tid=28247] ppid=28244 vsize=1711408 CPUtime=0.22
/proc/28246/task/28247/stat : 28247 (java) S 28244 28246 28192 0 -1 64 5115 0 0 0 20 2 0 0 16 0 13 0 187556385 1752481792 43326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28248] ppid=28244 vsize=1711408 CPUtime=0.24
/proc/28246/task/28248/stat : 28248 (java) S 28244 28246 28192 0 -1 64 5399 0 0 0 21 3 0 0 16 0 13 0 187556385 1752481792 43326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28249] ppid=28244 vsize=1711408 CPUtime=0.01
/proc/28246/task/28249/stat : 28249 (java) S 28244 28246 28192 0 -1 64 38 0 0 0 1 0 0 0 16 0 13 0 187556387 1752481792 43326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28250] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28250/stat : 28250 (java) S 28244 28246 28192 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 43326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28251] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28251/stat : 28251 (java) S 28244 28246 28192 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 43326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28252] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28252/stat : 28252 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187556391 1752481792 43326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28253] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28253/stat : 28253 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 187556391 1752481792 43326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28254] ppid=28244 vsize=1711408 CPUtime=0.86
/proc/28246/task/28254/stat : 28254 (java) S 28244 28246 28192 0 -1 64 1363 0 0 0 86 0 0 0 16 0 13 0 187556391 1752481792 43326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28255] ppid=28244 vsize=1711408 CPUtime=0.73
/proc/28246/task/28255/stat : 28255 (java) S 28244 28246 28192 0 -1 64 742 0 0 0 73 0 0 0 16 0 13 0 187556391 1752481792 43326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28256] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28256/stat : 28256 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187556391 1752481792 43326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28257] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28257/stat : 28257 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187556391 1752481792 43326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28259] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28259/stat : 28259 (java) S 28244 28246 28192 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 187556572 1752481792 43326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.29
Current children cumulated vsize (Kb) 1711408

[startup+40.0231 s]
/proc/loadavg: 1.08 1.07 1.01 2/80 28383
/proc/meminfo: memFree=1561752/2055892 swapFree=4087504/4096564
[pid=28246] ppid=28244 vsize=1711408 CPUtime=41.34
/proc/28246/stat : 28246 (java) R 28244 28246 28192 0 -1 0 53607 0 1 0 4109 25 0 0 25 0 13 0 187556379 1752481792 42593 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071431473 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28246/statm: 427852 42593 1909 14 0 414598 0
[pid=28246/tid=28247] ppid=28244 vsize=1711408 CPUtime=0.26
/proc/28246/task/28247/stat : 28247 (java) S 28244 28246 28192 0 -1 64 5651 0 0 0 24 2 0 0 16 0 13 0 187556385 1752481792 42593 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28248] ppid=28244 vsize=1711408 CPUtime=0.27
/proc/28246/task/28248/stat : 28248 (java) S 28244 28246 28192 0 -1 64 5850 0 0 0 24 3 0 0 16 0 13 0 187556385 1752481792 42593 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28249] ppid=28244 vsize=1711408 CPUtime=0.01
/proc/28246/task/28249/stat : 28249 (java) S 28244 28246 28192 0 -1 64 38 0 0 0 1 0 0 0 16 0 13 0 187556387 1752481792 42593 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28250] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28250/stat : 28250 (java) S 28244 28246 28192 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 42593 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28251] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28251/stat : 28251 (java) S 28244 28246 28192 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 42593 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28252] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28252/stat : 28252 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187556391 1752481792 42593 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28253] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28253/stat : 28253 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 187556391 1752481792 42593 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28254] ppid=28244 vsize=1711408 CPUtime=0.86
/proc/28246/task/28254/stat : 28254 (java) S 28244 28246 28192 0 -1 64 1363 0 0 0 86 0 0 0 17 0 13 0 187556391 1752481792 42593 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28255] ppid=28244 vsize=1711408 CPUtime=0.75
/proc/28246/task/28255/stat : 28255 (java) S 28244 28246 28192 0 -1 64 745 0 0 0 75 0 0 0 16 0 13 0 187556391 1752481792 42593 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28256] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28256/stat : 28256 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187556391 1752481792 42593 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28257] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28257/stat : 28257 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187556391 1752481792 42593 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28259] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28259/stat : 28259 (java) S 28244 28246 28192 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 187556572 1752481792 42593 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.34
Current children cumulated vsize (Kb) 1711408

[startup+50.031 s]
/proc/loadavg: 1.07 1.07 1.00 2/80 28383
/proc/meminfo: memFree=1569496/2055892 swapFree=4087504/4096564
[pid=28246] ppid=28244 vsize=1711408 CPUtime=51.37
/proc/28246/stat : 28246 (java) R 28244 28246 28192 0 -1 0 54710 0 1 0 5111 26 0 0 19 0 13 0 187556379 1752481792 40663 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071432982 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28246/statm: 427852 40663 1909 14 0 414598 0
[pid=28246/tid=28247] ppid=28244 vsize=1711408 CPUtime=0.29
/proc/28246/task/28247/stat : 28247 (java) S 28244 28246 28192 0 -1 64 6166 0 0 0 27 2 0 0 16 0 13 0 187556385 1752481792 40663 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28248] ppid=28244 vsize=1711408 CPUtime=0.31
/proc/28246/task/28248/stat : 28248 (java) S 28244 28246 28192 0 -1 64 6409 0 0 0 28 3 0 0 15 0 13 0 187556385 1752481792 40663 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28249] ppid=28244 vsize=1711408 CPUtime=0.02
/proc/28246/task/28249/stat : 28249 (java) S 28244 28246 28192 0 -1 64 38 0 0 0 1 1 0 0 16 0 13 0 187556387 1752481792 40663 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28250] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28250/stat : 28250 (java) S 28244 28246 28192 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 40663 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28251] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28251/stat : 28251 (java) S 28244 28246 28192 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 40663 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28252] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28252/stat : 28252 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187556391 1752481792 40663 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28253] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28253/stat : 28253 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 187556391 1752481792 40663 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28254] ppid=28244 vsize=1711408 CPUtime=0.86
/proc/28246/task/28254/stat : 28254 (java) S 28244 28246 28192 0 -1 64 1363 0 0 0 86 0 0 0 17 0 13 0 187556391 1752481792 40663 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28255] ppid=28244 vsize=1711408 CPUtime=0.75
/proc/28246/task/28255/stat : 28255 (java) S 28244 28246 28192 0 -1 64 745 0 0 0 75 0 0 0 16 0 13 0 187556391 1752481792 40663 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28256] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28256/stat : 28256 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187556391 1752481792 40663 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28257] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28257/stat : 28257 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187556391 1752481792 40663 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28259] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28259/stat : 28259 (java) S 28244 28246 28192 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 187556572 1752481792 40663 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.37
Current children cumulated vsize (Kb) 1711408

[startup+60.0379 s]
/proc/loadavg: 1.06 1.06 1.00 2/80 28385
/proc/meminfo: memFree=1520464/2055892 swapFree=4087504/4096564
[pid=28246] ppid=28244 vsize=1711408 CPUtime=61.44
/proc/28246/stat : 28246 (java) R 28244 28246 28192 0 -1 0 68318 0 1 0 6112 32 0 0 25 0 13 0 187556379 1752481792 52969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071431475 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28246/statm: 427852 52969 1909 14 0 414598 0
[pid=28246/tid=28247] ppid=28244 vsize=1711408 CPUtime=0.36
/proc/28246/task/28247/stat : 28247 (java) S 28244 28246 28192 0 -1 64 6940 0 0 0 33 3 0 0 15 0 13 0 187556385 1752481792 52969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28248] ppid=28244 vsize=1711408 CPUtime=0.37
/proc/28246/task/28248/stat : 28248 (java) S 28244 28246 28192 0 -1 64 7403 0 0 0 33 4 0 0 16 0 13 0 187556385 1752481792 52969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28249] ppid=28244 vsize=1711408 CPUtime=0.03
/proc/28246/task/28249/stat : 28249 (java) S 28244 28246 28192 0 -1 64 63 0 0 0 2 1 0 0 16 0 13 0 187556387 1752481792 52969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28250] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28250/stat : 28250 (java) S 28244 28246 28192 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 52969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28251] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28251/stat : 28251 (java) S 28244 28246 28192 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 52969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28252] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28252/stat : 28252 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187556391 1752481792 52969 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=28246/tid=28250] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28250/stat : 28250 (java) S 28244 28246 28192 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 156985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28251] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28251/stat : 28251 (java) S 28244 28246 28192 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 156985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28252] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28252/stat : 28252 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187556391 1752481792 156985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28253] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28253/stat : 28253 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 187556391 1752481792 156985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28254] ppid=28244 vsize=1711408 CPUtime=0.91
/proc/28246/task/28254/stat : 28254 (java) S 28244 28246 28192 0 -1 64 1367 0 0 0 91 0 0 0 16 0 13 0 187556391 1752481792 156985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28255] ppid=28244 vsize=1711408 CPUtime=0.77
/proc/28246/task/28255/stat : 28255 (java) S 28244 28246 28192 0 -1 64 746 0 0 0 77 0 0 0 16 0 13 0 187556391 1752481792 156985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28256] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28256/stat : 28256 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187556391 1752481792 156985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28257] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28257/stat : 28257 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187556391 1752481792 156985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28385] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28385/stat : 28385 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 187562003 1752481792 156985 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.15
Current children cumulated vsize (Kb) 1711408

[startup+1780.28 s]
/proc/loadavg: 1.09 1.03 1.01 2/80 28387
/proc/meminfo: memFree=1102352/2055892 swapFree=4087504/4096564
[pid=28246] ppid=28244 vsize=1711408 CPUtime=1797.18
/proc/28246/stat : 28246 (java) R 28244 28246 28192 0 -1 0 245988 0 1 0 179544 174 0 0 17 0 13 0 187556379 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071527039 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28246/statm: 427852 157025 1912 14 0 414598 0
[pid=28246/tid=28247] ppid=28244 vsize=1711408 CPUtime=16.76
/proc/28246/task/28247/stat : 28247 (java) S 28244 28246 28192 0 -1 64 70848 0 0 0 1627 49 0 0 17 0 13 0 187556385 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28248] ppid=28244 vsize=1711408 CPUtime=16.69
/proc/28246/task/28248/stat : 28248 (java) S 28244 28246 28192 0 -1 64 69589 0 0 0 1628 41 0 0 16 0 13 0 187556385 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28249] ppid=28244 vsize=1711408 CPUtime=0.67
/proc/28246/task/28249/stat : 28249 (java) S 28244 28246 28192 0 -1 64 233 0 0 0 37 30 0 0 16 0 13 0 187556387 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28250] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28250/stat : 28250 (java) S 28244 28246 28192 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28251] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28251/stat : 28251 (java) S 28244 28246 28192 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28252] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28252/stat : 28252 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187556391 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28253] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28253/stat : 28253 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 187556391 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28254] ppid=28244 vsize=1711408 CPUtime=0.91
/proc/28246/task/28254/stat : 28254 (java) S 28244 28246 28192 0 -1 64 1367 0 0 0 91 0 0 0 16 0 13 0 187556391 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28255] ppid=28244 vsize=1711408 CPUtime=0.77
/proc/28246/task/28255/stat : 28255 (java) S 28244 28246 28192 0 -1 64 746 0 0 0 77 0 0 0 16 0 13 0 187556391 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28256] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28256/stat : 28256 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187556391 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28257] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28257/stat : 28257 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187556391 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28385] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28385/stat : 28385 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 187562003 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (Kb) 1711408

[startup+1781.29 s]
/proc/loadavg: 1.09 1.03 1.01 2/80 28387
/proc/meminfo: memFree=1102352/2055892 swapFree=4087504/4096564
[pid=28246] ppid=28244 vsize=1711408 CPUtime=1798.18
/proc/28246/stat : 28246 (java) R 28244 28246 28192 0 -1 0 245988 0 1 0 179644 174 0 0 18 0 13 0 187556379 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071526974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28246/statm: 427852 157025 1912 14 0 414598 0
[pid=28246/tid=28247] ppid=28244 vsize=1711408 CPUtime=16.76
/proc/28246/task/28247/stat : 28247 (java) S 28244 28246 28192 0 -1 64 70848 0 0 0 1627 49 0 0 17 0 13 0 187556385 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28248] ppid=28244 vsize=1711408 CPUtime=16.69
/proc/28246/task/28248/stat : 28248 (java) S 28244 28246 28192 0 -1 64 69589 0 0 0 1628 41 0 0 16 0 13 0 187556385 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28249] ppid=28244 vsize=1711408 CPUtime=0.67
/proc/28246/task/28249/stat : 28249 (java) S 28244 28246 28192 0 -1 64 233 0 0 0 37 30 0 0 16 0 13 0 187556387 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28250] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28250/stat : 28250 (java) S 28244 28246 28192 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28251] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28251/stat : 28251 (java) S 28244 28246 28192 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28252] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28252/stat : 28252 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187556391 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28253] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28253/stat : 28253 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 187556391 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28254] ppid=28244 vsize=1711408 CPUtime=0.91
/proc/28246/task/28254/stat : 28254 (java) S 28244 28246 28192 0 -1 64 1367 0 0 0 91 0 0 0 16 0 13 0 187556391 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28255] ppid=28244 vsize=1711408 CPUtime=0.77
/proc/28246/task/28255/stat : 28255 (java) S 28244 28246 28192 0 -1 64 746 0 0 0 77 0 0 0 16 0 13 0 187556391 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28256] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28256/stat : 28256 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187556391 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28257] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28257/stat : 28257 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187556391 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28385] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28385/stat : 28385 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 187562003 1752481792 157025 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.18
Current children cumulated vsize (Kb) 1711408

[startup+1782.29 s]
/proc/loadavg: 1.09 1.03 1.01 2/80 28387
/proc/meminfo: memFree=1102032/2055892 swapFree=4087504/4096564
[pid=28246] ppid=28244 vsize=1711408 CPUtime=1799.21
/proc/28246/stat : 28246 (java) R 28244 28246 28192 0 -1 0 246055 0 1 0 179746 175 0 0 17 0 13 0 187556379 1752481792 157082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071650082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28246/statm: 427852 157082 1912 14 0 414598 0
[pid=28246/tid=28247] ppid=28244 vsize=1711408 CPUtime=16.78
/proc/28246/task/28247/stat : 28247 (java) S 28244 28246 28192 0 -1 64 70878 0 0 0 1629 49 0 0 17 0 13 0 187556385 1752481792 157082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28248] ppid=28244 vsize=1711408 CPUtime=16.72
/proc/28246/task/28248/stat : 28248 (java) S 28244 28246 28192 0 -1 64 69625 0 0 0 1631 41 0 0 16 0 13 0 187556385 1752481792 157082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28249] ppid=28244 vsize=1711408 CPUtime=0.67
/proc/28246/task/28249/stat : 28249 (java) S 28244 28246 28192 0 -1 64 233 0 0 0 37 30 0 0 16 0 13 0 187556387 1752481792 157082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28250] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28250/stat : 28250 (java) S 28244 28246 28192 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 157082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28251] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28251/stat : 28251 (java) S 28244 28246 28192 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 157082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28252] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28252/stat : 28252 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187556391 1752481792 157082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28253] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28253/stat : 28253 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 187556391 1752481792 157082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28254] ppid=28244 vsize=1711408 CPUtime=0.91
/proc/28246/task/28254/stat : 28254 (java) S 28244 28246 28192 0 -1 64 1367 0 0 0 91 0 0 0 16 0 13 0 187556391 1752481792 157082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28255] ppid=28244 vsize=1711408 CPUtime=0.77
/proc/28246/task/28255/stat : 28255 (java) S 28244 28246 28192 0 -1 64 746 0 0 0 77 0 0 0 16 0 13 0 187556391 1752481792 157082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28256] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28256/stat : 28256 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187556391 1752481792 157082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28257] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28257/stat : 28257 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187556391 1752481792 157082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28385] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28385/stat : 28385 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 187562003 1752481792 157082 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.21
Current children cumulated vsize (Kb) 1711408

[startup+1783.3 s]
/proc/loadavg: 1.09 1.03 1.01 2/80 28387
/proc/meminfo: memFree=1101712/2055892 swapFree=4087504/4096564
[pid=28246] ppid=28244 vsize=1711408 CPUtime=1800.23
/proc/28246/stat : 28246 (java) R 28244 28246 28192 0 -1 0 246134 0 1 0 179848 175 0 0 17 0 13 0 187556379 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071682922 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28246/statm: 427852 157160 1912 14 0 414598 0
[pid=28246/tid=28247] ppid=28244 vsize=1711408 CPUtime=16.8
/proc/28246/task/28247/stat : 28247 (java) S 28244 28246 28192 0 -1 64 70880 0 0 0 1631 49 0 0 17 0 13 0 187556385 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28248] ppid=28244 vsize=1711408 CPUtime=16.74
/proc/28246/task/28248/stat : 28248 (java) S 28244 28246 28192 0 -1 64 69701 0 0 0 1633 41 0 0 16 0 13 0 187556385 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28249] ppid=28244 vsize=1711408 CPUtime=0.67
/proc/28246/task/28249/stat : 28249 (java) S 28244 28246 28192 0 -1 64 233 0 0 0 37 30 0 0 16 0 13 0 187556387 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28250] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28250/stat : 28250 (java) S 28244 28246 28192 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28251] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28251/stat : 28251 (java) S 28244 28246 28192 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28252] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28252/stat : 28252 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187556391 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28253] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28253/stat : 28253 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 187556391 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28254] ppid=28244 vsize=1711408 CPUtime=0.91
/proc/28246/task/28254/stat : 28254 (java) S 28244 28246 28192 0 -1 64 1367 0 0 0 91 0 0 0 16 0 13 0 187556391 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28255] ppid=28244 vsize=1711408 CPUtime=0.77
/proc/28246/task/28255/stat : 28255 (java) S 28244 28246 28192 0 -1 64 746 0 0 0 77 0 0 0 16 0 13 0 187556391 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28256] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28256/stat : 28256 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187556391 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28257] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28257/stat : 28257 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187556391 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28385] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28385/stat : 28385 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 187562003 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (Kb) 1711408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1783.3 s]
/proc/loadavg: 1.09 1.03 1.01 2/80 28387
/proc/meminfo: memFree=1101712/2055892 swapFree=4087504/4096564
[pid=28246] ppid=28244 vsize=1711408 CPUtime=1800.24
/proc/28246/stat : 28246 (java) R 28244 28246 28192 0 -1 0 246134 0 1 0 179849 175 0 0 17 0 13 0 187556379 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071682896 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28246/statm: 427852 157160 1912 14 0 414598 0
[pid=28246/tid=28247] ppid=28244 vsize=1711408 CPUtime=16.8
/proc/28246/task/28247/stat : 28247 (java) S 28244 28246 28192 0 -1 64 70880 0 0 0 1631 49 0 0 17 0 13 0 187556385 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28248] ppid=28244 vsize=1711408 CPUtime=16.74
/proc/28246/task/28248/stat : 28248 (java) S 28244 28246 28192 0 -1 64 69701 0 0 0 1633 41 0 0 16 0 13 0 187556385 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28249] ppid=28244 vsize=1711408 CPUtime=0.67
/proc/28246/task/28249/stat : 28249 (java) S 28244 28246 28192 0 -1 64 233 0 0 0 37 30 0 0 16 0 13 0 187556387 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28250] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28250/stat : 28250 (java) S 28244 28246 28192 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28251] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28251/stat : 28251 (java) S 28244 28246 28192 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187556388 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28252] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28252/stat : 28252 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 187556391 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28253] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28253/stat : 28253 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 187556391 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28246/tid=28254] ppid=28244 vsize=1711408 CPUtime=0.91
/proc/28246/task/28254/stat : 28254 (java) S 28244 28246 28192 0 -1 64 1367 0 0 0 91 0 0 0 16 0 13 0 187556391 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28255] ppid=28244 vsize=1711408 CPUtime=0.77
/proc/28246/task/28255/stat : 28255 (java) S 28244 28246 28192 0 -1 64 746 0 0 0 77 0 0 0 16 0 13 0 187556391 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28256] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28256/stat : 28256 (java) S 28244 28246 28192 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 187556391 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28257] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28257/stat : 28257 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 187556391 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28246/tid=28385] ppid=28244 vsize=1711408 CPUtime=0
/proc/28246/task/28385/stat : 28385 (java) S 28244 28246 28192 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 187562003 1752481792 157160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (Kb) 1711408

Sending SIGTERM to -28246
Sleeping 2 seconds

Child status: 143
Real time (s): 1783.55
CPU time (s): 1800.58
CPU user time (s): 1798.73
CPU system time (s): 1.84672
CPU usage (%): 100.955
Max. virtual memory (cumulated for all children) (Kb): 1711408

Launcher Data (download as text)

Begin job on node82 on Sat Jun  3 03:01:11 UTC 2006


FILE ID= 43124-1149303671

PBS_JOBID= 307490

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

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  f6afca2947f6ff68bd855d0ea2ea59a9

RANDOM SEED= 765766867


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


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1724440 kB
Buffers:          9492 kB
Cached:         251336 kB
SwapCached:       2672 kB
Active:          31180 kB
Inactive:       239124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1724440 kB
SwapTotal:     4096564 kB
SwapFree:      4087504 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          15940 kB
Slab:            47096 kB
Committed_AS:   312220 kB
PageTables:       1720 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node82 on Sat Jun  3 03:30:55 UTC 2006