Trace number 50859

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 (TO)37 1800.97 1762.58

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bw.b.opb
MD5SUMacd1698068c8e97cbd0c7cd62fe047fc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark1800.49
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables2847
Total number of constraints4902
Number of constraints which are clauses4902
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 constraint860
Number of terms in the objective function 2847
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 2847
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2847
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.22	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.22	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.23	c no version file found!!!
0.23	c sun.arch.data.model	32
0.23	c java.version	1.5.0_06
0.23	c os.name	Linux
0.23	c os.version	2.6.9-22.EL.rootsmp
0.23	c os.arch	i386
0.23	c Free memory 1548419056
0.23	c Max memory 1551040512
0.23	c Total memory 1551040512
0.23	c Number of processors 2
0.28	c Cutting planes based inference
0.28	c --- Begin Solver configuration ---
0.28	c org.sat4j.minisat.uip.FirstUIP@1037c71
0.28	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d
0.28	c org.sat4j.minisat.learning.MiniSATLearning@1546e25
0.28	c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 
0.28	c VSIDS like heuristics from MiniSAT using a heap
0.28	c No reason simplification
0.28	c --- End Solver configuration ---
0.28	c solving ROOT/tmp/node52/50859-1154094496/instance-50859-1154094496.opb
0.28	c reading problem ... 
2.31	c ... done. Time 2.035 ms.
2.31	c #vars     2847
2.31	c #constraints  4902
2.44	c SATISFIABLE
2.44	c OPTIMIZING...
2.44	c Got one! Ellapsed CPU time (in seconds):2.163
2.51	o 39
930.83	c Got one! Ellapsed CPU time (in seconds):930.558
930.84	o 38
1046.52	c Got one! Ellapsed CPU time (in seconds):1046.242
1046.53	o 37
1762.35	c starts		: 17
1762.35	c conflicts		: 3348
1762.35	c decisions		: 183571
1762.35	c propagations		: 481172
1762.35	c inspects		: 7229847
1762.35	c learnt literals	: 0
1762.35	c learnt binary clauses	: 0
1762.35	c learnt ternary clauses	: 0
1762.35	c learnt clauses	: 3347
1762.35	c root simplifications	: 0
1762.35	c removed literals (reason simplification)	: 0
1762.35	c reason swapping (by a shorter reason)	: 0
1762.35	c Calls to reduceDB	: 0
1762.35	c speed (decisions/second)	: 256.4503398224401
1762.35	c non guided choices	10960
1762.35	s SATISFIABLE
1762.41	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 x29
1762.41	v -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 -x55 -x56
1762.41	v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82
1762.41	v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
1762.41	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1762.41	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1762.41	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1762.41	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1762.41	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
1762.41	v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232
1762.41	v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253
1762.41	v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274
1762.41	v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295
1762.41	v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316
1762.41	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337
1762.41	v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358
1762.41	v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379
1762.41	v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
1762.41	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421
1762.41	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 x439 -x440 -x441 -x442
1762.41	v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463
1762.41	v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484
1762.41	v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505
1762.41	v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526
1762.41	v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547
1762.41	v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
1762.41	v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589
1762.41	v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
1762.41	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631
1762.41	v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652
1762.41	v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673
1762.41	v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694
1762.41	v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715
1762.41	v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736
1762.41	v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757
1762.41	v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778
1762.41	v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799
1762.41	v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
1762.41	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841
1762.41	v -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862
1762.41	v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883
1762.41	v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904
1762.41	v x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925
1762.41	v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946
1762.41	v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967
1762.41	v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988
1762.41	v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007
1762.41	v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024
1762.41	v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041
1762.41	v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058
1762.41	v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
1762.41	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1762.41	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1762.41	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126
1762.41	v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143
1762.41	v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
1762.41	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177
1762.41	v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194
1762.41	v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211
1762.41	v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228
1762.41	v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245
1762.41	v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262
1762.41	v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279
1762.41	v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296
1762.41	v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313
1762.41	v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
1762.41	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347
1762.41	v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364
1762.41	v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381
1762.41	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
1762.41	v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415
1762.41	v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432
1762.41	v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x1450
1762.41	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467
1762.41	v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484
1762.41	v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501
1762.41	v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518
1762.41	v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535
1762.41	v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552
1762.41	v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569
1762.41	v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586
1762.41	v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603
1762.41	v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
1762.41	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637
1762.41	v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654
1762.41	v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671
1762.41	v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688
1762.41	v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705
1762.41	v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722
1762.41	v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739
1762.41	v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756
1762.41	v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773
1762.41	v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
1762.41	v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807
1762.41	v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824
1762.41	v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x1840 -x1841
1762.41	v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858
1762.41	v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875
1762.41	v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892
1762.41	v -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1907 -x1908 -x1909 -x1910
1762.41	v -x1911 -x1912 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 x1928
1762.41	v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945
1762.41	v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962
1762.41	v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979
1762.41	v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996
1762.41	v -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013
1762.41	v -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
1762.41	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047
1762.41	v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064
1762.41	v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081
1762.41	v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098
1762.41	v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115
1762.41	v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132
1762.41	v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149
1762.41	v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166
1762.41	v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183
1762.41	v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
1762.41	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217
1762.41	v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234
1762.41	v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251
1762.41	v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268
1762.41	v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285
1762.41	v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302
1762.41	v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319
1762.41	v -x2320 -x2321 -x2322 -x2323 x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336
1762.41	v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353
1762.41	v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
1762.41	v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387
1762.41	v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404
1762.41	v -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421
1762.41	v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438
1762.41	v -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453 -x2454 -x2455
1762.41	v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472
1762.41	v -x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489
1762.41	v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506
1762.41	v -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523
1762.41	v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540
1762.41	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557
1762.41	v -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574
1762.41	v -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591
1762.41	v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608
1762.41	v -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 -x2623 -x2624 -x2625
1762.41	v -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642
1762.41	v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659
1762.41	v -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676
1762.41	v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693
1762.41	v -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
1762.41	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727
1762.41	v -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744
1762.41	v -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761
1762.41	v -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778
1762.41	v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795
1762.41	v -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812
1762.41	v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829
1762.41	v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846
1762.41	v -x2847
1762.42	c objective function=37
1762.42	c Total wall clock time (ms): 1762.139

Verifier Data (download as text)

OK	37

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.3 (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/node52/watcher-50859-1154094496 -o ROOT/results/node52/solver-50859-1154094496 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node52/50859-1154094496/instance-50859-1154094496.opb 253588979 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.98 1.01 1.00 3/64 11565
/proc/meminfo: memFree=1239320/2055920 swapFree=4183112/4192956
[pid=11565] ppid=11563 vsize=168 CPUtime=0
/proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 40 0 0 0 0 0 0 0 19 0 1 0 156320164 172032 23 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4309796 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 42 23 18 14 0 2 0

[startup+10.0025 s]
/proc/loadavg: 0.98 1.01 1.00 2/76 11578
/proc/meminfo: memFree=1041152/2055920 swapFree=4183112/4192956
[pid=11565] ppid=11563 vsize=1712596 CPUtime=11.79
/proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 57044 0 1 0 1151 28 0 0 17 0 13 0 156320164 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071532428 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11565/statm: 428149 51319 1910 14 0 414896 0
[pid=11565/tid=11566] ppid=11563 vsize=1712596 CPUtime=0.4
/proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 8390 0 0 0 36 4 0 0 15 0 13 0 156320175 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=1712596 CPUtime=0.39
/proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 8895 0 0 0 35 4 0 0 16 0 13 0 156320175 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11568] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 23 0 0 0 0 0 0 0 15 0 13 0 156320178 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11569] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11570] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11571] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11572] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11573] ppid=11563 vsize=1712596 CPUtime=1
/proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2422 0 0 0 100 0 0 0 17 0 13 0 156320181 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11574] ppid=11563 vsize=1712596 CPUtime=0.79
/proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 733 0 0 0 79 0 0 0 16 0 13 0 156320181 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11575] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11576] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11578] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11578/stat : 11578 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 156320418 1753698304 51319 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.79
Current children cumulated vsize (Kb) 1712596

[startup+20.0102 s]
/proc/loadavg: 1.06 1.02 1.00 2/76 11578
/proc/meminfo: memFree=1088064/2055920 swapFree=4183112/4192956
[pid=11565] ppid=11563 vsize=1712596 CPUtime=21.83
/proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 57490 0 1 0 2153 30 0 0 18 0 13 0 156320164 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071347554 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11565/statm: 428149 39613 1910 14 0 414896 0
[pid=11565/tid=11566] ppid=11563 vsize=1712596 CPUtime=0.43
/proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 8598 0 0 0 39 4 0 0 16 0 13 0 156320175 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=1712596 CPUtime=0.43
/proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 9066 0 0 0 38 5 0 0 16 0 13 0 156320175 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11568] ppid=11563 vsize=1712596 CPUtime=0.02
/proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 23 0 0 0 0 2 0 0 16 0 13 0 156320178 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11569] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11570] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11571] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11572] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11573] ppid=11563 vsize=1712596 CPUtime=1
/proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2422 0 0 0 100 0 0 0 17 0 13 0 156320181 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11574] ppid=11563 vsize=1712596 CPUtime=0.81
/proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 763 0 0 0 81 0 0 0 17 0 13 0 156320181 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11575] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11576] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11578] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11578/stat : 11578 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 156320418 1753698304 39613 18446744073709551615 134512640 134570276 4294956448 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) 1712596

[startup+30.0169 s]
/proc/loadavg: 1.05 1.02 1.00 2/76 11578
/proc/meminfo: memFree=1020800/2055920 swapFree=4183112/4192956
[pid=11565] ppid=11563 vsize=1712596 CPUtime=31.97
/proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 76882 0 1 0 3156 41 0 0 24 0 13 0 156320164 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071347554 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11565/statm: 428149 56495 1910 14 0 414896 0
[pid=11565/tid=11566] ppid=11563 vsize=1712596 CPUtime=0.53
/proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 11029 0 0 0 48 5 0 0 16 0 13 0 156320175 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11567] ppid=11563 vsize=1712596 CPUtime=0.53
/proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 11739 0 0 0 47 6 0 0 16 0 13 0 156320175 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=1712596 CPUtime=0.03
/proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 58 0 0 0 1 2 0 0 16 0 13 0 156320178 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11569] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11570] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11571] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11572] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11573] ppid=11563 vsize=1712596 CPUtime=1.04
/proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2424 0 0 0 104 0 0 0 16 0 13 0 156320181 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11574] ppid=11563 vsize=1712596 CPUtime=0.81
/proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 763 0 0 0 81 0 0 0 15 0 13 0 156320181 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11575] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11576] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11578] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11578/stat : 11578 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 156320418 1753698304 56495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.97
Current children cumulated vsize (Kb) 1712596

[startup+40.0235 s]
/proc/loadavg: 1.04 1.02 1.00 2/76 11578
/proc/meminfo: memFree=1030976/2055920 swapFree=4183112/4192956
[pid=11565] ppid=11563 vsize=1712596 CPUtime=42
/proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 77534 0 1 0 4158 42 0 0 16 0 13 0 156320164 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071673251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11565/statm: 428149 53915 1910 14 0 414896 0
[pid=11565/tid=11566] ppid=11563 vsize=1712596 CPUtime=0.57
/proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 11260 0 0 0 52 5 0 0 16 0 13 0 156320175 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=1712596 CPUtime=0.58
/proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 11966 0 0 0 51 7 0 0 16 0 13 0 156320175 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11568] ppid=11563 vsize=1712596 CPUtime=0.05
/proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 58 0 0 0 2 3 0 0 15 0 13 0 156320178 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11569] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11570] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11571] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11572] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11573] ppid=11563 vsize=1712596 CPUtime=1.04
/proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2424 0 0 0 104 0 0 0 16 0 13 0 156320181 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11574] ppid=11563 vsize=1712596 CPUtime=0.81
/proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 763 0 0 0 81 0 0 0 15 0 13 0 156320181 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11575] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11576] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11578] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11578/stat : 11578 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 156320418 1753698304 53915 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42
Current children cumulated vsize (Kb) 1712596

[startup+50.0312 s]
/proc/loadavg: 1.03 1.02 1.00 2/76 11578
/proc/meminfo: memFree=1011840/2055920 swapFree=4183112/4192956
[pid=11565] ppid=11563 vsize=1712596 CPUtime=52.05
/proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 83277 0 1 0 5160 45 0 0 24 0 13 0 156320164 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071532934 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11565/statm: 428149 58743 1910 14 0 414896 0
[pid=11565/tid=11566] ppid=11563 vsize=1712596 CPUtime=0.61
/proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 11817 0 0 0 56 5 0 0 16 0 13 0 156320175 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11567] ppid=11563 vsize=1712596 CPUtime=0.62
/proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 12598 0 0 0 55 7 0 0 16 0 13 0 156320175 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=1712596 CPUtime=0.05
/proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 68 0 0 0 2 3 0 0 16 0 13 0 156320178 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11569] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11570] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11571] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11572] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11573] ppid=11563 vsize=1712596 CPUtime=1.04
/proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2424 0 0 0 104 0 0 0 16 0 13 0 156320181 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11574] ppid=11563 vsize=1712596 CPUtime=0.81
/proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 763 0 0 0 81 0 0 0 15 0 13 0 156320181 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11575] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11576] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11578] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11578/stat : 11578 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 156320418 1753698304 58743 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 52.05
Current children cumulated vsize (Kb) 1712596

[startup+60.0379 s]
/proc/loadavg: 1.03 1.02 1.00 2/76 11578
/proc/meminfo: memFree=1018560/2055920 swapFree=4183112/4192956
[pid=11565] ppid=11563 vsize=1712596 CPUtime=62.17
/proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 83770 0 1 0 6171 46 0 0 20 0 13 0 156320164 1753698304 57023 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071670525 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11565/statm: 428149 57023 1910 14 0 414896 0
[pid=11565/tid=11566] ppid=11563 vsize=1712596 CPUtime=0.65
/proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 12049 0 0 0 60 5 0 0 15 0 13 0 156320175 1753698304 57023 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11567] ppid=11563 vsize=1712596 CPUtime=0.65
/proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 12829 0 0 0 58 7 0 0 16 0 13 0 156320175 1753698304 57023 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=1712596 CPUtime=0.06
/proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 68 0 0 0 2 4 0 0 16 0 13 0 156320178 1753698304 57023 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11569] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 57023 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11570] ppid=11563 vsize=1712596 CPUtime=0
/proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1753698304 57023 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11571] ppid=11563 vsize=1712596 CPUtime=0

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

/proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11570] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11571] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11572] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11573] ppid=11563 vsize=1713620 CPUtime=1.11
/proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2426 0 0 0 111 0 0 0 17 0 13 0 156320181 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11574] ppid=11563 vsize=1713620 CPUtime=0.94
/proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 1570 0 0 0 94 0 0 0 17 0 13 0 156320181 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11575] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11576] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11778] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11778/stat : 11778 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156424818 1754746880 200795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.52
Current children cumulated vsize (Kb) 1713620

[startup+1759.32 s]
/proc/loadavg: 1.01 1.03 1.00 2/76 11778
/proc/meminfo: memFree=441656/2055920 swapFree=4183112/4192956
[pid=11565] ppid=11563 vsize=1713620 CPUtime=1797.56
/proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 272634 0 1 0 179472 284 0 0 17 0 13 0 156320164 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071532738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11565/statm: 428405 200800 1910 14 0 415152 0
[pid=11565/tid=11566] ppid=11563 vsize=1713620 CPUtime=37.54
/proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 99585 0 0 0 3666 88 0 0 16 0 13 0 156320175 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=1713620 CPUtime=37.6
/proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 94173 0 0 0 3672 88 0 0 16 0 13 0 156320175 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11568] ppid=11563 vsize=1713620 CPUtime=1.08
/proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 112 0 0 0 63 45 0 0 15 0 13 0 156320178 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11569] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11570] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11571] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11572] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11573] ppid=11563 vsize=1713620 CPUtime=1.11
/proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2426 0 0 0 111 0 0 0 17 0 13 0 156320181 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11574] ppid=11563 vsize=1713620 CPUtime=0.94
/proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 1570 0 0 0 94 0 0 0 17 0 13 0 156320181 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11575] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11576] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11778] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11778/stat : 11778 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156424818 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (Kb) 1713620

[startup+1760.33 s]
/proc/loadavg: 1.01 1.03 1.00 2/76 11778
/proc/meminfo: memFree=441656/2055920 swapFree=4183112/4192956
[pid=11565] ppid=11563 vsize=1713620 CPUtime=1798.59
/proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 272636 0 1 0 179575 284 0 0 19 0 13 0 156320164 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071532738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11565/statm: 428405 200800 1910 14 0 415152 0
[pid=11565/tid=11566] ppid=11563 vsize=1713620 CPUtime=37.57
/proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 99585 0 0 0 3669 88 0 0 16 0 13 0 156320175 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=1713620 CPUtime=37.62
/proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 94173 0 0 0 3674 88 0 0 16 0 13 0 156320175 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11568] ppid=11563 vsize=1713620 CPUtime=1.08
/proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 112 0 0 0 63 45 0 0 15 0 13 0 156320178 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11569] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11570] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11571] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11572] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11573] ppid=11563 vsize=1713620 CPUtime=1.11
/proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2426 0 0 0 111 0 0 0 17 0 13 0 156320181 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11574] ppid=11563 vsize=1713620 CPUtime=0.94
/proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 1570 0 0 0 94 0 0 0 17 0 13 0 156320181 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11575] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11576] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11778] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11778/stat : 11778 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156424818 1754746880 200800 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (Kb) 1713620

[startup+1761.33 s]
/proc/loadavg: 1.01 1.03 1.00 2/76 11778
/proc/meminfo: memFree=441656/2055920 swapFree=4183112/4192956
[pid=11565] ppid=11563 vsize=1713620 CPUtime=1799.63
/proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 272645 0 1 0 179679 284 0 0 25 0 13 0 156320164 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071533641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11565/statm: 428405 200806 1910 14 0 415152 0
[pid=11565/tid=11566] ppid=11563 vsize=1713620 CPUtime=37.6
/proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 99591 0 0 0 3672 88 0 0 16 0 13 0 156320175 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=1713620 CPUtime=37.66
/proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 94173 0 0 0 3678 88 0 0 15 0 13 0 156320175 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11568] ppid=11563 vsize=1713620 CPUtime=1.08
/proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 112 0 0 0 63 45 0 0 16 0 13 0 156320178 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11569] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11570] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11571] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11572] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11573] ppid=11563 vsize=1713620 CPUtime=1.11
/proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2426 0 0 0 111 0 0 0 17 0 13 0 156320181 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11574] ppid=11563 vsize=1713620 CPUtime=0.94
/proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 1570 0 0 0 94 0 0 0 17 0 13 0 156320181 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11575] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11576] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11778] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11778/stat : 11778 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156424818 1754746880 200806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (Kb) 1713620

[startup+1762.34 s]
/proc/loadavg: 1.01 1.03 1.00 2/76 11778
/proc/meminfo: memFree=441656/2055920 swapFree=4183112/4192956
[pid=11565] ppid=11563 vsize=1713620 CPUtime=1800.66
/proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 272653 0 1 0 179782 284 0 0 25 0 13 0 156320164 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071671740 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11565/statm: 428405 200812 1910 14 0 415152 0
[pid=11565/tid=11566] ppid=11563 vsize=1713620 CPUtime=37.63
/proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 99596 0 0 0 3675 88 0 0 16 0 13 0 156320175 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=1713620 CPUtime=37.68
/proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 94174 0 0 0 3680 88 0 0 15 0 13 0 156320175 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11568] ppid=11563 vsize=1713620 CPUtime=1.08
/proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 112 0 0 0 63 45 0 0 16 0 13 0 156320178 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11569] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11570] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11571] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11572] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11573] ppid=11563 vsize=1713620 CPUtime=1.11
/proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2426 0 0 0 111 0 0 0 17 0 13 0 156320181 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11574] ppid=11563 vsize=1713620 CPUtime=0.94
/proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 1570 0 0 0 94 0 0 0 17 0 13 0 156320181 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11575] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11576] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11778] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11778/stat : 11778 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156424818 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (Kb) 1713620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1762.34 s]
/proc/loadavg: 1.01 1.03 1.00 2/76 11778
/proc/meminfo: memFree=441592/2055920 swapFree=4183112/4192956
[pid=11565] ppid=11563 vsize=1713620 CPUtime=1800.66
/proc/11565/stat : 11565 (java) R 11563 11565 11516 0 -1 0 272653 0 1 0 179782 284 0 0 25 0 13 0 156320164 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071596849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11565/statm: 428405 200812 1910 14 0 415152 0
[pid=11565/tid=11566] ppid=11563 vsize=1713620 CPUtime=37.63
/proc/11565/task/11566/stat : 11566 (java) S 11563 11565 11516 0 -1 64 99596 0 0 0 3675 88 0 0 16 0 13 0 156320175 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=1713620 CPUtime=37.68
/proc/11565/task/11567/stat : 11567 (java) S 11563 11565 11516 0 -1 64 94174 0 0 0 3680 88 0 0 15 0 13 0 156320175 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11568] ppid=11563 vsize=1713620 CPUtime=1.08
/proc/11565/task/11568/stat : 11568 (java) S 11563 11565 11516 0 -1 64 112 0 0 0 63 45 0 0 16 0 13 0 156320178 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11565/tid=11569] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11569/stat : 11569 (java) S 11563 11565 11516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11570] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11570/stat : 11570 (java) S 11563 11565 11516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156320178 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11571] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11571/stat : 11571 (java) S 11563 11565 11516 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 156320181 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11572] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11572/stat : 11572 (java) S 11563 11565 11516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156320181 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11573] ppid=11563 vsize=1713620 CPUtime=1.11
/proc/11565/task/11573/stat : 11573 (java) S 11563 11565 11516 0 -1 64 2426 0 0 0 111 0 0 0 17 0 13 0 156320181 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11574] ppid=11563 vsize=1713620 CPUtime=0.94
/proc/11565/task/11574/stat : 11574 (java) S 11563 11565 11516 0 -1 64 1570 0 0 0 94 0 0 0 17 0 13 0 156320181 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11575] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11575/stat : 11575 (java) S 11563 11565 11516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156320182 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11576] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11576/stat : 11576 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156320182 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11565/tid=11778] ppid=11563 vsize=1713620 CPUtime=0
/proc/11565/task/11778/stat : 11778 (java) S 11563 11565 11516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156424818 1754746880 200812 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (Kb) 1713620

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 1762.58
CPU time (s): 1800.97
CPU user time (s): 1797.99
CPU system time (s): 2.97355
CPU usage (%): 102.178
Max. virtual memory (cumulated for all children) (Kb): 1713620
The end

Launcher Data (download as text)

Begin job on node52 on Fri Jul 28 13:48:16 UTC 2006


FILE ID= 50859-1154094496

PBS_JOBID= 885858

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bw.b.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node52/50859-1154094496/instance-50859-1154094496.opb 253588979
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-50859-1154094496 -o ROOT/results/node52/solver-50859-1154094496 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node52/50859-1154094496/instance-50859-1154094496.opb 253588979

MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213
MD5SUM BENCH=  acd1698068c8e97cbd0c7cd62fe047fc

RANDOM SEED= 253588979

TIMEOUT= 1800 seconds


/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:       1239528 kB
Buffers:         30372 kB
Cached:         717076 kB
SwapCached:       3680 kB
Active:          30340 kB
Inactive:       725732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1239528 kB
SwapTotal:     4192956 kB
SwapFree:      4183112 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14712 kB
Slab:            46212 kB
Committed_AS:   657496 kB
PageTables:       1500 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node52 on Fri Jul 28 14:17:38 UTC 2006