Trace number 44306

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
SAT4JPSEUDO 2006.2SAT167 1707.21 1657.24

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-bench1.pi.opb
MD5SUMdf1c0055bf82833faa95d352e28c6731
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark121
Best CPU time to get the best result obtained on this benchmark22.6636
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 121
Optimality of the best value was proved YES
Number of variables4676
Total number of constraints398
Number of constraints which are clauses398
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 4676
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4676
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4676
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	167

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.95 3/64 7997
/proc/meminfo: memFree=1864400/2055920 swapFree=4180900/4192956
[pid=7997] ppid=7995 vsize=1784 CPUtime=0
/proc/7997/stat : 7997 (java) R 7995 7997 7951 0 -1 0 142 0 0 0 0 0 0 0 18 0 1 0 206344112 1826816 114 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 1907953 0 0 4096 0 0 0 0 17 1 0 0
/proc/7997/statm: 446 120 87 14 0 91 0

[startup+10.0028 s]
/proc/loadavg: 1.00 0.97 0.95 2/76 8013
/proc/meminfo: memFree=1690752/2055920 swapFree=4180900/4192956
[pid=7997] ppid=7995 vsize=1711072 CPUtime=11.5
/proc/7997/stat : 7997 (java) R 7995 7997 7951 0 -1 0 50912 0 1 0 1129 21 0 0 17 0 13 0 206344112 1752137728 45185 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071522324 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7997/statm: 427768 45185 1914 14 0 414515 0
[pid=7997/tid=7998] ppid=7995 vsize=1711072 CPUtime=0.26
/proc/7997/task/7998/stat : 7998 (java) S 7995 7997 7951 0 -1 64 6285 0 0 0 24 2 0 0 16 0 13 0 206344116 1752137728 45185 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=7999] ppid=7995 vsize=1711072 CPUtime=0.26
/proc/7997/task/7999/stat : 7999 (java) S 7995 7997 7951 0 -1 64 6220 0 0 0 24 2 0 0 16 0 13 0 206344116 1752137728 45185 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8000] ppid=7995 vsize=1711072 CPUtime=0
/proc/7997/task/8000/stat : 8000 (java) S 7995 7997 7951 0 -1 64 23 0 0 0 0 0 0 0 15 0 13 0 206344118 1752137728 45185 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8001] ppid=7995 vsize=1711072 CPUtime=0
/proc/7997/task/8001/stat : 8001 (java) S 7995 7997 7951 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206344119 1752137728 45185 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8002] ppid=7995 vsize=1711072 CPUtime=0
/proc/7997/task/8002/stat : 8002 (java) S 7995 7997 7951 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206344119 1752137728 45185 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8003] ppid=7995 vsize=1711072 CPUtime=0
/proc/7997/task/8003/stat : 8003 (java) S 7995 7997 7951 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206344122 1752137728 45185 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8004] ppid=7995 vsize=1711072 CPUtime=0
/proc/7997/task/8004/stat : 8004 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206344122 1752137728 45185 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8005] ppid=7995 vsize=1711072 CPUtime=0.86
/proc/7997/task/8005/stat : 8005 (java) S 7995 7997 7951 0 -1 64 992 0 0 0 86 0 0 0 15 0 13 0 206344122 1752137728 45185 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8006] ppid=7995 vsize=1711072 CPUtime=0.8
/proc/7997/task/8006/stat : 8006 (java) S 7995 7997 7951 0 -1 64 819 0 0 0 80 0 0 0 16 0 13 0 206344122 1752137728 45185 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8007] ppid=7995 vsize=1711072 CPUtime=0
/proc/7997/task/8007/stat : 8007 (java) S 7995 7997 7951 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206344122 1752137728 45185 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8008] ppid=7995 vsize=1711072 CPUtime=0
/proc/7997/task/8008/stat : 8008 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206344122 1752137728 45185 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8013] ppid=7995 vsize=1711072 CPUtime=0
/proc/7997/task/8013/stat : 8013 (java) S 7995 7997 7951 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 206344355 1752137728 45185 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.5
Current children cumulated vsize (Kb) 1711072

[startup+20.0098 s]
/proc/loadavg: 1.00 0.97 0.95 2/76 8013
/proc/meminfo: memFree=1662528/2055920 swapFree=4180900/4192956
[pid=7997] ppid=7995 vsize=1713704 CPUtime=21.83
/proc/7997/stat : 7997 (java) R 7995 7997 7951 0 -1 0 63242 0 2 0 2156 27 0 0 25 0 13 0 206344112 1754832896 52234 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071405782 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7997/statm: 428426 52234 1915 14 0 415173 0
[pid=7997/tid=7998] ppid=7995 vsize=1713704 CPUtime=0.36
/proc/7997/task/7998/stat : 7998 (java) S 7995 7997 7951 0 -1 64 9061 0 0 0 32 4 0 0 16 0 13 0 206344116 1754832896 52234 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=7999] ppid=7995 vsize=1713704 CPUtime=0.35
/proc/7997/task/7999/stat : 7999 (java) S 7995 7997 7951 0 -1 64 9038 0 0 0 32 3 0 0 15 0 13 0 206344116 1754832896 52234 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8000] ppid=7995 vsize=1713704 CPUtime=0.01
/proc/7997/task/8000/stat : 8000 (java) S 7995 7997 7951 0 -1 64 41 0 0 0 1 0 0 0 17 0 13 0 206344118 1754832896 52234 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8001] ppid=7995 vsize=1713704 CPUtime=0
/proc/7997/task/8001/stat : 8001 (java) S 7995 7997 7951 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206344119 1754832896 52234 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8002] ppid=7995 vsize=1713704 CPUtime=0
/proc/7997/task/8002/stat : 8002 (java) S 7995 7997 7951 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206344119 1754832896 52234 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8003] ppid=7995 vsize=1713704 CPUtime=0
/proc/7997/task/8003/stat : 8003 (java) S 7995 7997 7951 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206344122 1754832896 52234 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8004] ppid=7995 vsize=1713704 CPUtime=0
/proc/7997/task/8004/stat : 8004 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206344122 1754832896 52234 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8005] ppid=7995 vsize=1713704 CPUtime=1.03
/proc/7997/task/8005/stat : 8005 (java) S 7995 7997 7951 0 -1 64 1848 0 1 0 103 0 0 0 16 0 13 0 206344122 1754832896 52234 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8006] ppid=7995 vsize=1713704 CPUtime=0.87
/proc/7997/task/8006/stat : 8006 (java) S 7995 7997 7951 0 -1 64 1184 0 0 0 87 0 0 0 17 0 13 0 206344122 1754832896 52234 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8007] ppid=7995 vsize=1713704 CPUtime=0
/proc/7997/task/8007/stat : 8007 (java) S 7995 7997 7951 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206344122 1754832896 52234 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8008] ppid=7995 vsize=1713704 CPUtime=0
/proc/7997/task/8008/stat : 8008 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206344122 1754832896 52234 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8013] ppid=7995 vsize=1713704 CPUtime=0
/proc/7997/task/8013/stat : 8013 (java) S 7995 7997 7951 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 206344355 1754832896 52234 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.83
Current children cumulated vsize (Kb) 1713704

[startup+30.0168 s]
/proc/loadavg: 1.00 0.97 0.95 2/76 8013
/proc/meminfo: memFree=1605888/2055920 swapFree=4180900/4192956
[pid=7997] ppid=7995 vsize=1711384 CPUtime=32.34
/proc/7997/stat : 7997 (java) R 7995 7997 7951 0 -1 0 82347 0 2 0 3197 37 0 0 18 0 13 0 206344112 1752457216 66446 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071810995 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7997/statm: 427846 66446 1915 14 0 414593 0
[pid=7997/tid=7998] ppid=7995 vsize=1711384 CPUtime=0.71
/proc/7997/task/7998/stat : 7998 (java) S 7995 7997 7951 0 -1 64 16945 0 0 0 64 7 0 0 16 0 13 0 206344116 1752457216 66446 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=7999] ppid=7995 vsize=1711384 CPUtime=0.7
/proc/7997/task/7999/stat : 7999 (java) S 7995 7997 7951 0 -1 64 18226 0 0 0 62 8 0 0 16 0 13 0 206344116 1752457216 66446 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8000] ppid=7995 vsize=1711384 CPUtime=0.02
/proc/7997/task/8000/stat : 8000 (java) S 7995 7997 7951 0 -1 64 49 0 0 0 1 1 0 0 15 0 13 0 206344118 1752457216 66446 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8001] ppid=7995 vsize=1711384 CPUtime=0
/proc/7997/task/8001/stat : 8001 (java) S 7995 7997 7951 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206344119 1752457216 66446 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8002] ppid=7995 vsize=1711384 CPUtime=0
/proc/7997/task/8002/stat : 8002 (java) S 7995 7997 7951 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206344119 1752457216 66446 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8003] ppid=7995 vsize=1711384 CPUtime=0
/proc/7997/task/8003/stat : 8003 (java) S 7995 7997 7951 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206344122 1752457216 66446 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8004] ppid=7995 vsize=1711384 CPUtime=0
/proc/7997/task/8004/stat : 8004 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206344122 1752457216 66446 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8005] ppid=7995 vsize=1711384 CPUtime=1.12
/proc/7997/task/8005/stat : 8005 (java) S 7995 7997 7951 0 -1 64 1882 0 1 0 112 0 0 0 17 0 13 0 206344122 1752457216 66446 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8006] ppid=7995 vsize=1711384 CPUtime=0.94
/proc/7997/task/8006/stat : 8006 (java) S 7995 7997 7951 0 -1 64 1319 0 0 0 94 0 0 0 17 0 13 0 206344122 1752457216 66446 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8007] ppid=7995 vsize=1711384 CPUtime=0
/proc/7997/task/8007/stat : 8007 (java) S 7995 7997 7951 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206344122 1752457216 66446 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8008] ppid=7995 vsize=1711384 CPUtime=0
/proc/7997/task/8008/stat : 8008 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206344122 1752457216 66446 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8013] ppid=7995 vsize=1711384 CPUtime=0
/proc/7997/task/8013/stat : 8013 (java) S 7995 7997 7951 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 206344355 1752457216 66446 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.34
Current children cumulated vsize (Kb) 1711384

[startup+40.0238 s]
/proc/loadavg: 1.00 0.97 0.95 2/76 8013
/proc/meminfo: memFree=1557120/2055920 swapFree=4180900/4192956
[pid=7997] ppid=7995 vsize=1711352 CPUtime=42.71
/proc/7997/stat : 7997 (java) R 7995 7997 7951 0 -1 0 97269 0 2 0 4227 44 0 0 25 0 13 0 206344112 1752424448 78593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071405642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7997/statm: 427838 78593 1915 14 0 414585 0
[pid=7997/tid=7998] ppid=7995 vsize=1711352 CPUtime=1.1
/proc/7997/task/7998/stat : 7998 (java) S 7995 7997 7951 0 -1 64 25548 0 0 0 99 11 0 0 16 0 13 0 206344116 1752424448 78593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=7999] ppid=7995 vsize=1711352 CPUtime=1.08
/proc/7997/task/7999/stat : 7999 (java) S 7995 7997 7951 0 -1 64 24519 0 0 0 96 12 0 0 16 0 13 0 206344116 1752424448 78593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8000] ppid=7995 vsize=1711352 CPUtime=0.02
/proc/7997/task/8000/stat : 8000 (java) S 7995 7997 7951 0 -1 64 50 0 0 0 1 1 0 0 15 0 13 0 206344118 1752424448 78593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8001] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8001/stat : 8001 (java) S 7995 7997 7951 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206344119 1752424448 78593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8002] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8002/stat : 8002 (java) S 7995 7997 7951 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206344119 1752424448 78593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8003] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8003/stat : 8003 (java) S 7995 7997 7951 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206344122 1752424448 78593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8004] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8004/stat : 8004 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206344122 1752424448 78593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8005] ppid=7995 vsize=1711352 CPUtime=1.12
/proc/7997/task/8005/stat : 8005 (java) S 7995 7997 7951 0 -1 64 1882 0 1 0 112 0 0 0 17 0 13 0 206344122 1752424448 78593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8006] ppid=7995 vsize=1711352 CPUtime=0.94
/proc/7997/task/8006/stat : 8006 (java) S 7995 7997 7951 0 -1 64 1319 0 0 0 94 0 0 0 17 0 13 0 206344122 1752424448 78593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8007] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8007/stat : 8007 (java) S 7995 7997 7951 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206344122 1752424448 78593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8008] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8008/stat : 8008 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206344122 1752424448 78593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8013] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8013/stat : 8013 (java) S 7995 7997 7951 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206344355 1752424448 78593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.71
Current children cumulated vsize (Kb) 1711352

[startup+50.0309 s]
/proc/loadavg: 1.00 0.97 0.95 2/76 8013
/proc/meminfo: memFree=1542208/2055920 swapFree=4180900/4192956
[pid=7997] ppid=7995 vsize=1711352 CPUtime=52.9
/proc/7997/stat : 7997 (java) R 7995 7997 7951 0 -1 0 107497 0 2 0 5241 49 0 0 25 0 13 0 206344112 1752424448 82332 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071514276 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7997/statm: 427838 82332 1915 14 0 414585 0
[pid=7997/tid=7998] ppid=7995 vsize=1711352 CPUtime=1.3
/proc/7997/task/7998/stat : 7998 (java) S 7995 7997 7951 0 -1 64 28108 0 0 0 118 12 0 0 16 0 13 0 206344116 1752424448 82332 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=7999] ppid=7995 vsize=1711352 CPUtime=1.28
/proc/7997/task/7999/stat : 7999 (java) S 7995 7997 7951 0 -1 64 27205 0 0 0 114 14 0 0 16 0 13 0 206344116 1752424448 82332 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8000] ppid=7995 vsize=1711352 CPUtime=0.02
/proc/7997/task/8000/stat : 8000 (java) S 7995 7997 7951 0 -1 64 64 0 0 0 1 1 0 0 15 0 13 0 206344118 1752424448 82332 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8001] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8001/stat : 8001 (java) S 7995 7997 7951 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206344119 1752424448 82332 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8002] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8002/stat : 8002 (java) S 7995 7997 7951 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206344119 1752424448 82332 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8003] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8003/stat : 8003 (java) S 7995 7997 7951 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206344122 1752424448 82332 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8004] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8004/stat : 8004 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206344122 1752424448 82332 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8005] ppid=7995 vsize=1711352 CPUtime=1.12
/proc/7997/task/8005/stat : 8005 (java) S 7995 7997 7951 0 -1 64 1882 0 1 0 112 0 0 0 17 0 13 0 206344122 1752424448 82332 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8006] ppid=7995 vsize=1711352 CPUtime=0.94
/proc/7997/task/8006/stat : 8006 (java) S 7995 7997 7951 0 -1 64 1319 0 0 0 94 0 0 0 17 0 13 0 206344122 1752424448 82332 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8007] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8007/stat : 8007 (java) S 7995 7997 7951 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206344122 1752424448 82332 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8008] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8008/stat : 8008 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206344122 1752424448 82332 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8013] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8013/stat : 8013 (java) S 7995 7997 7951 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206344355 1752424448 82332 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 52.9
Current children cumulated vsize (Kb) 1711352

[startup+60.0379 s]
/proc/loadavg: 1.00 0.97 0.95 2/76 8014
/proc/meminfo: memFree=1513528/2055920 swapFree=4180900/4192956
[pid=7997] ppid=7995 vsize=1711352 CPUtime=63.27
/proc/7997/stat : 7997 (java) R 7995 7997 7951 0 -1 0 116291 0 2 0 6274 53 0 0 18 0 13 0 206344112 1752424448 89485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071750249 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7997/statm: 427838 89485 1915 14 0 414585 0
[pid=7997/tid=7998] ppid=7995 vsize=1711352 CPUtime=1.66
/proc/7997/task/7998/stat : 7998 (java) S 7995 7997 7951 0 -1 64 32726 0 0 0 152 14 0 0 16 0 13 0 206344116 1752424448 89485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=7999] ppid=7995 vsize=1711352 CPUtime=1.64
/proc/7997/task/7999/stat : 7999 (java) S 7995 7997 7951 0 -1 64 31364 0 0 0 149 15 0 0 16 0 13 0 206344116 1752424448 89485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8000] ppid=7995 vsize=1711352 CPUtime=0.03
/proc/7997/task/8000/stat : 8000 (java) S 7995 7997 7951 0 -1 64 64 0 0 0 2 1 0 0 16 0 13 0 206344118 1752424448 89485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8001] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8001/stat : 8001 (java) S 7995 7997 7951 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206344119 1752424448 89485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8002] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8002/stat : 8002 (java) S 7995 7997 7951 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206344119 1752424448 89485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8003] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8003/stat : 8003 (java) S 7995 7997 7951 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206344122 1752424448 89485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/7997/statm: 427838 389336 1917 14 0 414585 0
[pid=7997/tid=7998] ppid=7995 vsize=1711352 CPUtime=49.23
/proc/7997/task/7998/stat : 7998 (java) S 7995 7997 7951 0 -1 64 194147 0 0 0 4814 109 0 0 17 0 13 0 206344116 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=7999] ppid=7995 vsize=1711352 CPUtime=49.22
/proc/7997/task/7999/stat : 7999 (java) S 7995 7997 7951 0 -1 64 206856 0 0 0 4782 140 0 0 17 0 13 0 206344116 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8000] ppid=7995 vsize=1711352 CPUtime=653.16
/proc/7997/task/8000/stat : 8000 (java) R 7995 7997 7951 0 -1 64 1120 0 0 0 65298 18 0 0 22 0 13 0 206344118 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4155453120 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8001] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8001/stat : 8001 (java) S 7995 7997 7951 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206344119 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8002] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8002/stat : 8002 (java) S 7995 7997 7951 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206344119 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8003] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8003/stat : 8003 (java) S 7995 7997 7951 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8004] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8004/stat : 8004 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8005] ppid=7995 vsize=1711352 CPUtime=1.21
/proc/7997/task/8005/stat : 8005 (java) S 7995 7997 7951 0 -1 64 1886 0 1 0 121 0 0 0 16 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8006] ppid=7995 vsize=1711352 CPUtime=0.98
/proc/7997/task/8006/stat : 8006 (java) S 7995 7997 7951 0 -1 64 1319 0 0 0 98 0 0 0 17 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8007] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8007/stat : 8007 (java) S 7995 7997 7951 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8008] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8008/stat : 8008 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8016] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8016/stat : 8016 (java) S 7995 7997 7951 0 -1 64 85 0 0 0 0 0 0 0 16 0 13 0 206365300 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.23
Current children cumulated vsize (Kb) 1711352

[startup+1611.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 8211
/proc/meminfo: memFree=310384/2055920 swapFree=4180900/4192956
[pid=7997] ppid=7995 vsize=1711352 CPUtime=1661.23
/proc/7997/stat : 7997 (java) S 7995 7997 7951 0 -1 0 456539 0 2 0 165826 297 0 0 21 0 13 0 206344112 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7997/statm: 427838 389336 1917 14 0 414585 0
[pid=7997/tid=7998] ppid=7995 vsize=1711352 CPUtime=49.23
/proc/7997/task/7998/stat : 7998 (java) S 7995 7997 7951 0 -1 64 194147 0 0 0 4814 109 0 0 17 0 13 0 206344116 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=7999] ppid=7995 vsize=1711352 CPUtime=49.22
/proc/7997/task/7999/stat : 7999 (java) S 7995 7997 7951 0 -1 64 206856 0 0 0 4782 140 0 0 17 0 13 0 206344116 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8000] ppid=7995 vsize=1711352 CPUtime=662.2
/proc/7997/task/8000/stat : 8000 (java) R 7995 7997 7951 0 -1 64 1120 0 0 0 66202 18 0 0 23 0 13 0 206344118 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154940053 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8001] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8001/stat : 8001 (java) S 7995 7997 7951 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206344119 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8002] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8002/stat : 8002 (java) S 7995 7997 7951 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206344119 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8003] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8003/stat : 8003 (java) S 7995 7997 7951 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8004] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8004/stat : 8004 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8005] ppid=7995 vsize=1711352 CPUtime=1.21
/proc/7997/task/8005/stat : 8005 (java) S 7995 7997 7951 0 -1 64 1886 0 1 0 121 0 0 0 16 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8006] ppid=7995 vsize=1711352 CPUtime=0.98
/proc/7997/task/8006/stat : 8006 (java) S 7995 7997 7951 0 -1 64 1319 0 0 0 98 0 0 0 17 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8007] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8007/stat : 8007 (java) S 7995 7997 7951 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8008] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8008/stat : 8008 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8016] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8016/stat : 8016 (java) S 7995 7997 7951 0 -1 64 86 0 0 0 0 0 0 0 16 0 13 0 206365300 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.23
Current children cumulated vsize (Kb) 1711352

[startup+1621.27 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 8211
/proc/meminfo: memFree=310320/2055920 swapFree=4180900/4192956
[pid=7997] ppid=7995 vsize=1711352 CPUtime=1671.24
/proc/7997/stat : 7997 (java) S 7995 7997 7951 0 -1 0 456540 0 2 0 166827 297 0 0 18 0 13 0 206344112 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7997/statm: 427838 389336 1917 14 0 414585 0
[pid=7997/tid=7998] ppid=7995 vsize=1711352 CPUtime=49.23
/proc/7997/task/7998/stat : 7998 (java) S 7995 7997 7951 0 -1 64 194147 0 0 0 4814 109 0 0 17 0 13 0 206344116 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=7999] ppid=7995 vsize=1711352 CPUtime=49.22
/proc/7997/task/7999/stat : 7999 (java) S 7995 7997 7951 0 -1 64 206856 0 0 0 4782 140 0 0 17 0 13 0 206344116 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8000] ppid=7995 vsize=1711352 CPUtime=670.73
/proc/7997/task/8000/stat : 8000 (java) R 7995 7997 7951 0 -1 64 1120 0 0 0 67055 18 0 0 21 0 13 0 206344118 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154648992 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8001] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8001/stat : 8001 (java) S 7995 7997 7951 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206344119 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8002] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8002/stat : 8002 (java) S 7995 7997 7951 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206344119 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8003] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8003/stat : 8003 (java) S 7995 7997 7951 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8004] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8004/stat : 8004 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8005] ppid=7995 vsize=1711352 CPUtime=1.21
/proc/7997/task/8005/stat : 8005 (java) S 7995 7997 7951 0 -1 64 1886 0 1 0 121 0 0 0 16 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8006] ppid=7995 vsize=1711352 CPUtime=0.98
/proc/7997/task/8006/stat : 8006 (java) S 7995 7997 7951 0 -1 64 1319 0 0 0 98 0 0 0 17 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8007] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8007/stat : 8007 (java) S 7995 7997 7951 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8008] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8008/stat : 8008 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8016] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8016/stat : 8016 (java) S 7995 7997 7951 0 -1 64 87 0 0 0 0 0 0 0 16 0 13 0 206365300 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1671.24
Current children cumulated vsize (Kb) 1711352

[startup+1631.27 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 8211
/proc/meminfo: memFree=310320/2055920 swapFree=4180900/4192956
[pid=7997] ppid=7995 vsize=1711352 CPUtime=1681.24
/proc/7997/stat : 7997 (java) R 7995 7997 7951 0 -1 0 456543 0 2 0 167827 297 0 0 18 0 13 0 206344112 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071601905 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7997/statm: 427838 389336 1917 14 0 414585 0
[pid=7997/tid=7998] ppid=7995 vsize=1711352 CPUtime=49.23
/proc/7997/task/7998/stat : 7998 (java) S 7995 7997 7951 0 -1 64 194147 0 0 0 4814 109 0 0 17 0 13 0 206344116 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=7999] ppid=7995 vsize=1711352 CPUtime=49.22
/proc/7997/task/7999/stat : 7999 (java) S 7995 7997 7951 0 -1 64 206856 0 0 0 4782 140 0 0 17 0 13 0 206344116 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8000] ppid=7995 vsize=1711352 CPUtime=680.13
/proc/7997/task/8000/stat : 8000 (java) S 7995 7997 7951 0 -1 64 1120 0 0 0 67995 18 0 0 25 0 13 0 206344118 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8001] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8001/stat : 8001 (java) S 7995 7997 7951 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206344119 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8002] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8002/stat : 8002 (java) S 7995 7997 7951 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206344119 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8003] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8003/stat : 8003 (java) S 7995 7997 7951 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8004] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8004/stat : 8004 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8005] ppid=7995 vsize=1711352 CPUtime=1.21
/proc/7997/task/8005/stat : 8005 (java) S 7995 7997 7951 0 -1 64 1886 0 1 0 121 0 0 0 16 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8006] ppid=7995 vsize=1711352 CPUtime=0.98
/proc/7997/task/8006/stat : 8006 (java) S 7995 7997 7951 0 -1 64 1319 0 0 0 98 0 0 0 17 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8007] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8007/stat : 8007 (java) S 7995 7997 7951 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8008] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8008/stat : 8008 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8016] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8016/stat : 8016 (java) S 7995 7997 7951 0 -1 64 89 0 0 0 0 0 0 0 15 0 13 0 206365300 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1681.24
Current children cumulated vsize (Kb) 1711352

[startup+1641.28 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 8211
/proc/meminfo: memFree=310384/2055920 swapFree=4180900/4192956
[pid=7997] ppid=7995 vsize=1711352 CPUtime=1691.24
/proc/7997/stat : 7997 (java) S 7995 7997 7951 0 -1 0 456545 0 2 0 168827 297 0 0 18 0 13 0 206344112 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7997/statm: 427838 389336 1917 14 0 414585 0
[pid=7997/tid=7998] ppid=7995 vsize=1711352 CPUtime=49.23
/proc/7997/task/7998/stat : 7998 (java) S 7995 7997 7951 0 -1 64 194147 0 0 0 4814 109 0 0 17 0 13 0 206344116 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=7999] ppid=7995 vsize=1711352 CPUtime=49.22
/proc/7997/task/7999/stat : 7999 (java) S 7995 7997 7951 0 -1 64 206856 0 0 0 4782 140 0 0 17 0 13 0 206344116 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8000] ppid=7995 vsize=1711352 CPUtime=689.83
/proc/7997/task/8000/stat : 8000 (java) R 7995 7997 7951 0 -1 64 1120 0 0 0 68965 18 0 0 18 0 13 0 206344118 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154938618 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8001] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8001/stat : 8001 (java) S 7995 7997 7951 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206344119 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8002] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8002/stat : 8002 (java) S 7995 7997 7951 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206344119 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8003] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8003/stat : 8003 (java) S 7995 7997 7951 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8004] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8004/stat : 8004 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8005] ppid=7995 vsize=1711352 CPUtime=1.21
/proc/7997/task/8005/stat : 8005 (java) S 7995 7997 7951 0 -1 64 1886 0 1 0 121 0 0 0 16 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8006] ppid=7995 vsize=1711352 CPUtime=0.98
/proc/7997/task/8006/stat : 8006 (java) S 7995 7997 7951 0 -1 64 1319 0 0 0 98 0 0 0 17 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8007] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8007/stat : 8007 (java) S 7995 7997 7951 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8008] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8008/stat : 8008 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8016] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8016/stat : 8016 (java) S 7995 7997 7951 0 -1 64 90 0 0 0 0 0 0 0 16 0 13 0 206365300 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1691.24
Current children cumulated vsize (Kb) 1711352

[startup+1651.29 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 8211
/proc/meminfo: memFree=310320/2055920 swapFree=4180900/4192956
[pid=7997] ppid=7995 vsize=1711352 CPUtime=1701.25
/proc/7997/stat : 7997 (java) S 7995 7997 7951 0 -1 0 456547 0 2 0 169828 297 0 0 18 0 13 0 206344112 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7997/statm: 427838 389336 1917 14 0 414585 0
[pid=7997/tid=7998] ppid=7995 vsize=1711352 CPUtime=49.23
/proc/7997/task/7998/stat : 7998 (java) S 7995 7997 7951 0 -1 64 194147 0 0 0 4814 109 0 0 17 0 13 0 206344116 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=7999] ppid=7995 vsize=1711352 CPUtime=49.22
/proc/7997/task/7999/stat : 7999 (java) S 7995 7997 7951 0 -1 64 206856 0 0 0 4782 140 0 0 17 0 13 0 206344116 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8000] ppid=7995 vsize=1711352 CPUtime=699.53
/proc/7997/task/8000/stat : 8000 (java) R 7995 7997 7951 0 -1 64 1120 0 0 0 69935 18 0 0 18 0 13 0 206344118 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154938661 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8001] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8001/stat : 8001 (java) S 7995 7997 7951 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206344119 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8002] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8002/stat : 8002 (java) S 7995 7997 7951 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206344119 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8003] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8003/stat : 8003 (java) S 7995 7997 7951 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8004] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8004/stat : 8004 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8005] ppid=7995 vsize=1711352 CPUtime=1.21
/proc/7997/task/8005/stat : 8005 (java) S 7995 7997 7951 0 -1 64 1886 0 1 0 121 0 0 0 16 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8006] ppid=7995 vsize=1711352 CPUtime=0.98
/proc/7997/task/8006/stat : 8006 (java) S 7995 7997 7951 0 -1 64 1319 0 0 0 98 0 0 0 17 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8007] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8007/stat : 8007 (java) S 7995 7997 7951 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7997/tid=8008] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8008/stat : 8008 (java) S 7995 7997 7951 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206344122 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7997/tid=8016] ppid=7995 vsize=1711352 CPUtime=0
/proc/7997/task/8016/stat : 8016 (java) S 7995 7997 7951 0 -1 64 91 0 0 0 0 0 0 0 16 0 13 0 206365300 1752424448 389336 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1701.25
Current children cumulated vsize (Kb) 1711352

Child status: 1
Real time (s): 1657.24
CPU time (s): 1707.21
CPU user time (s): 1704
CPU system time (s): 3.20851
CPU usage (%): 103.015
Max. virtual memory (cumulated for all children) (Kb): 1713704

Launcher Data (download as text)

Begin job on node27 on Sun Jun  4 07:40:06 UTC 2006


FILE ID= 44306-1149406806

PBS_JOBID= 314453

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

MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213
MD5SUM BENCH=  df1c0055bf82833faa95d352e28c6731

RANDOM SEED= 662404346


/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.234
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.234
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:       1864608 kB
Buffers:         14128 kB
Cached:         114032 kB
SwapCached:       3692 kB
Active:          41308 kB
Inactive:        95392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1864608 kB
SwapTotal:     4192956 kB
SwapFree:      4180900 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          14776 kB
Slab:            40652 kB
Committed_AS:   439408 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node27 on Sun Jun  4 08:07:44 UTC 2006