Trace number 42210

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 NameAnswerCPU timeWall clock time
SAT4JPSEUDO 2006.2 HeuristicsSAT 332.016 321.047

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
MD5SUM79ed7fb7a57e7e2ac59cfc8508d281c9
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark13.5289
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4500
Total number of constraints2559501
Number of constraints which are clauses2554450
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints4950
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 420
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2049
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node88/watcher-42210-1149226879 -o ROOT/results/node88/solver-42210-1149226879 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node88/42210-1149226879/instance-42210-1149226879.opb 246382576 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.61 0.85 0.92 2/68 20335
/proc/meminfo: memFree=1346360/2055888 swapFree=4085344/4096564
[pid=20335] ppid=20333 vsize=1508 CPUtime=0
/proc/20335/stat : 20335 (java) R 20333 20335 20290 0 -1 0 89 0 0 0 0 0 0 0 19 0 1 0 188329212 1544192 70 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 9511552 0 0 4096 0 0 0 0 17 1 0 0
/proc/20335/statm: 377 70 55 14 0 8 0

[startup+10.0021 s]
/proc/loadavg: 0.67 0.86 0.92 2/79 20346
/proc/meminfo: memFree=1159392/2055888 swapFree=4085344/4096564
[pid=20335] ppid=20333 vsize=1709688 CPUtime=10.54
/proc/20335/stat : 20335 (java) R 20333 20335 20290 0 -1 0 49376 0 1 0 1032 22 0 0 25 0 12 0 188329212 1750720512 48530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071338282 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20335/statm: 427422 48530 1876 14 0 414168 0
[pid=20335/tid=20336] ppid=20333 vsize=1709688 CPUtime=0.12
/proc/20335/task/20336/stat : 20336 (java) S 20333 20335 20290 0 -1 64 2326 0 0 0 11 1 0 0 15 0 12 0 188329216 1750720512 48530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20337] ppid=20333 vsize=1709688 CPUtime=0.12
/proc/20335/task/20337/stat : 20337 (java) S 20333 20335 20290 0 -1 64 1856 0 0 0 11 1 0 0 16 0 12 0 188329216 1750720512 48530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20338] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20338/stat : 20338 (java) S 20333 20335 20290 0 -1 64 30 0 0 0 0 0 0 0 16 0 12 0 188329218 1750720512 48530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20339] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20339/stat : 20339 (java) S 20333 20335 20290 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188329219 1750720512 48530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20340] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20340/stat : 20340 (java) S 20333 20335 20290 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188329219 1750720512 48530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20341] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20341/stat : 20341 (java) S 20333 20335 20290 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188329222 1750720512 48530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20342] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20342/stat : 20342 (java) S 20333 20335 20290 0 -1 64 3 0 0 0 0 0 0 0 15 0 12 0 188329222 1750720512 48530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20343] ppid=20333 vsize=1709688 CPUtime=0.23
/proc/20335/task/20343/stat : 20343 (java) S 20333 20335 20290 0 -1 64 285 0 0 0 23 0 0 0 16 0 12 0 188329222 1750720512 48530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20344] ppid=20333 vsize=1709688 CPUtime=0.35
/proc/20335/task/20344/stat : 20344 (java) S 20333 20335 20290 0 -1 64 333 0 0 0 35 0 0 0 16 0 12 0 188329222 1750720512 48530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20345] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20345/stat : 20345 (java) S 20333 20335 20290 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188329222 1750720512 48530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20346] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20346/stat : 20346 (java) S 20333 20335 20290 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188329222 1750720512 48530 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.54
Current children cumulated vsize (Kb) 1709688

[startup+20.0091 s]
/proc/loadavg: 0.72 0.86 0.92 2/79 20346
/proc/meminfo: memFree=1150816/2055888 swapFree=4085344/4096564
[pid=20335] ppid=20333 vsize=1709688 CPUtime=20.64
/proc/20335/stat : 20335 (java) R 20333 20335 20290 0 -1 0 51911 0 1 0 2040 24 0 0 18 0 12 0 188329212 1750720512 50677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071424665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20335/statm: 427422 50677 1876 14 0 414168 0
[pid=20335/tid=20336] ppid=20333 vsize=1709688 CPUtime=0.22
/proc/20335/task/20336/stat : 20336 (java) S 20333 20335 20290 0 -1 64 3441 0 0 0 21 1 0 0 16 0 12 0 188329216 1750720512 50677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20337] ppid=20333 vsize=1709688 CPUtime=0.21
/proc/20335/task/20337/stat : 20337 (java) S 20333 20335 20290 0 -1 64 3249 0 0 0 20 1 0 0 16 0 12 0 188329216 1750720512 50677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20338] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20338/stat : 20338 (java) S 20333 20335 20290 0 -1 64 31 0 0 0 0 0 0 0 16 0 12 0 188329218 1750720512 50677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20339] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20339/stat : 20339 (java) S 20333 20335 20290 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188329219 1750720512 50677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20340] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20340/stat : 20340 (java) S 20333 20335 20290 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188329219 1750720512 50677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20341] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20341/stat : 20341 (java) S 20333 20335 20290 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188329222 1750720512 50677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20342] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20342/stat : 20342 (java) S 20333 20335 20290 0 -1 64 3 0 0 0 0 0 0 0 15 0 12 0 188329222 1750720512 50677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20343] ppid=20333 vsize=1709688 CPUtime=0.23
/proc/20335/task/20343/stat : 20343 (java) S 20333 20335 20290 0 -1 64 285 0 0 0 23 0 0 0 16 0 12 0 188329222 1750720512 50677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20344] ppid=20333 vsize=1709688 CPUtime=0.35
/proc/20335/task/20344/stat : 20344 (java) S 20333 20335 20290 0 -1 64 333 0 0 0 35 0 0 0 16 0 12 0 188329222 1750720512 50677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20345] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20345/stat : 20345 (java) S 20333 20335 20290 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188329222 1750720512 50677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20346] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20346/stat : 20346 (java) S 20333 20335 20290 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188329222 1750720512 50677 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.64
Current children cumulated vsize (Kb) 1709688

[startup+30.0161 s]
/proc/loadavg: 0.76 0.86 0.92 2/79 20346
/proc/meminfo: memFree=1143456/2055888 swapFree=4085344/4096564
[pid=20335] ppid=20333 vsize=1709688 CPUtime=30.75
/proc/20335/stat : 20335 (java) R 20333 20335 20290 0 -1 0 54301 0 1 0 3049 26 0 0 25 0 12 0 188329212 1750720512 52521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071338330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20335/statm: 427422 52521 1876 14 0 414168 0
[pid=20335/tid=20336] ppid=20333 vsize=1709688 CPUtime=0.33
/proc/20335/task/20336/stat : 20336 (java) S 20333 20335 20290 0 -1 64 4323 0 0 0 31 2 0 0 16 0 12 0 188329216 1750720512 52521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20337] ppid=20333 vsize=1709688 CPUtime=0.33
/proc/20335/task/20337/stat : 20337 (java) S 20333 20335 20290 0 -1 64 4498 0 0 0 31 2 0 0 16 0 12 0 188329216 1750720512 52521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20338] ppid=20333 vsize=1709688 CPUtime=0.01
/proc/20335/task/20338/stat : 20338 (java) S 20333 20335 20290 0 -1 64 32 0 0 0 1 0 0 0 16 0 12 0 188329218 1750720512 52521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20339] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20339/stat : 20339 (java) S 20333 20335 20290 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188329219 1750720512 52521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20340] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20340/stat : 20340 (java) S 20333 20335 20290 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188329219 1750720512 52521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20341] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20341/stat : 20341 (java) S 20333 20335 20290 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188329222 1750720512 52521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20342] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20342/stat : 20342 (java) S 20333 20335 20290 0 -1 64 3 0 0 0 0 0 0 0 15 0 12 0 188329222 1750720512 52521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20343] ppid=20333 vsize=1709688 CPUtime=0.23
/proc/20335/task/20343/stat : 20343 (java) S 20333 20335 20290 0 -1 64 285 0 0 0 23 0 0 0 16 0 12 0 188329222 1750720512 52521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20344] ppid=20333 vsize=1709688 CPUtime=0.35
/proc/20335/task/20344/stat : 20344 (java) S 20333 20335 20290 0 -1 64 333 0 0 0 35 0 0 0 16 0 12 0 188329222 1750720512 52521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20345] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20345/stat : 20345 (java) S 20333 20335 20290 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188329222 1750720512 52521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20346] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20346/stat : 20346 (java) S 20333 20335 20290 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188329222 1750720512 52521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.75
Current children cumulated vsize (Kb) 1709688

[startup+40.0231 s]
/proc/loadavg: 0.80 0.87 0.92 2/79 20346
/proc/meminfo: memFree=1135840/2055888 swapFree=4085344/4096564
[pid=20335] ppid=20333 vsize=1709688 CPUtime=40.87
/proc/20335/stat : 20335 (java) R 20333 20335 20290 0 -1 0 56321 0 1 0 4059 28 0 0 18 0 12 0 188329212 1750720512 54415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071320665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20335/statm: 427422 54415 1876 14 0 414168 0
[pid=20335/tid=20336] ppid=20333 vsize=1709688 CPUtime=0.45
/proc/20335/task/20336/stat : 20336 (java) S 20333 20335 20290 0 -1 64 5250 0 0 0 43 2 0 0 16 0 12 0 188329216 1750720512 54415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20337] ppid=20333 vsize=1709688 CPUtime=0.46
/proc/20335/task/20337/stat : 20337 (java) S 20333 20335 20290 0 -1 64 5572 0 0 0 43 3 0 0 15 0 12 0 188329216 1750720512 54415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20338] ppid=20333 vsize=1709688 CPUtime=0.01
/proc/20335/task/20338/stat : 20338 (java) S 20333 20335 20290 0 -1 64 32 0 0 0 1 0 0 0 16 0 12 0 188329218 1750720512 54415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20339] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20339/stat : 20339 (java) S 20333 20335 20290 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188329219 1750720512 54415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20340] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20340/stat : 20340 (java) S 20333 20335 20290 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188329219 1750720512 54415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20341] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20341/stat : 20341 (java) S 20333 20335 20290 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188329222 1750720512 54415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20342] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20342/stat : 20342 (java) S 20333 20335 20290 0 -1 64 3 0 0 0 0 0 0 0 15 0 12 0 188329222 1750720512 54415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20343] ppid=20333 vsize=1709688 CPUtime=0.23
/proc/20335/task/20343/stat : 20343 (java) S 20333 20335 20290 0 -1 64 285 0 0 0 23 0 0 0 16 0 12 0 188329222 1750720512 54415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20344] ppid=20333 vsize=1709688 CPUtime=0.35
/proc/20335/task/20344/stat : 20344 (java) S 20333 20335 20290 0 -1 64 333 0 0 0 35 0 0 0 16 0 12 0 188329222 1750720512 54415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20345] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20345/stat : 20345 (java) S 20333 20335 20290 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188329222 1750720512 54415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20346] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20346/stat : 20346 (java) S 20333 20335 20290 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188329222 1750720512 54415 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 40.87
Current children cumulated vsize (Kb) 1709688

[startup+50.0302 s]
/proc/loadavg: 0.83 0.87 0.92 2/79 20346
/proc/meminfo: memFree=1124576/2055888 swapFree=4085344/4096564
[pid=20335] ppid=20333 vsize=1709688 CPUtime=51
/proc/20335/stat : 20335 (java) R 20333 20335 20290 0 -1 0 59220 0 1 0 5070 30 0 0 19 0 12 0 188329212 1750720512 57230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071327476 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20335/statm: 427422 57230 1876 14 0 414168 0
[pid=20335/tid=20336] ppid=20333 vsize=1709688 CPUtime=0.59
/proc/20335/task/20336/stat : 20336 (java) S 20333 20335 20290 0 -1 64 7021 0 0 0 56 3 0 0 16 0 12 0 188329216 1750720512 57230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20337] ppid=20333 vsize=1709688 CPUtime=0.6
/proc/20335/task/20337/stat : 20337 (java) S 20333 20335 20290 0 -1 64 6682 0 0 0 57 3 0 0 15 0 12 0 188329216 1750720512 57230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20338] ppid=20333 vsize=1709688 CPUtime=0.01
/proc/20335/task/20338/stat : 20338 (java) S 20333 20335 20290 0 -1 64 32 0 0 0 1 0 0 0 15 0 12 0 188329218 1750720512 57230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20339] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20339/stat : 20339 (java) S 20333 20335 20290 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188329219 1750720512 57230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20340] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20340/stat : 20340 (java) S 20333 20335 20290 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188329219 1750720512 57230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20341] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20341/stat : 20341 (java) S 20333 20335 20290 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188329222 1750720512 57230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20342] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20342/stat : 20342 (java) S 20333 20335 20290 0 -1 64 3 0 0 0 0 0 0 0 15 0 12 0 188329222 1750720512 57230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20343] ppid=20333 vsize=1709688 CPUtime=0.23
/proc/20335/task/20343/stat : 20343 (java) S 20333 20335 20290 0 -1 64 285 0 0 0 23 0 0 0 16 0 12 0 188329222 1750720512 57230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20344] ppid=20333 vsize=1709688 CPUtime=0.35
/proc/20335/task/20344/stat : 20344 (java) S 20333 20335 20290 0 -1 64 333 0 0 0 35 0 0 0 16 0 12 0 188329222 1750720512 57230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20345] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20345/stat : 20345 (java) S 20333 20335 20290 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188329222 1750720512 57230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20346] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20346/stat : 20346 (java) S 20333 20335 20290 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188329222 1750720512 57230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (Kb) 1709688

[startup+60.0362 s]
/proc/loadavg: 0.85 0.88 0.92 2/79 20346
/proc/meminfo: memFree=1117920/2055888 swapFree=4085344/4096564
[pid=20335] ppid=20333 vsize=1709688 CPUtime=61.17
/proc/20335/stat : 20335 (java) R 20333 20335 20290 0 -1 0 60934 0 1 0 6085 32 0 0 21 0 12 0 188329212 1750720512 58891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20335/statm: 427422 58891 1876 14 0 414168 0
[pid=20335/tid=20336] ppid=20333 vsize=1709688 CPUtime=0.75
/proc/20335/task/20336/stat : 20336 (java) S 20333 20335 20290 0 -1 64 7924 0 0 0 71 4 0 0 16 0 12 0 188329216 1750720512 58891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20337] ppid=20333 vsize=1709688 CPUtime=0.75
/proc/20335/task/20337/stat : 20337 (java) S 20333 20335 20290 0 -1 64 7474 0 0 0 72 3 0 0 16 0 12 0 188329216 1750720512 58891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20338] ppid=20333 vsize=1709688 CPUtime=0.01
/proc/20335/task/20338/stat : 20338 (java) S 20333 20335 20290 0 -1 64 33 0 0 0 1 0 0 0 15 0 12 0 188329218 1750720512 58891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20339] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20339/stat : 20339 (java) S 20333 20335 20290 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188329219 1750720512 58891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20340] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20340/stat : 20340 (java) S 20333 20335 20290 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188329219 1750720512 58891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20341] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20341/stat : 20341 (java) S 20333 20335 20290 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188329222 1750720512 58891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20342] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20342/stat : 20342 (java) S 20333 20335 20290 0 -1 64 3 0 0 0 0 0 0 0 15 0 12 0 188329222 1750720512 58891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20343] ppid=20333 vsize=1709688 CPUtime=0.23
/proc/20335/task/20343/stat : 20343 (java) S 20333 20335 20290 0 -1 64 285 0 0 0 23 0 0 0 16 0 12 0 188329222 1750720512 58891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20344] ppid=20333 vsize=1709688 CPUtime=0.35
/proc/20335/task/20344/stat : 20344 (java) S 20333 20335 20290 0 -1 64 333 0 0 0 35 0 0 0 16 0 12 0 188329222 1750720512 58891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20345] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20345/stat : 20345 (java) S 20333 20335 20290 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188329222 1750720512 58891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20346] ppid=20333 vsize=1709688 CPUtime=0
/proc/20335/task/20346/stat : 20346 (java) S 20333 20335 20290 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188329222 1750720512 58891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=20335/tid=20346] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20346/stat : 20346 (java) S 20333 20335 20290 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188329222 1750900736 97021 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 267.14
Current children cumulated vsize (Kb) 1709864

[startup+270.186 s]
/proc/loadavg: 1.17 1.00 0.94 2/79 20348
/proc/meminfo: memFree=959584/2055888 swapFree=4085344/4096564
[pid=20335] ppid=20333 vsize=1709864 CPUtime=277.6
/proc/20335/stat : 20335 (java) R 20333 20335 20290 0 -1 0 101516 0 1 0 27569 191 0 0 24 0 12 0 188329212 1750900736 98384 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071327476 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20335/statm: 427466 98384 1877 14 0 414212 0
[pid=20335/tid=20336] ppid=20333 vsize=1709864 CPUtime=7.16
/proc/20335/task/20336/stat : 20336 (java) S 20333 20335 20290 0 -1 64 30319 0 0 0 636 80 0 0 16 0 12 0 188329216 1750900736 98384 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20337] ppid=20333 vsize=1709864 CPUtime=7.17
/proc/20335/task/20337/stat : 20337 (java) S 20333 20335 20290 0 -1 64 25215 0 0 0 649 68 0 0 17 0 12 0 188329216 1750900736 98384 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20338] ppid=20333 vsize=1709864 CPUtime=0.09
/proc/20335/task/20338/stat : 20338 (java) S 20333 20335 20290 0 -1 64 33 0 0 0 6 3 0 0 15 0 12 0 188329218 1750900736 98384 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20339] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20339/stat : 20339 (java) S 20333 20335 20290 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188329219 1750900736 98384 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20340] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20340/stat : 20340 (java) S 20333 20335 20290 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188329219 1750900736 98384 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20341] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20341/stat : 20341 (java) S 20333 20335 20290 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188329222 1750900736 98384 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20342] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20342/stat : 20342 (java) S 20333 20335 20290 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 188329222 1750900736 98384 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20343] ppid=20333 vsize=1709864 CPUtime=0.27
/proc/20335/task/20343/stat : 20343 (java) S 20333 20335 20290 0 -1 64 351 0 0 0 27 0 0 0 17 0 12 0 188329222 1750900736 98384 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20344] ppid=20333 vsize=1709864 CPUtime=0.35
/proc/20335/task/20344/stat : 20344 (java) S 20333 20335 20290 0 -1 64 333 0 0 0 35 0 0 0 16 0 12 0 188329222 1750900736 98384 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20345] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20345/stat : 20345 (java) S 20333 20335 20290 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188329222 1750900736 98384 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20346] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20346/stat : 20346 (java) S 20333 20335 20290 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188329222 1750900736 98384 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 277.6
Current children cumulated vsize (Kb) 1709864

[startup+280.193 s]
/proc/loadavg: 1.15 1.00 0.94 2/79 20348
/proc/meminfo: memFree=953952/2055888 swapFree=4085344/4096564
[pid=20335] ppid=20333 vsize=1709864 CPUtime=288.05
/proc/20335/stat : 20335 (java) R 20333 20335 20290 0 -1 0 102955 0 1 0 28598 207 0 0 21 0 12 0 188329212 1750900736 99777 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071424665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20335/statm: 427466 99777 1877 14 0 414212 0
[pid=20335/tid=20336] ppid=20333 vsize=1709864 CPUtime=7.6
/proc/20335/task/20336/stat : 20336 (java) S 20333 20335 20290 0 -1 64 31040 0 0 0 673 87 0 0 16 0 12 0 188329216 1750900736 99777 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20337] ppid=20333 vsize=1709864 CPUtime=7.62
/proc/20335/task/20337/stat : 20337 (java) S 20333 20335 20290 0 -1 64 25916 0 0 0 686 76 0 0 16 0 12 0 188329216 1750900736 99777 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20338] ppid=20333 vsize=1709864 CPUtime=0.1
/proc/20335/task/20338/stat : 20338 (java) S 20333 20335 20290 0 -1 64 33 0 0 0 7 3 0 0 16 0 12 0 188329218 1750900736 99777 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20339] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20339/stat : 20339 (java) S 20333 20335 20290 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188329219 1750900736 99777 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20340] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20340/stat : 20340 (java) S 20333 20335 20290 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188329219 1750900736 99777 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20341] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20341/stat : 20341 (java) S 20333 20335 20290 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188329222 1750900736 99777 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20342] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20342/stat : 20342 (java) S 20333 20335 20290 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 188329222 1750900736 99777 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20343] ppid=20333 vsize=1709864 CPUtime=0.27
/proc/20335/task/20343/stat : 20343 (java) S 20333 20335 20290 0 -1 64 351 0 0 0 27 0 0 0 17 0 12 0 188329222 1750900736 99777 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20344] ppid=20333 vsize=1709864 CPUtime=0.35
/proc/20335/task/20344/stat : 20344 (java) S 20333 20335 20290 0 -1 64 333 0 0 0 35 0 0 0 16 0 12 0 188329222 1750900736 99777 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20345] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20345/stat : 20345 (java) S 20333 20335 20290 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188329222 1750900736 99777 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20346] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20346/stat : 20346 (java) S 20333 20335 20290 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188329222 1750900736 99777 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 288.05
Current children cumulated vsize (Kb) 1709864

[startup+290.2 s]
/proc/loadavg: 1.12 1.00 0.94 2/79 20348
/proc/meminfo: memFree=948448/2055888 swapFree=4085344/4096564
[pid=20335] ppid=20333 vsize=1709864 CPUtime=298.51
/proc/20335/stat : 20335 (java) R 20333 20335 20290 0 -1 0 104383 0 1 0 29628 223 0 0 25 0 12 0 188329212 1750900736 101153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071338232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20335/statm: 427466 101153 1877 14 0 414212 0
[pid=20335/tid=20336] ppid=20333 vsize=1709864 CPUtime=8.08
/proc/20335/task/20336/stat : 20336 (java) S 20333 20335 20290 0 -1 64 31757 0 0 0 712 96 0 0 16 0 12 0 188329216 1750900736 101153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20337] ppid=20333 vsize=1709864 CPUtime=8.09
/proc/20335/task/20337/stat : 20337 (java) S 20333 20335 20290 0 -1 64 26609 0 0 0 726 83 0 0 17 0 12 0 188329216 1750900736 101153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20338] ppid=20333 vsize=1709864 CPUtime=0.1
/proc/20335/task/20338/stat : 20338 (java) S 20333 20335 20290 0 -1 64 33 0 0 0 7 3 0 0 15 0 12 0 188329218 1750900736 101153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20339] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20339/stat : 20339 (java) S 20333 20335 20290 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188329219 1750900736 101153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20340] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20340/stat : 20340 (java) S 20333 20335 20290 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188329219 1750900736 101153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20341] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20341/stat : 20341 (java) S 20333 20335 20290 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188329222 1750900736 101153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20342] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20342/stat : 20342 (java) S 20333 20335 20290 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 188329222 1750900736 101153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20343] ppid=20333 vsize=1709864 CPUtime=0.27
/proc/20335/task/20343/stat : 20343 (java) S 20333 20335 20290 0 -1 64 351 0 0 0 27 0 0 0 17 0 12 0 188329222 1750900736 101153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20344] ppid=20333 vsize=1709864 CPUtime=0.35
/proc/20335/task/20344/stat : 20344 (java) S 20333 20335 20290 0 -1 64 333 0 0 0 35 0 0 0 16 0 12 0 188329222 1750900736 101153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20345] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20345/stat : 20345 (java) S 20333 20335 20290 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188329222 1750900736 101153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20346] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20346/stat : 20346 (java) S 20333 20335 20290 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188329222 1750900736 101153 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 298.51
Current children cumulated vsize (Kb) 1709864

[startup+300.207 s]
/proc/loadavg: 1.10 1.00 0.94 2/79 20348
/proc/meminfo: memFree=942752/2055888 swapFree=4085344/4096564
[pid=20335] ppid=20333 vsize=1709864 CPUtime=308.99
/proc/20335/stat : 20335 (java) R 20333 20335 20290 0 -1 0 105851 0 1 0 30658 241 0 0 25 0 12 0 188329212 1750900736 102570 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071327323 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20335/statm: 427466 102570 1877 14 0 414212 0
[pid=20335/tid=20336] ppid=20333 vsize=1709864 CPUtime=8.56
/proc/20335/task/20336/stat : 20336 (java) S 20333 20335 20290 0 -1 64 32517 0 0 0 751 105 0 0 16 0 12 0 188329216 1750900736 102570 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20337] ppid=20333 vsize=1709864 CPUtime=8.56
/proc/20335/task/20337/stat : 20337 (java) S 20333 20335 20290 0 -1 64 27299 0 0 0 765 91 0 0 16 0 12 0 188329216 1750900736 102570 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20338] ppid=20333 vsize=1709864 CPUtime=0.1
/proc/20335/task/20338/stat : 20338 (java) S 20333 20335 20290 0 -1 64 33 0 0 0 7 3 0 0 15 0 12 0 188329218 1750900736 102570 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20339] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20339/stat : 20339 (java) S 20333 20335 20290 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188329219 1750900736 102570 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20340] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20340/stat : 20340 (java) S 20333 20335 20290 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188329219 1750900736 102570 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20341] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20341/stat : 20341 (java) S 20333 20335 20290 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188329222 1750900736 102570 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20342] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20342/stat : 20342 (java) S 20333 20335 20290 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 188329222 1750900736 102570 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20343] ppid=20333 vsize=1709864 CPUtime=0.27
/proc/20335/task/20343/stat : 20343 (java) S 20333 20335 20290 0 -1 64 351 0 0 0 27 0 0 0 17 0 12 0 188329222 1750900736 102570 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20344] ppid=20333 vsize=1709864 CPUtime=0.35
/proc/20335/task/20344/stat : 20344 (java) S 20333 20335 20290 0 -1 64 333 0 0 0 35 0 0 0 16 0 12 0 188329222 1750900736 102570 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20345] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20345/stat : 20345 (java) S 20333 20335 20290 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188329222 1750900736 102570 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20346] ppid=20333 vsize=1709864 CPUtime=0
/proc/20335/task/20346/stat : 20346 (java) S 20333 20335 20290 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188329222 1750900736 102570 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 308.99
Current children cumulated vsize (Kb) 1709864

[startup+310.214 s]
/proc/loadavg: 1.24 1.03 0.95 2/79 20348
/proc/meminfo: memFree=928800/2055888 swapFree=4085344/4096564
[pid=20335] ppid=20333 vsize=1714152 CPUtime=320.02
/proc/20335/stat : 20335 (java) R 20333 20335 20290 0 -1 0 111427 0 1 0 31743 259 0 0 25 0 12 0 188329212 1755291648 106008 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154661809 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20335/statm: 428538 106008 1883 14 0 415284 0
[pid=20335/tid=20336] ppid=20333 vsize=1714152 CPUtime=9.03
/proc/20335/task/20336/stat : 20336 (java) S 20333 20335 20290 0 -1 64 33897 0 0 0 791 112 0 0 16 0 12 0 188329216 1755291648 106008 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20337] ppid=20333 vsize=1714152 CPUtime=9.04
/proc/20335/task/20337/stat : 20337 (java) S 20333 20335 20290 0 -1 64 28289 0 0 0 805 99 0 0 16 0 12 0 188329216 1755291648 106008 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20338] ppid=20333 vsize=1714152 CPUtime=0.11
/proc/20335/task/20338/stat : 20338 (java) S 20333 20335 20290 0 -1 64 33 0 0 0 8 3 0 0 16 0 12 0 188329218 1755291648 106008 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20339] ppid=20333 vsize=1714152 CPUtime=0
/proc/20335/task/20339/stat : 20339 (java) S 20333 20335 20290 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188329219 1755291648 106008 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20340] ppid=20333 vsize=1714152 CPUtime=0
/proc/20335/task/20340/stat : 20340 (java) S 20333 20335 20290 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188329219 1755291648 106008 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20341] ppid=20333 vsize=1714152 CPUtime=0
/proc/20335/task/20341/stat : 20341 (java) S 20333 20335 20290 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188329222 1755291648 106008 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20342] ppid=20333 vsize=1714152 CPUtime=0.01
/proc/20335/task/20342/stat : 20342 (java) S 20333 20335 20290 0 -1 64 3 0 0 0 1 0 0 0 16 0 12 0 188329222 1755291648 106008 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20343] ppid=20333 vsize=1714152 CPUtime=0.77
/proc/20335/task/20343/stat : 20343 (java) S 20333 20335 20290 0 -1 64 3480 0 0 0 76 1 0 0 17 0 12 0 188329222 1755291648 106008 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20344] ppid=20333 vsize=1714152 CPUtime=0.44
/proc/20335/task/20344/stat : 20344 (java) S 20333 20335 20290 0 -1 64 373 0 0 0 44 0 0 0 16 0 12 0 188329222 1755291648 106008 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20345] ppid=20333 vsize=1714152 CPUtime=0
/proc/20335/task/20345/stat : 20345 (java) S 20333 20335 20290 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188329222 1755291648 106008 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20346] ppid=20333 vsize=1714152 CPUtime=0
/proc/20335/task/20346/stat : 20346 (java) S 20333 20335 20290 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188329222 1755291648 106008 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 320.02
Current children cumulated vsize (Kb) 1714152

[startup+320.221 s]
/proc/loadavg: 1.20 1.03 0.95 2/80 20349
/proc/meminfo: memFree=909400/2055888 swapFree=4085344/4096564
[pid=20335] ppid=20333 vsize=1715032 CPUtime=331.19
/proc/20335/stat : 20335 (java) R 20333 20335 20290 0 -1 0 118575 0 1 0 32854 265 0 0 22 0 13 0 188329212 1756192768 110910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071814355 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20335/statm: 428758 110910 1911 14 0 415504 0
[pid=20335/tid=20336] ppid=20333 vsize=1715032 CPUtime=9.26
/proc/20335/task/20336/stat : 20336 (java) S 20333 20335 20290 0 -1 64 36615 0 0 0 812 114 0 0 16 0 13 0 188329216 1756192768 110910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20337] ppid=20333 vsize=1715032 CPUtime=9.28
/proc/20335/task/20337/stat : 20337 (java) S 20333 20335 20290 0 -1 64 31020 0 0 0 826 102 0 0 17 0 13 0 188329216 1756192768 110910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20338] ppid=20333 vsize=1715032 CPUtime=0.11
/proc/20335/task/20338/stat : 20338 (java) S 20333 20335 20290 0 -1 64 33 0 0 0 8 3 0 0 16 0 13 0 188329218 1756192768 110910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20339] ppid=20333 vsize=1715032 CPUtime=0
/proc/20335/task/20339/stat : 20339 (java) S 20333 20335 20290 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188329219 1756192768 110910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20340] ppid=20333 vsize=1715032 CPUtime=0
/proc/20335/task/20340/stat : 20340 (java) S 20333 20335 20290 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188329219 1756192768 110910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20341] ppid=20333 vsize=1715032 CPUtime=0
/proc/20335/task/20341/stat : 20341 (java) S 20333 20335 20290 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 188329222 1756192768 110910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20342] ppid=20333 vsize=1715032 CPUtime=0.01
/proc/20335/task/20342/stat : 20342 (java) S 20333 20335 20290 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 188329222 1756192768 110910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20343] ppid=20333 vsize=1715032 CPUtime=1.45
/proc/20335/task/20343/stat : 20343 (java) S 20333 20335 20290 0 -1 64 5001 0 0 0 144 1 0 0 16 0 13 0 188329222 1756192768 110910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20344] ppid=20333 vsize=1715032 CPUtime=0.99
/proc/20335/task/20344/stat : 20344 (java) S 20333 20335 20290 0 -1 64 471 0 0 0 99 0 0 0 16 0 13 0 188329222 1756192768 110910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20345] ppid=20333 vsize=1715032 CPUtime=0
/proc/20335/task/20345/stat : 20345 (java) S 20333 20335 20290 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188329222 1756192768 110910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20335/tid=20346] ppid=20333 vsize=1715032 CPUtime=0
/proc/20335/task/20346/stat : 20346 (java) S 20333 20335 20290 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188329222 1756192768 110910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20335/tid=20349] ppid=20333 vsize=1715032 CPUtime=0
/proc/20335/task/20349/stat : 20349 (java) S 20333 20335 20290 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 188360405 1756192768 110910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 331.19
Current children cumulated vsize (Kb) 1715032

Child status: 10
Real time (s): 321.047
CPU time (s): 332.016
CPU user time (s): 329.296
CPU system time (s): 2.71959
CPU usage (%): 103.416
Max. virtual memory (cumulated for all children) (Kb): 1715032

Launcher Data (download as text)

Begin job on node88 on Fri Jun  2 05:41:28 UTC 2006


FILE ID= 42210-1149226879

PBS_JOBID= 295941

BENCH NAME= ROOT/tmp/node88/42210-1149226879/instance-42210-1149226879.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node88/42210-1149226879/instance-42210-1149226879.opb 246382576
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node88/watcher-42210-1149226879 -o ROOT/results/node88/solver-42210-1149226879 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node88/42210-1149226879/instance-42210-1149226879.opb 246382576

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  79ed7fb7a57e7e2ac59cfc8508d281c9

RANDOM SEED= 246382576


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


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1346376 kB
Buffers:         30216 kB
Cached:         604172 kB
SwapCached:       2500 kB
Active:         193372 kB
Inactive:       449760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1346376 kB
SwapTotal:     4096564 kB
SwapFree:      4085344 kB
Dirty:             228 kB
Writeback:           0 kB
Mapped:          16740 kB
Slab:            52924 kB
Committed_AS:   235264 kB
PageTables:       1280 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node88 on Fri Jun  2 05:47:02 UTC 2006