Trace number 42537

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.2 HeuristicsSAT (TO)0 1800.45 1796.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc105.opb
MD5SUM9af0146fd6df1c22fb98014c5db68dfb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -2
Optimality of the best value was proved NO
Number of variables3090
Total number of constraints104
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints104
Minimum length of a constraint60
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524370
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node73/watcher-42537-1149340414 -o ROOT/results/node73/solver-42537-1149340414 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node73/42537-1149340414/instance-42537-1149340414.opb 327421669 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.97 3/64 25463
/proc/meminfo: memFree=1766224/2055920 swapFree=4182212/4192956
[pid=25463] ppid=25461 vsize=0 CPUtime=0
/proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 178 0 0 0 0 0 0 0 18 0 1 0 199706193 0 0 18446744073709551615 0 0 0 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25463/statm: 41 3 0 14 0 1 0

[startup+10.0023 s]
/proc/loadavg: 1.07 0.99 0.98 2/76 25476
/proc/meminfo: memFree=1585920/2055920 swapFree=4182212/4192956
[pid=25463] ppid=25461 vsize=1722224 CPUtime=11.8
/proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 54159 0 1 0 1156 24 0 0 25 0 13 0 199706193 1763557376 46890 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071481090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25463/statm: 430556 46891 1910 14 0 417303 0
[pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=0.14
/proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 4071 0 0 0 13 1 0 0 16 0 13 0 199706197 1763557376 46894 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=0.15
/proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 3812 0 0 0 13 2 0 0 16 0 13 0 199706197 1763557376 46895 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 199706199 1763557376 46896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 46897 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 46898 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 46899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 46901 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.24
/proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 123 1 0 0 16 0 13 0 199706203 1763557376 46902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.2
/proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 118 2 0 0 16 0 13 0 199706203 1763557376 46903 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 46904 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 46904 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199706470 1763557376 46905 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.8
Current children cumulated vsize (Kb) 1722224

[startup+20.0092 s]
/proc/loadavg: 1.06 0.99 0.98 2/76 25476
/proc/meminfo: memFree=1563456/2055920 swapFree=4182212/4192956
[pid=25463] ppid=25461 vsize=1722224 CPUtime=21.88
/proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 59956 0 1 0 2162 26 0 0 25 0 13 0 199706193 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071481174 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25463/statm: 430556 52413 1910 14 0 417303 0
[pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=0.22
/proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 6219 0 0 0 20 2 0 0 16 0 13 0 199706197 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=0.22
/proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 5675 0 0 0 19 3 0 0 16 0 13 0 199706197 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 199706199 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.24
/proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 123 1 0 0 16 0 13 0 199706203 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.2
/proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 118 2 0 0 16 0 13 0 199706203 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199706470 1763557376 52413 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.88
Current children cumulated vsize (Kb) 1722224

[startup+30.0163 s]
/proc/loadavg: 1.05 0.99 0.98 2/76 25476
/proc/meminfo: memFree=1567360/2055920 swapFree=4182212/4192956
[pid=25463] ppid=25461 vsize=1722224 CPUtime=31.94
/proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 62293 0 1 0 3167 27 0 0 21 0 13 0 199706193 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071481286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25463/statm: 430556 51455 1910 14 0 417303 0
[pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=0.29
/proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 7622 0 0 0 26 3 0 0 16 0 13 0 199706197 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=0.28
/proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 6596 0 0 0 25 3 0 0 16 0 13 0 199706197 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 199706199 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.24
/proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 123 1 0 0 16 0 13 0 199706203 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.2
/proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 118 2 0 0 16 0 13 0 199706203 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 199706470 1763557376 51455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.94
Current children cumulated vsize (Kb) 1722224

[startup+40.0232 s]
/proc/loadavg: 1.04 0.99 0.98 2/76 25476
/proc/meminfo: memFree=1572608/2055920 swapFree=4182212/4192956
[pid=25463] ppid=25461 vsize=1722224 CPUtime=41.98
/proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 63730 0 1 0 4169 29 0 0 25 0 13 0 199706193 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071746287 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25463/statm: 430556 50129 1910 14 0 417303 0
[pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=0.33
/proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 8177 0 0 0 30 3 0 0 16 0 13 0 199706197 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=0.34
/proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 7467 0 0 0 30 4 0 0 16 0 13 0 199706197 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0.01
/proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 31 0 0 0 0 1 0 0 17 0 13 0 199706199 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.24
/proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 123 1 0 0 16 0 13 0 199706203 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.2
/proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 118 2 0 0 16 0 13 0 199706203 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199706470 1763557376 50129 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.98
Current children cumulated vsize (Kb) 1722224

[startup+50.0302 s]
/proc/loadavg: 1.04 0.99 0.98 2/76 25476
/proc/meminfo: memFree=1573056/2055920 swapFree=4182212/4192956
[pid=25463] ppid=25461 vsize=1722224 CPUtime=52.04
/proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 66091 0 1 0 5174 30 0 0 25 0 13 0 199706193 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649670 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25463/statm: 430556 50027 1910 14 0 417303 0
[pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=0.38
/proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 9145 0 0 0 34 4 0 0 16 0 13 0 199706197 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=0.39
/proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 8847 0 0 0 34 5 0 0 16 0 13 0 199706197 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0.01
/proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 31 0 0 0 0 1 0 0 16 0 13 0 199706199 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.24
/proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 123 1 0 0 16 0 13 0 199706203 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.21
/proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 119 2 0 0 17 0 13 0 199706203 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199706470 1763557376 50027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 52.04
Current children cumulated vsize (Kb) 1722224

[startup+60.0381 s]
/proc/loadavg: 1.03 0.99 0.98 2/76 25476
/proc/meminfo: memFree=1577472/2055920 swapFree=4182212/4192956
[pid=25463] ppid=25461 vsize=1722224 CPUtime=62.04
/proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 66149 0 1 0 6174 30 0 0 21 0 13 0 199706193 1763557376 48919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071654987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25463/statm: 430556 48919 1910 14 0 417303 0
[pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=0.39
/proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 9180 0 0 0 35 4 0 0 16 0 13 0 199706197 1763557376 48919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=0.4
/proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 8863 0 0 0 35 5 0 0 16 0 13 0 199706197 1763557376 48919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0.01
/proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 31 0 0 0 0 1 0 0 15 0 13 0 199706199 1763557376 48919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 48919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 48919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 48919 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.26
/proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 125 1 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.21
/proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 119 2 0 0 17 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199706470 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.2
Current children cumulated vsize (Kb) 1722224

[startup+1793.36 s]
/proc/loadavg: 1.00 0.99 0.98 2/76 25478
/proc/meminfo: memFree=1306432/2055920 swapFree=4182212/4192956
[pid=25463] ppid=25461 vsize=1722224 CPUtime=1797.21
/proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 236361 0 1 0 179593 128 0 0 25 0 13 0 199706193 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25463/statm: 430556 116304 1910 14 0 417303 0
[pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=2.97
/proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 64754 0 0 0 265 32 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=2.97
/proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 63216 0 0 0 264 33 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0.29
/proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 242 0 0 0 16 13 0 0 16 0 13 0 199706199 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.26
/proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 125 1 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.21
/proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 119 2 0 0 17 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199706470 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (Kb) 1722224

[startup+1794.37 s]
/proc/loadavg: 1.00 0.99 0.98 2/76 25478
/proc/meminfo: memFree=1306432/2055920 swapFree=4182212/4192956
[pid=25463] ppid=25461 vsize=1722224 CPUtime=1798.21
/proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 236361 0 1 0 179693 128 0 0 25 0 13 0 199706193 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649670 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25463/statm: 430556 116304 1910 14 0 417303 0
[pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=2.97
/proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 64754 0 0 0 265 32 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=2.97
/proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 63216 0 0 0 264 33 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0.29
/proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 242 0 0 0 16 13 0 0 16 0 13 0 199706199 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.26
/proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 125 1 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.21
/proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 119 2 0 0 17 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199706470 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.21
Current children cumulated vsize (Kb) 1722224

[startup+1795.37 s]
/proc/loadavg: 1.00 0.99 0.98 2/76 25478
/proc/meminfo: memFree=1306432/2055920 swapFree=4182212/4192956
[pid=25463] ppid=25461 vsize=1722224 CPUtime=1799.22
/proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 236361 0 1 0 179794 128 0 0 25 0 13 0 199706193 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649662 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25463/statm: 430556 116304 1910 14 0 417303 0
[pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=2.97
/proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 64754 0 0 0 265 32 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=2.97
/proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 63216 0 0 0 264 33 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0.29
/proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 242 0 0 0 16 13 0 0 16 0 13 0 199706199 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.26
/proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 125 1 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.21
/proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 119 2 0 0 17 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199706470 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.22
Current children cumulated vsize (Kb) 1722224

[startup+1796.38 s]
/proc/loadavg: 1.00 0.99 0.98 2/76 25478
/proc/meminfo: memFree=1306432/2055920 swapFree=4182212/4192956
[pid=25463] ppid=25461 vsize=1722224 CPUtime=1800.23
/proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 236361 0 1 0 179895 128 0 0 25 0 13 0 199706193 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071654818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25463/statm: 430556 116304 1910 14 0 417303 0
[pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=2.97
/proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 64754 0 0 0 265 32 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=2.97
/proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 63216 0 0 0 264 33 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0.29
/proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 242 0 0 0 16 13 0 0 16 0 13 0 199706199 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.26
/proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 125 1 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.21
/proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 119 2 0 0 17 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199706470 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (Kb) 1722224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.39 s]
/proc/loadavg: 1.00 0.99 0.98 2/76 25478
/proc/meminfo: memFree=1306432/2055920 swapFree=4182212/4192956
[pid=25463] ppid=25461 vsize=1722224 CPUtime=1800.23
/proc/25463/stat : 25463 (java) R 25461 25463 25417 0 -1 0 236361 0 1 0 179895 128 0 0 25 0 13 0 199706193 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071654835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25463/statm: 430556 116304 1910 14 0 417303 0
[pid=25463/tid=25464] ppid=25461 vsize=1722224 CPUtime=2.97
/proc/25463/task/25464/stat : 25464 (java) S 25461 25463 25417 0 -1 64 64754 0 0 0 265 32 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25465] ppid=25461 vsize=1722224 CPUtime=2.97
/proc/25463/task/25465/stat : 25465 (java) S 25461 25463 25417 0 -1 64 63216 0 0 0 264 33 0 0 16 0 13 0 199706197 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25466] ppid=25461 vsize=1722224 CPUtime=0.29
/proc/25463/task/25466/stat : 25466 (java) S 25461 25463 25417 0 -1 64 242 0 0 0 16 13 0 0 16 0 13 0 199706199 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25467] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25467/stat : 25467 (java) S 25461 25463 25417 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25468] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25468/stat : 25468 (java) S 25461 25463 25417 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 199706200 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25469] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25469/stat : 25469 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25470] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25470/stat : 25470 (java) S 25461 25463 25417 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25471] ppid=25461 vsize=1722224 CPUtime=1.26
/proc/25463/task/25471/stat : 25471 (java) S 25461 25463 25417 0 -1 64 4114 0 0 0 125 1 0 0 16 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25472] ppid=25461 vsize=1722224 CPUtime=1.21
/proc/25463/task/25472/stat : 25472 (java) S 25461 25463 25417 0 -1 64 4943 0 0 0 119 2 0 0 17 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25473] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25473/stat : 25473 (java) S 25461 25463 25417 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25463/tid=25474] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25474/stat : 25474 (java) S 25461 25463 25417 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 199706203 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25463/tid=25476] ppid=25461 vsize=1722224 CPUtime=0
/proc/25463/task/25476/stat : 25476 (java) S 25461 25463 25417 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 199706470 1763557376 116304 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (Kb) 1722224

Sending SIGTERM to -25463
Sleeping 2 seconds

Child status: 143
Real time (s): 1796.54
CPU time (s): 1800.45
CPU user time (s): 1799.09
CPU system time (s): 1.36279
CPU usage (%): 100.218
Max. virtual memory (cumulated for all children) (Kb): 1722224

Launcher Data (download as text)

Begin job on node73 on Sat Jun  3 13:13:34 UTC 2006


FILE ID= 42537-1149340414

PBS_JOBID= 310391

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc105.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node73/42537-1149340414/instance-42537-1149340414.opb 327421669
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node73/watcher-42537-1149340414 -o ROOT/results/node73/solver-42537-1149340414 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node73/42537-1149340414/instance-42537-1149340414.opb 327421669

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  9af0146fd6df1c22fb98014c5db68dfb

RANDOM SEED= 327421669


/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.261
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.261
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:       1766432 kB
Buffers:         27008 kB
Cached:         199328 kB
SwapCached:       2348 kB
Active:          38280 kB
Inactive:       196708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1766432 kB
SwapTotal:     4192956 kB
SwapFree:      4182212 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          15068 kB
Slab:            40528 kB
Committed_AS:   359424 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node73 on Sat Jun  3 13:43:31 UTC 2006