Trace number 42538

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)-43 1801.06 1784.62

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-stocfor1.opb
MD5SUMf5fea9f9b3e2808f219e4e92af96aba2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-71
Best CPU time to get the best result obtained on this benchmark1800.26
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
Optimality of the best value was proved NO
Number of variables3330
Total number of constraints117
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 constraints117
Minimum length of a constraint30
Maximum length of a constraint240
Number of terms in the objective function 810
Biggest coefficient in the objective function 21201
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 524901
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524901
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

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	-43

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/node62/watcher-42538-1149340796 -o ROOT/results/node62/solver-42538-1149340796 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node62/42538-1149340796/instance-42538-1149340796.opb 392258914 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.96 3/64 13416
/proc/meminfo: memFree=1222736/2055920 swapFree=4191908/4192956
[pid=13416] ppid=13414 vsize=18540 CPUtime=0
/proc/13416/stat : 13416 (runsolver) R 13414 13416 13370 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 43283157 18984960 279 18446744073709551615 4194304 4262084 548682068944 18446744073709551615 236437695783 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/13416/statm: 4635 279 243 16 0 2626 0

[startup+10.0031 s]
/proc/loadavg: 0.93 0.97 0.96 2/76 13428
/proc/meminfo: memFree=1056512/2055920 swapFree=4191908/4192956
[pid=13416] ppid=13414 vsize=1713404 CPUtime=11.41
/proc/13416/stat : 13416 (java) R 13414 13416 13370 0 -1 0 47344 0 1 0 1121 20 0 0 25 0 13 0 43283157 1754525696 43349 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071320451 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13416/statm: 428351 43349 1909 14 0 415098 0
[pid=13416/tid=13417] ppid=13414 vsize=1713404 CPUtime=0.15
/proc/13416/task/13417/stat : 13417 (java) S 13414 13416 13370 0 -1 64 3606 0 0 0 14 1 0 0 17 0 13 0 43283161 1754525696 43349 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13418] ppid=13414 vsize=1713404 CPUtime=0.16
/proc/13416/task/13418/stat : 13418 (java) S 13414 13416 13370 0 -1 64 3794 0 0 0 15 1 0 0 16 0 13 0 43283161 1754525696 43349 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13419] ppid=13414 vsize=1713404 CPUtime=0
/proc/13416/task/13419/stat : 13419 (java) S 13414 13416 13370 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 43283163 1754525696 43349 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13420] ppid=13414 vsize=1713404 CPUtime=0
/proc/13416/task/13420/stat : 13420 (java) S 13414 13416 13370 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43283164 1754525696 43349 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13421] ppid=13414 vsize=1713404 CPUtime=0
/proc/13416/task/13421/stat : 13421 (java) S 13414 13416 13370 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43283164 1754525696 43349 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13422] ppid=13414 vsize=1713404 CPUtime=0
/proc/13416/task/13422/stat : 13422 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 43283167 1754525696 43349 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13423] ppid=13414 vsize=1713404 CPUtime=0
/proc/13416/task/13423/stat : 13423 (java) S 13414 13416 13370 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 43283167 1754525696 43349 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13424] ppid=13414 vsize=1713404 CPUtime=0.83
/proc/13416/task/13424/stat : 13424 (java) S 13414 13416 13370 0 -1 64 1322 0 0 0 83 0 0 0 16 0 13 0 43283167 1754525696 43349 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13425] ppid=13414 vsize=1713404 CPUtime=0.93
/proc/13416/task/13425/stat : 13425 (java) S 13414 13416 13370 0 -1 64 2037 0 0 0 92 1 0 0 17 0 13 0 43283167 1754525696 43349 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13426] ppid=13414 vsize=1713404 CPUtime=0
/proc/13416/task/13426/stat : 13426 (java) S 13414 13416 13370 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 43283167 1754525696 43349 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13427] ppid=13414 vsize=1713404 CPUtime=0
/proc/13416/task/13427/stat : 13427 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43283167 1754525696 43349 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13428] ppid=13414 vsize=1713404 CPUtime=0
/proc/13416/task/13428/stat : 13428 (java) S 13414 13416 13370 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 43283241 1754525696 43349 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.41
Current children cumulated vsize (Kb) 1713404

[startup+20.0103 s]
/proc/loadavg: 0.94 0.97 0.96 2/76 13429
/proc/meminfo: memFree=1035904/2055920 swapFree=4191908/4192956
[pid=13416] ppid=13414 vsize=1712776 CPUtime=21.61
/proc/13416/stat : 13416 (java) R 13414 13416 13370 0 -1 0 53530 0 1 0 2139 22 0 0 25 0 13 0 43283157 1753882624 48445 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071401641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13416/statm: 428194 48445 1910 14 0 414941 0
[pid=13416/tid=13417] ppid=13414 vsize=1712776 CPUtime=0.24
/proc/13416/task/13417/stat : 13417 (java) S 13414 13416 13370 0 -1 64 6296 0 0 0 22 2 0 0 15 0 13 0 43283161 1753882624 48445 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13418] ppid=13414 vsize=1712776 CPUtime=0.25
/proc/13416/task/13418/stat : 13418 (java) S 13414 13416 13370 0 -1 64 6499 0 0 0 23 2 0 0 16 0 13 0 43283161 1753882624 48445 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13419] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13419/stat : 13419 (java) S 13414 13416 13370 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 43283163 1753882624 48445 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13420] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13420/stat : 13420 (java) S 13414 13416 13370 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 48445 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13421] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13421/stat : 13421 (java) S 13414 13416 13370 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 48445 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13422] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13422/stat : 13422 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 43283167 1753882624 48445 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13423] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13423/stat : 13423 (java) S 13414 13416 13370 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43283167 1753882624 48445 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13424] ppid=13414 vsize=1712776 CPUtime=0.93
/proc/13416/task/13424/stat : 13424 (java) S 13414 13416 13370 0 -1 64 1326 0 0 0 93 0 0 0 17 0 13 0 43283167 1753882624 48445 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13425] ppid=13414 vsize=1712776 CPUtime=0.95
/proc/13416/task/13425/stat : 13425 (java) S 13414 13416 13370 0 -1 64 2039 0 0 0 94 1 0 0 16 0 13 0 43283167 1753882624 48445 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13426] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13426/stat : 13426 (java) S 13414 13416 13370 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 43283167 1753882624 48445 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13427] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13427/stat : 13427 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43283167 1753882624 48445 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13429] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13429/stat : 13429 (java) S 13414 13416 13370 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 43284164 1753882624 48445 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.61
Current children cumulated vsize (Kb) 1712776

[startup+30.0174 s]
/proc/loadavg: 0.95 0.97 0.96 2/76 13430
/proc/meminfo: memFree=1046520/2055920 swapFree=4191908/4192956
[pid=13416] ppid=13414 vsize=1712776 CPUtime=31.68
/proc/13416/stat : 13416 (java) R 13414 13416 13370 0 -1 0 54549 0 1 0 3144 24 0 0 25 0 13 0 43283157 1753882624 45793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071395847 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13416/statm: 428194 45793 1910 14 0 414941 0
[pid=13416/tid=13417] ppid=13414 vsize=1712776 CPUtime=0.28
/proc/13416/task/13417/stat : 13417 (java) S 13414 13416 13370 0 -1 64 6758 0 0 0 26 2 0 0 16 0 13 0 43283161 1753882624 45793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13418] ppid=13414 vsize=1712776 CPUtime=0.29
/proc/13416/task/13418/stat : 13418 (java) S 13414 13416 13370 0 -1 64 7037 0 0 0 26 3 0 0 16 0 13 0 43283161 1753882624 45793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13419] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13419/stat : 13419 (java) S 13414 13416 13370 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 43283163 1753882624 45793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13420] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13420/stat : 13420 (java) S 13414 13416 13370 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 45793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13421] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13421/stat : 13421 (java) S 13414 13416 13370 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 45793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13422] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13422/stat : 13422 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 43283167 1753882624 45793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13423] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13423/stat : 13423 (java) S 13414 13416 13370 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43283167 1753882624 45793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13424] ppid=13414 vsize=1712776 CPUtime=0.93
/proc/13416/task/13424/stat : 13424 (java) S 13414 13416 13370 0 -1 64 1326 0 0 0 93 0 0 0 17 0 13 0 43283167 1753882624 45793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13425] ppid=13414 vsize=1712776 CPUtime=0.97
/proc/13416/task/13425/stat : 13425 (java) S 13414 13416 13370 0 -1 64 2041 0 0 0 96 1 0 0 16 0 13 0 43283167 1753882624 45793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13426] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13426/stat : 13426 (java) S 13414 13416 13370 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 43283167 1753882624 45793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13427] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13427/stat : 13427 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43283167 1753882624 45793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13430] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13430/stat : 13430 (java) S 13414 13416 13370 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 43285799 1753882624 45793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.68
Current children cumulated vsize (Kb) 1712776

[startup+40.0246 s]
/proc/loadavg: 0.95 0.97 0.96 2/76 13430
/proc/meminfo: memFree=1043192/2055920 swapFree=4191908/4192956
[pid=13416] ppid=13414 vsize=1712776 CPUtime=41.73
/proc/13416/stat : 13416 (java) R 13414 13416 13370 0 -1 0 56380 0 1 0 4149 24 0 0 25 0 13 0 43283157 1753882624 46650 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071626082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13416/statm: 428194 46650 1910 14 0 414941 0
[pid=13416/tid=13417] ppid=13414 vsize=1712776 CPUtime=0.35
/proc/13416/task/13417/stat : 13417 (java) S 13414 13416 13370 0 -1 64 7632 0 0 0 32 3 0 0 16 0 13 0 43283161 1753882624 46650 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13418] ppid=13414 vsize=1712776 CPUtime=0.35
/proc/13416/task/13418/stat : 13418 (java) S 13414 13416 13370 0 -1 64 7966 0 0 0 32 3 0 0 16 0 13 0 43283161 1753882624 46650 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13419] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13419/stat : 13419 (java) S 13414 13416 13370 0 -1 64 48 0 0 0 0 0 0 0 16 0 13 0 43283163 1753882624 46650 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13420] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13420/stat : 13420 (java) S 13414 13416 13370 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 46650 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13421] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13421/stat : 13421 (java) S 13414 13416 13370 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 46650 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13422] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13422/stat : 13422 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 43283167 1753882624 46650 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13423] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13423/stat : 13423 (java) S 13414 13416 13370 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43283167 1753882624 46650 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13424] ppid=13414 vsize=1712776 CPUtime=0.94
/proc/13416/task/13424/stat : 13424 (java) S 13414 13416 13370 0 -1 64 1326 0 0 0 94 0 0 0 17 0 13 0 43283167 1753882624 46650 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13425] ppid=13414 vsize=1712776 CPUtime=0.97
/proc/13416/task/13425/stat : 13425 (java) S 13414 13416 13370 0 -1 64 2041 0 0 0 96 1 0 0 16 0 13 0 43283167 1753882624 46650 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13426] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13426/stat : 13426 (java) S 13414 13416 13370 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 43283167 1753882624 46650 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13427] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13427/stat : 13427 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43283167 1753882624 46650 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13430] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13430/stat : 13430 (java) S 13414 13416 13370 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 43285799 1753882624 46650 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.73
Current children cumulated vsize (Kb) 1712776

[startup+50.0318 s]
/proc/loadavg: 0.96 0.97 0.96 2/76 13430
/proc/meminfo: memFree=1042104/2055920 swapFree=4191908/4192956
[pid=13416] ppid=13414 vsize=1712776 CPUtime=51.76
/proc/13416/stat : 13416 (java) R 13414 13416 13370 0 -1 0 57057 0 1 0 5151 25 0 0 25 0 13 0 43283157 1753882624 46916 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071531496 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13416/statm: 428194 46916 1910 14 0 414941 0
[pid=13416/tid=13417] ppid=13414 vsize=1712776 CPUtime=0.37
/proc/13416/task/13417/stat : 13417 (java) S 13414 13416 13370 0 -1 64 7934 0 0 0 34 3 0 0 15 0 13 0 43283161 1753882624 46916 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13418] ppid=13414 vsize=1712776 CPUtime=0.37
/proc/13416/task/13418/stat : 13418 (java) S 13414 13416 13370 0 -1 64 8326 0 0 0 34 3 0 0 16 0 13 0 43283161 1753882624 46916 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13419] ppid=13414 vsize=1712776 CPUtime=0.02
/proc/13416/task/13419/stat : 13419 (java) S 13414 13416 13370 0 -1 64 48 0 0 0 1 1 0 0 16 0 13 0 43283163 1753882624 46916 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13420] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13420/stat : 13420 (java) S 13414 13416 13370 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 46916 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13421] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13421/stat : 13421 (java) S 13414 13416 13370 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 46916 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13422] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13422/stat : 13422 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 43283167 1753882624 46916 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13423] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13423/stat : 13423 (java) S 13414 13416 13370 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43283167 1753882624 46916 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13424] ppid=13414 vsize=1712776 CPUtime=0.94
/proc/13416/task/13424/stat : 13424 (java) S 13414 13416 13370 0 -1 64 1326 0 0 0 94 0 0 0 17 0 13 0 43283167 1753882624 46916 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13425] ppid=13414 vsize=1712776 CPUtime=0.97
/proc/13416/task/13425/stat : 13425 (java) S 13414 13416 13370 0 -1 64 2041 0 0 0 96 1 0 0 16 0 13 0 43283167 1753882624 46916 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13426] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13426/stat : 13426 (java) S 13414 13416 13370 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 43283167 1753882624 46916 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13427] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13427/stat : 13427 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43283167 1753882624 46916 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13430] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13430/stat : 13430 (java) S 13414 13416 13370 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 43285799 1753882624 46916 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.76
Current children cumulated vsize (Kb) 1712776

[startup+60.039 s]
/proc/loadavg: 0.97 0.97 0.96 2/76 13430
/proc/meminfo: memFree=1040632/2055920 swapFree=4191908/4192956
[pid=13416] ppid=13414 vsize=1712776 CPUtime=61.79
/proc/13416/stat : 13416 (java) R 13414 13416 13370 0 -1 0 58347 0 1 0 6154 25 0 0 25 0 13 0 43283157 1753882624 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071513611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13416/statm: 428194 47258 1910 14 0 414941 0
[pid=13416/tid=13417] ppid=13414 vsize=1712776 CPUtime=0.4
/proc/13416/task/13417/stat : 13417 (java) S 13414 13416 13370 0 -1 64 8411 0 0 0 37 3 0 0 15 0 13 0 43283161 1753882624 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13418] ppid=13414 vsize=1712776 CPUtime=0.41
/proc/13416/task/13418/stat : 13418 (java) S 13414 13416 13370 0 -1 64 9124 0 0 0 37 4 0 0 16 0 13 0 43283161 1753882624 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13419] ppid=13414 vsize=1712776 CPUtime=0.02
/proc/13416/task/13419/stat : 13419 (java) S 13414 13416 13370 0 -1 64 48 0 0 0 1 1 0 0 17 0 13 0 43283163 1753882624 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13420] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13420/stat : 13420 (java) S 13414 13416 13370 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13421] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13421/stat : 13421 (java) S 13414 13416 13370 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13422] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13422/stat : 13422 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 43283167 1753882624 47258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=13416/tid=13420] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13420/stat : 13420 (java) S 13414 13416 13370 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13421] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13421/stat : 13421 (java) S 13414 13416 13370 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13422] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13422/stat : 13422 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 43283167 1753882624 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13423] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13423/stat : 13423 (java) S 13414 13416 13370 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43283167 1753882624 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13424] ppid=13414 vsize=1712776 CPUtime=0.94
/proc/13416/task/13424/stat : 13424 (java) S 13414 13416 13370 0 -1 64 1326 0 0 0 94 0 0 0 16 0 13 0 43283167 1753882624 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13425] ppid=13414 vsize=1712776 CPUtime=0.98
/proc/13416/task/13425/stat : 13425 (java) S 13414 13416 13370 0 -1 64 2041 0 0 0 97 1 0 0 16 0 13 0 43283167 1753882624 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13426] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13426/stat : 13426 (java) S 13414 13416 13370 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 43283167 1753882624 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13427] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13427/stat : 13427 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43283167 1753882624 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13431] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13431/stat : 13431 (java) S 13414 13416 13370 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 43311290 1753882624 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (Kb) 1712776

[startup+1781.38 s]
/proc/loadavg: 1.00 1.00 0.98 2/76 13431
/proc/meminfo: memFree=667000/2055920 swapFree=4191908/4192956
[pid=13416] ppid=13414 vsize=1712776 CPUtime=1797.72
/proc/13416/stat : 13416 (java) R 13414 13416 13370 0 -1 0 237628 0 1 0 179599 173 0 0 18 0 13 0 43283157 1753882624 140326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071401643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13416/statm: 428194 140326 1910 14 0 414941 0
[pid=13416/tid=13417] ppid=13414 vsize=1712776 CPUtime=15.98
/proc/13416/task/13417/stat : 13417 (java) S 13414 13416 13370 0 -1 64 60368 0 0 0 1560 38 0 0 15 0 13 0 43283161 1753882624 140326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13418] ppid=13414 vsize=1712776 CPUtime=15.98
/proc/13416/task/13418/stat : 13418 (java) S 13414 13416 13370 0 -1 64 60518 0 0 0 1557 41 0 0 16 0 13 0 43283161 1753882624 140326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13419] ppid=13414 vsize=1712776 CPUtime=0.81
/proc/13416/task/13419/stat : 13419 (java) S 13414 13416 13370 0 -1 64 240 0 0 0 51 30 0 0 15 0 13 0 43283163 1753882624 140326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13420] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13420/stat : 13420 (java) S 13414 13416 13370 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 140326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13421] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13421/stat : 13421 (java) S 13414 13416 13370 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 140326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13422] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13422/stat : 13422 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 43283167 1753882624 140326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13423] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13423/stat : 13423 (java) S 13414 13416 13370 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43283167 1753882624 140326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13424] ppid=13414 vsize=1712776 CPUtime=0.94
/proc/13416/task/13424/stat : 13424 (java) S 13414 13416 13370 0 -1 64 1326 0 0 0 94 0 0 0 16 0 13 0 43283167 1753882624 140326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13425] ppid=13414 vsize=1712776 CPUtime=0.98
/proc/13416/task/13425/stat : 13425 (java) S 13414 13416 13370 0 -1 64 2041 0 0 0 97 1 0 0 16 0 13 0 43283167 1753882624 140326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13426] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13426/stat : 13426 (java) S 13414 13416 13370 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 43283167 1753882624 140326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13427] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13427/stat : 13427 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43283167 1753882624 140326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13431] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13431/stat : 13431 (java) S 13414 13416 13370 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 43311290 1753882624 140326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (Kb) 1712776

[startup+1782.39 s]
/proc/loadavg: 1.00 1.00 0.98 2/76 13431
/proc/meminfo: memFree=666808/2055920 swapFree=4191908/4192956
[pid=13416] ppid=13414 vsize=1712776 CPUtime=1798.75
/proc/13416/stat : 13416 (java) R 13414 13416 13370 0 -1 0 237680 0 1 0 179702 173 0 0 18 0 13 0 43283157 1753882624 140374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071605216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13416/statm: 428194 140374 1910 14 0 414941 0
[pid=13416/tid=13417] ppid=13414 vsize=1712776 CPUtime=15.99
/proc/13416/task/13417/stat : 13417 (java) S 13414 13416 13370 0 -1 64 60374 0 0 0 1561 38 0 0 16 0 13 0 43283161 1753882624 140374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13418] ppid=13414 vsize=1712776 CPUtime=15.99
/proc/13416/task/13418/stat : 13418 (java) S 13414 13416 13370 0 -1 64 60562 0 0 0 1558 41 0 0 16 0 13 0 43283161 1753882624 140374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13419] ppid=13414 vsize=1712776 CPUtime=0.81
/proc/13416/task/13419/stat : 13419 (java) S 13414 13416 13370 0 -1 64 240 0 0 0 51 30 0 0 15 0 13 0 43283163 1753882624 140374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13420] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13420/stat : 13420 (java) S 13414 13416 13370 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 140374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13421] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13421/stat : 13421 (java) S 13414 13416 13370 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 140374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13422] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13422/stat : 13422 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 43283167 1753882624 140374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13423] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13423/stat : 13423 (java) S 13414 13416 13370 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43283167 1753882624 140374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13424] ppid=13414 vsize=1712776 CPUtime=0.94
/proc/13416/task/13424/stat : 13424 (java) S 13414 13416 13370 0 -1 64 1326 0 0 0 94 0 0 0 16 0 13 0 43283167 1753882624 140374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13425] ppid=13414 vsize=1712776 CPUtime=0.98
/proc/13416/task/13425/stat : 13425 (java) S 13414 13416 13370 0 -1 64 2041 0 0 0 97 1 0 0 16 0 13 0 43283167 1753882624 140374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13426] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13426/stat : 13426 (java) S 13414 13416 13370 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 43283167 1753882624 140374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13427] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13427/stat : 13427 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43283167 1753882624 140374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13431] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13431/stat : 13431 (java) S 13414 13416 13370 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 43311290 1753882624 140374 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1798.75
Current children cumulated vsize (Kb) 1712776

[startup+1783.4 s]
/proc/loadavg: 1.00 1.00 0.98 2/76 13431
/proc/meminfo: memFree=666616/2055920 swapFree=4191908/4192956
[pid=13416] ppid=13414 vsize=1712776 CPUtime=1799.76
/proc/13416/stat : 13416 (java) R 13414 13416 13370 0 -1 0 237757 0 1 0 179803 173 0 0 20 0 13 0 43283157 1753882624 140444 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071531129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13416/statm: 428194 140444 1910 14 0 414941 0
[pid=13416/tid=13417] ppid=13414 vsize=1712776 CPUtime=16.01
/proc/13416/task/13417/stat : 13417 (java) S 13414 13416 13370 0 -1 64 60428 0 0 0 1563 38 0 0 16 0 13 0 43283161 1753882624 140444 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13418] ppid=13414 vsize=1712776 CPUtime=16.01
/proc/13416/task/13418/stat : 13418 (java) S 13414 13416 13370 0 -1 64 60582 0 0 0 1560 41 0 0 16 0 13 0 43283161 1753882624 140444 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13419] ppid=13414 vsize=1712776 CPUtime=0.81
/proc/13416/task/13419/stat : 13419 (java) S 13414 13416 13370 0 -1 64 241 0 0 0 51 30 0 0 15 0 13 0 43283163 1753882624 140444 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13420] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13420/stat : 13420 (java) S 13414 13416 13370 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 140444 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13421] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13421/stat : 13421 (java) S 13414 13416 13370 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 140444 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13422] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13422/stat : 13422 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 43283167 1753882624 140444 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13423] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13423/stat : 13423 (java) S 13414 13416 13370 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43283167 1753882624 140444 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13424] ppid=13414 vsize=1712776 CPUtime=0.94
/proc/13416/task/13424/stat : 13424 (java) S 13414 13416 13370 0 -1 64 1326 0 0 0 94 0 0 0 16 0 13 0 43283167 1753882624 140444 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13425] ppid=13414 vsize=1712776 CPUtime=0.98
/proc/13416/task/13425/stat : 13425 (java) S 13414 13416 13370 0 -1 64 2041 0 0 0 97 1 0 0 16 0 13 0 43283167 1753882624 140444 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13426] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13426/stat : 13426 (java) S 13414 13416 13370 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 43283167 1753882624 140444 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13427] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13427/stat : 13427 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43283167 1753882624 140444 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13431] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13431/stat : 13431 (java) S 13414 13416 13370 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 43311290 1753882624 140444 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1799.76
Current children cumulated vsize (Kb) 1712776

[startup+1784.4 s]
/proc/loadavg: 1.00 1.00 0.98 2/76 13431
/proc/meminfo: memFree=666360/2055920 swapFree=4191908/4192956
[pid=13416] ppid=13414 vsize=1712776 CPUtime=1800.79
/proc/13416/stat : 13416 (java) R 13414 13416 13370 0 -1 0 237828 0 1 0 179906 173 0 0 20 0 13 0 43283157 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071401894 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13416/statm: 428194 140509 1910 14 0 414941 0
[pid=13416/tid=13417] ppid=13414 vsize=1712776 CPUtime=16.02
/proc/13416/task/13417/stat : 13417 (java) S 13414 13416 13370 0 -1 64 60482 0 0 0 1564 38 0 0 16 0 13 0 43283161 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13418] ppid=13414 vsize=1712776 CPUtime=16.02
/proc/13416/task/13418/stat : 13418 (java) S 13414 13416 13370 0 -1 64 60597 0 0 0 1561 41 0 0 16 0 13 0 43283161 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13419] ppid=13414 vsize=1712776 CPUtime=0.81
/proc/13416/task/13419/stat : 13419 (java) S 13414 13416 13370 0 -1 64 241 0 0 0 51 30 0 0 15 0 13 0 43283163 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13420] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13420/stat : 13420 (java) S 13414 13416 13370 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13421] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13421/stat : 13421 (java) S 13414 13416 13370 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13422] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13422/stat : 13422 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 43283167 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13423] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13423/stat : 13423 (java) S 13414 13416 13370 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43283167 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13424] ppid=13414 vsize=1712776 CPUtime=0.94
/proc/13416/task/13424/stat : 13424 (java) S 13414 13416 13370 0 -1 64 1326 0 0 0 94 0 0 0 16 0 13 0 43283167 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13425] ppid=13414 vsize=1712776 CPUtime=0.98
/proc/13416/task/13425/stat : 13425 (java) S 13414 13416 13370 0 -1 64 2041 0 0 0 97 1 0 0 16 0 13 0 43283167 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13426] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13426/stat : 13426 (java) S 13414 13416 13370 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 43283167 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13427] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13427/stat : 13427 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43283167 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13431] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13431/stat : 13431 (java) S 13414 13416 13370 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 43311290 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.79
Current children cumulated vsize (Kb) 1712776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.41 s]
/proc/loadavg: 1.00 1.00 0.98 2/76 13431
/proc/meminfo: memFree=666360/2055920 swapFree=4191908/4192956
[pid=13416] ppid=13414 vsize=1712776 CPUtime=1800.79
/proc/13416/stat : 13416 (java) R 13414 13416 13370 0 -1 0 237828 0 1 0 179906 173 0 0 20 0 13 0 43283157 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071403042 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13416/statm: 428194 140509 1910 14 0 414941 0
[pid=13416/tid=13417] ppid=13414 vsize=1712776 CPUtime=16.02
/proc/13416/task/13417/stat : 13417 (java) S 13414 13416 13370 0 -1 64 60482 0 0 0 1564 38 0 0 16 0 13 0 43283161 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13418] ppid=13414 vsize=1712776 CPUtime=16.02
/proc/13416/task/13418/stat : 13418 (java) S 13414 13416 13370 0 -1 64 60597 0 0 0 1561 41 0 0 16 0 13 0 43283161 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13419] ppid=13414 vsize=1712776 CPUtime=0.81
/proc/13416/task/13419/stat : 13419 (java) S 13414 13416 13370 0 -1 64 241 0 0 0 51 30 0 0 15 0 13 0 43283163 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13420] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13420/stat : 13420 (java) S 13414 13416 13370 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13421] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13421/stat : 13421 (java) S 13414 13416 13370 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 43283164 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13422] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13422/stat : 13422 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 43283167 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13423] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13423/stat : 13423 (java) S 13414 13416 13370 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 43283167 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13424] ppid=13414 vsize=1712776 CPUtime=0.94
/proc/13416/task/13424/stat : 13424 (java) S 13414 13416 13370 0 -1 64 1326 0 0 0 94 0 0 0 16 0 13 0 43283167 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13425] ppid=13414 vsize=1712776 CPUtime=0.98
/proc/13416/task/13425/stat : 13425 (java) S 13414 13416 13370 0 -1 64 2041 0 0 0 97 1 0 0 16 0 13 0 43283167 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13426] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13426/stat : 13426 (java) S 13414 13416 13370 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 43283167 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13416/tid=13427] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13427/stat : 13427 (java) S 13414 13416 13370 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 43283167 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13416/tid=13431] ppid=13414 vsize=1712776 CPUtime=0
/proc/13416/task/13431/stat : 13431 (java) S 13414 13416 13370 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 43311290 1753882624 140509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.79
Current children cumulated vsize (Kb) 1712776

Sending SIGTERM to -13416
Sleeping 2 seconds

Child status: 143
Real time (s): 1784.62
CPU time (s): 1801.06
CPU user time (s): 1799.24
CPU system time (s): 1.82372
CPU usage (%): 100.922
Max. virtual memory (cumulated for all children) (Kb): 1713404

Launcher Data (download as text)

Begin job on node62 on Sat Jun  3 13:19:56 UTC 2006


FILE ID= 42538-1149340796

PBS_JOBID= 310410

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-stocfor1.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node62/42538-1149340796/instance-42538-1149340796.opb 392258914
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-42538-1149340796 -o ROOT/results/node62/solver-42538-1149340796 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node62/42538-1149340796/instance-42538-1149340796.opb 392258914

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  f5fea9f9b3e2808f219e4e92af96aba2

RANDOM SEED= 392258914


/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.225
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.225
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:       1222944 kB
Buffers:         34912 kB
Cached:         719112 kB
SwapCached:        572 kB
Active:          66084 kB
Inactive:       702096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1222944 kB
SwapTotal:     4192956 kB
SwapFree:      4191908 kB
Dirty:             220 kB
Writeback:           0 kB
Mapped:          23728 kB
Slab:            50732 kB
Committed_AS:   278988 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node62 on Sat Jun  3 13:49:41 UTC 2006