Trace number 43324

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)81843431 1801.12 1784.54

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-fiber.opb
MD5SUMc3570b707fa12d3d9c0d2ae31848c1b3
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark81843431
Best CPU time to get the best result obtained on this benchmark1801.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 65313511
Optimality of the best value was proved NO
Number of variables2574
Total number of constraints363
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints327
Minimum length of a constraint1
Maximum length of a constraint61
Number of terms in the objective function 1254
Biggest coefficient in the objective function 72966962
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4807778524
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 4807778524
Number of bits of the biggest sum of numbers33
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	81843431

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.94 0.97 2/68 2216
/proc/meminfo: memFree=1814968/2055888 swapFree=4085336/4096564
[pid=2216] ppid=2214 vsize=1508 CPUtime=0
/proc/2216/stat : 2216 (java) R 2214 2216 2170 0 -1 0 81 0 0 0 0 0 0 0 19 0 1 0 197133423 1544192 63 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 9503968 0 0 4096 0 0 0 0 17 1 0 0
/proc/2216/statm: 377 70 56 14 0 8 0

[startup+10.0023 s]
/proc/loadavg: 0.87 0.94 0.97 2/80 2229
/proc/meminfo: memFree=1628056/2055888 swapFree=4085336/4096564
[pid=2216] ppid=2214 vsize=1715664 CPUtime=11.66
/proc/2216/stat : 2216 (java) R 2214 2216 2170 0 -1 0 53501 0 1 0 1142 24 0 0 24 0 13 0 197133423 1756839936 48541 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071721880 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2216/statm: 428916 48541 1909 14 0 415662 0
[pid=2216/tid=2217] ppid=2214 vsize=1715664 CPUtime=0.09
/proc/2216/task/2217/stat : 2217 (java) S 2214 2216 2170 0 -1 64 2833 0 0 0 8 1 0 0 16 0 13 0 197133426 1756839936 48541 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2218] ppid=2214 vsize=1715664 CPUtime=0.1
/proc/2216/task/2218/stat : 2218 (java) S 2214 2216 2170 0 -1 64 2898 0 0 0 9 1 0 0 16 0 13 0 197133426 1756839936 48541 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2219] ppid=2214 vsize=1715664 CPUtime=0
/proc/2216/task/2219/stat : 2219 (java) S 2214 2216 2170 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 197133428 1756839936 48541 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2220] ppid=2214 vsize=1715664 CPUtime=0
/proc/2216/task/2220/stat : 2220 (java) S 2214 2216 2170 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197133429 1756839936 48541 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2221] ppid=2214 vsize=1715664 CPUtime=0
/proc/2216/task/2221/stat : 2221 (java) S 2214 2216 2170 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197133429 1756839936 48541 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2222] ppid=2214 vsize=1715664 CPUtime=0
/proc/2216/task/2222/stat : 2222 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197133432 1756839936 48541 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2223] ppid=2214 vsize=1715664 CPUtime=0.01
/proc/2216/task/2223/stat : 2223 (java) S 2214 2216 2170 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 197133432 1756839936 48541 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2224] ppid=2214 vsize=1715664 CPUtime=1.12
/proc/2216/task/2224/stat : 2224 (java) S 2214 2216 2170 0 -1 64 1989 0 0 0 111 1 0 0 16 0 13 0 197133432 1756839936 48541 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2225] ppid=2214 vsize=1715664 CPUtime=1.1
/proc/2216/task/2225/stat : 2225 (java) S 2214 2216 2170 0 -1 64 3745 0 0 0 110 0 0 0 16 0 13 0 197133432 1756839936 48541 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2226] ppid=2214 vsize=1715664 CPUtime=0
/proc/2216/task/2226/stat : 2226 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197133432 1756839936 48541 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2227] ppid=2214 vsize=1715664 CPUtime=0
/proc/2216/task/2227/stat : 2227 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197133432 1756839936 48541 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2229] ppid=2214 vsize=1715664 CPUtime=0
/proc/2216/task/2229/stat : 2229 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 197133617 1756839936 48541 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.66
Current children cumulated vsize (Kb) 1715664

[startup+20.0093 s]
/proc/loadavg: 0.89 0.94 0.97 2/80 2229
/proc/meminfo: memFree=1627224/2055888 swapFree=4085336/4096564
[pid=2216] ppid=2214 vsize=1714640 CPUtime=21.73
/proc/2216/stat : 2216 (java) R 2214 2216 2170 0 -1 0 56001 0 1 0 2148 25 0 0 19 0 13 0 197133423 1755791360 48733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071539576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2216/statm: 428660 48733 1911 14 0 415406 0
[pid=2216/tid=2217] ppid=2214 vsize=1714640 CPUtime=0.16
/proc/2216/task/2217/stat : 2217 (java) S 2214 2216 2170 0 -1 64 3985 0 0 0 14 2 0 0 16 0 13 0 197133426 1755791360 48733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2218] ppid=2214 vsize=1714640 CPUtime=0.16
/proc/2216/task/2218/stat : 2218 (java) S 2214 2216 2170 0 -1 64 4231 0 0 0 14 2 0 0 16 0 13 0 197133426 1755791360 48733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2219] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2219/stat : 2219 (java) S 2214 2216 2170 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 197133428 1755791360 48733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2220] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2220/stat : 2220 (java) S 2214 2216 2170 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 48733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2221] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2221/stat : 2221 (java) S 2214 2216 2170 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 48733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2222] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2222/stat : 2222 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197133432 1755791360 48733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2223] ppid=2214 vsize=1714640 CPUtime=0.01
/proc/2216/task/2223/stat : 2223 (java) S 2214 2216 2170 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 197133432 1755791360 48733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2224] ppid=2214 vsize=1714640 CPUtime=1.14
/proc/2216/task/2224/stat : 2224 (java) S 2214 2216 2170 0 -1 64 1991 0 0 0 113 1 0 0 17 0 13 0 197133432 1755791360 48733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2225] ppid=2214 vsize=1714640 CPUtime=1.11
/proc/2216/task/2225/stat : 2225 (java) S 2214 2216 2170 0 -1 64 3747 0 0 0 111 0 0 0 16 0 13 0 197133432 1755791360 48733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2226] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2226/stat : 2226 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197133432 1755791360 48733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2227] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2227/stat : 2227 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197133432 1755791360 48733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2229] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2229/stat : 2229 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 197133617 1755791360 48733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.73
Current children cumulated vsize (Kb) 1714640

[startup+30.0154 s]
/proc/loadavg: 0.90 0.94 0.97 2/80 2229
/proc/meminfo: memFree=1627160/2055888 swapFree=4085336/4096564
[pid=2216] ppid=2214 vsize=1714640 CPUtime=31.8
/proc/2216/stat : 2216 (java) R 2214 2216 2170 0 -1 0 57753 0 1 0 3155 25 0 0 25 0 13 0 197133423 1755791360 48745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071397401 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2216/statm: 428660 48745 1911 14 0 415406 0
[pid=2216/tid=2217] ppid=2214 vsize=1714640 CPUtime=0.2
/proc/2216/task/2217/stat : 2217 (java) S 2214 2216 2170 0 -1 64 4855 0 0 0 18 2 0 0 16 0 13 0 197133426 1755791360 48745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2218] ppid=2214 vsize=1714640 CPUtime=0.2
/proc/2216/task/2218/stat : 2218 (java) S 2214 2216 2170 0 -1 64 5101 0 0 0 18 2 0 0 16 0 13 0 197133426 1755791360 48745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2219] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2219/stat : 2219 (java) S 2214 2216 2170 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 197133428 1755791360 48745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2220] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2220/stat : 2220 (java) S 2214 2216 2170 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 48745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2221] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2221/stat : 2221 (java) S 2214 2216 2170 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 48745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2222] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2222/stat : 2222 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197133432 1755791360 48745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2223] ppid=2214 vsize=1714640 CPUtime=0.01
/proc/2216/task/2223/stat : 2223 (java) S 2214 2216 2170 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 197133432 1755791360 48745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2224] ppid=2214 vsize=1714640 CPUtime=1.18
/proc/2216/task/2224/stat : 2224 (java) S 2214 2216 2170 0 -1 64 1995 0 0 0 117 1 0 0 17 0 13 0 197133432 1755791360 48745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2225] ppid=2214 vsize=1714640 CPUtime=1.12
/proc/2216/task/2225/stat : 2225 (java) S 2214 2216 2170 0 -1 64 3748 0 0 0 112 0 0 0 16 0 13 0 197133432 1755791360 48745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2226] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2226/stat : 2226 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197133432 1755791360 48745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2227] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2227/stat : 2227 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197133432 1755791360 48745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2229] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2229/stat : 2229 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 197133617 1755791360 48745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.8
Current children cumulated vsize (Kb) 1714640

[startup+40.0224 s]
/proc/loadavg: 0.92 0.94 0.97 2/80 2229
/proc/meminfo: memFree=1628504/2055888 swapFree=4085336/4096564
[pid=2216] ppid=2214 vsize=1714640 CPUtime=41.84
/proc/2216/stat : 2216 (java) R 2214 2216 2170 0 -1 0 58795 0 1 0 4158 26 0 0 25 0 13 0 197133423 1755791360 48421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071539695 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2216/statm: 428660 48421 1911 14 0 415406 0
[pid=2216/tid=2217] ppid=2214 vsize=1714640 CPUtime=0.23
/proc/2216/task/2217/stat : 2217 (java) S 2214 2216 2170 0 -1 64 5436 0 0 0 21 2 0 0 16 0 13 0 197133426 1755791360 48421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2218] ppid=2214 vsize=1714640 CPUtime=0.23
/proc/2216/task/2218/stat : 2218 (java) S 2214 2216 2170 0 -1 64 5556 0 0 0 21 2 0 0 17 0 13 0 197133426 1755791360 48421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2219] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2219/stat : 2219 (java) S 2214 2216 2170 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 197133428 1755791360 48421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2220] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2220/stat : 2220 (java) S 2214 2216 2170 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 48421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2221] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2221/stat : 2221 (java) S 2214 2216 2170 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 48421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2222] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2222/stat : 2222 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197133432 1755791360 48421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2223] ppid=2214 vsize=1714640 CPUtime=0.01
/proc/2216/task/2223/stat : 2223 (java) S 2214 2216 2170 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 197133432 1755791360 48421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2224] ppid=2214 vsize=1714640 CPUtime=1.18
/proc/2216/task/2224/stat : 2224 (java) S 2214 2216 2170 0 -1 64 1995 0 0 0 117 1 0 0 17 0 13 0 197133432 1755791360 48421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2225] ppid=2214 vsize=1714640 CPUtime=1.12
/proc/2216/task/2225/stat : 2225 (java) S 2214 2216 2170 0 -1 64 3748 0 0 0 112 0 0 0 16 0 13 0 197133432 1755791360 48421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2226] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2226/stat : 2226 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197133432 1755791360 48421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2227] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2227/stat : 2227 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197133432 1755791360 48421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2229] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2229/stat : 2229 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197133617 1755791360 48421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.84
Current children cumulated vsize (Kb) 1714640

[startup+50.0304 s]
/proc/loadavg: 0.93 0.94 0.97 2/80 2229
/proc/meminfo: memFree=1629208/2055888 swapFree=4085336/4096564
[pid=2216] ppid=2214 vsize=1714640 CPUtime=51.89
/proc/2216/stat : 2216 (java) R 2214 2216 2170 0 -1 0 59950 0 1 0 5162 27 0 0 25 0 13 0 197133423 1755791360 48227 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071493425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2216/statm: 428660 48227 1911 14 0 415406 0
[pid=2216/tid=2217] ppid=2214 vsize=1714640 CPUtime=0.28
/proc/2216/task/2217/stat : 2217 (java) S 2214 2216 2170 0 -1 64 6096 0 0 0 26 2 0 0 16 0 13 0 197133426 1755791360 48227 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2218] ppid=2214 vsize=1714640 CPUtime=0.27
/proc/2216/task/2218/stat : 2218 (java) S 2214 2216 2170 0 -1 64 6044 0 0 0 25 2 0 0 16 0 13 0 197133426 1755791360 48227 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2219] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2219/stat : 2219 (java) S 2214 2216 2170 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 197133428 1755791360 48227 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2220] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2220/stat : 2220 (java) S 2214 2216 2170 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 48227 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2221] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2221/stat : 2221 (java) S 2214 2216 2170 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 48227 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2222] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2222/stat : 2222 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197133432 1755791360 48227 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2223] ppid=2214 vsize=1714640 CPUtime=0.01
/proc/2216/task/2223/stat : 2223 (java) S 2214 2216 2170 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 197133432 1755791360 48227 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2224] ppid=2214 vsize=1714640 CPUtime=1.18
/proc/2216/task/2224/stat : 2224 (java) S 2214 2216 2170 0 -1 64 1995 0 0 0 117 1 0 0 17 0 13 0 197133432 1755791360 48227 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2225] ppid=2214 vsize=1714640 CPUtime=1.12
/proc/2216/task/2225/stat : 2225 (java) S 2214 2216 2170 0 -1 64 3748 0 0 0 112 0 0 0 16 0 13 0 197133432 1755791360 48227 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2226] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2226/stat : 2226 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197133432 1755791360 48227 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2227] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2227/stat : 2227 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197133432 1755791360 48227 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2229] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2229/stat : 2229 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197133617 1755791360 48227 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.89
Current children cumulated vsize (Kb) 1714640

[startup+60.0374 s]
/proc/loadavg: 0.94 0.95 0.97 2/80 2229
/proc/meminfo: memFree=1630488/2055888 swapFree=4085336/4096564
[pid=2216] ppid=2214 vsize=1714640 CPUtime=61.92
/proc/2216/stat : 2216 (java) R 2214 2216 2170 0 -1 0 60700 0 1 0 6165 27 0 0 25 0 13 0 197133423 1755791360 47911 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071520117 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2216/statm: 428660 47911 1911 14 0 415406 0
[pid=2216/tid=2217] ppid=2214 vsize=1714640 CPUtime=0.32
/proc/2216/task/2217/stat : 2217 (java) S 2214 2216 2170 0 -1 64 6523 0 0 0 29 3 0 0 16 0 13 0 197133426 1755791360 47911 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2218] ppid=2214 vsize=1714640 CPUtime=0.3
/proc/2216/task/2218/stat : 2218 (java) S 2214 2216 2170 0 -1 64 6361 0 0 0 28 2 0 0 17 0 13 0 197133426 1755791360 47911 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2219] ppid=2214 vsize=1714640 CPUtime=0.01
/proc/2216/task/2219/stat : 2219 (java) S 2214 2216 2170 0 -1 64 30 0 0 0 1 0 0 0 16 0 13 0 197133428 1755791360 47911 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2220] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2220/stat : 2220 (java) S 2214 2216 2170 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 47911 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2221] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2221/stat : 2221 (java) S 2214 2216 2170 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 47911 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2222] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2222/stat : 2222 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197133432 1755791360 47911 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=2216/tid=2220] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2220/stat : 2220 (java) S 2214 2216 2170 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2221] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2221/stat : 2221 (java) S 2214 2216 2170 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2222] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2222/stat : 2222 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197133432 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2223] ppid=2214 vsize=1714640 CPUtime=0.01
/proc/2216/task/2223/stat : 2223 (java) S 2214 2216 2170 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 197133432 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2224] ppid=2214 vsize=1714640 CPUtime=1.25
/proc/2216/task/2224/stat : 2224 (java) S 2214 2216 2170 0 -1 64 1999 0 0 0 124 1 0 0 16 0 13 0 197133432 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2225] ppid=2214 vsize=1714640 CPUtime=1.17
/proc/2216/task/2225/stat : 2225 (java) S 2214 2216 2170 0 -1 64 3750 0 0 0 117 0 0 0 17 0 13 0 197133432 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2226] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2226/stat : 2226 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197133432 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2227] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2227/stat : 2227 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197133432 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2231] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2231/stat : 2231 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197297196 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (Kb) 1714640

[startup+1781.33 s]
/proc/loadavg: 1.00 0.99 0.97 2/80 2231
/proc/meminfo: memFree=1201360/2055888 swapFree=4085336/4096564
[pid=2216] ppid=2214 vsize=1714640 CPUtime=1797.81
/proc/2216/stat : 2216 (java) R 2214 2216 2170 0 -1 0 272701 0 1 0 179639 142 0 0 25 0 13 0 197133423 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071554608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2216/statm: 428660 154753 1911 14 0 415406 0
[pid=2216/tid=2217] ppid=2214 vsize=1714640 CPUtime=15.66
/proc/2216/task/2217/stat : 2217 (java) S 2214 2216 2170 0 -1 64 74622 0 0 0 1529 37 0 0 16 0 13 0 197133426 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2218] ppid=2214 vsize=1714640 CPUtime=15.69
/proc/2216/task/2218/stat : 2218 (java) S 2214 2216 2170 0 -1 64 74045 0 0 0 1532 37 0 0 16 0 13 0 197133426 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2219] ppid=2214 vsize=1714640 CPUtime=0.33
/proc/2216/task/2219/stat : 2219 (java) S 2214 2216 2170 0 -1 64 263 0 0 0 18 15 0 0 16 0 13 0 197133428 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2220] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2220/stat : 2220 (java) S 2214 2216 2170 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2221] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2221/stat : 2221 (java) S 2214 2216 2170 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2222] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2222/stat : 2222 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197133432 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2223] ppid=2214 vsize=1714640 CPUtime=0.01
/proc/2216/task/2223/stat : 2223 (java) S 2214 2216 2170 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 197133432 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2224] ppid=2214 vsize=1714640 CPUtime=1.25
/proc/2216/task/2224/stat : 2224 (java) S 2214 2216 2170 0 -1 64 1999 0 0 0 124 1 0 0 16 0 13 0 197133432 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2225] ppid=2214 vsize=1714640 CPUtime=1.17
/proc/2216/task/2225/stat : 2225 (java) S 2214 2216 2170 0 -1 64 3750 0 0 0 117 0 0 0 17 0 13 0 197133432 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2226] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2226/stat : 2226 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197133432 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2227] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2227/stat : 2227 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197133432 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2231] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2231/stat : 2231 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197297196 1755791360 154753 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (Kb) 1714640

[startup+1782.33 s]
/proc/loadavg: 1.00 0.99 0.97 2/80 2231
/proc/meminfo: memFree=1200144/2055888 swapFree=4085336/4096564
[pid=2216] ppid=2214 vsize=1714640 CPUtime=1798.84
/proc/2216/stat : 2216 (java) R 2214 2216 2170 0 -1 0 273043 0 1 0 179742 142 0 0 25 0 13 0 197133423 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071582170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2216/statm: 428660 155068 1911 14 0 415406 0
[pid=2216/tid=2217] ppid=2214 vsize=1714640 CPUtime=15.68
/proc/2216/task/2217/stat : 2217 (java) S 2214 2216 2170 0 -1 64 74793 0 0 0 1531 37 0 0 16 0 13 0 197133426 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2218] ppid=2214 vsize=1714640 CPUtime=15.72
/proc/2216/task/2218/stat : 2218 (java) S 2214 2216 2170 0 -1 64 74215 0 0 0 1535 37 0 0 16 0 13 0 197133426 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2219] ppid=2214 vsize=1714640 CPUtime=0.33
/proc/2216/task/2219/stat : 2219 (java) S 2214 2216 2170 0 -1 64 263 0 0 0 18 15 0 0 16 0 13 0 197133428 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2220] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2220/stat : 2220 (java) S 2214 2216 2170 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2221] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2221/stat : 2221 (java) S 2214 2216 2170 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2222] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2222/stat : 2222 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197133432 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2223] ppid=2214 vsize=1714640 CPUtime=0.01
/proc/2216/task/2223/stat : 2223 (java) S 2214 2216 2170 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 197133432 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2224] ppid=2214 vsize=1714640 CPUtime=1.25
/proc/2216/task/2224/stat : 2224 (java) S 2214 2216 2170 0 -1 64 1999 0 0 0 124 1 0 0 16 0 13 0 197133432 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2225] ppid=2214 vsize=1714640 CPUtime=1.17
/proc/2216/task/2225/stat : 2225 (java) S 2214 2216 2170 0 -1 64 3750 0 0 0 117 0 0 0 17 0 13 0 197133432 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2226] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2226/stat : 2226 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197133432 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2227] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2227/stat : 2227 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197133432 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2231] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2231/stat : 2231 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197297196 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1798.84
Current children cumulated vsize (Kb) 1714640

[startup+1783.34 s]
/proc/loadavg: 1.00 0.99 0.97 2/80 2231
/proc/meminfo: memFree=1200144/2055888 swapFree=4085336/4096564
[pid=2216] ppid=2214 vsize=1714640 CPUtime=1799.84
/proc/2216/stat : 2216 (java) R 2214 2216 2170 0 -1 0 273043 0 1 0 179842 142 0 0 25 0 13 0 197133423 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071493688 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2216/statm: 428660 155068 1911 14 0 415406 0
[pid=2216/tid=2217] ppid=2214 vsize=1714640 CPUtime=15.68
/proc/2216/task/2217/stat : 2217 (java) S 2214 2216 2170 0 -1 64 74793 0 0 0 1531 37 0 0 16 0 13 0 197133426 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2218] ppid=2214 vsize=1714640 CPUtime=15.72
/proc/2216/task/2218/stat : 2218 (java) S 2214 2216 2170 0 -1 64 74215 0 0 0 1535 37 0 0 16 0 13 0 197133426 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2219] ppid=2214 vsize=1714640 CPUtime=0.33
/proc/2216/task/2219/stat : 2219 (java) S 2214 2216 2170 0 -1 64 263 0 0 0 18 15 0 0 16 0 13 0 197133428 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2220] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2220/stat : 2220 (java) S 2214 2216 2170 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2221] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2221/stat : 2221 (java) S 2214 2216 2170 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2222] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2222/stat : 2222 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197133432 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2223] ppid=2214 vsize=1714640 CPUtime=0.01
/proc/2216/task/2223/stat : 2223 (java) S 2214 2216 2170 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 197133432 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2224] ppid=2214 vsize=1714640 CPUtime=1.25
/proc/2216/task/2224/stat : 2224 (java) S 2214 2216 2170 0 -1 64 1999 0 0 0 124 1 0 0 16 0 13 0 197133432 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2225] ppid=2214 vsize=1714640 CPUtime=1.17
/proc/2216/task/2225/stat : 2225 (java) S 2214 2216 2170 0 -1 64 3750 0 0 0 117 0 0 0 17 0 13 0 197133432 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2226] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2226/stat : 2226 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197133432 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2227] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2227/stat : 2227 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197133432 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2231] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2231/stat : 2231 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197297196 1755791360 155068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1799.84
Current children cumulated vsize (Kb) 1714640

[startup+1784.34 s]
/proc/loadavg: 1.00 0.99 0.97 2/80 2231
/proc/meminfo: memFree=1199376/2055888 swapFree=4085336/4096564
[pid=2216] ppid=2214 vsize=1714640 CPUtime=1800.87
/proc/2216/stat : 2216 (java) R 2214 2216 2170 0 -1 0 273264 0 1 0 179945 142 0 0 22 0 13 0 197133423 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071500491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2216/statm: 428660 155249 1911 14 0 415406 0
[pid=2216/tid=2217] ppid=2214 vsize=1714640 CPUtime=15.71
/proc/2216/task/2217/stat : 2217 (java) S 2214 2216 2170 0 -1 64 74894 0 0 0 1533 38 0 0 17 0 13 0 197133426 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2218] ppid=2214 vsize=1714640 CPUtime=15.74
/proc/2216/task/2218/stat : 2218 (java) S 2214 2216 2170 0 -1 64 74334 0 0 0 1537 37 0 0 16 0 13 0 197133426 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2219] ppid=2214 vsize=1714640 CPUtime=0.34
/proc/2216/task/2219/stat : 2219 (java) S 2214 2216 2170 0 -1 64 263 0 0 0 19 15 0 0 16 0 13 0 197133428 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2220] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2220/stat : 2220 (java) S 2214 2216 2170 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2221] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2221/stat : 2221 (java) S 2214 2216 2170 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2222] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2222/stat : 2222 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197133432 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2223] ppid=2214 vsize=1714640 CPUtime=0.01
/proc/2216/task/2223/stat : 2223 (java) S 2214 2216 2170 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 197133432 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2224] ppid=2214 vsize=1714640 CPUtime=1.25
/proc/2216/task/2224/stat : 2224 (java) S 2214 2216 2170 0 -1 64 1999 0 0 0 124 1 0 0 16 0 13 0 197133432 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2225] ppid=2214 vsize=1714640 CPUtime=1.17
/proc/2216/task/2225/stat : 2225 (java) S 2214 2216 2170 0 -1 64 3750 0 0 0 117 0 0 0 17 0 13 0 197133432 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2226] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2226/stat : 2226 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197133432 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2227] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2227/stat : 2227 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197133432 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2231] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2231/stat : 2231 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197297196 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.87
Current children cumulated vsize (Kb) 1714640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.35 s]
/proc/loadavg: 1.00 0.99 0.97 2/80 2231
/proc/meminfo: memFree=1199376/2055888 swapFree=4085336/4096564
[pid=2216] ppid=2214 vsize=1714640 CPUtime=1800.88
/proc/2216/stat : 2216 (java) R 2214 2216 2170 0 -1 0 273264 0 1 0 179946 142 0 0 22 0 13 0 197133423 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071523856 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2216/statm: 428660 155249 1911 14 0 415406 0
[pid=2216/tid=2217] ppid=2214 vsize=1714640 CPUtime=15.71
/proc/2216/task/2217/stat : 2217 (java) S 2214 2216 2170 0 -1 64 74894 0 0 0 1533 38 0 0 17 0 13 0 197133426 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2218] ppid=2214 vsize=1714640 CPUtime=15.74
/proc/2216/task/2218/stat : 2218 (java) S 2214 2216 2170 0 -1 64 74334 0 0 0 1537 37 0 0 16 0 13 0 197133426 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2219] ppid=2214 vsize=1714640 CPUtime=0.34
/proc/2216/task/2219/stat : 2219 (java) S 2214 2216 2170 0 -1 64 263 0 0 0 19 15 0 0 16 0 13 0 197133428 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2220] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2220/stat : 2220 (java) S 2214 2216 2170 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2221] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2221/stat : 2221 (java) S 2214 2216 2170 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197133429 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2222] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2222/stat : 2222 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197133432 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2223] ppid=2214 vsize=1714640 CPUtime=0.01
/proc/2216/task/2223/stat : 2223 (java) S 2214 2216 2170 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 197133432 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2224] ppid=2214 vsize=1714640 CPUtime=1.25
/proc/2216/task/2224/stat : 2224 (java) S 2214 2216 2170 0 -1 64 1999 0 0 0 124 1 0 0 16 0 13 0 197133432 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2225] ppid=2214 vsize=1714640 CPUtime=1.17
/proc/2216/task/2225/stat : 2225 (java) S 2214 2216 2170 0 -1 64 3750 0 0 0 117 0 0 0 17 0 13 0 197133432 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2226] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2226/stat : 2226 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197133432 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2216/tid=2227] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2227/stat : 2227 (java) S 2214 2216 2170 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197133432 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2216/tid=2231] ppid=2214 vsize=1714640 CPUtime=0
/proc/2216/task/2231/stat : 2231 (java) S 2214 2216 2170 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197297196 1755791360 155249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (Kb) 1714640

Sending SIGTERM to -2216
Sleeping 2 seconds

Child status: 143
Real time (s): 1784.54
CPU time (s): 1801.12
CPU user time (s): 1799.59
CPU system time (s): 1.52277
CPU usage (%): 100.929
Max. virtual memory (cumulated for all children) (Kb): 1715664

Launcher Data (download as text)

Begin job on node88 on Sat Jun  3 06:09:03 UTC 2006


FILE ID= 43324-1149314943

PBS_JOBID= 308288

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

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  c3570b707fa12d3d9c0d2ae31848c1b3

RANDOM SEED= 214962592


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

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


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1815368 kB
Buffers:         10464 kB
Cached:         162608 kB
SwapCached:       2300 kB
Active:          29724 kB
Inactive:       151952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1815368 kB
SwapTotal:     4096564 kB
SwapFree:      4085336 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          16796 kB
Slab:            45504 kB
Committed_AS:   319232 kB
PageTables:       1280 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node88 on Sat Jun  3 06:39:02 UTC 2006