Trace number 43639

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.2SAT 284.671 274.052

General information on the benchmark

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

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/node47/watcher-43639-1149226761 -o ROOT/results/node47/solver-43639-1149226761 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node47/43639-1149226761/instance-43639-1149226761.opb 612624406 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.62 0.85 0.88 2/64 8792
/proc/meminfo: memFree=826968/2055920 swapFree=4183752/4192956
[pid=8792] ppid=8790 vsize=1500 CPUtime=0
/proc/8792/stat : 8792 (java) R 8790 8792 8747 0 -1 0 87 0 0 0 0 0 0 0 19 0 1 0 154606736 1536000 69 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 10490464 0 0 4096 0 0 0 0 17 1 0 0
/proc/8792/statm: 375 69 55 14 0 8 0

[startup+10.0023 s]
/proc/loadavg: 0.68 0.85 0.88 2/75 8803
/proc/meminfo: memFree=637888/2055920 swapFree=4183752/4192956
[pid=8792] ppid=8790 vsize=1709748 CPUtime=10.48
/proc/8792/stat : 8792 (java) R 8790 8792 8747 0 -1 0 49994 0 1 0 1026 22 0 0 25 0 12 0 154606736 1750781952 49035 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071342953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8792/statm: 427437 49035 1876 14 0 414184 0
[pid=8792/tid=8793] ppid=8790 vsize=1709748 CPUtime=0.16
/proc/8792/task/8793/stat : 8793 (java) S 8790 8792 8747 0 -1 64 2428 0 0 0 15 1 0 0 16 0 12 0 154606742 1750781952 49035 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8794] ppid=8790 vsize=1709748 CPUtime=0.15
/proc/8792/task/8794/stat : 8794 (java) S 8790 8792 8747 0 -1 64 2314 0 0 0 15 0 0 0 16 0 12 0 154606742 1750781952 49035 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8795] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8795/stat : 8795 (java) S 8790 8792 8747 0 -1 64 31 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 49035 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8796] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8796/stat : 8796 (java) S 8790 8792 8747 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 49035 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8797] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8797/stat : 8797 (java) S 8790 8792 8747 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 49035 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8798] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8798/stat : 8798 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 154606748 1750781952 49035 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8799] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8799/stat : 8799 (java) S 8790 8792 8747 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 154606748 1750781952 49035 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8800] ppid=8790 vsize=1709748 CPUtime=0.29
/proc/8792/task/8800/stat : 8800 (java) S 8790 8792 8747 0 -1 64 361 0 0 0 29 0 0 0 16 0 12 0 154606748 1750781952 49035 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8801] ppid=8790 vsize=1709748 CPUtime=0.3
/proc/8792/task/8801/stat : 8801 (java) S 8790 8792 8747 0 -1 64 322 0 0 0 30 0 0 0 16 0 12 0 154606748 1750781952 49035 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8802] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8802/stat : 8802 (java) S 8790 8792 8747 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 154606748 1750781952 49035 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8803] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8803/stat : 8803 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 154606748 1750781952 49035 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.48
Current children cumulated vsize (Kb) 1709748

[startup+20.0093 s]
/proc/loadavg: 0.73 0.85 0.88 2/75 8803
/proc/meminfo: memFree=626240/2055920 swapFree=4183752/4192956
[pid=8792] ppid=8790 vsize=1709748 CPUtime=20.61
/proc/8792/stat : 8792 (java) R 8790 8792 8747 0 -1 0 53019 0 1 0 2036 25 0 0 25 0 12 0 154606736 1750781952 51930 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071332697 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8792/statm: 427437 51930 1876 14 0 414184 0
[pid=8792/tid=8793] ppid=8790 vsize=1709748 CPUtime=0.29
/proc/8792/task/8793/stat : 8793 (java) S 8790 8792 8747 0 -1 64 3870 0 0 0 28 1 0 0 16 0 12 0 154606742 1750781952 51930 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8794] ppid=8790 vsize=1709748 CPUtime=0.28
/proc/8792/task/8794/stat : 8794 (java) S 8790 8792 8747 0 -1 64 3872 0 0 0 27 1 0 0 16 0 12 0 154606742 1750781952 51930 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8795] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8795/stat : 8795 (java) S 8790 8792 8747 0 -1 64 31 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 51930 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8796] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8796/stat : 8796 (java) S 8790 8792 8747 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 51930 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8797] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8797/stat : 8797 (java) S 8790 8792 8747 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 51930 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8798] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8798/stat : 8798 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 154606748 1750781952 51930 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8799] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8799/stat : 8799 (java) S 8790 8792 8747 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 154606748 1750781952 51930 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8800] ppid=8790 vsize=1709748 CPUtime=0.29
/proc/8792/task/8800/stat : 8800 (java) S 8790 8792 8747 0 -1 64 361 0 0 0 29 0 0 0 16 0 12 0 154606748 1750781952 51930 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8801] ppid=8790 vsize=1709748 CPUtime=0.3
/proc/8792/task/8801/stat : 8801 (java) S 8790 8792 8747 0 -1 64 322 0 0 0 30 0 0 0 16 0 12 0 154606748 1750781952 51930 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8802] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8802/stat : 8802 (java) S 8790 8792 8747 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 154606748 1750781952 51930 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8803] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8803/stat : 8803 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 154606748 1750781952 51930 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.61
Current children cumulated vsize (Kb) 1709748

[startup+30.0164 s]
/proc/loadavg: 0.77 0.86 0.88 2/75 8803
/proc/meminfo: memFree=618240/2055920 swapFree=4183752/4192956
[pid=8792] ppid=8790 vsize=1709748 CPUtime=30.77
/proc/8792/stat : 8792 (java) R 8790 8792 8747 0 -1 0 55193 0 1 0 3049 28 0 0 19 0 12 0 154606736 1750781952 53961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071334096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8792/statm: 427437 53961 1876 14 0 414184 0
[pid=8792/tid=8793] ppid=8790 vsize=1709748 CPUtime=0.44
/proc/8792/task/8793/stat : 8793 (java) S 8790 8792 8747 0 -1 64 4859 0 0 0 42 2 0 0 16 0 12 0 154606742 1750781952 53961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8794] ppid=8790 vsize=1709748 CPUtime=0.43
/proc/8792/task/8794/stat : 8794 (java) S 8790 8792 8747 0 -1 64 5034 0 0 0 41 2 0 0 16 0 12 0 154606742 1750781952 53961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8795] ppid=8790 vsize=1709748 CPUtime=0.01
/proc/8792/task/8795/stat : 8795 (java) S 8790 8792 8747 0 -1 64 31 0 0 0 1 0 0 0 15 0 12 0 154606745 1750781952 53961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8796] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8796/stat : 8796 (java) S 8790 8792 8747 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 53961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8797] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8797/stat : 8797 (java) S 8790 8792 8747 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 53961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8798] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8798/stat : 8798 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 154606748 1750781952 53961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8799] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8799/stat : 8799 (java) S 8790 8792 8747 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 154606748 1750781952 53961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8800] ppid=8790 vsize=1709748 CPUtime=0.29
/proc/8792/task/8800/stat : 8800 (java) S 8790 8792 8747 0 -1 64 361 0 0 0 29 0 0 0 16 0 12 0 154606748 1750781952 53961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8801] ppid=8790 vsize=1709748 CPUtime=0.3
/proc/8792/task/8801/stat : 8801 (java) S 8790 8792 8747 0 -1 64 322 0 0 0 30 0 0 0 16 0 12 0 154606748 1750781952 53961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8802] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8802/stat : 8802 (java) S 8790 8792 8747 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 154606748 1750781952 53961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8803] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8803/stat : 8803 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 154606748 1750781952 53961 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.77
Current children cumulated vsize (Kb) 1709748

[startup+40.0235 s]
/proc/loadavg: 0.80 0.86 0.88 2/75 8803
/proc/meminfo: memFree=603840/2055920 swapFree=4183752/4192956
[pid=8792] ppid=8790 vsize=1709748 CPUtime=40.94
/proc/8792/stat : 8792 (java) R 8790 8792 8747 0 -1 0 58939 0 1 0 4063 31 0 0 25 0 12 0 154606736 1750781952 57545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071439193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8792/statm: 427437 57545 1876 14 0 414184 0
[pid=8792/tid=8793] ppid=8790 vsize=1709748 CPUtime=0.62
/proc/8792/task/8793/stat : 8793 (java) S 8790 8792 8747 0 -1 64 7015 0 0 0 59 3 0 0 16 0 12 0 154606742 1750781952 57545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8794] ppid=8790 vsize=1709748 CPUtime=0.62
/proc/8792/task/8794/stat : 8794 (java) S 8790 8792 8747 0 -1 64 6600 0 0 0 59 3 0 0 16 0 12 0 154606742 1750781952 57545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8795] ppid=8790 vsize=1709748 CPUtime=0.01
/proc/8792/task/8795/stat : 8795 (java) S 8790 8792 8747 0 -1 64 31 0 0 0 1 0 0 0 16 0 12 0 154606745 1750781952 57545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8796] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8796/stat : 8796 (java) S 8790 8792 8747 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 57545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8797] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8797/stat : 8797 (java) S 8790 8792 8747 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 57545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8798] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8798/stat : 8798 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 154606748 1750781952 57545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8799] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8799/stat : 8799 (java) S 8790 8792 8747 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 154606748 1750781952 57545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8800] ppid=8790 vsize=1709748 CPUtime=0.29
/proc/8792/task/8800/stat : 8800 (java) S 8790 8792 8747 0 -1 64 361 0 0 0 29 0 0 0 16 0 12 0 154606748 1750781952 57545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8801] ppid=8790 vsize=1709748 CPUtime=0.3
/proc/8792/task/8801/stat : 8801 (java) S 8790 8792 8747 0 -1 64 322 0 0 0 30 0 0 0 16 0 12 0 154606748 1750781952 57545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8802] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8802/stat : 8802 (java) S 8790 8792 8747 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 154606748 1750781952 57545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8803] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8803/stat : 8803 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 154606748 1750781952 57545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 40.94
Current children cumulated vsize (Kb) 1709748

[startup+50.0316 s]
/proc/loadavg: 0.83 0.87 0.88 2/75 8803
/proc/meminfo: memFree=596032/2055920 swapFree=4183752/4192956
[pid=8792] ppid=8790 vsize=1709748 CPUtime=51.14
/proc/8792/stat : 8792 (java) R 8790 8792 8747 0 -1 0 60950 0 1 0 5080 34 0 0 25 0 12 0 154606736 1750781952 59497 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071341850 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8792/statm: 427437 59497 1876 14 0 414184 0
[pid=8792/tid=8793] ppid=8790 vsize=1709748 CPUtime=0.82
/proc/8792/task/8793/stat : 8793 (java) S 8790 8792 8747 0 -1 64 7987 0 0 0 78 4 0 0 16 0 12 0 154606742 1750781952 59497 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8794] ppid=8790 vsize=1709748 CPUtime=0.83
/proc/8792/task/8794/stat : 8794 (java) S 8790 8792 8747 0 -1 64 7615 0 0 0 80 3 0 0 15 0 12 0 154606742 1750781952 59497 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8795] ppid=8790 vsize=1709748 CPUtime=0.01
/proc/8792/task/8795/stat : 8795 (java) S 8790 8792 8747 0 -1 64 31 0 0 0 1 0 0 0 16 0 12 0 154606745 1750781952 59497 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8796] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8796/stat : 8796 (java) S 8790 8792 8747 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 59497 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8797] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8797/stat : 8797 (java) S 8790 8792 8747 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 59497 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8798] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8798/stat : 8798 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 154606748 1750781952 59497 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8799] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8799/stat : 8799 (java) S 8790 8792 8747 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 154606748 1750781952 59497 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8800] ppid=8790 vsize=1709748 CPUtime=0.3
/proc/8792/task/8800/stat : 8800 (java) S 8790 8792 8747 0 -1 64 361 0 0 0 30 0 0 0 16 0 12 0 154606748 1750781952 59497 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8801] ppid=8790 vsize=1709748 CPUtime=0.3
/proc/8792/task/8801/stat : 8801 (java) S 8790 8792 8747 0 -1 64 322 0 0 0 30 0 0 0 16 0 12 0 154606748 1750781952 59497 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8802] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8802/stat : 8802 (java) S 8790 8792 8747 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 154606748 1750781952 59497 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8803] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8803/stat : 8803 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 154606748 1750781952 59497 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (Kb) 1709748

[startup+60.0387 s]
/proc/loadavg: 0.86 0.87 0.88 2/75 8803
/proc/meminfo: memFree=588736/2055920 swapFree=4183752/4192956
[pid=8792] ppid=8790 vsize=1709748 CPUtime=61.32
/proc/8792/stat : 8792 (java) R 8790 8792 8747 0 -1 0 62888 0 1 0 6096 36 0 0 25 0 12 0 154606736 1750781952 61318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071334115 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8792/statm: 427437 61318 1876 14 0 414184 0
[pid=8792/tid=8793] ppid=8790 vsize=1709748 CPUtime=1.01
/proc/8792/task/8793/stat : 8793 (java) S 8790 8792 8747 0 -1 64 9026 0 0 0 97 4 0 0 15 0 12 0 154606742 1750781952 61318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8794] ppid=8790 vsize=1709748 CPUtime=1.03
/proc/8792/task/8794/stat : 8794 (java) S 8790 8792 8747 0 -1 64 8491 0 0 0 99 4 0 0 16 0 12 0 154606742 1750781952 61318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8795] ppid=8790 vsize=1709748 CPUtime=0.03
/proc/8792/task/8795/stat : 8795 (java) S 8790 8792 8747 0 -1 64 31 0 0 0 2 1 0 0 16 0 12 0 154606745 1750781952 61318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8796] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8796/stat : 8796 (java) S 8790 8792 8747 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 61318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8797] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8797/stat : 8797 (java) S 8790 8792 8747 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 61318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8798] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8798/stat : 8798 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 154606748 1750781952 61318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8799] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8799/stat : 8799 (java) S 8790 8792 8747 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 154606748 1750781952 61318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8800] ppid=8790 vsize=1709748 CPUtime=0.3
/proc/8792/task/8800/stat : 8800 (java) S 8790 8792 8747 0 -1 64 361 0 0 0 30 0 0 0 16 0 12 0 154606748 1750781952 61318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8801] ppid=8790 vsize=1709748 CPUtime=0.3
/proc/8792/task/8801/stat : 8801 (java) S 8790 8792 8747 0 -1 64 322 0 0 0 30 0 0 0 16 0 12 0 154606748 1750781952 61318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8802] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8802/stat : 8802 (java) S 8790 8792 8747 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 154606748 1750781952 61318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8803] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8803/stat : 8803 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 154606748 1750781952 61318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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


[startup+220.155 s]
/proc/loadavg: 1.07 0.95 0.91 2/75 8803
/proc/meminfo: memFree=434432/2055920 swapFree=4183752/4192956
[pid=8792] ppid=8790 vsize=1709748 CPUtime=227.41
/proc/8792/stat : 8792 (java) R 8790 8792 8747 0 -1 0 102394 0 1 0 22638 103 0 0 25 0 12 0 154606736 1750781952 99798 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071439193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8792/statm: 427437 99798 1876 14 0 414184 0
[pid=8792/tid=8793] ppid=8790 vsize=1709748 CPUtime=7.08
/proc/8792/task/8793/stat : 8793 (java) S 8790 8792 8747 0 -1 64 25888 0 0 0 686 22 0 0 16 0 12 0 154606742 1750781952 99798 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8794] ppid=8790 vsize=1709748 CPUtime=7.12
/proc/8792/task/8794/stat : 8794 (java) S 8790 8792 8747 0 -1 64 30764 0 0 0 680 32 0 0 16 0 12 0 154606742 1750781952 99798 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8795] ppid=8790 vsize=1709748 CPUtime=0.11
/proc/8792/task/8795/stat : 8795 (java) S 8790 8792 8747 0 -1 64 32 0 0 0 7 4 0 0 15 0 12 0 154606745 1750781952 99798 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8796] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8796/stat : 8796 (java) S 8790 8792 8747 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 99798 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8797] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8797/stat : 8797 (java) S 8790 8792 8747 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 99798 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8798] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8798/stat : 8798 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 154606748 1750781952 99798 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8799] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8799/stat : 8799 (java) S 8790 8792 8747 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 154606748 1750781952 99798 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8800] ppid=8790 vsize=1709748 CPUtime=0.31
/proc/8792/task/8800/stat : 8800 (java) S 8790 8792 8747 0 -1 64 363 0 0 0 31 0 0 0 16 0 12 0 154606748 1750781952 99798 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8801] ppid=8790 vsize=1709748 CPUtime=0.31
/proc/8792/task/8801/stat : 8801 (java) S 8790 8792 8747 0 -1 64 322 0 0 0 31 0 0 0 17 0 12 0 154606748 1750781952 99798 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8802] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8802/stat : 8802 (java) S 8790 8792 8747 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 154606748 1750781952 99798 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8803] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8803/stat : 8803 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 154606748 1750781952 99798 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 227.41
Current children cumulated vsize (Kb) 1709748

[startup+230.166 s]
/proc/loadavg: 1.06 0.95 0.91 3/75 8803
/proc/meminfo: memFree=427392/2055920 swapFree=4183752/4192956
[pid=8792] ppid=8790 vsize=1709748 CPUtime=237.92
/proc/8792/stat : 8792 (java) S 8790 8792 8747 0 -1 0 104237 0 1 0 23684 108 0 0 25 0 12 0 154606736 1750781952 101588 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8792/statm: 427437 101588 1876 14 0 414184 0
[pid=8792/tid=8793] ppid=8790 vsize=1709748 CPUtime=7.59
/proc/8792/task/8793/stat : 8793 (java) R 8790 8792 8747 0 -1 64 27112 0 0 0 735 24 0 0 16 0 12 0 154606742 1750781952 101588 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4153206349 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8794] ppid=8790 vsize=1709748 CPUtime=7.63
/proc/8792/task/8794/stat : 8794 (java) R 8790 8792 8747 0 -1 64 31360 0 0 0 729 34 0 0 16 0 12 0 154606742 1750781952 101588 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154649170 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8795] ppid=8790 vsize=1709748 CPUtime=0.12
/proc/8792/task/8795/stat : 8795 (java) S 8790 8792 8747 0 -1 64 32 0 0 0 8 4 0 0 15 0 12 0 154606745 1750781952 101588 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8796] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8796/stat : 8796 (java) S 8790 8792 8747 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 101588 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8797] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8797/stat : 8797 (java) S 8790 8792 8747 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 101588 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8798] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8798/stat : 8798 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 154606748 1750781952 101589 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8799] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8799/stat : 8799 (java) S 8790 8792 8747 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 154606748 1750781952 101589 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8800] ppid=8790 vsize=1709748 CPUtime=0.31
/proc/8792/task/8800/stat : 8800 (java) S 8790 8792 8747 0 -1 64 363 0 0 0 31 0 0 0 16 0 12 0 154606748 1750781952 101589 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8801] ppid=8790 vsize=1709748 CPUtime=0.31
/proc/8792/task/8801/stat : 8801 (java) S 8790 8792 8747 0 -1 64 322 0 0 0 31 0 0 0 17 0 12 0 154606748 1750781952 101589 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8802] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8802/stat : 8802 (java) S 8790 8792 8747 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 154606748 1750781952 101590 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8803] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8803/stat : 8803 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 154606748 1750781952 101590 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 237.92
Current children cumulated vsize (Kb) 1709748

[startup+240.172 s]
/proc/loadavg: 1.05 0.95 0.91 2/75 8803
/proc/meminfo: memFree=420288/2055920 swapFree=4183752/4192956
[pid=8792] ppid=8790 vsize=1709748 CPUtime=248.42
/proc/8792/stat : 8792 (java) R 8790 8792 8747 0 -1 0 106020 0 1 0 24727 115 0 0 25 0 12 0 154606736 1750781952 103319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071334260 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8792/statm: 427437 103319 1876 14 0 414184 0
[pid=8792/tid=8793] ppid=8790 vsize=1709748 CPUtime=8.08
/proc/8792/task/8793/stat : 8793 (java) S 8790 8792 8747 0 -1 64 28218 0 0 0 780 28 0 0 16 0 12 0 154606742 1750781952 103319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8794] ppid=8790 vsize=1709748 CPUtime=8.13
/proc/8792/task/8794/stat : 8794 (java) S 8790 8792 8747 0 -1 64 32015 0 0 0 779 34 0 0 17 0 12 0 154606742 1750781952 103319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8795] ppid=8790 vsize=1709748 CPUtime=0.12
/proc/8792/task/8795/stat : 8795 (java) S 8790 8792 8747 0 -1 64 32 0 0 0 8 4 0 0 16 0 12 0 154606745 1750781952 103319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8796] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8796/stat : 8796 (java) S 8790 8792 8747 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 103319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8797] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8797/stat : 8797 (java) S 8790 8792 8747 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 154606745 1750781952 103319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8798] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8798/stat : 8798 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 154606748 1750781952 103319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8799] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8799/stat : 8799 (java) S 8790 8792 8747 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 154606748 1750781952 103319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8800] ppid=8790 vsize=1709748 CPUtime=0.31
/proc/8792/task/8800/stat : 8800 (java) S 8790 8792 8747 0 -1 64 363 0 0 0 31 0 0 0 16 0 12 0 154606748 1750781952 103319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8801] ppid=8790 vsize=1709748 CPUtime=0.31
/proc/8792/task/8801/stat : 8801 (java) S 8790 8792 8747 0 -1 64 322 0 0 0 31 0 0 0 17 0 12 0 154606748 1750781952 103319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8802] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8802/stat : 8802 (java) S 8790 8792 8747 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 154606748 1750781952 103319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8803] ppid=8790 vsize=1709748 CPUtime=0
/proc/8792/task/8803/stat : 8803 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 154606748 1750781952 103319 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 248.42
Current children cumulated vsize (Kb) 1709748

[startup+250.179 s]
/proc/loadavg: 1.04 0.95 0.91 2/76 8804
/proc/meminfo: memFree=389752/2055920 swapFree=4183752/4192956
[pid=8792] ppid=8790 vsize=1715376 CPUtime=260.25
/proc/8792/stat : 8792 (java) R 8790 8792 8747 0 -1 0 119750 0 1 0 25900 125 0 0 25 0 13 0 154606736 1756545024 110935 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071725422 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8792/statm: 428844 110935 1908 14 0 415591 0
[pid=8792/tid=8793] ppid=8790 vsize=1715376 CPUtime=8.48
/proc/8792/task/8793/stat : 8793 (java) S 8790 8792 8747 0 -1 64 31823 0 0 0 816 32 0 0 16 0 13 0 154606742 1756545024 110935 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8794] ppid=8790 vsize=1715376 CPUtime=8.54
/proc/8792/task/8794/stat : 8794 (java) S 8790 8792 8747 0 -1 64 35982 0 0 0 818 36 0 0 16 0 13 0 154606742 1756545024 110935 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8795] ppid=8790 vsize=1715376 CPUtime=0.13
/proc/8792/task/8795/stat : 8795 (java) S 8790 8792 8747 0 -1 64 32 0 0 0 9 4 0 0 16 0 13 0 154606745 1756545024 110935 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8796] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8796/stat : 8796 (java) S 8790 8792 8747 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 154606745 1756545024 110935 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8797] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8797/stat : 8797 (java) S 8790 8792 8747 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 154606745 1756545024 110935 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8798] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8798/stat : 8798 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 154606748 1756545024 110935 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8799] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8799/stat : 8799 (java) S 8790 8792 8747 0 -1 64 3 0 0 0 0 0 0 0 15 0 13 0 154606748 1756545024 110935 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8800] ppid=8790 vsize=1715376 CPUtime=1.13
/proc/8792/task/8800/stat : 8800 (java) S 8790 8792 8747 0 -1 64 3008 0 0 0 112 1 0 0 16 0 13 0 154606748 1756545024 110935 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8801] ppid=8790 vsize=1715376 CPUtime=1.29
/proc/8792/task/8801/stat : 8801 (java) S 8790 8792 8747 0 -1 64 3755 0 0 0 128 1 0 0 17 0 13 0 154606748 1756545024 110935 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8802] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8802/stat : 8802 (java) S 8790 8792 8747 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 154606748 1756545024 110935 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8803] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8803/stat : 8803 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154606748 1756545024 110935 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8804] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8804/stat : 8804 (java) S 8790 8792 8747 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 154631263 1756545024 110935 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 260.25
Current children cumulated vsize (Kb) 1715376

[startup+260.186 s]
/proc/loadavg: 1.04 0.95 0.91 2/76 8804
/proc/meminfo: memFree=388664/2055920 swapFree=4183752/4192956
[pid=8792] ppid=8790 vsize=1715376 CPUtime=270.56
/proc/8792/stat : 8792 (java) R 8790 8792 8747 0 -1 0 120240 0 1 0 26930 126 0 0 25 0 13 0 154606736 1756545024 111241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071725362 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8792/statm: 428844 111241 1910 14 0 415591 0
[pid=8792/tid=8793] ppid=8790 vsize=1715376 CPUtime=8.59
/proc/8792/task/8793/stat : 8793 (java) S 8790 8792 8747 0 -1 64 32075 0 0 0 827 32 0 0 16 0 13 0 154606742 1756545024 111241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8794] ppid=8790 vsize=1715376 CPUtime=8.65
/proc/8792/task/8794/stat : 8794 (java) S 8790 8792 8747 0 -1 64 36192 0 0 0 828 37 0 0 16 0 13 0 154606742 1756545024 111241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8795] ppid=8790 vsize=1715376 CPUtime=0.13
/proc/8792/task/8795/stat : 8795 (java) S 8790 8792 8747 0 -1 64 32 0 0 0 9 4 0 0 15 0 13 0 154606745 1756545024 111241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8796] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8796/stat : 8796 (java) S 8790 8792 8747 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 154606745 1756545024 111241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8797] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8797/stat : 8797 (java) S 8790 8792 8747 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 154606745 1756545024 111241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8798] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8798/stat : 8798 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 154606748 1756545024 111241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8799] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8799/stat : 8799 (java) S 8790 8792 8747 0 -1 64 3 0 0 0 0 0 0 0 15 0 13 0 154606748 1756545024 111241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8800] ppid=8790 vsize=1715376 CPUtime=1.27
/proc/8792/task/8800/stat : 8800 (java) S 8790 8792 8747 0 -1 64 3015 0 0 0 126 1 0 0 17 0 13 0 154606748 1756545024 111241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8801] ppid=8790 vsize=1715376 CPUtime=1.36
/proc/8792/task/8801/stat : 8801 (java) S 8790 8792 8747 0 -1 64 3760 0 0 0 135 1 0 0 17 0 13 0 154606748 1756545024 111241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8802] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8802/stat : 8802 (java) S 8790 8792 8747 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 154606748 1756545024 111241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8803] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8803/stat : 8803 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154606748 1756545024 111241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8804] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8804/stat : 8804 (java) S 8790 8792 8747 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 154631263 1756545024 111241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 270.56
Current children cumulated vsize (Kb) 1715376

[startup+270.193 s]
/proc/loadavg: 1.03 0.95 0.91 2/76 8804
/proc/meminfo: memFree=388600/2055920 swapFree=4183752/4192956
[pid=8792] ppid=8790 vsize=1715376 CPUtime=280.65
/proc/8792/stat : 8792 (java) R 8790 8792 8747 0 -1 0 120478 0 1 0 27938 127 0 0 25 0 13 0 154606736 1756545024 111236 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071729748 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8792/statm: 428844 111236 1910 14 0 415591 0
[pid=8792/tid=8793] ppid=8790 vsize=1715376 CPUtime=8.67
/proc/8792/task/8793/stat : 8793 (java) S 8790 8792 8747 0 -1 64 32190 0 0 0 835 32 0 0 16 0 13 0 154606742 1756545024 111236 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8794] ppid=8790 vsize=1715376 CPUtime=8.73
/proc/8792/task/8794/stat : 8794 (java) S 8790 8792 8747 0 -1 64 36305 0 0 0 836 37 0 0 16 0 13 0 154606742 1756545024 111236 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8795] ppid=8790 vsize=1715376 CPUtime=0.13
/proc/8792/task/8795/stat : 8795 (java) S 8790 8792 8747 0 -1 64 32 0 0 0 9 4 0 0 16 0 13 0 154606745 1756545024 111236 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8796] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8796/stat : 8796 (java) S 8790 8792 8747 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 154606745 1756545024 111236 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8797] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8797/stat : 8797 (java) S 8790 8792 8747 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 154606745 1756545024 111236 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8798] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8798/stat : 8798 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 154606748 1756545024 111236 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8799] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8799/stat : 8799 (java) S 8790 8792 8747 0 -1 64 3 0 0 0 0 0 0 0 15 0 13 0 154606748 1756545024 111236 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8800] ppid=8790 vsize=1715376 CPUtime=1.27
/proc/8792/task/8800/stat : 8800 (java) S 8790 8792 8747 0 -1 64 3015 0 0 0 126 1 0 0 16 0 13 0 154606748 1756545024 111236 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8801] ppid=8790 vsize=1715376 CPUtime=1.36
/proc/8792/task/8801/stat : 8801 (java) S 8790 8792 8747 0 -1 64 3760 0 0 0 135 1 0 0 17 0 13 0 154606748 1756545024 111236 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8802] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8802/stat : 8802 (java) S 8790 8792 8747 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 154606748 1756545024 111236 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8792/tid=8803] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8803/stat : 8803 (java) S 8790 8792 8747 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154606748 1756545024 111236 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8792/tid=8804] ppid=8790 vsize=1715376 CPUtime=0
/proc/8792/task/8804/stat : 8804 (java) S 8790 8792 8747 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 154631263 1756545024 111236 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.65
Current children cumulated vsize (Kb) 1715376

Child status: 10
Real time (s): 274.052
CPU time (s): 284.671
CPU user time (s): 283.326
CPU system time (s): 1.3448
CPU usage (%): 103.875
Max. virtual memory (cumulated for all children) (Kb): 1715376

Launcher Data (download as text)

Begin job on node47 on Fri Jun  2 05:39:30 UTC 2006


FILE ID= 43639-1149226761

PBS_JOBID= 295930

BENCH NAME= ROOT/tmp/node47/43639-1149226761/instance-43639-1149226761.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node47/43639-1149226761/instance-43639-1149226761.opb 612624406
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-43639-1149226761 -o ROOT/results/node47/solver-43639-1149226761 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node47/43639-1149226761/instance-43639-1149226761.opb 612624406

MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213
MD5SUM BENCH=  16e382d24044cea3204cbf333685cccd

RANDOM SEED= 612624406


/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.236
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.236
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:        826856 kB
Buffers:         38776 kB
Cached:        1115536 kB
SwapCached:       3524 kB
Active:         383564 kB
Inactive:       779732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        826856 kB
SwapTotal:     4192956 kB
SwapFree:      4183752 kB
Dirty:             260 kB
Writeback:           0 kB
Mapped:          15028 kB
Slab:            51816 kB
Committed_AS:   191464 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node47 on Fri Jun  2 05:44:17 UTC 2006