Trace number 44527

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.2SAT-44 1403.49 1392.46

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
MD5SUM2295cbab79cf702b6a93f1d0b8bae876
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-57
Best CPU time to get the best result obtained on this benchmark1800.48
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -58
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints125982
Number of constraints which are clauses125982
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 constraint2
Number of terms in the objective function 1534
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 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
Number of bits of the biggest sum of numbers11
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.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.15	c no version file found!!!
0.15	c sun.arch.data.model	32
0.15	c java.version	1.5.0_06
0.15	c os.name	Linux
0.15	c os.version	2.6.9-34.ELsmp
0.15	c os.arch	i386
0.15	c Free memory 1548419056
0.15	c Max memory 1551040512
0.15	c Total memory 1551040512
0.15	c Number of processors 2
0.21	c Cutting planes based inference
0.21	c --- Begin Solver configuration ---
0.21	c org.sat4j.minisat.uip.FirstUIP@1037c71
0.21	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d
0.21	c org.sat4j.minisat.learning.MiniSATLearning@1546e25
0.21	c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 
0.21	c VSIDS like heuristics from MiniSAT using a heap
0.21	c No reason simplification
0.21	c --- End Solver configuration ---
0.21	c solving ROOT/tmp/node83/44527-1149615935/instance-44527-1149615935.opb
0.21	c reading problem ... 
5.58	c ... done. Time 5.361 ms.
5.58	c #vars     1534
5.58	c #constraints  125982
5.61	c SATISFIABLE
5.61	c OPTIMIZING...
5.61	c Got one! Ellapsed CPU time (in seconds):5.396
5.63	o 0
5.67	c Got one! Ellapsed CPU time (in seconds):5.454
5.67	o -1
5.93	c Got one! Ellapsed CPU time (in seconds):5.715
5.93	o -2
6.77	c Got one! Ellapsed CPU time (in seconds):6.555
6.77	o -41
7.37	c Got one! Ellapsed CPU time (in seconds):7.153
7.37	o -42
24.68	c Got one! Ellapsed CPU time (in seconds):24.469
24.69	o -43
324.19	c Got one! Ellapsed CPU time (in seconds):323.977
324.19	o -44
1348.78	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
1358.46	c starts		: 32
1358.46	c conflicts		: 17169
1358.46	c decisions		: 32992
1358.46	c propagations		: 170873
1358.46	c inspects		: 63707472
1358.46	c learnt literals	: 0
1358.46	c learnt binary clauses	: 0
1358.46	c learnt ternary clauses	: 0
1358.46	c learnt clauses	: 17168
1358.46	c root simplifications	: 0
1358.46	c removed literals (reason simplification)	: 0
1358.46	c reason swapping (by a shorter reason)	: 0
1358.46	c Calls to reduceDB	: 0
1358.46	c speed (decisions/second)	: 31.899135613868854
1358.46	c non guided choices	11963
1358.46	s SATISFIABLE
1392.18	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
1392.18	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
1392.18	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
1392.18	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
1392.18	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1392.18	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1392.18	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1392.18	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188
1392.18	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1392.18	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1392.18	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1392.18	v -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1392.18	v -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1392.18	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314
1392.18	v -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1392.18	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356
1392.18	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1392.18	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1392.18	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419
1392.18	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1392.18	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1392.18	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1392.18	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1392.18	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1392.18	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545
1392.18	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1392.18	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1392.18	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608
1392.18	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1392.18	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650
1392.18	v -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1392.18	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1392.18	v -x693 -x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1392.18	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1392.18	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1392.18	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1392.18	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1392.18	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1392.18	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1392.18	v -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1392.18	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 -x881
1392.18	v -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1392.18	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1392.18	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944
1392.18	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1392.18	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986
1392.18	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1392.18	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1392.18	v -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1392.18	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1392.18	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1392.18	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091
1392.18	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108
1392.18	v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1392.18	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142
1392.18	v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159
1392.18	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1392.18	v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193
1392.18	v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
1392.18	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227
1392.18	v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244
1392.18	v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261
1392.18	v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278
1392.18	v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295
1392.18	v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312
1392.18	v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329
1392.18	v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346
1392.18	v -x1347 -x1348 -x1349 -x1350 -x1351 x1352 x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364
1392.18	v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381
1392.18	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398
1392.18	v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415
1392.18	v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432
1392.18	v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449
1392.18	v -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
1392.18	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 x1482 -x1483
1392.18	v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
1392.18	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517
1392.18	v -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534
1392.18	c objective function=-44
1392.18	c Total wall clock time (ms): 1391.966

Verifier Data (download as text)

OK	-44

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

runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node83/watcher-44527-1149615935 -o ROOT/results/node83/solver-44527-1149615935 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node83/44527-1149615935/instance-44527-1149615935.opb 736100932 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.05 1.05 0.85 2/67 30682
/proc/meminfo: memFree=1568992/2055888 swapFree=4085408/4096564
[pid=30682] ppid=30680 vsize=1456 CPUtime=0
/proc/30682/stat : 30682 (java) R 30680 30682 30636 0 -1 0 94 0 0 0 0 0 0 0 18 0 1 0 227232924 1490944 65 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30682/statm: 364 76 58 14 0 8 0

[startup+10.002 s]
/proc/loadavg: 1.12 1.06 0.85 2/79 30699
/proc/meminfo: memFree=1355328/2055888 swapFree=4085408/4096564
[pid=30682] ppid=30680 vsize=1712168 CPUtime=11.38
/proc/30682/stat : 30682 (java) R 30680 30682 30636 0 -1 0 58561 0 1 0 1108 30 0 0 20 0 13 0 227232924 1753260032 55222 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071646937 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30682/statm: 428042 55222 1911 14 0 414788 0
[pid=30682/tid=30683] ppid=30680 vsize=1712168 CPUtime=0.36
/proc/30682/task/30683/stat : 30683 (java) S 30680 30682 30636 0 -1 64 7324 0 0 0 33 3 0 0 17 0 13 0 227232927 1753260032 55222 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30684] ppid=30680 vsize=1712168 CPUtime=0.35
/proc/30682/task/30684/stat : 30684 (java) S 30680 30682 30636 0 -1 64 7967 0 0 0 32 3 0 0 17 0 13 0 227232927 1753260032 55222 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30685] ppid=30680 vsize=1712168 CPUtime=0
/proc/30682/task/30685/stat : 30685 (java) S 30680 30682 30636 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 227232930 1753260032 55222 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30686] ppid=30680 vsize=1712168 CPUtime=0
/proc/30682/task/30686/stat : 30686 (java) S 30680 30682 30636 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 227232931 1753260032 55222 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30687] ppid=30680 vsize=1712168 CPUtime=0
/proc/30682/task/30687/stat : 30687 (java) S 30680 30682 30636 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 227232931 1753260032 55222 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30688] ppid=30680 vsize=1712168 CPUtime=0
/proc/30682/task/30688/stat : 30688 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 227232934 1753260032 55222 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30689] ppid=30680 vsize=1712168 CPUtime=0
/proc/30682/task/30689/stat : 30689 (java) S 30680 30682 30636 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 227232934 1753260032 55222 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30690] ppid=30680 vsize=1712168 CPUtime=0.75
/proc/30682/task/30690/stat : 30690 (java) S 30680 30682 30636 0 -1 64 1506 0 0 0 75 0 0 0 16 0 13 0 227232934 1753260032 55222 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30691] ppid=30680 vsize=1712168 CPUtime=0.78
/proc/30682/task/30691/stat : 30691 (java) S 30680 30682 30636 0 -1 64 459 0 0 0 78 0 0 0 16 0 13 0 227232934 1753260032 55222 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30692] ppid=30680 vsize=1712168 CPUtime=0
/proc/30682/task/30692/stat : 30692 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 227232934 1753260032 55222 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30693] ppid=30680 vsize=1712168 CPUtime=0
/proc/30682/task/30693/stat : 30693 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 227232934 1753260032 55222 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30699] ppid=30680 vsize=1712168 CPUtime=0
/proc/30682/task/30699/stat : 30699 (java) S 30680 30682 30636 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 227233662 1753260032 55222 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.38
Current children cumulated vsize (Kb) 1712168

[startup+20.0279 s]
/proc/loadavg: 1.10 1.06 0.86 3/79 30699
/proc/meminfo: memFree=1290112/2055888 swapFree=4085408/4096564
[pid=30682] ppid=30680 vsize=1711364 CPUtime=21.85
/proc/30682/stat : 30682 (java) S 30680 30682 30636 0 -1 0 77394 0 1 0 2147 38 0 0 25 0 13 0 227232924 1752436736 71581 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30682/statm: 427841 71582 1912 14 0 414587 0
[pid=30682/tid=30683] ppid=30680 vsize=1711364 CPUtime=0.77
/proc/30682/task/30683/stat : 30683 (java) R 30680 30682 30636 0 -1 64 15715 0 0 0 71 6 0 0 17 0 13 0 227232927 1752436736 71589 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154971854 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30684] ppid=30680 vsize=1711364 CPUtime=0.77
/proc/30682/task/30684/stat : 30684 (java) R 30680 30682 30636 0 -1 64 18331 0 0 0 69 8 0 0 17 0 13 0 227232927 1752436736 71592 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154971854 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30685] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30685/stat : 30685 (java) S 30680 30682 30636 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 227232930 1752436736 71595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30686] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30686/stat : 30686 (java) S 30680 30682 30636 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 227232931 1752436736 71597 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30687] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30687/stat : 30687 (java) S 30680 30682 30636 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 227232931 1752436736 71600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30688] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30688/stat : 30688 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 227232934 1752436736 71601 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30689] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30689/stat : 30689 (java) S 30680 30682 30636 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 227232934 1752436736 71601 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30690] ppid=30680 vsize=1711364 CPUtime=0.78
/proc/30682/task/30690/stat : 30690 (java) S 30680 30682 30636 0 -1 64 1506 0 0 0 78 0 0 0 17 0 13 0 227232934 1752436736 71602 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30691] ppid=30680 vsize=1711364 CPUtime=0.8
/proc/30682/task/30691/stat : 30691 (java) S 30680 30682 30636 0 -1 64 538 0 0 0 80 0 0 0 16 0 13 0 227232934 1752436736 71603 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30692] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30692/stat : 30692 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 227232934 1752436736 71604 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30693] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30693/stat : 30693 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 227232934 1752436736 71604 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30699] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30699/stat : 30699 (java) S 30680 30682 30636 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 227233662 1752436736 71605 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.85
Current children cumulated vsize (Kb) 1711364

[startup+30.0348 s]
/proc/loadavg: 1.08 1.06 0.86 2/79 30700
/proc/meminfo: memFree=1234424/2055888 swapFree=4085408/4096564
[pid=30682] ppid=30680 vsize=1711364 CPUtime=32.24
/proc/30682/stat : 30682 (java) R 30680 30682 30636 0 -1 0 94033 0 1 0 3179 45 0 0 25 0 13 0 227232924 1752436736 85460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071395296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30682/statm: 427841 85460 1912 14 0 414587 0
[pid=30682/tid=30683] ppid=30680 vsize=1711364 CPUtime=1.15
/proc/30682/task/30683/stat : 30683 (java) S 30680 30682 30636 0 -1 64 23734 0 0 0 105 10 0 0 17 0 13 0 227232927 1752436736 85460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30684] ppid=30680 vsize=1711364 CPUtime=1.15
/proc/30682/task/30684/stat : 30684 (java) S 30680 30682 30636 0 -1 64 26748 0 0 0 103 12 0 0 16 0 13 0 227232927 1752436736 85460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30685] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30685/stat : 30685 (java) S 30680 30682 30636 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 227232930 1752436736 85460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30686] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30686/stat : 30686 (java) S 30680 30682 30636 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 227232931 1752436736 85460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30687] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30687/stat : 30687 (java) S 30680 30682 30636 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 227232931 1752436736 85460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30688] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30688/stat : 30688 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 227232934 1752436736 85460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30689] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30689/stat : 30689 (java) S 30680 30682 30636 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 227232934 1752436736 85460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30690] ppid=30680 vsize=1711364 CPUtime=0.79
/proc/30682/task/30690/stat : 30690 (java) S 30680 30682 30636 0 -1 64 1508 0 0 0 79 0 0 0 15 0 13 0 227232934 1752436736 85460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30691] ppid=30680 vsize=1711364 CPUtime=0.82
/proc/30682/task/30691/stat : 30691 (java) S 30680 30682 30636 0 -1 64 727 0 0 0 82 0 0 0 17 0 13 0 227232934 1752436736 85460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30692] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30692/stat : 30692 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 227232934 1752436736 85460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30693] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30693/stat : 30693 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 227232934 1752436736 85460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30700] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30700/stat : 30700 (java) S 30680 30682 30636 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 227235394 1752436736 85460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 32.24
Current children cumulated vsize (Kb) 1711364

[startup+40.0417 s]
/proc/loadavg: 1.07 1.06 0.86 2/79 30700
/proc/meminfo: memFree=1178680/2055888 swapFree=4085408/4096564
[pid=30682] ppid=30680 vsize=1711364 CPUtime=42.63
/proc/30682/stat : 30682 (java) R 30680 30682 30636 0 -1 0 110578 0 1 0 4210 53 0 0 25 0 13 0 227232924 1752436736 99404 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071395379 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30682/statm: 427841 99404 1912 14 0 414587 0
[pid=30682/tid=30683] ppid=30680 vsize=1711364 CPUtime=1.53
/proc/30682/task/30683/stat : 30683 (java) S 30680 30682 30636 0 -1 64 32241 0 0 0 139 14 0 0 16 0 13 0 227232927 1752436736 99404 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30684] ppid=30680 vsize=1711364 CPUtime=1.53
/proc/30682/task/30684/stat : 30684 (java) S 30680 30682 30636 0 -1 64 34780 0 0 0 138 15 0 0 16 0 13 0 227232927 1752436736 99404 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30685] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30685/stat : 30685 (java) S 30680 30682 30636 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 227232930 1752436736 99404 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30686] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30686/stat : 30686 (java) S 30680 30682 30636 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 227232931 1752436736 99404 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30687] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30687/stat : 30687 (java) S 30680 30682 30636 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 227232931 1752436736 99404 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30688] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30688/stat : 30688 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 227232934 1752436736 99404 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30689] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30689/stat : 30689 (java) S 30680 30682 30636 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 227232934 1752436736 99404 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30690] ppid=30680 vsize=1711364 CPUtime=0.79
/proc/30682/task/30690/stat : 30690 (java) S 30680 30682 30636 0 -1 64 1508 0 0 0 79 0 0 0 16 0 13 0 227232934 1752436736 99404 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30691] ppid=30680 vsize=1711364 CPUtime=0.82
/proc/30682/task/30691/stat : 30691 (java) S 30680 30682 30636 0 -1 64 727 0 0 0 82 0 0 0 17 0 13 0 227232934 1752436736 99404 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30692] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30692/stat : 30692 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 227232934 1752436736 99404 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30693] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30693/stat : 30693 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 227232934 1752436736 99404 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30700] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30700/stat : 30700 (java) S 30680 30682 30636 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 227235394 1752436736 99404 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.63
Current children cumulated vsize (Kb) 1711364

[startup+50.0486 s]
/proc/loadavg: 1.06 1.05 0.86 2/79 30700
/proc/meminfo: memFree=1126392/2055888 swapFree=4085408/4096564
[pid=30682] ppid=30680 vsize=1711364 CPUtime=53.01
/proc/30682/stat : 30682 (java) R 30680 30682 30636 0 -1 0 125311 0 1 0 5241 60 0 0 25 0 13 0 227232924 1752436736 112448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071430274 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30682/statm: 427841 112448 1912 14 0 414587 0
[pid=30682/tid=30683] ppid=30680 vsize=1711364 CPUtime=1.88
/proc/30682/task/30683/stat : 30683 (java) S 30680 30682 30636 0 -1 64 38995 0 0 0 172 16 0 0 16 0 13 0 227232927 1752436736 112448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30684] ppid=30680 vsize=1711364 CPUtime=1.89
/proc/30682/task/30684/stat : 30684 (java) S 30680 30682 30636 0 -1 64 42754 0 0 0 170 19 0 0 16 0 13 0 227232927 1752436736 112448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30685] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30685/stat : 30685 (java) S 30680 30682 30636 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 227232930 1752436736 112448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30686] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30686/stat : 30686 (java) S 30680 30682 30636 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 227232931 1752436736 112448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30687] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30687/stat : 30687 (java) S 30680 30682 30636 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 227232931 1752436736 112448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30688] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30688/stat : 30688 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 227232934 1752436736 112448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30689] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30689/stat : 30689 (java) S 30680 30682 30636 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 227232934 1752436736 112448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30690] ppid=30680 vsize=1711364 CPUtime=0.79
/proc/30682/task/30690/stat : 30690 (java) S 30680 30682 30636 0 -1 64 1508 0 0 0 79 0 0 0 16 0 13 0 227232934 1752436736 112448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30691] ppid=30680 vsize=1711364 CPUtime=0.82
/proc/30682/task/30691/stat : 30691 (java) S 30680 30682 30636 0 -1 64 727 0 0 0 82 0 0 0 17 0 13 0 227232934 1752436736 112448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30692] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30692/stat : 30692 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 227232934 1752436736 112448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30693] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30693/stat : 30693 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 227232934 1752436736 112448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30700] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30700/stat : 30700 (java) S 30680 30682 30636 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 227235394 1752436736 112448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 53.01
Current children cumulated vsize (Kb) 1711364

[startup+60.0555 s]
/proc/loadavg: 1.05 1.05 0.86 2/79 30700
/proc/meminfo: memFree=1088184/2055888 swapFree=4085408/4096564
[pid=30682] ppid=30680 vsize=1711364 CPUtime=63.29
/proc/30682/stat : 30682 (java) R 30680 30682 30636 0 -1 0 136026 0 1 0 6264 65 0 0 25 0 13 0 227232924 1752436736 121973 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071646944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30682/statm: 427841 121973 1912 14 0 414587 0
[pid=30682/tid=30683] ppid=30680 vsize=1711364 CPUtime=2.17
/proc/30682/task/30683/stat : 30683 (java) S 30680 30682 30636 0 -1 64 44553 0 0 0 198 19 0 0 16 0 13 0 227232927 1752436736 121973 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30684] ppid=30680 vsize=1711364 CPUtime=2.17
/proc/30682/task/30684/stat : 30684 (java) S 30680 30682 30636 0 -1 64 47908 0 0 0 196 21 0 0 16 0 13 0 227232927 1752436736 121973 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30685] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30685/stat : 30685 (java) S 30680 30682 30636 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 227232930 1752436736 121973 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30686] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30686/stat : 30686 (java) S 30680 30682 30636 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 227232931 1752436736 121973 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30687] ppid=30680 vsize=1711364 CPUtime=0
/proc/30682/task/30687/stat : 30687 (java) S 30680 30682 30636 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 227232931 1752436736 121973 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30688] ppid=30680 vsize=1711364 CPUtime=0

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

[pid=30682/tid=30688] ppid=30680 vsize=1710916 CPUtime=0
/proc/30682/task/30688/stat : 30688 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 227232934 1751977984 388591 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30689] ppid=30680 vsize=1710916 CPUtime=0
/proc/30682/task/30689/stat : 30689 (java) S 30680 30682 30636 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 227232934 1751977984 388591 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30690] ppid=30680 vsize=1710916 CPUtime=0.8
/proc/30682/task/30690/stat : 30690 (java) S 30680 30682 30636 0 -1 64 1508 0 0 0 80 0 0 0 16 0 13 0 227232934 1751977984 388591 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30691] ppid=30680 vsize=1710916 CPUtime=0.84
/proc/30682/task/30691/stat : 30691 (java) S 30680 30682 30636 0 -1 64 728 0 0 0 84 0 0 0 17 0 13 0 227232934 1751977984 388591 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30692] ppid=30680 vsize=1710916 CPUtime=0
/proc/30682/task/30692/stat : 30692 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 227232934 1751977984 388591 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30693] ppid=30680 vsize=1710916 CPUtime=0
/proc/30682/task/30693/stat : 30693 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 227232934 1751977984 388591 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30701] ppid=30680 vsize=1710916 CPUtime=0
/proc/30682/task/30701/stat : 30701 (java) S 30680 30682 30636 0 -1 64 100 0 0 0 0 0 0 0 16 0 13 0 227265345 1751977984 388591 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1352.06
Current children cumulated vsize (Kb) 1710916

[startup+1350.97 s]
/proc/loadavg: 1.00 1.00 0.91 2/80 30897
/proc/meminfo: memFree=18856/2055888 swapFree=4085408/4096564
[pid=30682] ppid=30680 vsize=1711432 CPUtime=1362.06
/proc/30682/stat : 30682 (java) S 30680 30682 30636 0 -1 0 444224 0 1 0 135992 214 0 0 18 0 14 0 227232924 1752506368 388599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30682/statm: 427858 388599 1916 14 0 414604 0
[pid=30682/tid=30683] ppid=30680 vsize=1711432 CPUtime=10.85
/proc/30682/task/30683/stat : 30683 (java) S 30680 30682 30636 0 -1 64 197405 0 0 0 995 90 0 0 16 0 14 0 227232927 1752506368 388599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30684] ppid=30680 vsize=1711432 CPUtime=10.86
/proc/30682/task/30684/stat : 30684 (java) S 30680 30682 30636 0 -1 64 194350 0 0 0 994 92 0 0 16 0 14 0 227232927 1752506368 388599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30685] ppid=30680 vsize=1711432 CPUtime=792.39
/proc/30682/task/30685/stat : 30685 (java) R 30680 30682 30636 0 -1 64 8702 0 0 0 79233 6 0 0 25 0 14 0 227232930 1752506368 388599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154934409 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30686] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30686/stat : 30686 (java) S 30680 30682 30636 0 -1 64 9 0 0 0 0 0 0 0 16 0 14 0 227232931 1752506368 388599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30687] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30687/stat : 30687 (java) S 30680 30682 30636 0 -1 64 5 0 0 0 0 0 0 0 16 0 14 0 227232931 1752506368 388599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30688] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30688/stat : 30688 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 24 0 14 0 227232934 1752506368 388599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30689] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30689/stat : 30689 (java) S 30680 30682 30636 0 -1 64 3 0 0 0 0 0 0 0 16 0 14 0 227232934 1752506368 388599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30690] ppid=30680 vsize=1711432 CPUtime=0.8
/proc/30682/task/30690/stat : 30690 (java) S 30680 30682 30636 0 -1 64 1508 0 0 0 80 0 0 0 16 0 14 0 227232934 1752506368 388599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30691] ppid=30680 vsize=1711432 CPUtime=0.84
/proc/30682/task/30691/stat : 30691 (java) S 30680 30682 30636 0 -1 64 728 0 0 0 84 0 0 0 17 0 14 0 227232934 1752506368 388599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30692] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30692/stat : 30692 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 25 0 14 0 227232934 1752506368 388599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30693] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30693/stat : 30693 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 227232934 1752506368 388599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30701] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30701/stat : 30701 (java) S 30680 30682 30636 0 -1 64 101 0 0 0 0 0 0 0 16 0 14 0 227265345 1752506368 388599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30897] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30897/stat : 30897 (java) S 30680 30682 30636 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 227367803 1752506368 388599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (Kb) 1711432

[startup+1360.97 s]
/proc/loadavg: 1.00 1.00 0.91 2/80 30897
/proc/meminfo: memFree=18856/2055888 swapFree=4085408/4096564
[pid=30682] ppid=30680 vsize=1711432 CPUtime=1372.06
/proc/30682/stat : 30682 (java) S 30680 30682 30636 0 -1 0 444226 0 1 0 136992 214 0 0 18 0 14 0 227232924 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30682/statm: 427858 388600 1917 14 0 414604 0
[pid=30682/tid=30683] ppid=30680 vsize=1711432 CPUtime=10.85
/proc/30682/task/30683/stat : 30683 (java) S 30680 30682 30636 0 -1 64 197405 0 0 0 995 90 0 0 16 0 14 0 227232927 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30684] ppid=30680 vsize=1711432 CPUtime=10.86
/proc/30682/task/30684/stat : 30684 (java) S 30680 30682 30636 0 -1 64 194350 0 0 0 994 92 0 0 16 0 14 0 227232927 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30685] ppid=30680 vsize=1711432 CPUtime=802.39
/proc/30682/task/30685/stat : 30685 (java) R 30680 30682 30636 0 -1 64 8703 0 0 0 80233 6 0 0 25 0 14 0 227232930 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154934548 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30686] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30686/stat : 30686 (java) S 30680 30682 30636 0 -1 64 9 0 0 0 0 0 0 0 16 0 14 0 227232931 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30687] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30687/stat : 30687 (java) S 30680 30682 30636 0 -1 64 5 0 0 0 0 0 0 0 16 0 14 0 227232931 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30688] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30688/stat : 30688 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 24 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30689] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30689/stat : 30689 (java) S 30680 30682 30636 0 -1 64 3 0 0 0 0 0 0 0 16 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30690] ppid=30680 vsize=1711432 CPUtime=0.8
/proc/30682/task/30690/stat : 30690 (java) S 30680 30682 30636 0 -1 64 1508 0 0 0 80 0 0 0 16 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30691] ppid=30680 vsize=1711432 CPUtime=0.84
/proc/30682/task/30691/stat : 30691 (java) S 30680 30682 30636 0 -1 64 728 0 0 0 84 0 0 0 17 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30692] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30692/stat : 30692 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 25 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30693] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30693/stat : 30693 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30701] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30701/stat : 30701 (java) S 30680 30682 30636 0 -1 64 102 0 0 0 0 0 0 0 16 0 14 0 227265345 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30897] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30897/stat : 30897 (java) S 30680 30682 30636 0 -1 64 5 0 0 0 0 0 0 0 17 0 14 0 227367803 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1372.06
Current children cumulated vsize (Kb) 1711432

[startup+1370.98 s]
/proc/loadavg: 1.00 1.00 0.91 2/80 30897
/proc/meminfo: memFree=18856/2055888 swapFree=4085408/4096564
[pid=30682] ppid=30680 vsize=1711432 CPUtime=1382.06
/proc/30682/stat : 30682 (java) S 30680 30682 30636 0 -1 0 444227 0 1 0 137992 214 0 0 18 0 14 0 227232924 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30682/statm: 427858 388600 1917 14 0 414604 0
[pid=30682/tid=30683] ppid=30680 vsize=1711432 CPUtime=10.85
/proc/30682/task/30683/stat : 30683 (java) S 30680 30682 30636 0 -1 64 197405 0 0 0 995 90 0 0 16 0 14 0 227232927 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30684] ppid=30680 vsize=1711432 CPUtime=10.86
/proc/30682/task/30684/stat : 30684 (java) S 30680 30682 30636 0 -1 64 194350 0 0 0 994 92 0 0 16 0 14 0 227232927 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30685] ppid=30680 vsize=1711432 CPUtime=812.38
/proc/30682/task/30685/stat : 30685 (java) R 30680 30682 30636 0 -1 64 8703 0 0 0 81232 6 0 0 25 0 14 0 227232930 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4152712078 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30686] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30686/stat : 30686 (java) S 30680 30682 30636 0 -1 64 9 0 0 0 0 0 0 0 16 0 14 0 227232931 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30687] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30687/stat : 30687 (java) S 30680 30682 30636 0 -1 64 5 0 0 0 0 0 0 0 16 0 14 0 227232931 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30688] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30688/stat : 30688 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 24 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30689] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30689/stat : 30689 (java) S 30680 30682 30636 0 -1 64 3 0 0 0 0 0 0 0 16 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30690] ppid=30680 vsize=1711432 CPUtime=0.8
/proc/30682/task/30690/stat : 30690 (java) S 30680 30682 30636 0 -1 64 1508 0 0 0 80 0 0 0 16 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30691] ppid=30680 vsize=1711432 CPUtime=0.84
/proc/30682/task/30691/stat : 30691 (java) S 30680 30682 30636 0 -1 64 728 0 0 0 84 0 0 0 17 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30692] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30692/stat : 30692 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 25 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30693] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30693/stat : 30693 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30701] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30701/stat : 30701 (java) S 30680 30682 30636 0 -1 64 103 0 0 0 0 0 0 0 16 0 14 0 227265345 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30897] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30897/stat : 30897 (java) S 30680 30682 30636 0 -1 64 5 0 0 0 0 0 0 0 17 0 14 0 227367803 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1382.06
Current children cumulated vsize (Kb) 1711432

[startup+1380.99 s]
/proc/loadavg: 1.00 1.00 0.91 2/80 30897
/proc/meminfo: memFree=18856/2055888 swapFree=4085408/4096564
[pid=30682] ppid=30680 vsize=1711432 CPUtime=1392.06
/proc/30682/stat : 30682 (java) S 30680 30682 30636 0 -1 0 444229 0 1 0 138992 214 0 0 18 0 14 0 227232924 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30682/statm: 427858 388600 1917 14 0 414604 0
[pid=30682/tid=30683] ppid=30680 vsize=1711432 CPUtime=10.85
/proc/30682/task/30683/stat : 30683 (java) S 30680 30682 30636 0 -1 64 197405 0 0 0 995 90 0 0 16 0 14 0 227232927 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30684] ppid=30680 vsize=1711432 CPUtime=10.86
/proc/30682/task/30684/stat : 30684 (java) S 30680 30682 30636 0 -1 64 194350 0 0 0 994 92 0 0 16 0 14 0 227232927 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30685] ppid=30680 vsize=1711432 CPUtime=822.38
/proc/30682/task/30685/stat : 30685 (java) R 30680 30682 30636 0 -1 64 8703 0 0 0 82232 6 0 0 25 0 14 0 227232930 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154934563 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30686] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30686/stat : 30686 (java) S 30680 30682 30636 0 -1 64 9 0 0 0 0 0 0 0 16 0 14 0 227232931 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30687] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30687/stat : 30687 (java) S 30680 30682 30636 0 -1 64 5 0 0 0 0 0 0 0 17 0 14 0 227232931 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30688] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30688/stat : 30688 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 24 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30689] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30689/stat : 30689 (java) S 30680 30682 30636 0 -1 64 3 0 0 0 0 0 0 0 16 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30690] ppid=30680 vsize=1711432 CPUtime=0.8
/proc/30682/task/30690/stat : 30690 (java) S 30680 30682 30636 0 -1 64 1508 0 0 0 80 0 0 0 16 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30691] ppid=30680 vsize=1711432 CPUtime=0.84
/proc/30682/task/30691/stat : 30691 (java) S 30680 30682 30636 0 -1 64 728 0 0 0 84 0 0 0 17 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30692] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30692/stat : 30692 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 25 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30693] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30693/stat : 30693 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30701] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30701/stat : 30701 (java) S 30680 30682 30636 0 -1 64 105 0 0 0 0 0 0 0 16 0 14 0 227265345 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30897] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30897/stat : 30897 (java) S 30680 30682 30636 0 -1 64 5 0 0 0 0 0 0 0 16 0 14 0 227367803 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1392.06
Current children cumulated vsize (Kb) 1711432

[startup+1391 s]
/proc/loadavg: 1.00 1.00 0.91 2/80 30897
/proc/meminfo: memFree=18856/2055888 swapFree=4085408/4096564
[pid=30682] ppid=30680 vsize=1711432 CPUtime=1402.05
/proc/30682/stat : 30682 (java) S 30680 30682 30636 0 -1 0 444230 0 1 0 139991 214 0 0 18 0 14 0 227232924 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30682/statm: 427858 388600 1917 14 0 414604 0
[pid=30682/tid=30683] ppid=30680 vsize=1711432 CPUtime=10.85
/proc/30682/task/30683/stat : 30683 (java) S 30680 30682 30636 0 -1 64 197405 0 0 0 995 90 0 0 16 0 14 0 227232927 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30684] ppid=30680 vsize=1711432 CPUtime=10.86
/proc/30682/task/30684/stat : 30684 (java) S 30680 30682 30636 0 -1 64 194350 0 0 0 994 92 0 0 16 0 14 0 227232927 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30685] ppid=30680 vsize=1711432 CPUtime=832.37
/proc/30682/task/30685/stat : 30685 (java) R 30680 30682 30636 0 -1 64 8703 0 0 0 83231 6 0 0 25 0 14 0 227232930 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4152725156 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30686] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30686/stat : 30686 (java) S 30680 30682 30636 0 -1 64 9 0 0 0 0 0 0 0 16 0 14 0 227232931 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30687] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30687/stat : 30687 (java) S 30680 30682 30636 0 -1 64 5 0 0 0 0 0 0 0 17 0 14 0 227232931 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30688] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30688/stat : 30688 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 24 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30689] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30689/stat : 30689 (java) S 30680 30682 30636 0 -1 64 3 0 0 0 0 0 0 0 16 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30690] ppid=30680 vsize=1711432 CPUtime=0.8
/proc/30682/task/30690/stat : 30690 (java) S 30680 30682 30636 0 -1 64 1508 0 0 0 80 0 0 0 16 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30691] ppid=30680 vsize=1711432 CPUtime=0.84
/proc/30682/task/30691/stat : 30691 (java) S 30680 30682 30636 0 -1 64 728 0 0 0 84 0 0 0 17 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30692] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30692/stat : 30692 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 25 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30682/tid=30693] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30693/stat : 30693 (java) S 30680 30682 30636 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 227232934 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30701] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30701/stat : 30701 (java) S 30680 30682 30636 0 -1 64 106 0 0 0 0 0 0 0 16 0 14 0 227265345 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30682/tid=30897] ppid=30680 vsize=1711432 CPUtime=0
/proc/30682/task/30897/stat : 30897 (java) S 30680 30682 30636 0 -1 64 5 0 0 0 0 0 0 0 16 0 14 0 227367803 1752506368 388600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1402.05
Current children cumulated vsize (Kb) 1711432

Child status: 1
Real time (s): 1392.46
CPU time (s): 1403.49
CPU user time (s): 1401.12
CPU system time (s): 2.36764
CPU usage (%): 100.792
Max. virtual memory (cumulated for all children) (Kb): 1712168
The end

Launcher Data (download as text)

Begin job on node83 on Tue Jun  6 17:45:36 UTC 2006


FILE ID= 44527-1149615935

PBS_JOBID= 322203

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node83/44527-1149615935/instance-44527-1149615935.opb 736100932
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node83/watcher-44527-1149615935 -o ROOT/results/node83/solver-44527-1149615935 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node83/44527-1149615935/instance-44527-1149615935.opb 736100932

MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213
MD5SUM BENCH=  2295cbab79cf702b6a93f1d0b8bae876

RANDOM SEED= 736100932


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

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


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1569328 kB
Buffers:         33992 kB
Cached:         382048 kB
SwapCached:       2364 kB
Active:          83848 kB
Inactive:       340928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1569328 kB
SwapTotal:     4096564 kB
SwapFree:      4085408 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          16884 kB
Slab:            48484 kB
Committed_AS:   479628 kB
PageTables:       1284 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node83 on Tue Jun  6 18:08:48 UTC 2006