Trace number 43118

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)15595520 1801.11 1785.46

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb
MD5SUM76c0eb5e4f8bf9449c4bca06a067ffea
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15595520
Best CPU time to get the best result obtained on this benchmark1801.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15325184
Optimality of the best value was proved NO
Number of variables3100
Total number of constraints120
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint31
Maximum length of a constraint300
Number of terms in the objective function 3100
Biggest coefficient in the objective function 4831838208
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 515495338528
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 4831838208
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 515495338528
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	15595520

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.93 3/64 1922
/proc/meminfo: memFree=1746072/2055920 swapFree=4181844/4192956
[pid=1922] ppid=1920 vsize=172 CPUtime=0
/proc/1922/stat : 1922 (java) R 1920 1922 1875 0 -1 0 201 0 0 0 0 0 0 0 18 0 1 0 195966421 176128 24 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 5686052 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 43 24 18 14 0 3 0

[startup+10.0014 s]
/proc/loadavg: 0.93 0.97 0.93 2/76 1936
/proc/meminfo: memFree=1562328/2055920 swapFree=4181844/4192956
[pid=1922] ppid=1920 vsize=1713152 CPUtime=11.24
/proc/1922/stat : 1922 (java) R 1920 1922 1875 0 -1 0 51150 0 1 0 1102 22 0 0 25 0 13 0 195966421 1754267648 47678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071633275 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1922/statm: 428288 47678 1907 14 0 415035 0
[pid=1922/tid=1923] ppid=1920 vsize=1713152 CPUtime=0.1
/proc/1922/task/1923/stat : 1923 (java) S 1920 1922 1875 0 -1 64 2326 0 0 0 10 0 0 0 16 0 13 0 195966424 1754267648 47678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1924] ppid=1920 vsize=1713152 CPUtime=0.1
/proc/1922/task/1924/stat : 1924 (java) S 1920 1922 1875 0 -1 64 2161 0 0 0 9 1 0 0 16 0 13 0 195966424 1754267648 47678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1925] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1925/stat : 1925 (java) S 1920 1922 1875 0 -1 64 32 0 0 0 0 0 0 0 17 0 13 0 195966426 1754267648 47678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1926] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1926/stat : 1926 (java) S 1920 1922 1875 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 47678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1927] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1927/stat : 1927 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 47678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1928] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1928/stat : 1928 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195966438 1754267648 47678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1929] ppid=1920 vsize=1713152 CPUtime=0.01
/proc/1922/task/1929/stat : 1929 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 1 0 0 0 17 0 13 0 195966438 1754267648 47678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1930] ppid=1920 vsize=1713152 CPUtime=0.83
/proc/1922/task/1930/stat : 1930 (java) S 1920 1922 1875 0 -1 64 1616 0 0 0 83 0 0 0 17 0 13 0 195966438 1754267648 47678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1931] ppid=1920 vsize=1713152 CPUtime=0.93
/proc/1922/task/1931/stat : 1931 (java) S 1920 1922 1875 0 -1 64 1716 0 0 0 92 1 0 0 16 0 13 0 195966438 1754267648 47678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1932] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1932/stat : 1932 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195966438 1754267648 47678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1933] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1933/stat : 1933 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195966438 1754267648 47678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1936] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1936/stat : 1936 (java) S 1920 1922 1875 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 195966560 1754267648 47678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.24
Current children cumulated vsize (Kb) 1713152

[startup+20.008 s]
/proc/loadavg: 0.94 0.97 0.93 2/76 1936
/proc/meminfo: memFree=1577560/2055920 swapFree=4181844/4192956
[pid=1922] ppid=1920 vsize=1713152 CPUtime=21.25
/proc/1922/stat : 1922 (java) R 1920 1922 1875 0 -1 0 51538 0 1 0 2102 23 0 0 25 0 13 0 195966421 1754267648 43885 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071589382 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1922/statm: 428288 43885 1907 14 0 415035 0
[pid=1922/tid=1923] ppid=1920 vsize=1713152 CPUtime=0.12
/proc/1922/task/1923/stat : 1923 (java) S 1920 1922 1875 0 -1 64 2509 0 0 0 11 1 0 0 16 0 13 0 195966424 1754267648 43885 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1924] ppid=1920 vsize=1713152 CPUtime=0.11
/proc/1922/task/1924/stat : 1924 (java) S 1920 1922 1875 0 -1 64 2348 0 0 0 10 1 0 0 15 0 13 0 195966424 1754267648 43885 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1925] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1925/stat : 1925 (java) S 1920 1922 1875 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 195966426 1754267648 43885 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1926] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1926/stat : 1926 (java) S 1920 1922 1875 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 43885 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1927] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1927/stat : 1927 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 43885 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1928] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1928/stat : 1928 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195966438 1754267648 43885 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1929] ppid=1920 vsize=1713152 CPUtime=0.01
/proc/1922/task/1929/stat : 1929 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 1 0 0 0 17 0 13 0 195966438 1754267648 43885 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1930] ppid=1920 vsize=1713152 CPUtime=0.84
/proc/1922/task/1930/stat : 1930 (java) S 1920 1922 1875 0 -1 64 1616 0 0 0 84 0 0 0 17 0 13 0 195966438 1754267648 43885 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1931] ppid=1920 vsize=1713152 CPUtime=0.93
/proc/1922/task/1931/stat : 1931 (java) S 1920 1922 1875 0 -1 64 1716 0 0 0 92 1 0 0 16 0 13 0 195966438 1754267648 43885 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1932] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1932/stat : 1932 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195966438 1754267648 43885 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1933] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1933/stat : 1933 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195966438 1754267648 43885 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1936] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1936/stat : 1936 (java) S 1920 1922 1875 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 195966560 1754267648 43885 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.25
Current children cumulated vsize (Kb) 1713152

[startup+30.0157 s]
/proc/loadavg: 0.95 0.97 0.93 2/76 1936
/proc/meminfo: memFree=1584728/2055920 swapFree=4181844/4192956
[pid=1922] ppid=1920 vsize=1713152 CPUtime=31.28
/proc/1922/stat : 1922 (java) R 1920 1922 1875 0 -1 0 52234 0 1 0 3104 24 0 0 25 0 13 0 195966421 1754267648 42101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071430824 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1922/statm: 428288 42101 1907 14 0 415035 0
[pid=1922/tid=1923] ppid=1920 vsize=1713152 CPUtime=0.14
/proc/1922/task/1923/stat : 1923 (java) S 1920 1922 1875 0 -1 64 2861 0 0 0 13 1 0 0 15 0 13 0 195966424 1754267648 42101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1924] ppid=1920 vsize=1713152 CPUtime=0.13
/proc/1922/task/1924/stat : 1924 (java) S 1920 1922 1875 0 -1 64 2670 0 0 0 12 1 0 0 16 0 13 0 195966424 1754267648 42101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1925] ppid=1920 vsize=1713152 CPUtime=0.01
/proc/1922/task/1925/stat : 1925 (java) S 1920 1922 1875 0 -1 64 32 0 0 0 1 0 0 0 16 0 13 0 195966426 1754267648 42101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1926] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1926/stat : 1926 (java) S 1920 1922 1875 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 42101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1927] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1927/stat : 1927 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 42101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1928] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1928/stat : 1928 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195966438 1754267648 42101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1929] ppid=1920 vsize=1713152 CPUtime=0.01
/proc/1922/task/1929/stat : 1929 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 1 0 0 0 17 0 13 0 195966438 1754267648 42101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1930] ppid=1920 vsize=1713152 CPUtime=0.84
/proc/1922/task/1930/stat : 1930 (java) S 1920 1922 1875 0 -1 64 1616 0 0 0 84 0 0 0 17 0 13 0 195966438 1754267648 42101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1931] ppid=1920 vsize=1713152 CPUtime=0.93
/proc/1922/task/1931/stat : 1931 (java) S 1920 1922 1875 0 -1 64 1716 0 0 0 92 1 0 0 16 0 13 0 195966438 1754267648 42101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1932] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1932/stat : 1932 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195966438 1754267648 42101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1933] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1933/stat : 1933 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195966438 1754267648 42101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1936] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1936/stat : 1936 (java) S 1920 1922 1875 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 195966560 1754267648 42101 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.28
Current children cumulated vsize (Kb) 1713152

[startup+40.0234 s]
/proc/loadavg: 0.95 0.97 0.93 2/76 1936
/proc/meminfo: memFree=1589784/2055920 swapFree=4181844/4192956
[pid=1922] ppid=1920 vsize=1713152 CPUtime=41.31
/proc/1922/stat : 1922 (java) R 1920 1922 1875 0 -1 0 53108 0 1 0 4106 25 0 0 18 0 13 0 195966421 1754267648 40829 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071430389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1922/statm: 428288 40829 1907 14 0 415035 0
[pid=1922/tid=1923] ppid=1920 vsize=1713152 CPUtime=0.18
/proc/1922/task/1923/stat : 1923 (java) S 1920 1922 1875 0 -1 64 3379 0 0 0 17 1 0 0 16 0 13 0 195966424 1754267648 40829 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1924] ppid=1920 vsize=1713152 CPUtime=0.16
/proc/1922/task/1924/stat : 1924 (java) S 1920 1922 1875 0 -1 64 2996 0 0 0 15 1 0 0 15 0 13 0 195966424 1754267648 40829 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1925] ppid=1920 vsize=1713152 CPUtime=0.02
/proc/1922/task/1925/stat : 1925 (java) S 1920 1922 1875 0 -1 64 32 0 0 0 1 1 0 0 15 0 13 0 195966426 1754267648 40829 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1926] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1926/stat : 1926 (java) S 1920 1922 1875 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 40829 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1927] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1927/stat : 1927 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 40829 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1928] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1928/stat : 1928 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195966438 1754267648 40829 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1929] ppid=1920 vsize=1713152 CPUtime=0.01
/proc/1922/task/1929/stat : 1929 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 1 0 0 0 17 0 13 0 195966438 1754267648 40829 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1930] ppid=1920 vsize=1713152 CPUtime=0.84
/proc/1922/task/1930/stat : 1930 (java) S 1920 1922 1875 0 -1 64 1616 0 0 0 84 0 0 0 17 0 13 0 195966438 1754267648 40829 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1931] ppid=1920 vsize=1713152 CPUtime=0.93
/proc/1922/task/1931/stat : 1931 (java) S 1920 1922 1875 0 -1 64 1716 0 0 0 92 1 0 0 16 0 13 0 195966438 1754267648 40829 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1932] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1932/stat : 1932 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195966438 1754267648 40829 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1933] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1933/stat : 1933 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195966438 1754267648 40829 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1936] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1936/stat : 1936 (java) S 1920 1922 1875 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 195966560 1754267648 40829 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.31
Current children cumulated vsize (Kb) 1713152

[startup+50.031 s]
/proc/loadavg: 0.96 0.97 0.93 2/76 1936
/proc/meminfo: memFree=1593112/2055920 swapFree=4181844/4192956
[pid=1922] ppid=1920 vsize=1713152 CPUtime=51.33
/proc/1922/stat : 1922 (java) R 1920 1922 1875 0 -1 0 53484 0 1 0 5108 25 0 0 17 0 13 0 195966421 1754267648 40012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071709262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1922/statm: 428288 40012 1907 14 0 415035 0
[pid=1922/tid=1923] ppid=1920 vsize=1713152 CPUtime=0.2
/proc/1922/task/1923/stat : 1923 (java) S 1920 1922 1875 0 -1 64 3539 0 0 0 19 1 0 0 15 0 13 0 195966424 1754267648 40012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1924] ppid=1920 vsize=1713152 CPUtime=0.18
/proc/1922/task/1924/stat : 1924 (java) S 1920 1922 1875 0 -1 64 3183 0 0 0 17 1 0 0 16 0 13 0 195966424 1754267648 40012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1925] ppid=1920 vsize=1713152 CPUtime=0.02
/proc/1922/task/1925/stat : 1925 (java) S 1920 1922 1875 0 -1 64 32 0 0 0 1 1 0 0 15 0 13 0 195966426 1754267648 40012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1926] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1926/stat : 1926 (java) S 1920 1922 1875 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 40012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1927] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1927/stat : 1927 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 40012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1928] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1928/stat : 1928 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195966438 1754267648 40012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1929] ppid=1920 vsize=1713152 CPUtime=0.01
/proc/1922/task/1929/stat : 1929 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 1 0 0 0 17 0 13 0 195966438 1754267648 40012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1930] ppid=1920 vsize=1713152 CPUtime=0.84
/proc/1922/task/1930/stat : 1930 (java) S 1920 1922 1875 0 -1 64 1616 0 0 0 84 0 0 0 17 0 13 0 195966438 1754267648 40012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1931] ppid=1920 vsize=1713152 CPUtime=0.93
/proc/1922/task/1931/stat : 1931 (java) S 1920 1922 1875 0 -1 64 1716 0 0 0 92 1 0 0 16 0 13 0 195966438 1754267648 40012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1932] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1932/stat : 1932 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195966438 1754267648 40012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1933] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1933/stat : 1933 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195966438 1754267648 40012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1936] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1936/stat : 1936 (java) S 1920 1922 1875 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 195966560 1754267648 40012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.33
Current children cumulated vsize (Kb) 1713152

[startup+60.0387 s]
/proc/loadavg: 0.97 0.97 0.93 2/76 1936
/proc/meminfo: memFree=1595224/2055920 swapFree=4181844/4192956
[pid=1922] ppid=1920 vsize=1713152 CPUtime=61.34
/proc/1922/stat : 1922 (java) R 1920 1922 1875 0 -1 0 53951 0 1 0 6108 26 0 0 17 0 13 0 195966421 1754267648 39466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071632449 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1922/statm: 428288 39466 1907 14 0 415035 0
[pid=1922/tid=1923] ppid=1920 vsize=1713152 CPUtime=0.22
/proc/1922/task/1923/stat : 1923 (java) S 1920 1922 1875 0 -1 64 3813 0 0 0 21 1 0 0 15 0 13 0 195966424 1754267648 39466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1924] ppid=1920 vsize=1713152 CPUtime=0.19
/proc/1922/task/1924/stat : 1924 (java) S 1920 1922 1875 0 -1 64 3347 0 0 0 18 1 0 0 16 0 13 0 195966424 1754267648 39466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1925] ppid=1920 vsize=1713152 CPUtime=0.03
/proc/1922/task/1925/stat : 1925 (java) S 1920 1922 1875 0 -1 64 32 0 0 0 2 1 0 0 15 0 13 0 195966426 1754267648 39466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1926] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1926/stat : 1926 (java) S 1920 1922 1875 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 39466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1927] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1927/stat : 1927 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 39466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1928] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1928/stat : 1928 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195966438 1754267648 39466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=1922/tid=1926] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1926/stat : 1926 (java) S 1920 1922 1875 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 118625 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1927] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1927/stat : 1927 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 118625 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1928] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1928/stat : 1928 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195966438 1754267648 118625 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1929] ppid=1920 vsize=1713152 CPUtime=0.01
/proc/1922/task/1929/stat : 1929 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 1 0 0 0 17 0 13 0 195966438 1754267648 118625 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1930] ppid=1920 vsize=1713152 CPUtime=0.89
/proc/1922/task/1930/stat : 1930 (java) S 1920 1922 1875 0 -1 64 1622 0 0 0 89 0 0 0 16 0 13 0 195966438 1754267648 118625 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1931] ppid=1920 vsize=1713152 CPUtime=0.98
/proc/1922/task/1931/stat : 1931 (java) S 1920 1922 1875 0 -1 64 1720 0 0 0 97 1 0 0 17 0 13 0 195966438 1754267648 118625 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1932] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1932/stat : 1932 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195966438 1754267648 118625 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1933] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1933/stat : 1933 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195966438 1754267648 118625 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1936] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1936/stat : 1936 (java) S 1920 1922 1875 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 195966560 1754267648 118625 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.82
Current children cumulated vsize (Kb) 1713152

[startup+1782.29 s]
/proc/loadavg: 1.01 1.01 0.97 2/76 2150
/proc/meminfo: memFree=1277344/2055920 swapFree=4181844/4192956
[pid=1922] ppid=1920 vsize=1713152 CPUtime=1797.83
/proc/1922/stat : 1922 (java) R 1920 1922 1875 0 -1 0 214968 0 1 0 179572 211 0 0 25 0 13 0 195966421 1754267648 118589 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071633893 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1922/statm: 428288 118589 1911 14 0 415035 0
[pid=1922/tid=1923] ppid=1920 vsize=1713152 CPUtime=15.92
/proc/1922/task/1923/stat : 1923 (java) S 1920 1922 1875 0 -1 64 44872 0 0 0 1542 50 0 0 16 0 13 0 195966424 1754267648 118589 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1924] ppid=1920 vsize=1713152 CPUtime=15.74
/proc/1922/task/1924/stat : 1924 (java) S 1920 1922 1875 0 -1 64 43330 0 0 0 1530 44 0 0 15 0 13 0 195966424 1754267648 118589 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1925] ppid=1920 vsize=1713152 CPUtime=0.9
/proc/1922/task/1925/stat : 1925 (java) S 1920 1922 1875 0 -1 64 260 0 0 0 51 39 0 0 16 0 13 0 195966426 1754267648 118589 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1926] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1926/stat : 1926 (java) S 1920 1922 1875 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 118589 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1927] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1927/stat : 1927 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 118589 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1928] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1928/stat : 1928 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195966438 1754267648 118589 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1929] ppid=1920 vsize=1713152 CPUtime=0.01
/proc/1922/task/1929/stat : 1929 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 1 0 0 0 17 0 13 0 195966438 1754267648 118589 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1930] ppid=1920 vsize=1713152 CPUtime=0.89
/proc/1922/task/1930/stat : 1930 (java) S 1920 1922 1875 0 -1 64 1622 0 0 0 89 0 0 0 16 0 13 0 195966438 1754267648 118589 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1931] ppid=1920 vsize=1713152 CPUtime=0.98
/proc/1922/task/1931/stat : 1931 (java) S 1920 1922 1875 0 -1 64 1720 0 0 0 97 1 0 0 17 0 13 0 195966438 1754267648 118589 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1932] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1932/stat : 1932 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195966438 1754267648 118589 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1933] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1933/stat : 1933 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195966438 1754267648 118589 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1936] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1936/stat : 1936 (java) S 1920 1922 1875 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 195966560 1754267648 118589 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (Kb) 1713152

[startup+1783.29 s]
/proc/loadavg: 1.01 1.01 0.97 2/76 2150
/proc/meminfo: memFree=1277088/2055920 swapFree=4181844/4192956
[pid=1922] ppid=1920 vsize=1713152 CPUtime=1798.86
/proc/1922/stat : 1922 (java) R 1920 1922 1875 0 -1 0 215100 0 1 0 179675 211 0 0 23 0 13 0 195966421 1754267648 118712 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071633676 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1922/statm: 428288 118712 1911 14 0 415035 0
[pid=1922/tid=1923] ppid=1920 vsize=1713152 CPUtime=15.94
/proc/1922/task/1923/stat : 1923 (java) S 1920 1922 1875 0 -1 64 44957 0 0 0 1544 50 0 0 16 0 13 0 195966424 1754267648 118712 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1924] ppid=1920 vsize=1713152 CPUtime=15.77
/proc/1922/task/1924/stat : 1924 (java) S 1920 1922 1875 0 -1 64 43375 0 0 0 1533 44 0 0 16 0 13 0 195966424 1754267648 118712 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1925] ppid=1920 vsize=1713152 CPUtime=0.9
/proc/1922/task/1925/stat : 1925 (java) S 1920 1922 1875 0 -1 64 260 0 0 0 51 39 0 0 15 0 13 0 195966426 1754267648 118712 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1926] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1926/stat : 1926 (java) S 1920 1922 1875 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 118712 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1927] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1927/stat : 1927 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 118712 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1928] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1928/stat : 1928 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195966438 1754267648 118712 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1929] ppid=1920 vsize=1713152 CPUtime=0.01
/proc/1922/task/1929/stat : 1929 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 1 0 0 0 17 0 13 0 195966438 1754267648 118712 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1930] ppid=1920 vsize=1713152 CPUtime=0.89
/proc/1922/task/1930/stat : 1930 (java) S 1920 1922 1875 0 -1 64 1622 0 0 0 89 0 0 0 16 0 13 0 195966438 1754267648 118712 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1931] ppid=1920 vsize=1713152 CPUtime=0.98
/proc/1922/task/1931/stat : 1931 (java) S 1920 1922 1875 0 -1 64 1720 0 0 0 97 1 0 0 17 0 13 0 195966438 1754267648 118712 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1932] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1932/stat : 1932 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195966438 1754267648 118712 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1933] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1933/stat : 1933 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195966438 1754267648 118712 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1936] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1936/stat : 1936 (java) S 1920 1922 1875 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 195966560 1754267648 118712 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.86
Current children cumulated vsize (Kb) 1713152

[startup+1784.3 s]
/proc/loadavg: 1.01 1.01 0.97 2/76 2150
/proc/meminfo: memFree=1277024/2055920 swapFree=4181844/4192956
[pid=1922] ppid=1920 vsize=1713152 CPUtime=1799.87
/proc/1922/stat : 1922 (java) R 1920 1922 1875 0 -1 0 215116 0 1 0 179776 211 0 0 21 0 13 0 195966421 1754267648 118727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071430587 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1922/statm: 428288 118727 1911 14 0 415035 0
[pid=1922/tid=1923] ppid=1920 vsize=1713152 CPUtime=15.94
/proc/1922/task/1923/stat : 1923 (java) S 1920 1922 1875 0 -1 64 44972 0 0 0 1544 50 0 0 16 0 13 0 195966424 1754267648 118727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1924] ppid=1920 vsize=1713152 CPUtime=15.77
/proc/1922/task/1924/stat : 1924 (java) S 1920 1922 1875 0 -1 64 43375 0 0 0 1533 44 0 0 16 0 13 0 195966424 1754267648 118727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1925] ppid=1920 vsize=1713152 CPUtime=0.9
/proc/1922/task/1925/stat : 1925 (java) S 1920 1922 1875 0 -1 64 260 0 0 0 51 39 0 0 16 0 13 0 195966426 1754267648 118727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1926] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1926/stat : 1926 (java) S 1920 1922 1875 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 118727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1927] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1927/stat : 1927 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 118727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1928] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1928/stat : 1928 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195966438 1754267648 118727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1929] ppid=1920 vsize=1713152 CPUtime=0.01
/proc/1922/task/1929/stat : 1929 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 1 0 0 0 17 0 13 0 195966438 1754267648 118727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1930] ppid=1920 vsize=1713152 CPUtime=0.89
/proc/1922/task/1930/stat : 1930 (java) S 1920 1922 1875 0 -1 64 1622 0 0 0 89 0 0 0 16 0 13 0 195966438 1754267648 118727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1931] ppid=1920 vsize=1713152 CPUtime=0.98
/proc/1922/task/1931/stat : 1931 (java) S 1920 1922 1875 0 -1 64 1720 0 0 0 97 1 0 0 17 0 13 0 195966438 1754267648 118727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1932] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1932/stat : 1932 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195966438 1754267648 118727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1933] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1933/stat : 1933 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195966438 1754267648 118727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1936] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1936/stat : 1936 (java) S 1920 1922 1875 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 195966560 1754267648 118727 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.87
Current children cumulated vsize (Kb) 1713152

[startup+1785.3 s]
/proc/loadavg: 1.01 1.01 0.97 2/76 2150
/proc/meminfo: memFree=1277024/2055920 swapFree=4181844/4192956
[pid=1922] ppid=1920 vsize=1713152 CPUtime=1800.89
/proc/1922/stat : 1922 (java) R 1920 1922 1875 0 -1 0 215120 0 1 0 179878 211 0 0 18 0 13 0 195966421 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071634455 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1922/statm: 428288 118729 1911 14 0 415035 0
[pid=1922/tid=1923] ppid=1920 vsize=1713152 CPUtime=15.96
/proc/1922/task/1923/stat : 1923 (java) S 1920 1922 1875 0 -1 64 44973 0 0 0 1546 50 0 0 16 0 13 0 195966424 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1924] ppid=1920 vsize=1713152 CPUtime=15.79
/proc/1922/task/1924/stat : 1924 (java) S 1920 1922 1875 0 -1 64 43376 0 0 0 1535 44 0 0 15 0 13 0 195966424 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1925] ppid=1920 vsize=1713152 CPUtime=0.9
/proc/1922/task/1925/stat : 1925 (java) S 1920 1922 1875 0 -1 64 260 0 0 0 51 39 0 0 16 0 13 0 195966426 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1926] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1926/stat : 1926 (java) S 1920 1922 1875 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1927] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1927/stat : 1927 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1928] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1928/stat : 1928 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195966438 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1929] ppid=1920 vsize=1713152 CPUtime=0.01
/proc/1922/task/1929/stat : 1929 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 1 0 0 0 17 0 13 0 195966438 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1930] ppid=1920 vsize=1713152 CPUtime=0.89
/proc/1922/task/1930/stat : 1930 (java) S 1920 1922 1875 0 -1 64 1622 0 0 0 89 0 0 0 16 0 13 0 195966438 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1931] ppid=1920 vsize=1713152 CPUtime=0.98
/proc/1922/task/1931/stat : 1931 (java) S 1920 1922 1875 0 -1 64 1720 0 0 0 97 1 0 0 17 0 13 0 195966438 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1932] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1932/stat : 1932 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195966438 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1933] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1933/stat : 1933 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195966438 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1936] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1936/stat : 1936 (java) S 1920 1922 1875 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 195966560 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.89
Current children cumulated vsize (Kb) 1713152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785.31 s]
/proc/loadavg: 1.01 1.01 0.97 2/76 2150
/proc/meminfo: memFree=1277024/2055920 swapFree=4181844/4192956
[pid=1922] ppid=1920 vsize=1713152 CPUtime=1800.9
/proc/1922/stat : 1922 (java) R 1920 1922 1875 0 -1 0 215120 0 1 0 179879 211 0 0 18 0 13 0 195966421 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071709219 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1922/statm: 428288 118729 1911 14 0 415035 0
[pid=1922/tid=1923] ppid=1920 vsize=1713152 CPUtime=15.96
/proc/1922/task/1923/stat : 1923 (java) S 1920 1922 1875 0 -1 64 44973 0 0 0 1546 50 0 0 16 0 13 0 195966424 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1924] ppid=1920 vsize=1713152 CPUtime=15.79
/proc/1922/task/1924/stat : 1924 (java) S 1920 1922 1875 0 -1 64 43376 0 0 0 1535 44 0 0 15 0 13 0 195966424 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1925] ppid=1920 vsize=1713152 CPUtime=0.9
/proc/1922/task/1925/stat : 1925 (java) S 1920 1922 1875 0 -1 64 260 0 0 0 51 39 0 0 16 0 13 0 195966426 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1926] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1926/stat : 1926 (java) S 1920 1922 1875 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1927] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1927/stat : 1927 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195966427 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1928] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1928/stat : 1928 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195966438 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1929] ppid=1920 vsize=1713152 CPUtime=0.01
/proc/1922/task/1929/stat : 1929 (java) S 1920 1922 1875 0 -1 64 5 0 0 0 1 0 0 0 17 0 13 0 195966438 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1930] ppid=1920 vsize=1713152 CPUtime=0.89
/proc/1922/task/1930/stat : 1930 (java) S 1920 1922 1875 0 -1 64 1622 0 0 0 89 0 0 0 16 0 13 0 195966438 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1931] ppid=1920 vsize=1713152 CPUtime=0.98
/proc/1922/task/1931/stat : 1931 (java) S 1920 1922 1875 0 -1 64 1720 0 0 0 97 1 0 0 17 0 13 0 195966438 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1932] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1932/stat : 1932 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195966438 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1922/tid=1933] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1933/stat : 1933 (java) S 1920 1922 1875 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195966438 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1922/tid=1936] ppid=1920 vsize=1713152 CPUtime=0
/proc/1922/task/1936/stat : 1936 (java) S 1920 1922 1875 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 195966560 1754267648 118729 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (Kb) 1713152

Sending SIGTERM to -1922
Sleeping 2 seconds

Child status: 143
Real time (s): 1785.46
CPU time (s): 1801.11
CPU user time (s): 1798.92
CPU system time (s): 2.18567
CPU usage (%): 100.876
Max. virtual memory (cumulated for all children) (Kb): 1713152

Launcher Data (download as text)

Begin job on node65 on Sat Jun  3 02:49:31 UTC 2006


FILE ID= 43118-1149302971

PBS_JOBID= 307467

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node65/43118-1149302971/instance-43118-1149302971.opb 600355883
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-43118-1149302971 -o ROOT/results/node65/solver-43118-1149302971 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node65/43118-1149302971/instance-43118-1149302971.opb 600355883

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  76c0eb5e4f8bf9449c4bca06a067ffea

RANDOM SEED= 600355883


/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.283
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.283
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:       1746344 kB
Buffers:         27456 kB
Cached:         214272 kB
SwapCached:       2800 kB
Active:          89404 kB
Inactive:       160984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1746344 kB
SwapTotal:     4192956 kB
SwapFree:      4181844 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14748 kB
Slab:            45208 kB
Committed_AS:   280964 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node65 on Sat Jun  3 03:19:16 UTC 2006