Trace number 42208

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 261.819 251.313

General information on the benchmark

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

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.74 0.91 0.97 2/64 11277
/proc/meminfo: memFree=1122712/2055920 swapFree=4191900/4192956
[pid=11277] ppid=11275 vsize=18540 CPUtime=0
/proc/11277/stat : 11277 (runsolver) R 11275 11277 11232 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 84093463 18984960 279 18446744073709551615 4194304 4262084 548682068944 18446744073709551615 258939088167 0 0 4096 24578 0 0 0 17 1 0 0
/proc/11277/statm: 4635 279 243 16 0 2626 0

[startup+10.0024 s]
/proc/loadavg: 0.78 0.91 0.97 2/75 11288
/proc/meminfo: memFree=933632/2055920 swapFree=4191900/4192956
[pid=11277] ppid=11275 vsize=1709376 CPUtime=10.34
/proc/11277/stat : 11277 (java) R 11275 11277 11232 0 -1 0 49989 0 1 0 1011 23 0 0 25 0 12 0 84093463 1750401024 49090 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071334260 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11277/statm: 427344 49090 1876 14 0 414091 0
[pid=11277/tid=11278] ppid=11275 vsize=1709376 CPUtime=0.16
/proc/11277/task/11278/stat : 11278 (java) S 11275 11277 11232 0 -1 64 2233 0 0 0 15 1 0 0 16 0 12 0 84093481 1750401024 49090 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11279] ppid=11275 vsize=1709376 CPUtime=0.15
/proc/11277/task/11279/stat : 11279 (java) S 11275 11277 11232 0 -1 64 2465 0 0 0 14 1 0 0 15 0 12 0 84093481 1750401024 49090 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11280] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11280/stat : 11280 (java) S 11275 11277 11232 0 -1 64 30 0 0 0 0 0 0 0 16 0 12 0 84093484 1750401024 49090 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11281] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11281/stat : 11281 (java) S 11275 11277 11232 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 84093484 1750401024 49090 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11282] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11282/stat : 11282 (java) S 11275 11277 11232 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 84093484 1750401024 49090 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11283] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11283/stat : 11283 (java) S 11275 11277 11232 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 84093489 1750401024 49090 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11284] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11284/stat : 11284 (java) S 11275 11277 11232 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 84093489 1750401024 49090 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11285] ppid=11275 vsize=1709376 CPUtime=0.27
/proc/11277/task/11285/stat : 11285 (java) S 11275 11277 11232 0 -1 64 424 0 0 0 27 0 0 0 16 0 12 0 84093489 1750401024 49090 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11286] ppid=11275 vsize=1709376 CPUtime=0.32
/proc/11277/task/11286/stat : 11286 (java) S 11275 11277 11232 0 -1 64 304 0 0 0 32 0 0 0 16 0 12 0 84093489 1750401024 49090 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11287] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11287/stat : 11287 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 84093489 1750401024 49090 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11288] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11288/stat : 11288 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 84093489 1750401024 49090 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.34
Current children cumulated vsize (Kb) 1709376

[startup+20.0102 s]
/proc/loadavg: 0.81 0.91 0.97 2/75 11288
/proc/meminfo: memFree=921536/2055920 swapFree=4191900/4192956
[pid=11277] ppid=11275 vsize=1709376 CPUtime=20.48
/proc/11277/stat : 11277 (java) R 11275 11277 11232 0 -1 0 53130 0 1 0 2022 26 0 0 17 0 12 0 84093463 1750401024 52119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071432793 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11277/statm: 427344 52119 1876 14 0 414091 0
[pid=11277/tid=11278] ppid=11275 vsize=1709376 CPUtime=0.29
/proc/11277/task/11278/stat : 11278 (java) S 11275 11277 11232 0 -1 64 3677 0 0 0 27 2 0 0 15 0 12 0 84093481 1750401024 52119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11279] ppid=11275 vsize=1709376 CPUtime=0.29
/proc/11277/task/11279/stat : 11279 (java) S 11275 11277 11232 0 -1 64 4137 0 0 0 27 2 0 0 16 0 12 0 84093481 1750401024 52119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11280] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11280/stat : 11280 (java) S 11275 11277 11232 0 -1 64 30 0 0 0 0 0 0 0 16 0 12 0 84093484 1750401024 52119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11281] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11281/stat : 11281 (java) S 11275 11277 11232 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 84093484 1750401024 52119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11282] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11282/stat : 11282 (java) S 11275 11277 11232 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 84093484 1750401024 52119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11283] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11283/stat : 11283 (java) S 11275 11277 11232 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 84093489 1750401024 52119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11284] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11284/stat : 11284 (java) S 11275 11277 11232 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 84093489 1750401024 52119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11285] ppid=11275 vsize=1709376 CPUtime=0.27
/proc/11277/task/11285/stat : 11285 (java) S 11275 11277 11232 0 -1 64 424 0 0 0 27 0 0 0 16 0 12 0 84093489 1750401024 52119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11286] ppid=11275 vsize=1709376 CPUtime=0.32
/proc/11277/task/11286/stat : 11286 (java) S 11275 11277 11232 0 -1 64 304 0 0 0 32 0 0 0 16 0 12 0 84093489 1750401024 52119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11287] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11287/stat : 11287 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 84093489 1750401024 52119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11288] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11288/stat : 11288 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 84093489 1750401024 52119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.48
Current children cumulated vsize (Kb) 1709376

[startup+30.0202 s]
/proc/loadavg: 0.84 0.92 0.97 2/75 11288
/proc/meminfo: memFree=912768/2055920 swapFree=4191900/4192956
[pid=11277] ppid=11275 vsize=1709376 CPUtime=30.64
/proc/11277/stat : 11277 (java) R 11275 11277 11232 0 -1 0 55424 0 1 0 3036 28 0 0 18 0 12 0 84093463 1750401024 54318 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071432793 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11277/statm: 427344 54318 1876 14 0 414091 0
[pid=11277/tid=11278] ppid=11275 vsize=1709376 CPUtime=0.44
/proc/11277/task/11278/stat : 11278 (java) S 11275 11277 11232 0 -1 64 4480 0 0 0 42 2 0 0 16 0 12 0 84093481 1750401024 54318 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11279] ppid=11275 vsize=1709376 CPUtime=0.45
/proc/11277/task/11279/stat : 11279 (java) S 11275 11277 11232 0 -1 64 5603 0 0 0 43 2 0 0 16 0 12 0 84093481 1750401024 54318 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11280] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11280/stat : 11280 (java) S 11275 11277 11232 0 -1 64 31 0 0 0 0 0 0 0 16 0 12 0 84093484 1750401024 54318 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11281] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11281/stat : 11281 (java) S 11275 11277 11232 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 84093484 1750401024 54318 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11282] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11282/stat : 11282 (java) S 11275 11277 11232 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 84093484 1750401024 54318 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11283] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11283/stat : 11283 (java) S 11275 11277 11232 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 84093489 1750401024 54318 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11284] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11284/stat : 11284 (java) S 11275 11277 11232 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 84093489 1750401024 54318 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11285] ppid=11275 vsize=1709376 CPUtime=0.27
/proc/11277/task/11285/stat : 11285 (java) S 11275 11277 11232 0 -1 64 424 0 0 0 27 0 0 0 16 0 12 0 84093489 1750401024 54318 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11286] ppid=11275 vsize=1709376 CPUtime=0.32
/proc/11277/task/11286/stat : 11286 (java) S 11275 11277 11232 0 -1 64 304 0 0 0 32 0 0 0 16 0 12 0 84093489 1750401024 54318 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11287] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11287/stat : 11287 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 84093489 1750401024 54318 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11288] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11288/stat : 11288 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 84093489 1750401024 54318 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.64
Current children cumulated vsize (Kb) 1709376

[startup+40.028 s]
/proc/loadavg: 0.87 0.92 0.97 2/75 11288
/proc/meminfo: memFree=899136/2055920 swapFree=4191900/4192956
[pid=11277] ppid=11275 vsize=1709376 CPUtime=40.83
/proc/11277/stat : 11277 (java) R 11275 11277 11232 0 -1 0 58970 0 1 0 4052 31 0 0 25 0 12 0 84093463 1750401024 57725 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071432793 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11277/statm: 427344 57725 1876 14 0 414091 0
[pid=11277/tid=11278] ppid=11275 vsize=1709376 CPUtime=0.63
/proc/11277/task/11278/stat : 11278 (java) S 11275 11277 11232 0 -1 64 5581 0 0 0 60 3 0 0 16 0 12 0 84093481 1750401024 57725 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11279] ppid=11275 vsize=1709376 CPUtime=0.64
/proc/11277/task/11279/stat : 11279 (java) S 11275 11277 11232 0 -1 64 8024 0 0 0 61 3 0 0 16 0 12 0 84093481 1750401024 57725 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11280] ppid=11275 vsize=1709376 CPUtime=0.01
/proc/11277/task/11280/stat : 11280 (java) S 11275 11277 11232 0 -1 64 31 0 0 0 1 0 0 0 16 0 12 0 84093484 1750401024 57725 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11281] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11281/stat : 11281 (java) S 11275 11277 11232 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 84093484 1750401024 57725 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11282] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11282/stat : 11282 (java) S 11275 11277 11232 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 84093484 1750401024 57725 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11283] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11283/stat : 11283 (java) S 11275 11277 11232 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 84093489 1750401024 57725 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11284] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11284/stat : 11284 (java) S 11275 11277 11232 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 84093489 1750401024 57725 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11285] ppid=11275 vsize=1709376 CPUtime=0.27
/proc/11277/task/11285/stat : 11285 (java) S 11275 11277 11232 0 -1 64 424 0 0 0 27 0 0 0 16 0 12 0 84093489 1750401024 57725 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11286] ppid=11275 vsize=1709376 CPUtime=0.32
/proc/11277/task/11286/stat : 11286 (java) S 11275 11277 11232 0 -1 64 304 0 0 0 32 0 0 0 16 0 12 0 84093489 1750401024 57725 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11287] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11287/stat : 11287 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 84093489 1750401024 57725 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11288] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11288/stat : 11288 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 84093489 1750401024 57725 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 40.83
Current children cumulated vsize (Kb) 1709376

[startup+50.0358 s]
/proc/loadavg: 0.89 0.92 0.97 2/75 11288
/proc/meminfo: memFree=890624/2055920 swapFree=4191900/4192956
[pid=11277] ppid=11275 vsize=1709376 CPUtime=51.05
/proc/11277/stat : 11277 (java) R 11275 11277 11232 0 -1 0 61175 0 1 0 5072 33 0 0 25 0 12 0 84093463 1750401024 59846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071432793 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11277/statm: 427344 59846 1876 14 0 414091 0
[pid=11277/tid=11278] ppid=11275 vsize=1709376 CPUtime=0.85
/proc/11277/task/11278/stat : 11278 (java) S 11275 11277 11232 0 -1 64 6621 0 0 0 82 3 0 0 16 0 12 0 84093481 1750401024 59846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11279] ppid=11275 vsize=1709376 CPUtime=0.87
/proc/11277/task/11279/stat : 11279 (java) S 11275 11277 11232 0 -1 64 9164 0 0 0 83 4 0 0 16 0 12 0 84093481 1750401024 59846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11280] ppid=11275 vsize=1709376 CPUtime=0.01
/proc/11277/task/11280/stat : 11280 (java) S 11275 11277 11232 0 -1 64 31 0 0 0 1 0 0 0 16 0 12 0 84093484 1750401024 59846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11281] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11281/stat : 11281 (java) S 11275 11277 11232 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 84093484 1750401024 59846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11282] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11282/stat : 11282 (java) S 11275 11277 11232 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 84093484 1750401024 59846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11283] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11283/stat : 11283 (java) S 11275 11277 11232 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 84093489 1750401024 59846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11284] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11284/stat : 11284 (java) S 11275 11277 11232 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 84093489 1750401024 59846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11285] ppid=11275 vsize=1709376 CPUtime=0.27
/proc/11277/task/11285/stat : 11285 (java) S 11275 11277 11232 0 -1 64 424 0 0 0 27 0 0 0 16 0 12 0 84093489 1750401024 59846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11286] ppid=11275 vsize=1709376 CPUtime=0.32
/proc/11277/task/11286/stat : 11286 (java) S 11275 11277 11232 0 -1 64 304 0 0 0 32 0 0 0 17 0 12 0 84093489 1750401024 59846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11287] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11287/stat : 11287 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 84093489 1750401024 59846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11288] ppid=11275 vsize=1709376 CPUtime=0
/proc/11277/task/11288/stat : 11288 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 84093489 1750401024 59846 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (Kb) 1709376

[startup+60.0436 s]
/proc/loadavg: 0.90 0.92 0.97 2/75 11288
/proc/meminfo: memFree=883136/2055920 swapFree=4191900/4192956
[pid=11277] ppid=11275 vsize=1709048 CPUtime=61.27
/proc/11277/stat : 11277 (java) R 11275 11277 11232 0 -1 0 63191 0 1 0 6091 36 0 0 25 0 12 0 84093463 1750065152 61710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071342896 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11277/statm: 427262 61710 1876 14 0 414009 0
[pid=11277/tid=11278] ppid=11275 vsize=1709048 CPUtime=1.07
/proc/11277/task/11278/stat : 11278 (java) S 11275 11277 11232 0 -1 64 7770 0 0 0 103 4 0 0 16 0 12 0 84093481 1750065152 61710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11279] ppid=11275 vsize=1709048 CPUtime=1.09
/proc/11277/task/11279/stat : 11279 (java) S 11275 11277 11232 0 -1 64 10006 0 0 0 105 4 0 0 16 0 12 0 84093481 1750065152 61710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11280] ppid=11275 vsize=1709048 CPUtime=0.02
/proc/11277/task/11280/stat : 11280 (java) S 11275 11277 11232 0 -1 64 32 0 0 0 1 1 0 0 15 0 12 0 84093484 1750065152 61710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11281] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11281/stat : 11281 (java) S 11275 11277 11232 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 84093484 1750065152 61710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11282] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11282/stat : 11282 (java) S 11275 11277 11232 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 84093484 1750065152 61710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11283] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11283/stat : 11283 (java) S 11275 11277 11232 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 84093489 1750065152 61710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11284] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11284/stat : 11284 (java) S 11275 11277 11232 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 84093489 1750065152 61710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11285] ppid=11275 vsize=1709048 CPUtime=0.27
/proc/11277/task/11285/stat : 11285 (java) S 11275 11277 11232 0 -1 64 424 0 0 0 27 0 0 0 16 0 12 0 84093489 1750065152 61710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11286] ppid=11275 vsize=1709048 CPUtime=0.32
/proc/11277/task/11286/stat : 11286 (java) S 11275 11277 11232 0 -1 64 304 0 0 0 32 0 0 0 17 0 12 0 84093489 1750065152 61710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11287] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11287/stat : 11287 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 84093489 1750065152 61710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11288] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11288/stat : 11288 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 84093489 1750065152 61710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

Current children cumulated CPU time (s) 196.24
Current children cumulated vsize (Kb) 1709048

[startup+200.145 s]
/proc/loadavg: 1.00 0.95 0.97 2/75 11288
/proc/meminfo: memFree=740928/2055920 swapFree=4191900/4192956
[pid=11277] ppid=11275 vsize=1709048 CPUtime=206.73
/proc/11277/stat : 11277 (java) R 11275 11277 11232 0 -1 0 99602 0 1 0 20573 100 0 0 25 0 12 0 84093463 1750065152 97188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071332697 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11277/statm: 427262 97188 1876 14 0 414009 0
[pid=11277/tid=11278] ppid=11275 vsize=1709048 CPUtime=6.52
/proc/11277/task/11278/stat : 11278 (java) S 11275 11277 11232 0 -1 64 26958 0 0 0 627 25 0 0 16 0 12 0 84093481 1750065152 97188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11279] ppid=11275 vsize=1709048 CPUtime=6.5
/proc/11277/task/11279/stat : 11279 (java) S 11275 11277 11232 0 -1 64 26893 0 0 0 622 28 0 0 16 0 12 0 84093481 1750065152 97188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11280] ppid=11275 vsize=1709048 CPUtime=0.09
/proc/11277/task/11280/stat : 11280 (java) S 11275 11277 11232 0 -1 64 34 0 0 0 5 4 0 0 16 0 12 0 84093484 1750065152 97188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11281] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11281/stat : 11281 (java) S 11275 11277 11232 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 84093484 1750065152 97188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11282] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11282/stat : 11282 (java) S 11275 11277 11232 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 84093484 1750065152 97188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11283] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11283/stat : 11283 (java) S 11275 11277 11232 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 84093489 1750065152 97188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11284] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11284/stat : 11284 (java) S 11275 11277 11232 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 84093489 1750065152 97188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11285] ppid=11275 vsize=1709048 CPUtime=0.27
/proc/11277/task/11285/stat : 11285 (java) S 11275 11277 11232 0 -1 64 425 0 0 0 27 0 0 0 16 0 12 0 84093489 1750065152 97188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11286] ppid=11275 vsize=1709048 CPUtime=0.34
/proc/11277/task/11286/stat : 11286 (java) S 11275 11277 11232 0 -1 64 306 0 0 0 34 0 0 0 16 0 12 0 84093489 1750065152 97188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11287] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11287/stat : 11287 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 84093489 1750065152 97188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11288] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11288/stat : 11288 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 84093489 1750065152 97188 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 206.73
Current children cumulated vsize (Kb) 1709048

[startup+210.152 s]
/proc/loadavg: 1.00 0.95 0.97 2/75 11288
/proc/meminfo: memFree=733376/2055920 swapFree=4191900/4192956
[pid=11277] ppid=11275 vsize=1709048 CPUtime=217.24
/proc/11277/stat : 11277 (java) R 11275 11277 11232 0 -1 0 101544 0 1 0 21622 102 0 0 17 0 12 0 84093463 1750065152 99075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071334260 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11277/statm: 427262 99075 1876 14 0 414009 0
[pid=11277/tid=11278] ppid=11275 vsize=1709048 CPUtime=7.03
/proc/11277/task/11278/stat : 11278 (java) S 11275 11277 11232 0 -1 64 28018 0 0 0 678 25 0 0 16 0 12 0 84093481 1750065152 99075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11279] ppid=11275 vsize=1709048 CPUtime=7.01
/proc/11277/task/11279/stat : 11279 (java) S 11275 11277 11232 0 -1 64 27751 0 0 0 673 28 0 0 16 0 12 0 84093481 1750065152 99075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11280] ppid=11275 vsize=1709048 CPUtime=0.1
/proc/11277/task/11280/stat : 11280 (java) S 11275 11277 11232 0 -1 64 34 0 0 0 6 4 0 0 15 0 12 0 84093484 1750065152 99075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11281] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11281/stat : 11281 (java) S 11275 11277 11232 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 84093484 1750065152 99075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11282] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11282/stat : 11282 (java) S 11275 11277 11232 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 84093484 1750065152 99075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11283] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11283/stat : 11283 (java) S 11275 11277 11232 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 84093489 1750065152 99075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11284] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11284/stat : 11284 (java) S 11275 11277 11232 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 84093489 1750065152 99075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11285] ppid=11275 vsize=1709048 CPUtime=0.27
/proc/11277/task/11285/stat : 11285 (java) S 11275 11277 11232 0 -1 64 425 0 0 0 27 0 0 0 16 0 12 0 84093489 1750065152 99075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11286] ppid=11275 vsize=1709048 CPUtime=0.34
/proc/11277/task/11286/stat : 11286 (java) S 11275 11277 11232 0 -1 64 306 0 0 0 34 0 0 0 16 0 12 0 84093489 1750065152 99075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11287] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11287/stat : 11287 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 84093489 1750065152 99075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11288] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11288/stat : 11288 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 84093489 1750065152 99075 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 217.24
Current children cumulated vsize (Kb) 1709048

[startup+220.161 s]
/proc/loadavg: 1.00 0.96 0.97 2/75 11288
/proc/meminfo: memFree=725760/2055920 swapFree=4191900/4192956
[pid=11277] ppid=11275 vsize=1709048 CPUtime=227.74
/proc/11277/stat : 11277 (java) R 11275 11277 11232 0 -1 0 103509 0 1 0 22670 104 0 0 18 0 12 0 84093463 1750065152 100968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071359935 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11277/statm: 427262 100968 1876 14 0 414009 0
[pid=11277/tid=11278] ppid=11275 vsize=1709048 CPUtime=7.53
/proc/11277/task/11278/stat : 11278 (java) S 11275 11277 11232 0 -1 64 28841 0 0 0 727 26 0 0 16 0 12 0 84093481 1750065152 100968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11279] ppid=11275 vsize=1709048 CPUtime=7.51
/proc/11277/task/11279/stat : 11279 (java) S 11275 11277 11232 0 -1 64 28870 0 0 0 722 29 0 0 16 0 12 0 84093481 1750065152 100968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11280] ppid=11275 vsize=1709048 CPUtime=0.1
/proc/11277/task/11280/stat : 11280 (java) S 11275 11277 11232 0 -1 64 34 0 0 0 6 4 0 0 16 0 12 0 84093484 1750065152 100968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11281] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11281/stat : 11281 (java) S 11275 11277 11232 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 84093484 1750065152 100968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11282] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11282/stat : 11282 (java) S 11275 11277 11232 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 84093484 1750065152 100968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11283] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11283/stat : 11283 (java) S 11275 11277 11232 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 84093489 1750065152 100968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11284] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11284/stat : 11284 (java) S 11275 11277 11232 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 84093489 1750065152 100968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11285] ppid=11275 vsize=1709048 CPUtime=0.27
/proc/11277/task/11285/stat : 11285 (java) S 11275 11277 11232 0 -1 64 425 0 0 0 27 0 0 0 16 0 12 0 84093489 1750065152 100968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11286] ppid=11275 vsize=1709048 CPUtime=0.34
/proc/11277/task/11286/stat : 11286 (java) S 11275 11277 11232 0 -1 64 306 0 0 0 34 0 0 0 16 0 12 0 84093489 1750065152 100968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11287] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11287/stat : 11287 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 84093489 1750065152 100968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11288] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11288/stat : 11288 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 84093489 1750065152 100968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 227.74
Current children cumulated vsize (Kb) 1709048

[startup+230.168 s]
/proc/loadavg: 1.00 0.96 0.97 2/75 11288
/proc/meminfo: memFree=718080/2055920 swapFree=4191900/4192956
[pid=11277] ppid=11275 vsize=1709048 CPUtime=238.26
/proc/11277/stat : 11277 (java) R 11275 11277 11232 0 -1 0 105463 0 1 0 23720 106 0 0 24 0 12 0 84093463 1750065152 102888 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071334107 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11277/statm: 427262 102888 1876 14 0 414009 0
[pid=11277/tid=11278] ppid=11275 vsize=1709048 CPUtime=8.04
/proc/11277/task/11278/stat : 11278 (java) S 11275 11277 11232 0 -1 64 29608 0 0 0 777 27 0 0 16 0 12 0 84093481 1750065152 102888 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11279] ppid=11275 vsize=1709048 CPUtime=8.03
/proc/11277/task/11279/stat : 11279 (java) S 11275 11277 11232 0 -1 64 30033 0 0 0 774 29 0 0 16 0 12 0 84093481 1750065152 102888 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11280] ppid=11275 vsize=1709048 CPUtime=0.1
/proc/11277/task/11280/stat : 11280 (java) S 11275 11277 11232 0 -1 64 34 0 0 0 6 4 0 0 16 0 12 0 84093484 1750065152 102888 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11281] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11281/stat : 11281 (java) S 11275 11277 11232 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 84093484 1750065152 102888 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11282] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11282/stat : 11282 (java) S 11275 11277 11232 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 84093484 1750065152 102888 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11283] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11283/stat : 11283 (java) S 11275 11277 11232 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 84093489 1750065152 102888 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11284] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11284/stat : 11284 (java) S 11275 11277 11232 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 84093489 1750065152 102888 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11285] ppid=11275 vsize=1709048 CPUtime=0.27
/proc/11277/task/11285/stat : 11285 (java) S 11275 11277 11232 0 -1 64 425 0 0 0 27 0 0 0 16 0 12 0 84093489 1750065152 102888 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11286] ppid=11275 vsize=1709048 CPUtime=0.34
/proc/11277/task/11286/stat : 11286 (java) S 11275 11277 11232 0 -1 64 306 0 0 0 34 0 0 0 16 0 12 0 84093489 1750065152 102888 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11287] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11287/stat : 11287 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 84093489 1750065152 102888 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11288] ppid=11275 vsize=1709048 CPUtime=0
/proc/11277/task/11288/stat : 11288 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 84093489 1750065152 102888 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 238.26
Current children cumulated vsize (Kb) 1709048

[startup+240.174 s]
/proc/loadavg: 1.16 0.99 0.98 2/76 11289
/proc/meminfo: memFree=685880/2055920 swapFree=4191900/4192956
[pid=11277] ppid=11275 vsize=1716992 CPUtime=250.25
/proc/11277/stat : 11277 (java) R 11275 11277 11232 0 -1 0 119795 0 1 0 24910 115 0 0 19 0 13 0 84093463 1758199808 110866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071719583 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11277/statm: 429248 110866 1906 14 0 415995 0
[pid=11277/tid=11278] ppid=11275 vsize=1716992 CPUtime=8.5
/proc/11277/task/11278/stat : 11278 (java) S 11275 11277 11232 0 -1 64 33512 0 0 0 821 29 0 0 16 0 13 0 84093481 1758199808 110866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11279] ppid=11275 vsize=1716992 CPUtime=8.5
/proc/11277/task/11279/stat : 11279 (java) S 11275 11277 11232 0 -1 64 33669 0 0 0 819 31 0 0 16 0 13 0 84093481 1758199808 110866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11280] ppid=11275 vsize=1716992 CPUtime=0.12
/proc/11277/task/11280/stat : 11280 (java) S 11275 11277 11232 0 -1 64 34 0 0 0 7 5 0 0 16 0 13 0 84093484 1758199808 110866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11281] ppid=11275 vsize=1716992 CPUtime=0
/proc/11277/task/11281/stat : 11281 (java) S 11275 11277 11232 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 84093484 1758199808 110866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11282] ppid=11275 vsize=1716992 CPUtime=0
/proc/11277/task/11282/stat : 11282 (java) S 11275 11277 11232 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 84093484 1758199808 110866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11283] ppid=11275 vsize=1716992 CPUtime=0
/proc/11277/task/11283/stat : 11283 (java) S 11275 11277 11232 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 84093489 1758199808 110866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11284] ppid=11275 vsize=1716992 CPUtime=0
/proc/11277/task/11284/stat : 11284 (java) S 11275 11277 11232 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 84093489 1758199808 110866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11285] ppid=11275 vsize=1716992 CPUtime=1.22
/proc/11277/task/11285/stat : 11285 (java) S 11275 11277 11232 0 -1 64 4751 0 0 0 121 1 0 0 16 0 13 0 84093489 1758199808 110866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11286] ppid=11275 vsize=1716992 CPUtime=1.19
/proc/11277/task/11286/stat : 11286 (java) S 11275 11277 11232 0 -1 64 2694 0 0 0 119 0 0 0 16 0 13 0 84093489 1758199808 110866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11287] ppid=11275 vsize=1716992 CPUtime=0
/proc/11277/task/11287/stat : 11287 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 84093489 1758199808 110866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11288] ppid=11275 vsize=1716992 CPUtime=0
/proc/11277/task/11288/stat : 11288 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 84093489 1758199808 110866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11289] ppid=11275 vsize=1716992 CPUtime=0
/proc/11277/task/11289/stat : 11289 (java) S 11275 11277 11232 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 84117247 1758199808 110866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 250.25
Current children cumulated vsize (Kb) 1716992

[startup+250.182 s]
/proc/loadavg: 1.13 0.99 0.98 2/76 11289
/proc/meminfo: memFree=685240/2055920 swapFree=4191900/4192956
[pid=11277] ppid=11275 vsize=1716164 CPUtime=260.53
/proc/11277/stat : 11277 (java) R 11275 11277 11232 0 -1 0 120559 0 1 0 25937 116 0 0 25 0 13 0 84093463 1757351936 111055 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071517620 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11277/statm: 429041 111055 1906 14 0 415788 0
[pid=11277/tid=11278] ppid=11275 vsize=1716164 CPUtime=8.6
/proc/11277/task/11278/stat : 11278 (java) S 11275 11277 11232 0 -1 64 33980 0 0 0 831 29 0 0 16 0 13 0 84093481 1757351936 111055 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11279] ppid=11275 vsize=1716164 CPUtime=8.61
/proc/11277/task/11279/stat : 11279 (java) S 11275 11277 11232 0 -1 64 33943 0 0 0 829 32 0 0 16 0 13 0 84093481 1757351936 111055 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11280] ppid=11275 vsize=1716164 CPUtime=0.12
/proc/11277/task/11280/stat : 11280 (java) S 11275 11277 11232 0 -1 64 35 0 0 0 7 5 0 0 16 0 13 0 84093484 1757351936 111055 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11281] ppid=11275 vsize=1716164 CPUtime=0
/proc/11277/task/11281/stat : 11281 (java) S 11275 11277 11232 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 84093484 1757351936 111055 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11282] ppid=11275 vsize=1716164 CPUtime=0
/proc/11277/task/11282/stat : 11282 (java) S 11275 11277 11232 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 84093484 1757351936 111055 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11283] ppid=11275 vsize=1716164 CPUtime=0
/proc/11277/task/11283/stat : 11283 (java) S 11275 11277 11232 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 84093489 1757351936 111055 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11284] ppid=11275 vsize=1716164 CPUtime=0
/proc/11277/task/11284/stat : 11284 (java) S 11275 11277 11232 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 84093489 1757351936 111055 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11285] ppid=11275 vsize=1716164 CPUtime=1.41
/proc/11277/task/11285/stat : 11285 (java) S 11275 11277 11232 0 -1 64 4758 0 0 0 140 1 0 0 15 0 13 0 84093489 1757351936 111055 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11286] ppid=11275 vsize=1716164 CPUtime=1.24
/proc/11277/task/11286/stat : 11286 (java) S 11275 11277 11232 0 -1 64 2695 0 0 0 124 0 0 0 16 0 13 0 84093489 1757351936 111055 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11287] ppid=11275 vsize=1716164 CPUtime=0
/proc/11277/task/11287/stat : 11287 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 84093489 1757351936 111055 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11277/tid=11288] ppid=11275 vsize=1716164 CPUtime=0
/proc/11277/task/11288/stat : 11288 (java) S 11275 11277 11232 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 84093489 1757351936 111055 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11277/tid=11289] ppid=11275 vsize=1716164 CPUtime=0
/proc/11277/task/11289/stat : 11289 (java) S 11275 11277 11232 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 84117247 1757351936 111055 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 260.53
Current children cumulated vsize (Kb) 1716164

Child status: 10
Real time (s): 251.313
CPU time (s): 261.819
CPU user time (s): 260.59
CPU system time (s): 1.22881
CPU usage (%): 104.181
Max. virtual memory (cumulated for all children) (Kb): 1716992

Launcher Data (download as text)

Begin job on node45 on Fri Jun  2 05:35:50 UTC 2006


FILE ID= 42208-1149226546

PBS_JOBID= 295911

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

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  81a731c23b82a1147f726d3bcf60f6bf

RANDOM SEED= 798285154


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1122792 kB
Buffers:         40812 kB
Cached:         810084 kB
SwapCached:        260 kB
Active:         292572 kB
Inactive:       572180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1122792 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          22992 kB
Slab:            54448 kB
Committed_AS:   175704 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node45 on Fri Jun  2 05:40:08 UTC 2006