Trace number 42604

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)-7776 1800.79 1794.6

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb
MD5SUMbae2de9f4879fca72b44ba1c72e8b4a3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-7863
Best CPU time to get the best result obtained on this benchmark1800.63
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7952
Optimality of the best value was proved NO
Number of variables2993
Total number of constraints112
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)73
Number of constraints which are nor clauses,nor cardinality constraints39
Minimum length of a constraint41
Maximum length of a constraint73
Number of terms in the objective function 2993
Biggest coefficient in the objective function 2020
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 525822
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 96167
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 525822
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	-7776

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 7950
/proc/meminfo: memFree=1592672/2055920 swapFree=4181380/4192956
[pid=7950] ppid=7948 vsize=168 CPUtime=0
/proc/7950/stat : 7950 (java) R 7948 7950 7904 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 201296241 172032 23 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 7979812 0 0 4096 0 0 0 0 17 1 0 0
/proc/7950/statm: 42 23 18 14 0 2 0

[startup+10.002 s]
/proc/loadavg: 1.08 1.02 1.00 2/76 7963
/proc/meminfo: memFree=1406280/2055920 swapFree=4181380/4192956
[pid=7950] ppid=7948 vsize=1715500 CPUtime=11.68
/proc/7950/stat : 7950 (java) R 7948 7950 7904 0 -1 0 53496 0 1 0 1146 22 0 0 25 0 13 0 201296241 1756672000 48340 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071708834 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 428875 48340 1910 14 0 415622 0
[pid=7950/tid=7951] ppid=7948 vsize=1715500 CPUtime=0.06
/proc/7950/task/7951/stat : 7951 (java) S 7948 7950 7904 0 -1 64 1567 0 0 0 6 0 0 0 16 0 13 0 201296244 1756672000 48340 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7952] ppid=7948 vsize=1715500 CPUtime=0.06
/proc/7950/task/7952/stat : 7952 (java) S 7948 7950 7904 0 -1 64 1619 0 0 0 6 0 0 0 16 0 13 0 201296244 1756672000 48340 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7953] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7953/stat : 7953 (java) S 7948 7950 7904 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 48340 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7954] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7954/stat : 7954 (java) S 7948 7950 7904 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 48340 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7955] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7955/stat : 7955 (java) S 7948 7950 7904 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 48340 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7956] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7956/stat : 7956 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201296251 1756672000 48340 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7957] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7957/stat : 7957 (java) S 7948 7950 7904 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 201296251 1756672000 48340 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7958] ppid=7948 vsize=1715500 CPUtime=1.31
/proc/7950/task/7958/stat : 7958 (java) S 7948 7950 7904 0 -1 64 3931 0 0 0 129 2 0 0 16 0 13 0 201296251 1756672000 48340 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7959] ppid=7948 vsize=1715500 CPUtime=1.01
/proc/7950/task/7959/stat : 7959 (java) S 7948 7950 7904 0 -1 64 2012 0 0 0 101 0 0 0 16 0 13 0 201296251 1756672000 48340 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7960] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7960/stat : 7960 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201296251 1756672000 48340 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7961] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7961/stat : 7961 (java) S 7948 7950 7904 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201296251 1756672000 48340 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7963] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7963/stat : 7963 (java) S 7948 7950 7904 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201297178 1756672000 48340 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.68
Current children cumulated vsize (Kb) 1715500

[startup+20.0102 s]
/proc/loadavg: 1.07 1.02 1.00 2/76 7967
/proc/meminfo: memFree=1378880/2055920 swapFree=4181380/4192956
[pid=7950] ppid=7948 vsize=1715500 CPUtime=21.94
/proc/7950/stat : 7950 (java) R 7948 7950 7904 0 -1 0 62069 0 1 0 2169 25 0 0 18 0 13 0 201296241 1756672000 55228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071086018 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 428875 55228 1912 14 0 415622 0
[pid=7950/tid=7951] ppid=7948 vsize=1715500 CPUtime=0.22
/proc/7950/task/7951/stat : 7951 (java) S 7948 7950 7904 0 -1 64 5239 0 0 0 21 1 0 0 17 0 13 0 201296244 1756672000 55228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7952] ppid=7948 vsize=1715500 CPUtime=0.24
/proc/7950/task/7952/stat : 7952 (java) S 7948 7950 7904 0 -1 64 6492 0 0 0 22 2 0 0 16 0 13 0 201296244 1756672000 55228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7953] ppid=7948 vsize=1715500 CPUtime=0.01
/proc/7950/task/7953/stat : 7953 (java) S 7948 7950 7904 0 -1 64 35 0 0 0 1 0 0 0 15 0 13 0 201296247 1756672000 55228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7954] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7954/stat : 7954 (java) S 7948 7950 7904 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 55228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7955] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7955/stat : 7955 (java) S 7948 7950 7904 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 55228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7956] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7956/stat : 7956 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201296251 1756672000 55228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7957] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7957/stat : 7957 (java) S 7948 7950 7904 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 201296251 1756672000 55228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7958] ppid=7948 vsize=1715500 CPUtime=1.4
/proc/7950/task/7958/stat : 7958 (java) S 7948 7950 7904 0 -1 64 3939 0 0 0 138 2 0 0 16 0 13 0 201296251 1756672000 55228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7959] ppid=7948 vsize=1715500 CPUtime=1.04
/proc/7950/task/7959/stat : 7959 (java) S 7948 7950 7904 0 -1 64 2015 0 0 0 104 0 0 0 16 0 13 0 201296251 1756672000 55228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7960] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7960/stat : 7960 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201296251 1756672000 55228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7961] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7961/stat : 7961 (java) S 7948 7950 7904 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201296251 1756672000 55228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7967] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7967/stat : 7967 (java) S 7948 7950 7904 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 201298118 1756672000 55228 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.94
Current children cumulated vsize (Kb) 1715500

[startup+30.0174 s]
/proc/loadavg: 1.06 1.01 1.00 2/76 7967
/proc/meminfo: memFree=1368064/2055920 swapFree=4181380/4192956
[pid=7950] ppid=7948 vsize=1715500 CPUtime=32.05
/proc/7950/stat : 7950 (java) R 7948 7950 7904 0 -1 0 66501 0 1 0 3177 28 0 0 25 0 13 0 201296241 1756672000 57889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071722400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 428875 57889 1912 14 0 415622 0
[pid=7950/tid=7951] ppid=7948 vsize=1715500 CPUtime=0.34
/proc/7950/task/7951/stat : 7951 (java) S 7948 7950 7904 0 -1 64 7488 0 0 0 32 2 0 0 16 0 13 0 201296244 1756672000 57889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7952] ppid=7948 vsize=1715500 CPUtime=0.34
/proc/7950/task/7952/stat : 7952 (java) S 7948 7950 7904 0 -1 64 8665 0 0 0 31 3 0 0 16 0 13 0 201296244 1756672000 57889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7953] ppid=7948 vsize=1715500 CPUtime=0.01
/proc/7950/task/7953/stat : 7953 (java) S 7948 7950 7904 0 -1 64 35 0 0 0 1 0 0 0 16 0 13 0 201296247 1756672000 57889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7954] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7954/stat : 7954 (java) S 7948 7950 7904 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 57889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7955] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7955/stat : 7955 (java) S 7948 7950 7904 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 57889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7956] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7956/stat : 7956 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201296251 1756672000 57889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7957] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7957/stat : 7957 (java) S 7948 7950 7904 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 201296251 1756672000 57889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7958] ppid=7948 vsize=1715500 CPUtime=1.4
/proc/7950/task/7958/stat : 7958 (java) S 7948 7950 7904 0 -1 64 3939 0 0 0 138 2 0 0 16 0 13 0 201296251 1756672000 57889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7959] ppid=7948 vsize=1715500 CPUtime=1.04
/proc/7950/task/7959/stat : 7959 (java) S 7948 7950 7904 0 -1 64 2015 0 0 0 104 0 0 0 16 0 13 0 201296251 1756672000 57889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7960] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7960/stat : 7960 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201296251 1756672000 57889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7961] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7961/stat : 7961 (java) S 7948 7950 7904 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201296251 1756672000 57889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7967] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7967/stat : 7967 (java) S 7948 7950 7904 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 201298118 1756672000 57889 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 32.05
Current children cumulated vsize (Kb) 1715500

[startup+40.0245 s]
/proc/loadavg: 1.05 1.01 1.00 2/76 7967
/proc/meminfo: memFree=1344832/2055920 swapFree=4181380/4192956
[pid=7950] ppid=7948 vsize=1715500 CPUtime=42.19
/proc/7950/stat : 7950 (java) R 7948 7950 7904 0 -1 0 73715 0 1 0 4188 31 0 0 25 0 13 0 201296241 1756672000 63730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071603657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 428875 63730 1912 14 0 415622 0
[pid=7950/tid=7951] ppid=7948 vsize=1715500 CPUtime=0.48
/proc/7950/task/7951/stat : 7951 (java) S 7948 7950 7904 0 -1 64 10886 0 0 0 44 4 0 0 16 0 13 0 201296244 1756672000 63730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7952] ppid=7948 vsize=1715500 CPUtime=0.49
/proc/7950/task/7952/stat : 7952 (java) S 7948 7950 7904 0 -1 64 12468 0 0 0 44 5 0 0 16 0 13 0 201296244 1756672000 63730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7953] ppid=7948 vsize=1715500 CPUtime=0.01
/proc/7950/task/7953/stat : 7953 (java) S 7948 7950 7904 0 -1 64 39 0 0 0 1 0 0 0 16 0 13 0 201296247 1756672000 63730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7954] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7954/stat : 7954 (java) S 7948 7950 7904 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 63730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7955] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7955/stat : 7955 (java) S 7948 7950 7904 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 63730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7956] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7956/stat : 7956 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201296251 1756672000 63730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7957] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7957/stat : 7957 (java) S 7948 7950 7904 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 201296251 1756672000 63730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7958] ppid=7948 vsize=1715500 CPUtime=1.4
/proc/7950/task/7958/stat : 7958 (java) S 7948 7950 7904 0 -1 64 3939 0 0 0 138 2 0 0 16 0 13 0 201296251 1756672000 63730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7959] ppid=7948 vsize=1715500 CPUtime=1.04
/proc/7950/task/7959/stat : 7959 (java) S 7948 7950 7904 0 -1 64 2015 0 0 0 104 0 0 0 16 0 13 0 201296251 1756672000 63730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7960] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7960/stat : 7960 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201296251 1756672000 63730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7961] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7961/stat : 7961 (java) S 7948 7950 7904 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201296251 1756672000 63730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7967] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7967/stat : 7967 (java) S 7948 7950 7904 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 201298118 1756672000 63730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.19
Current children cumulated vsize (Kb) 1715500

[startup+50.0318 s]
/proc/loadavg: 1.04 1.01 1.00 2/76 7967
/proc/meminfo: memFree=1335104/2055920 swapFree=4181380/4192956
[pid=7950] ppid=7948 vsize=1715500 CPUtime=52.31
/proc/7950/stat : 7950 (java) R 7948 7950 7904 0 -1 0 77451 0 1 0 5198 33 0 0 24 0 13 0 201296241 1756672000 66159 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071690457 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 428875 66159 1912 14 0 415622 0
[pid=7950/tid=7951] ppid=7948 vsize=1715500 CPUtime=0.6
/proc/7950/task/7951/stat : 7951 (java) S 7948 7950 7904 0 -1 64 12538 0 0 0 55 5 0 0 16 0 13 0 201296244 1756672000 66159 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7952] ppid=7948 vsize=1715500 CPUtime=0.61
/proc/7950/task/7952/stat : 7952 (java) S 7948 7950 7904 0 -1 64 14540 0 0 0 55 6 0 0 16 0 13 0 201296244 1756672000 66159 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7953] ppid=7948 vsize=1715500 CPUtime=0.01
/proc/7950/task/7953/stat : 7953 (java) S 7948 7950 7904 0 -1 64 41 0 0 0 1 0 0 0 16 0 13 0 201296247 1756672000 66159 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7954] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7954/stat : 7954 (java) S 7948 7950 7904 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 66159 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7955] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7955/stat : 7955 (java) S 7948 7950 7904 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 66159 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7956] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7956/stat : 7956 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201296251 1756672000 66159 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7957] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7957/stat : 7957 (java) S 7948 7950 7904 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 201296251 1756672000 66159 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7958] ppid=7948 vsize=1715500 CPUtime=1.4
/proc/7950/task/7958/stat : 7958 (java) S 7948 7950 7904 0 -1 64 3939 0 0 0 138 2 0 0 16 0 13 0 201296251 1756672000 66159 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7959] ppid=7948 vsize=1715500 CPUtime=1.04
/proc/7950/task/7959/stat : 7959 (java) S 7948 7950 7904 0 -1 64 2015 0 0 0 104 0 0 0 16 0 13 0 201296251 1756672000 66159 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7960] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7960/stat : 7960 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201296251 1756672000 66159 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7961] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7961/stat : 7961 (java) S 7948 7950 7904 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201296251 1756672000 66159 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7967] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7967/stat : 7967 (java) S 7948 7950 7904 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 201298118 1756672000 66159 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 52.31
Current children cumulated vsize (Kb) 1715500

[startup+60.0389 s]
/proc/loadavg: 1.03 1.01 1.00 2/76 7967
/proc/meminfo: memFree=1326720/2055920 swapFree=4181380/4192956
[pid=7950] ppid=7948 vsize=1715500 CPUtime=62.4
/proc/7950/stat : 7950 (java) R 7948 7950 7904 0 -1 0 80095 0 1 0 6205 35 0 0 25 0 13 0 201296241 1756672000 68256 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071604883 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 428875 68256 1912 14 0 415622 0
[pid=7950/tid=7951] ppid=7948 vsize=1715500 CPUtime=0.68
/proc/7950/task/7951/stat : 7951 (java) S 7948 7950 7904 0 -1 64 13709 0 0 0 63 5 0 0 16 0 13 0 201296244 1756672000 68256 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7952] ppid=7948 vsize=1715500 CPUtime=0.7
/proc/7950/task/7952/stat : 7952 (java) S 7948 7950 7904 0 -1 64 16002 0 0 0 63 7 0 0 16 0 13 0 201296244 1756672000 68256 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7953] ppid=7948 vsize=1715500 CPUtime=0.01
/proc/7950/task/7953/stat : 7953 (java) S 7948 7950 7904 0 -1 64 43 0 0 0 1 0 0 0 16 0 13 0 201296247 1756672000 68256 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7954] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7954/stat : 7954 (java) S 7948 7950 7904 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 68256 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7955] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7955/stat : 7955 (java) S 7948 7950 7904 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 68256 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7956] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7956/stat : 7956 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201296251 1756672000 68256 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=7950/tid=7954] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7954/stat : 7954 (java) S 7948 7950 7904 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7955] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7955/stat : 7955 (java) S 7948 7950 7904 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7956] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7956/stat : 7956 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7957] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7957/stat : 7957 (java) S 7948 7950 7904 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7958] ppid=7948 vsize=1715500 CPUtime=1.41
/proc/7950/task/7958/stat : 7958 (java) S 7948 7950 7904 0 -1 64 3939 0 0 0 139 2 0 0 16 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7959] ppid=7948 vsize=1715500 CPUtime=1.05
/proc/7950/task/7959/stat : 7959 (java) S 7948 7950 7904 0 -1 64 2015 0 0 0 105 0 0 0 17 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7960] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7960/stat : 7960 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7961] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7961/stat : 7961 (java) S 7948 7950 7904 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7967] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7967/stat : 7967 (java) S 7948 7950 7904 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 201298118 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.42
Current children cumulated vsize (Kb) 1715500

[startup+1791.31 s]
/proc/loadavg: 1.02 1.01 1.00 2/76 8162
/proc/meminfo: memFree=750336/2055920 swapFree=4181380/4192956
[pid=7950] ppid=7948 vsize=1715500 CPUtime=1797.43
/proc/7950/stat : 7950 (java) R 7948 7950 7904 0 -1 0 375434 0 1 0 179547 196 0 0 25 0 13 0 201296241 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071573553 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 428875 211678 1912 14 0 415622 0
[pid=7950/tid=7951] ppid=7948 vsize=1715500 CPUtime=5.21
/proc/7950/task/7951/stat : 7951 (java) S 7948 7950 7904 0 -1 64 145458 0 0 0 447 74 0 0 16 0 13 0 201296244 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7952] ppid=7948 vsize=1715500 CPUtime=5.19
/proc/7950/task/7952/stat : 7952 (java) S 7948 7950 7904 0 -1 64 142741 0 0 0 447 72 0 0 16 0 13 0 201296244 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7953] ppid=7948 vsize=1715500 CPUtime=0.21
/proc/7950/task/7953/stat : 7953 (java) S 7948 7950 7904 0 -1 64 258 0 0 0 12 9 0 0 16 0 13 0 201296247 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7954] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7954/stat : 7954 (java) S 7948 7950 7904 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7955] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7955/stat : 7955 (java) S 7948 7950 7904 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7956] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7956/stat : 7956 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7957] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7957/stat : 7957 (java) S 7948 7950 7904 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7958] ppid=7948 vsize=1715500 CPUtime=1.41
/proc/7950/task/7958/stat : 7958 (java) S 7948 7950 7904 0 -1 64 3939 0 0 0 139 2 0 0 16 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7959] ppid=7948 vsize=1715500 CPUtime=1.05
/proc/7950/task/7959/stat : 7959 (java) S 7948 7950 7904 0 -1 64 2015 0 0 0 105 0 0 0 17 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7960] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7960/stat : 7960 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7961] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7961/stat : 7961 (java) S 7948 7950 7904 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7967] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7967/stat : 7967 (java) S 7948 7950 7904 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 201298118 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (Kb) 1715500

[startup+1792.32 s]
/proc/loadavg: 1.02 1.01 1.00 2/76 8162
/proc/meminfo: memFree=750336/2055920 swapFree=4181380/4192956
[pid=7950] ppid=7948 vsize=1715500 CPUtime=1798.43
/proc/7950/stat : 7950 (java) R 7948 7950 7904 0 -1 0 375434 0 1 0 179647 196 0 0 25 0 13 0 201296241 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071573506 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 428875 211678 1912 14 0 415622 0
[pid=7950/tid=7951] ppid=7948 vsize=1715500 CPUtime=5.21
/proc/7950/task/7951/stat : 7951 (java) S 7948 7950 7904 0 -1 64 145458 0 0 0 447 74 0 0 16 0 13 0 201296244 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7952] ppid=7948 vsize=1715500 CPUtime=5.19
/proc/7950/task/7952/stat : 7952 (java) S 7948 7950 7904 0 -1 64 142741 0 0 0 447 72 0 0 16 0 13 0 201296244 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7953] ppid=7948 vsize=1715500 CPUtime=0.21
/proc/7950/task/7953/stat : 7953 (java) S 7948 7950 7904 0 -1 64 258 0 0 0 12 9 0 0 16 0 13 0 201296247 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7954] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7954/stat : 7954 (java) S 7948 7950 7904 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7955] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7955/stat : 7955 (java) S 7948 7950 7904 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7956] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7956/stat : 7956 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7957] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7957/stat : 7957 (java) S 7948 7950 7904 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7958] ppid=7948 vsize=1715500 CPUtime=1.41
/proc/7950/task/7958/stat : 7958 (java) S 7948 7950 7904 0 -1 64 3939 0 0 0 139 2 0 0 16 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7959] ppid=7948 vsize=1715500 CPUtime=1.05
/proc/7950/task/7959/stat : 7959 (java) S 7948 7950 7904 0 -1 64 2015 0 0 0 105 0 0 0 17 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7960] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7960/stat : 7960 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7961] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7961/stat : 7961 (java) S 7948 7950 7904 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7967] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7967/stat : 7967 (java) S 7948 7950 7904 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 201298118 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.43
Current children cumulated vsize (Kb) 1715500

[startup+1793.33 s]
/proc/loadavg: 1.02 1.01 1.00 2/76 8162
/proc/meminfo: memFree=750336/2055920 swapFree=4181380/4192956
[pid=7950] ppid=7948 vsize=1715500 CPUtime=1799.44
/proc/7950/stat : 7950 (java) R 7948 7950 7904 0 -1 0 375434 0 1 0 179748 196 0 0 25 0 13 0 201296241 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071573589 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 428875 211678 1912 14 0 415622 0
[pid=7950/tid=7951] ppid=7948 vsize=1715500 CPUtime=5.21
/proc/7950/task/7951/stat : 7951 (java) S 7948 7950 7904 0 -1 64 145458 0 0 0 447 74 0 0 16 0 13 0 201296244 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7952] ppid=7948 vsize=1715500 CPUtime=5.19
/proc/7950/task/7952/stat : 7952 (java) S 7948 7950 7904 0 -1 64 142741 0 0 0 447 72 0 0 16 0 13 0 201296244 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7953] ppid=7948 vsize=1715500 CPUtime=0.21
/proc/7950/task/7953/stat : 7953 (java) S 7948 7950 7904 0 -1 64 258 0 0 0 12 9 0 0 16 0 13 0 201296247 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7954] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7954/stat : 7954 (java) S 7948 7950 7904 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7955] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7955/stat : 7955 (java) S 7948 7950 7904 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7956] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7956/stat : 7956 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7957] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7957/stat : 7957 (java) S 7948 7950 7904 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7958] ppid=7948 vsize=1715500 CPUtime=1.41
/proc/7950/task/7958/stat : 7958 (java) S 7948 7950 7904 0 -1 64 3939 0 0 0 139 2 0 0 16 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7959] ppid=7948 vsize=1715500 CPUtime=1.05
/proc/7950/task/7959/stat : 7959 (java) S 7948 7950 7904 0 -1 64 2015 0 0 0 105 0 0 0 17 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7960] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7960/stat : 7960 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7961] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7961/stat : 7961 (java) S 7948 7950 7904 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7967] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7967/stat : 7967 (java) S 7948 7950 7904 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 201298118 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (Kb) 1715500

[startup+1794.33 s]
/proc/loadavg: 1.02 1.01 1.00 2/76 8162
/proc/meminfo: memFree=750336/2055920 swapFree=4181380/4192956
[pid=7950] ppid=7948 vsize=1715500 CPUtime=1800.45
/proc/7950/stat : 7950 (java) R 7948 7950 7904 0 -1 0 375434 0 1 0 179849 196 0 0 25 0 13 0 201296241 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071573406 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 428875 211678 1912 14 0 415622 0
[pid=7950/tid=7951] ppid=7948 vsize=1715500 CPUtime=5.21
/proc/7950/task/7951/stat : 7951 (java) S 7948 7950 7904 0 -1 64 145458 0 0 0 447 74 0 0 16 0 13 0 201296244 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7952] ppid=7948 vsize=1715500 CPUtime=5.19
/proc/7950/task/7952/stat : 7952 (java) S 7948 7950 7904 0 -1 64 142741 0 0 0 447 72 0 0 16 0 13 0 201296244 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7953] ppid=7948 vsize=1715500 CPUtime=0.21
/proc/7950/task/7953/stat : 7953 (java) S 7948 7950 7904 0 -1 64 258 0 0 0 12 9 0 0 16 0 13 0 201296247 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7954] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7954/stat : 7954 (java) S 7948 7950 7904 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7955] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7955/stat : 7955 (java) S 7948 7950 7904 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7956] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7956/stat : 7956 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7957] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7957/stat : 7957 (java) S 7948 7950 7904 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7958] ppid=7948 vsize=1715500 CPUtime=1.41
/proc/7950/task/7958/stat : 7958 (java) S 7948 7950 7904 0 -1 64 3939 0 0 0 139 2 0 0 16 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7959] ppid=7948 vsize=1715500 CPUtime=1.05
/proc/7950/task/7959/stat : 7959 (java) S 7948 7950 7904 0 -1 64 2015 0 0 0 105 0 0 0 17 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7960] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7960/stat : 7960 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7961] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7961/stat : 7961 (java) S 7948 7950 7904 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7967] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7967/stat : 7967 (java) S 7948 7950 7904 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 201298118 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (Kb) 1715500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.34 s]
/proc/loadavg: 1.02 1.01 1.00 2/76 8162
/proc/meminfo: memFree=750336/2055920 swapFree=4181380/4192956
[pid=7950] ppid=7948 vsize=1715500 CPUtime=1800.45
/proc/7950/stat : 7950 (java) R 7948 7950 7904 0 -1 0 375434 0 1 0 179849 196 0 0 25 0 13 0 201296241 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071573582 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 428875 211678 1912 14 0 415622 0
[pid=7950/tid=7951] ppid=7948 vsize=1715500 CPUtime=5.21
/proc/7950/task/7951/stat : 7951 (java) S 7948 7950 7904 0 -1 64 145458 0 0 0 447 74 0 0 16 0 13 0 201296244 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7952] ppid=7948 vsize=1715500 CPUtime=5.19
/proc/7950/task/7952/stat : 7952 (java) S 7948 7950 7904 0 -1 64 142741 0 0 0 447 72 0 0 16 0 13 0 201296244 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7953] ppid=7948 vsize=1715500 CPUtime=0.21
/proc/7950/task/7953/stat : 7953 (java) S 7948 7950 7904 0 -1 64 258 0 0 0 12 9 0 0 16 0 13 0 201296247 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7954] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7954/stat : 7954 (java) S 7948 7950 7904 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7955] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7955/stat : 7955 (java) S 7948 7950 7904 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201296247 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7956] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7956/stat : 7956 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7957] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7957/stat : 7957 (java) S 7948 7950 7904 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7958] ppid=7948 vsize=1715500 CPUtime=1.41
/proc/7950/task/7958/stat : 7958 (java) S 7948 7950 7904 0 -1 64 3939 0 0 0 139 2 0 0 16 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7959] ppid=7948 vsize=1715500 CPUtime=1.05
/proc/7950/task/7959/stat : 7959 (java) S 7948 7950 7904 0 -1 64 2015 0 0 0 105 0 0 0 17 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7960] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7960/stat : 7960 (java) S 7948 7950 7904 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7961] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7961/stat : 7961 (java) S 7948 7950 7904 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201296251 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7967] ppid=7948 vsize=1715500 CPUtime=0
/proc/7950/task/7967/stat : 7967 (java) S 7948 7950 7904 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 201298118 1756672000 211678 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (Kb) 1715500

Sending SIGTERM to -7950
Sleeping 2 seconds

Child status: 143
Real time (s): 1794.6
CPU time (s): 1800.79
CPU user time (s): 1798.67
CPU system time (s): 2.11168
CPU usage (%): 100.345
Max. virtual memory (cumulated for all children) (Kb): 1715500

Launcher Data (download as text)

Begin job on node11 on Sat Jun  3 17:38:57 UTC 2006


FILE ID= 42604-1149356337

PBS_JOBID= 311269

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

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  bae2de9f4879fca72b44ba1c72e8b4a3

RANDOM SEED= 327788332


/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.222
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	: 5931.00
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.222
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:       1592880 kB
Buffers:         22828 kB
Cached:         372256 kB
SwapCached:       3260 kB
Active:          58932 kB
Inactive:       344920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1592880 kB
SwapTotal:     4192956 kB
SwapFree:      4181380 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            45176 kB
Committed_AS:   383184 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node11 on Sat Jun  3 18:08:52 UTC 2006