Trace number 43321

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)-65295401 1801.15 1786.67

General information on the benchmark

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

Verifier Data (download as text)

OK	-65295401

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/64 32562
/proc/meminfo: memFree=1523968/2055920 swapFree=4181448/4192956
[pid=32562] ppid=32560 vsize=168 CPUtime=0
/proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 197142311 172032 23 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 6927140 0 0 4096 0 0 0 0 17 1 0 0
/proc/32562/statm: 42 23 18 14 0 2 0

[startup+10.0017 s]
/proc/loadavg: 1.01 1.00 1.00 2/76 32574
/proc/meminfo: memFree=1339696/2055920 swapFree=4181448/4192956
[pid=32562] ppid=32560 vsize=1713272 CPUtime=11.33
/proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 52608 0 1 0 1110 23 0 0 25 0 13 0 197142311 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071592818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32562/statm: 428318 47815 1909 14 0 415065 0
[pid=32562/tid=32563] ppid=32560 vsize=1713272 CPUtime=0.06
/proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 2039 0 0 0 6 0 0 0 16 0 13 0 197142314 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32564] ppid=32560 vsize=1713272 CPUtime=0.06
/proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 1919 0 0 0 6 0 0 0 16 0 13 0 197142314 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32565] ppid=32560 vsize=1713272 CPUtime=0
/proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 197142317 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32566] ppid=32560 vsize=1713272 CPUtime=0
/proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32567] ppid=32560 vsize=1713272 CPUtime=0
/proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32568] ppid=32560 vsize=1713272 CPUtime=0
/proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32569] ppid=32560 vsize=1713272 CPUtime=0
/proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32570] ppid=32560 vsize=1713272 CPUtime=0.94
/proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2317 0 0 0 94 0 0 0 15 0 13 0 197142321 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32571] ppid=32560 vsize=1713272 CPUtime=0.93
/proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2652 0 0 0 93 0 0 0 16 0 13 0 197142321 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32572] ppid=32560 vsize=1713272 CPUtime=0
/proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32573] ppid=32560 vsize=1713272 CPUtime=0
/proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32574] ppid=32560 vsize=1713272 CPUtime=0
/proc/32562/task/32574/stat : 32574 (java) S 32560 32562 32516 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197142405 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.33
Current children cumulated vsize (Kb) 1713272

[startup+20.0087 s]
/proc/loadavg: 1.08 1.02 1.01 2/76 32576
/proc/meminfo: memFree=1323120/2055920 swapFree=4181448/4192956
[pid=32562] ppid=32560 vsize=1713240 CPUtime=21.55
/proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 59718 0 1 0 2128 27 0 0 17 0 13 0 197142311 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071443549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32562/statm: 428310 52012 1912 14 0 415057 0
[pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=0.17
/proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 5376 0 0 0 15 2 0 0 16 0 13 0 197142314 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=0.16
/proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 4940 0 0 0 14 2 0 0 16 0 13 0 197142314 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 37 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.02
/proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2350 0 0 0 102 0 0 0 16 0 13 0 197142321 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1
/proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2658 0 0 0 100 0 0 0 17 0 13 0 197142321 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32576] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32576/stat : 32576 (java) S 32560 32562 32516 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197144010 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.55
Current children cumulated vsize (Kb) 1713240

[startup+30.0156 s]
/proc/loadavg: 1.07 1.02 1.00 2/76 32576
/proc/meminfo: memFree=1298096/2055920 swapFree=4181448/4192956
[pid=32562] ppid=32560 vsize=1713240 CPUtime=31.66
/proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 68649 0 1 0 3134 32 0 0 25 0 13 0 197142311 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071516058 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32562/statm: 428310 58233 1912 14 0 415057 0
[pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=0.27
/proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 10236 0 0 0 23 4 0 0 16 0 13 0 197142314 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=0.27
/proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 8999 0 0 0 22 5 0 0 16 0 13 0 197142314 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 37 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.02
/proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2350 0 0 0 102 0 0 0 16 0 13 0 197142321 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1
/proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2658 0 0 0 100 0 0 0 17 0 13 0 197142321 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32576] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32576/stat : 32576 (java) S 32560 32562 32516 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197144010 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.66
Current children cumulated vsize (Kb) 1713240

[startup+40.0226 s]
/proc/loadavg: 1.06 1.01 1.00 2/76 32578
/proc/meminfo: memFree=1249768/2055920 swapFree=4181448/4192956
[pid=32562] ppid=32560 vsize=1713240 CPUtime=41.95
/proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 84491 0 1 0 4155 40 0 0 25 0 13 0 197142311 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071570784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32562/statm: 428310 70336 1913 14 0 415057 0
[pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=0.5
/proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 18362 0 0 0 42 8 0 0 16 0 13 0 197142314 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=0.5
/proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 16697 0 0 0 42 8 0 0 16 0 13 0 197142314 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=0.01
/proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 38 0 0 0 1 0 0 0 16 0 13 0 197142317 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.05
/proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2351 0 0 0 105 0 0 0 16 0 13 0 197142321 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1.05
/proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2660 0 0 0 105 0 0 0 16 0 13 0 197142321 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32578] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32578/stat : 32578 (java) S 32560 32562 32516 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197145862 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.95
Current children cumulated vsize (Kb) 1713240

[startup+50.0295 s]
/proc/loadavg: 1.05 1.01 1.00 2/76 32578
/proc/meminfo: memFree=1235112/2055920 swapFree=4181448/4192956
[pid=32562] ppid=32560 vsize=1713240 CPUtime=52.09
/proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 91262 0 1 0 5165 44 0 0 22 0 13 0 197142311 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071631237 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32562/statm: 428310 73997 1913 14 0 415057 0
[pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=0.64
/proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 21845 0 0 0 54 10 0 0 16 0 13 0 197142314 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=0.63
/proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 19970 0 0 0 53 10 0 0 16 0 13 0 197142314 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=0.02
/proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 41 0 0 0 1 1 0 0 16 0 13 0 197142317 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.05
/proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2351 0 0 0 105 0 0 0 16 0 13 0 197142321 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1.05
/proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2660 0 0 0 105 0 0 0 16 0 13 0 197142321 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32578] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32578/stat : 32578 (java) S 32560 32562 32516 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197145862 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 52.09
Current children cumulated vsize (Kb) 1713240

[startup+60.0365 s]
/proc/loadavg: 1.04 1.01 1.00 2/76 32578
/proc/meminfo: memFree=1215912/2055920 swapFree=4181448/4192956
[pid=32562] ppid=32560 vsize=1713240 CPUtime=62.23
/proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 97304 0 1 0 6176 47 0 0 22 0 13 0 197142311 1754357760 78789 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071443234 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32562/statm: 428310 78789 1913 14 0 415057 0
[pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=0.77
/proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 25240 0 0 0 66 11 0 0 16 0 13 0 197142314 1754357760 78789 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=0.77
/proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 22609 0 0 0 66 11 0 0 16 0 13 0 197142314 1754357760 78789 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=0.02
/proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 41 0 0 0 1 1 0 0 16 0 13 0 197142317 1754357760 78789 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 78789 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 78789 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 78789 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.06
/proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2352 0 0 0 106 0 0 0 16 0 13 0 197142321 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1.07
/proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2661 0 0 0 107 0 0 0 17 0 13 0 197142321 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32578] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32578/stat : 32578 (java) S 32560 32562 32516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197145862 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (Kb) 1713240

[startup+1783.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/76 32580
/proc/meminfo: memFree=60208/2055920 swapFree=4181448/4192956
[pid=32562] ppid=32560 vsize=1713240 CPUtime=1797.74
/proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 675408 0 1 0 179428 346 0 0 25 0 13 0 197142311 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071608046 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32562/statm: 428310 379287 1915 14 0 415057 0
[pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=13.79
/proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 300088 0 0 0 1235 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=13.71
/proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 298615 0 0 0 1227 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=2.18
/proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 442 0 0 0 199 19 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.06
/proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2352 0 0 0 106 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1.07
/proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2661 0 0 0 107 0 0 0 17 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32578] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32578/stat : 32578 (java) S 32560 32562 32516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197145862 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (Kb) 1713240

[startup+1784.32 s]
/proc/loadavg: 1.00 1.01 1.00 2/76 32580
/proc/meminfo: memFree=60208/2055920 swapFree=4181448/4192956
[pid=32562] ppid=32560 vsize=1713240 CPUtime=1798.74
/proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 675408 0 1 0 179528 346 0 0 25 0 13 0 197142311 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071545321 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32562/statm: 428310 379287 1915 14 0 415057 0
[pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=13.79
/proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 300088 0 0 0 1235 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=13.71
/proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 298615 0 0 0 1227 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=2.18
/proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 442 0 0 0 199 19 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.06
/proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2352 0 0 0 106 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1.07
/proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2661 0 0 0 107 0 0 0 17 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32578] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32578/stat : 32578 (java) S 32560 32562 32516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197145862 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.74
Current children cumulated vsize (Kb) 1713240

[startup+1785.32 s]
/proc/loadavg: 1.00 1.01 1.00 2/76 32580
/proc/meminfo: memFree=60208/2055920 swapFree=4181448/4192956
[pid=32562] ppid=32560 vsize=1713240 CPUtime=1799.75
/proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 675408 0 1 0 179629 346 0 0 25 0 13 0 197142311 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071608091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32562/statm: 428310 379287 1915 14 0 415057 0
[pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=13.79
/proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 300088 0 0 0 1235 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=13.71
/proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 298615 0 0 0 1227 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=2.18
/proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 442 0 0 0 199 19 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.06
/proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2352 0 0 0 106 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1.07
/proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2661 0 0 0 107 0 0 0 17 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32578] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32578/stat : 32578 (java) S 32560 32562 32516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197145862 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.75
Current children cumulated vsize (Kb) 1713240

[startup+1786.33 s]
/proc/loadavg: 1.00 1.01 1.00 2/76 32580
/proc/meminfo: memFree=60208/2055920 swapFree=4181448/4192956
[pid=32562] ppid=32560 vsize=1713240 CPUtime=1800.76
/proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 675408 0 1 0 179730 346 0 0 25 0 13 0 197142311 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071640198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32562/statm: 428310 379287 1915 14 0 415057 0
[pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=13.79
/proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 300088 0 0 0 1235 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=13.71
/proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 298615 0 0 0 1227 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=2.18
/proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 442 0 0 0 199 19 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.06
/proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2352 0 0 0 106 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1.07
/proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2661 0 0 0 107 0 0 0 17 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32578] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32578/stat : 32578 (java) S 32560 32562 32516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197145862 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (Kb) 1713240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.33 s]
/proc/loadavg: 1.00 1.01 1.00 2/76 32580
/proc/meminfo: memFree=60208/2055920 swapFree=4181448/4192956
[pid=32562] ppid=32560 vsize=1713240 CPUtime=1800.76
/proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 675408 0 1 0 179730 346 0 0 25 0 13 0 197142311 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071640647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32562/statm: 428310 379287 1915 14 0 415057 0
[pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=13.79
/proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 300088 0 0 0 1235 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=13.71
/proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 298615 0 0 0 1227 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=2.18
/proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 442 0 0 0 199 19 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.06
/proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2352 0 0 0 106 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1.07
/proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2661 0 0 0 107 0 0 0 17 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32562/tid=32578] ppid=32560 vsize=1713240 CPUtime=0
/proc/32562/task/32578/stat : 32578 (java) S 32560 32562 32516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197145862 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (Kb) 1713240

Sending SIGTERM to -32562
Sleeping 2 seconds

Child status: 143
Real time (s): 1786.67
CPU time (s): 1801.15
CPU user time (s): 1797.45
CPU system time (s): 3.70044
CPU usage (%): 100.811
Max. virtual memory (cumulated for all children) (Kb): 1713272

Launcher Data (download as text)

Begin job on node14 on Sat Jun  3 06:06:36 UTC 2006


FILE ID= 43321-1149314796

PBS_JOBID= 308276

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-harp2.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node14/43321-1149314796/instance-43321-1149314796.opb 605518050
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-43321-1149314796 -o ROOT/results/node14/solver-43321-1149314796 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node14/43321-1149314796/instance-43321-1149314796.opb 605518050

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  a22cdb58cc05b8a325a786916e6a7ab8

RANDOM SEED= 605518050


/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.241
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.241
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:       1524240 kB
Buffers:         31284 kB
Cached:         429832 kB
SwapCached:       3188 kB
Active:          36648 kB
Inactive:       433072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1524240 kB
SwapTotal:     4192956 kB
SwapFree:      4181448 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            47984 kB
Committed_AS:   320072 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node14 on Sat Jun  3 06:36:23 UTC 2006