Trace number 43137

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)142146784 1801.33 1779.57

General information on the benchmark

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

Verifier Data (download as text)

OK	142146784

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.03 1.01 0.94 3/64 10973
/proc/meminfo: memFree=1943760/2055920 swapFree=4181388/4192956
[pid=10973] ppid=10971 vsize=168 CPUtime=0
/proc/10973/stat : 10973 (java) R 10971 10973 10927 0 -1 0 33 0 0 0 0 0 0 0 19 0 1 0 196097861 172032 17 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 2614138 0 0 4096 0 0 0 0 17 1 0 0
/proc/10973/statm: 42 23 18 14 0 2 0

[startup+10.0019 s]
/proc/loadavg: 1.17 1.04 0.95 2/76 10985
/proc/meminfo: memFree=1753776/2055920 swapFree=4181388/4192956
[pid=10973] ppid=10971 vsize=1720836 CPUtime=11.67
/proc/10973/stat : 10973 (java) R 10971 10973 10927 0 -1 0 56400 0 1 0 1142 25 0 0 25 0 13 0 196097861 1762136064 49303 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071664507 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10973/statm: 430209 49303 1905 14 0 416956 0
[pid=10973/tid=10974] ppid=10971 vsize=1720836 CPUtime=0.13
/proc/10973/task/10974/stat : 10974 (java) S 10971 10973 10927 0 -1 64 3744 0 0 0 12 1 0 0 16 0 13 0 196097865 1762136064 49303 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10975] ppid=10971 vsize=1720836 CPUtime=0.12
/proc/10973/task/10975/stat : 10975 (java) S 10971 10973 10927 0 -1 64 3327 0 0 0 11 1 0 0 16 0 13 0 196097865 1762136064 49303 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10976] ppid=10971 vsize=1720836 CPUtime=0
/proc/10973/task/10976/stat : 10976 (java) S 10971 10973 10927 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 196097867 1762136064 49303 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10977] ppid=10971 vsize=1720836 CPUtime=0
/proc/10973/task/10977/stat : 10977 (java) S 10971 10973 10927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196097868 1762136064 49303 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10978] ppid=10971 vsize=1720836 CPUtime=0
/proc/10973/task/10978/stat : 10978 (java) S 10971 10973 10927 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196097868 1762136064 49303 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10979] ppid=10971 vsize=1720836 CPUtime=0
/proc/10973/task/10979/stat : 10979 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196097871 1762136064 49303 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10980] ppid=10971 vsize=1720836 CPUtime=0
/proc/10973/task/10980/stat : 10980 (java) S 10971 10973 10927 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 196097871 1762136064 49303 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10981] ppid=10971 vsize=1720836 CPUtime=1
/proc/10973/task/10981/stat : 10981 (java) S 10971 10973 10927 0 -1 64 4242 0 0 0 99 1 0 0 17 0 13 0 196097871 1762136064 49303 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10982] ppid=10971 vsize=1720836 CPUtime=1.15
/proc/10973/task/10982/stat : 10982 (java) S 10971 10973 10927 0 -1 64 4418 0 0 0 114 1 0 0 16 0 13 0 196097871 1762136064 49303 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10983] ppid=10971 vsize=1720836 CPUtime=0
/proc/10973/task/10983/stat : 10983 (java) S 10971 10973 10927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196097871 1762136064 49303 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10984] ppid=10971 vsize=1720836 CPUtime=0
/proc/10973/task/10984/stat : 10984 (java) S 10971 10973 10927 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196097871 1762136064 49303 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10985] ppid=10971 vsize=1720836 CPUtime=0
/proc/10973/task/10985/stat : 10985 (java) S 10971 10973 10927 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 196097954 1762136064 49303 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.67
Current children cumulated vsize (Kb) 1720836

[startup+20.0088 s]
/proc/loadavg: 1.14 1.04 0.95 2/76 10986
/proc/meminfo: memFree=1751464/2055920 swapFree=4181388/4192956
[pid=10973] ppid=10971 vsize=1720836 CPUtime=21.83
/proc/10973/stat : 10973 (java) R 10971 10973 10927 0 -1 0 58286 0 1 0 2157 26 0 0 24 0 13 0 196097861 1762136064 49881 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071640553 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10973/statm: 430209 49881 1909 14 0 416956 0
[pid=10973/tid=10974] ppid=10971 vsize=1720836 CPUtime=0.18
/proc/10973/task/10974/stat : 10974 (java) S 10971 10973 10927 0 -1 64 4615 0 0 0 16 2 0 0 16 0 13 0 196097865 1762136064 49881 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10975] ppid=10971 vsize=1720836 CPUtime=0.18
/proc/10973/task/10975/stat : 10975 (java) S 10971 10973 10927 0 -1 64 4303 0 0 0 16 2 0 0 15 0 13 0 196097865 1762136064 49881 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10976] ppid=10971 vsize=1720836 CPUtime=0
/proc/10973/task/10976/stat : 10976 (java) S 10971 10973 10927 0 -1 64 40 0 0 0 0 0 0 0 16 0 13 0 196097867 1762136064 49881 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10977] ppid=10971 vsize=1720836 CPUtime=0
/proc/10973/task/10977/stat : 10977 (java) S 10971 10973 10927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196097868 1762136064 49881 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10978] ppid=10971 vsize=1720836 CPUtime=0
/proc/10973/task/10978/stat : 10978 (java) S 10971 10973 10927 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196097868 1762136064 49881 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10979] ppid=10971 vsize=1720836 CPUtime=0
/proc/10973/task/10979/stat : 10979 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196097871 1762136064 49881 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10980] ppid=10971 vsize=1720836 CPUtime=0
/proc/10973/task/10980/stat : 10980 (java) S 10971 10973 10927 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 196097871 1762136064 49881 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10981] ppid=10971 vsize=1720836 CPUtime=1.1
/proc/10973/task/10981/stat : 10981 (java) S 10971 10973 10927 0 -1 64 4253 0 0 0 109 1 0 0 17 0 13 0 196097871 1762136064 49881 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10982] ppid=10971 vsize=1720836 CPUtime=1.21
/proc/10973/task/10982/stat : 10982 (java) S 10971 10973 10927 0 -1 64 4422 0 0 0 120 1 0 0 17 0 13 0 196097871 1762136064 49881 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10983] ppid=10971 vsize=1720836 CPUtime=0
/proc/10973/task/10983/stat : 10983 (java) S 10971 10973 10927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196097871 1762136064 49881 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10984] ppid=10971 vsize=1720836 CPUtime=0
/proc/10973/task/10984/stat : 10984 (java) S 10971 10973 10927 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196097871 1762136064 49881 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10986] ppid=10971 vsize=1720836 CPUtime=0
/proc/10973/task/10986/stat : 10986 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196099572 1762136064 49881 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.83
Current children cumulated vsize (Kb) 1720836

[startup+30.0157 s]
/proc/loadavg: 1.12 1.04 0.95 2/76 10987
/proc/meminfo: memFree=1741984/2055920 swapFree=4181388/4192956
[pid=10973] ppid=10971 vsize=1720548 CPUtime=31.96
/proc/10973/stat : 10973 (java) R 10971 10973 10927 0 -1 0 61733 0 1 0 3167 29 0 0 25 0 13 0 196097861 1761841152 52200 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071662788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10973/statm: 430137 52200 1909 14 0 416884 0
[pid=10973/tid=10974] ppid=10971 vsize=1720548 CPUtime=0.23
/proc/10973/task/10974/stat : 10974 (java) S 10971 10973 10927 0 -1 64 5659 0 0 0 21 2 0 0 16 0 13 0 196097865 1761841152 52200 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10975] ppid=10971 vsize=1720548 CPUtime=0.23
/proc/10973/task/10975/stat : 10975 (java) S 10971 10973 10927 0 -1 64 5110 0 0 0 21 2 0 0 16 0 13 0 196097865 1761841152 52200 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10976] ppid=10971 vsize=1720548 CPUtime=0.01
/proc/10973/task/10976/stat : 10976 (java) S 10971 10973 10927 0 -1 64 45 0 0 0 1 0 0 0 15 0 13 0 196097867 1761841152 52200 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10977] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10977/stat : 10977 (java) S 10971 10973 10927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 52200 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10978] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10978/stat : 10978 (java) S 10971 10973 10927 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 52200 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10979] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10979/stat : 10979 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196097871 1761841152 52200 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10980] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10980/stat : 10980 (java) S 10971 10973 10927 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 196097871 1761841152 52200 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10981] ppid=10971 vsize=1720548 CPUtime=1.12
/proc/10973/task/10981/stat : 10981 (java) S 10971 10973 10927 0 -1 64 4253 0 0 0 111 1 0 0 16 0 13 0 196097871 1761841152 52200 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10982] ppid=10971 vsize=1720548 CPUtime=1.25
/proc/10973/task/10982/stat : 10982 (java) S 10971 10973 10927 0 -1 64 4424 0 0 0 124 1 0 0 16 0 13 0 196097871 1761841152 52200 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10983] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10983/stat : 10983 (java) S 10971 10973 10927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196097871 1761841152 52200 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10984] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10984/stat : 10984 (java) S 10971 10973 10927 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196097871 1761841152 52200 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10987] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10987/stat : 10987 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196100352 1761841152 52200 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.96
Current children cumulated vsize (Kb) 1720548

[startup+40.0226 s]
/proc/loadavg: 1.10 1.04 0.95 2/76 10987
/proc/meminfo: memFree=1753568/2055920 swapFree=4181388/4192956
[pid=10973] ppid=10971 vsize=1720548 CPUtime=42.02
/proc/10973/stat : 10973 (java) R 10971 10973 10927 0 -1 0 62207 0 1 0 4172 30 0 0 25 0 13 0 196097861 1761841152 49330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071640431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10973/statm: 430137 49330 1909 14 0 416884 0
[pid=10973/tid=10974] ppid=10971 vsize=1720548 CPUtime=0.25
/proc/10973/task/10974/stat : 10974 (java) S 10971 10973 10927 0 -1 64 5840 0 0 0 23 2 0 0 16 0 13 0 196097865 1761841152 49330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10975] ppid=10971 vsize=1720548 CPUtime=0.26
/proc/10973/task/10975/stat : 10975 (java) S 10971 10973 10927 0 -1 64 5379 0 0 0 23 3 0 0 16 0 13 0 196097865 1761841152 49330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10976] ppid=10971 vsize=1720548 CPUtime=0.02
/proc/10973/task/10976/stat : 10976 (java) S 10971 10973 10927 0 -1 64 45 0 0 0 1 1 0 0 16 0 13 0 196097867 1761841152 49330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10977] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10977/stat : 10977 (java) S 10971 10973 10927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 49330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10978] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10978/stat : 10978 (java) S 10971 10973 10927 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 49330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10979] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10979/stat : 10979 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196097871 1761841152 49330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10980] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10980/stat : 10980 (java) S 10971 10973 10927 0 -1 64 13 0 0 0 0 0 0 0 17 0 13 0 196097871 1761841152 49330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10981] ppid=10971 vsize=1720548 CPUtime=1.12
/proc/10973/task/10981/stat : 10981 (java) S 10971 10973 10927 0 -1 64 4253 0 0 0 111 1 0 0 16 0 13 0 196097871 1761841152 49330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10982] ppid=10971 vsize=1720548 CPUtime=1.29
/proc/10973/task/10982/stat : 10982 (java) S 10971 10973 10927 0 -1 64 4426 0 0 0 128 1 0 0 16 0 13 0 196097871 1761841152 49330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10983] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10983/stat : 10983 (java) S 10971 10973 10927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196097871 1761841152 49330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10984] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10984/stat : 10984 (java) S 10971 10973 10927 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196097871 1761841152 49330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10987] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10987/stat : 10987 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196100352 1761841152 49330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.02
Current children cumulated vsize (Kb) 1720548

[startup+50.0295 s]
/proc/loadavg: 1.09 1.03 0.95 2/76 10987
/proc/meminfo: memFree=1756512/2055920 swapFree=4181388/4192956
[pid=10973] ppid=10971 vsize=1720548 CPUtime=52.04
/proc/10973/stat : 10973 (java) R 10971 10973 10927 0 -1 0 62634 0 1 0 5173 31 0 0 25 0 13 0 196097861 1761841152 48599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071626928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10973/statm: 430137 48599 1909 14 0 416884 0
[pid=10973/tid=10974] ppid=10971 vsize=1720548 CPUtime=0.27
/proc/10973/task/10974/stat : 10974 (java) S 10971 10973 10927 0 -1 64 6027 0 0 0 25 2 0 0 16 0 13 0 196097865 1761841152 48599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10975] ppid=10971 vsize=1720548 CPUtime=0.29
/proc/10973/task/10975/stat : 10975 (java) S 10971 10973 10927 0 -1 64 5596 0 0 0 26 3 0 0 15 0 13 0 196097865 1761841152 48599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10976] ppid=10971 vsize=1720548 CPUtime=0.02
/proc/10973/task/10976/stat : 10976 (java) S 10971 10973 10927 0 -1 64 45 0 0 0 1 1 0 0 17 0 13 0 196097867 1761841152 48599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10977] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10977/stat : 10977 (java) S 10971 10973 10927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 48599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10978] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10978/stat : 10978 (java) S 10971 10973 10927 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 48599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10979] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10979/stat : 10979 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196097871 1761841152 48599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10980] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10980/stat : 10980 (java) S 10971 10973 10927 0 -1 64 13 0 0 0 0 0 0 0 17 0 13 0 196097871 1761841152 48599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10981] ppid=10971 vsize=1720548 CPUtime=1.12
/proc/10973/task/10981/stat : 10981 (java) S 10971 10973 10927 0 -1 64 4253 0 0 0 111 1 0 0 16 0 13 0 196097871 1761841152 48599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10982] ppid=10971 vsize=1720548 CPUtime=1.29
/proc/10973/task/10982/stat : 10982 (java) S 10971 10973 10927 0 -1 64 4426 0 0 0 128 1 0 0 16 0 13 0 196097871 1761841152 48599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10983] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10983/stat : 10983 (java) S 10971 10973 10927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196097871 1761841152 48599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10984] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10984/stat : 10984 (java) S 10971 10973 10927 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196097871 1761841152 48599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10987] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10987/stat : 10987 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196100352 1761841152 48599 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 52.04
Current children cumulated vsize (Kb) 1720548

[startup+60.0364 s]
/proc/loadavg: 1.07 1.03 0.95 2/76 10987
/proc/meminfo: memFree=1759648/2055920 swapFree=4181388/4192956
[pid=10973] ppid=10971 vsize=1720548 CPUtime=62.08
/proc/10973/stat : 10973 (java) R 10971 10973 10927 0 -1 0 63154 0 1 0 6176 32 0 0 25 0 13 0 196097861 1761841152 47809 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071609842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10973/statm: 430137 47809 1909 14 0 416884 0
[pid=10973/tid=10974] ppid=10971 vsize=1720548 CPUtime=0.33
/proc/10973/task/10974/stat : 10974 (java) S 10971 10973 10927 0 -1 64 6231 0 0 0 30 3 0 0 16 0 13 0 196097865 1761841152 47809 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10975] ppid=10971 vsize=1720548 CPUtime=0.33
/proc/10973/task/10975/stat : 10975 (java) S 10971 10973 10927 0 -1 64 5876 0 0 0 30 3 0 0 15 0 13 0 196097865 1761841152 47809 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10976] ppid=10971 vsize=1720548 CPUtime=0.04
/proc/10973/task/10976/stat : 10976 (java) S 10971 10973 10927 0 -1 64 46 0 0 0 2 2 0 0 16 0 13 0 196097867 1761841152 47809 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10977] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10977/stat : 10977 (java) S 10971 10973 10927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 47809 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10978] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10978/stat : 10978 (java) S 10971 10973 10927 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 47809 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10979] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10979/stat : 10979 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196097871 1761841152 47809 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=10973/tid=10977] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10977/stat : 10977 (java) S 10971 10973 10927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 190746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10978] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10978/stat : 10978 (java) S 10971 10973 10927 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 190746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10979] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10979/stat : 10979 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196097871 1761841152 190746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10980] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10980/stat : 10980 (java) S 10971 10973 10927 0 -1 64 13 0 0 0 0 0 0 0 17 0 13 0 196097871 1761841152 190746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10981] ppid=10971 vsize=1720548 CPUtime=1.22
/proc/10973/task/10981/stat : 10981 (java) S 10971 10973 10927 0 -1 64 4263 0 0 0 121 1 0 0 16 0 13 0 196097871 1761841152 190746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10982] ppid=10971 vsize=1720548 CPUtime=1.32
/proc/10973/task/10982/stat : 10982 (java) S 10971 10973 10927 0 -1 64 4427 0 0 0 131 1 0 0 17 0 13 0 196097871 1761841152 190746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10983] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10983/stat : 10983 (java) S 10971 10973 10927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196097871 1761841152 190746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10984] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10984/stat : 10984 (java) S 10971 10973 10927 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196097871 1761841152 190746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10987] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10987/stat : 10987 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196100352 1761841152 190746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.89
Current children cumulated vsize (Kb) 1720548

[startup+1776.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/76 10989
/proc/meminfo: memFree=1185440/2055920 swapFree=4181388/4192956
[pid=10973] ppid=10971 vsize=1720548 CPUtime=1797.92
/proc/10973/stat : 10973 (java) R 10971 10973 10927 0 -1 0 303541 0 1 0 179618 174 0 0 25 0 13 0 196097861 1761841152 190842 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071627129 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10973/statm: 430137 190842 1911 14 0 416884 0
[pid=10973/tid=10974] ppid=10971 vsize=1720548 CPUtime=21.11
/proc/10973/task/10974/stat : 10974 (java) S 10971 10973 10927 0 -1 64 86582 0 0 0 2069 42 0 0 16 0 13 0 196097865 1761841152 190842 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10975] ppid=10971 vsize=1720548 CPUtime=21.11
/proc/10973/task/10975/stat : 10975 (java) S 10971 10973 10927 0 -1 64 91867 0 0 0 2067 44 0 0 16 0 13 0 196097865 1761841152 190842 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10976] ppid=10971 vsize=1720548 CPUtime=0.61
/proc/10973/task/10976/stat : 10976 (java) S 10971 10973 10927 0 -1 64 278 0 0 0 34 27 0 0 16 0 13 0 196097867 1761841152 190842 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10977] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10977/stat : 10977 (java) S 10971 10973 10927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 190842 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10978] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10978/stat : 10978 (java) S 10971 10973 10927 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 190842 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10979] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10979/stat : 10979 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196097871 1761841152 190842 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10980] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10980/stat : 10980 (java) S 10971 10973 10927 0 -1 64 13 0 0 0 0 0 0 0 17 0 13 0 196097871 1761841152 190842 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10981] ppid=10971 vsize=1720548 CPUtime=1.22
/proc/10973/task/10981/stat : 10981 (java) S 10971 10973 10927 0 -1 64 4263 0 0 0 121 1 0 0 16 0 13 0 196097871 1761841152 190842 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10982] ppid=10971 vsize=1720548 CPUtime=1.32
/proc/10973/task/10982/stat : 10982 (java) S 10971 10973 10927 0 -1 64 4427 0 0 0 131 1 0 0 17 0 13 0 196097871 1761841152 190842 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10983] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10983/stat : 10983 (java) S 10971 10973 10927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196097871 1761841152 190842 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10984] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10984/stat : 10984 (java) S 10971 10973 10927 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196097871 1761841152 190842 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10987] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10987/stat : 10987 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196100352 1761841152 190842 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (Kb) 1720548

[startup+1777.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/76 10989
/proc/meminfo: memFree=1185248/2055920 swapFree=4181388/4192956
[pid=10973] ppid=10971 vsize=1720548 CPUtime=1798.95
/proc/10973/stat : 10973 (java) R 10971 10973 10927 0 -1 0 303606 0 1 0 179721 174 0 0 18 0 13 0 196097861 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071610109 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10973/statm: 430137 190896 1911 14 0 416884 0
[pid=10973/tid=10974] ppid=10971 vsize=1720548 CPUtime=21.13
/proc/10973/task/10974/stat : 10974 (java) S 10971 10973 10927 0 -1 64 86621 0 0 0 2071 42 0 0 17 0 13 0 196097865 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10975] ppid=10971 vsize=1720548 CPUtime=21.13
/proc/10973/task/10975/stat : 10975 (java) S 10971 10973 10927 0 -1 64 91892 0 0 0 2069 44 0 0 17 0 13 0 196097865 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10976] ppid=10971 vsize=1720548 CPUtime=0.61
/proc/10973/task/10976/stat : 10976 (java) S 10971 10973 10927 0 -1 64 278 0 0 0 34 27 0 0 15 0 13 0 196097867 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10977] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10977/stat : 10977 (java) S 10971 10973 10927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10978] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10978/stat : 10978 (java) S 10971 10973 10927 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10979] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10979/stat : 10979 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196097871 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10980] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10980/stat : 10980 (java) S 10971 10973 10927 0 -1 64 13 0 0 0 0 0 0 0 17 0 13 0 196097871 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10981] ppid=10971 vsize=1720548 CPUtime=1.22
/proc/10973/task/10981/stat : 10981 (java) S 10971 10973 10927 0 -1 64 4263 0 0 0 121 1 0 0 16 0 13 0 196097871 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10982] ppid=10971 vsize=1720548 CPUtime=1.32
/proc/10973/task/10982/stat : 10982 (java) S 10971 10973 10927 0 -1 64 4427 0 0 0 131 1 0 0 17 0 13 0 196097871 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10983] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10983/stat : 10983 (java) S 10971 10973 10927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196097871 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10984] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10984/stat : 10984 (java) S 10971 10973 10927 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196097871 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10987] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10987/stat : 10987 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196100352 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.95
Current children cumulated vsize (Kb) 1720548

[startup+1778.32 s]
/proc/loadavg: 1.00 1.00 0.98 2/76 10989
/proc/meminfo: memFree=1185248/2055920 swapFree=4181388/4192956
[pid=10973] ppid=10971 vsize=1720548 CPUtime=1799.96
/proc/10973/stat : 10973 (java) R 10971 10973 10927 0 -1 0 303606 0 1 0 179822 174 0 0 25 0 13 0 196097861 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071626943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10973/statm: 430137 190896 1911 14 0 416884 0
[pid=10973/tid=10974] ppid=10971 vsize=1720548 CPUtime=21.13
/proc/10973/task/10974/stat : 10974 (java) S 10971 10973 10927 0 -1 64 86621 0 0 0 2071 42 0 0 17 0 13 0 196097865 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10975] ppid=10971 vsize=1720548 CPUtime=21.13
/proc/10973/task/10975/stat : 10975 (java) S 10971 10973 10927 0 -1 64 91892 0 0 0 2069 44 0 0 17 0 13 0 196097865 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10976] ppid=10971 vsize=1720548 CPUtime=0.61
/proc/10973/task/10976/stat : 10976 (java) S 10971 10973 10927 0 -1 64 278 0 0 0 34 27 0 0 16 0 13 0 196097867 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10977] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10977/stat : 10977 (java) S 10971 10973 10927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10978] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10978/stat : 10978 (java) S 10971 10973 10927 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10979] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10979/stat : 10979 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196097871 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10980] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10980/stat : 10980 (java) S 10971 10973 10927 0 -1 64 13 0 0 0 0 0 0 0 17 0 13 0 196097871 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10981] ppid=10971 vsize=1720548 CPUtime=1.22
/proc/10973/task/10981/stat : 10981 (java) S 10971 10973 10927 0 -1 64 4263 0 0 0 121 1 0 0 16 0 13 0 196097871 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10982] ppid=10971 vsize=1720548 CPUtime=1.32
/proc/10973/task/10982/stat : 10982 (java) S 10971 10973 10927 0 -1 64 4427 0 0 0 131 1 0 0 17 0 13 0 196097871 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10983] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10983/stat : 10983 (java) S 10971 10973 10927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196097871 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10984] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10984/stat : 10984 (java) S 10971 10973 10927 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196097871 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10987] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10987/stat : 10987 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196100352 1761841152 190896 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.96
Current children cumulated vsize (Kb) 1720548

[startup+1779.33 s]
/proc/loadavg: 1.00 1.00 0.98 2/76 10989
/proc/meminfo: memFree=1185056/2055920 swapFree=4181388/4192956
[pid=10973] ppid=10971 vsize=1720548 CPUtime=1800.99
/proc/10973/stat : 10973 (java) R 10971 10973 10927 0 -1 0 303662 0 1 0 179925 174 0 0 25 0 13 0 196097861 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071377347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10973/statm: 430137 190951 1911 14 0 416884 0
[pid=10973/tid=10974] ppid=10971 vsize=1720548 CPUtime=21.16
/proc/10973/task/10974/stat : 10974 (java) S 10971 10973 10927 0 -1 64 86676 0 0 0 2074 42 0 0 17 0 13 0 196097865 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10975] ppid=10971 vsize=1720548 CPUtime=21.16
/proc/10973/task/10975/stat : 10975 (java) S 10971 10973 10927 0 -1 64 91892 0 0 0 2072 44 0 0 16 0 13 0 196097865 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10976] ppid=10971 vsize=1720548 CPUtime=0.61
/proc/10973/task/10976/stat : 10976 (java) S 10971 10973 10927 0 -1 64 278 0 0 0 34 27 0 0 16 0 13 0 196097867 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10977] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10977/stat : 10977 (java) S 10971 10973 10927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10978] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10978/stat : 10978 (java) S 10971 10973 10927 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10979] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10979/stat : 10979 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196097871 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10980] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10980/stat : 10980 (java) S 10971 10973 10927 0 -1 64 13 0 0 0 0 0 0 0 17 0 13 0 196097871 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10981] ppid=10971 vsize=1720548 CPUtime=1.22
/proc/10973/task/10981/stat : 10981 (java) S 10971 10973 10927 0 -1 64 4263 0 0 0 121 1 0 0 16 0 13 0 196097871 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10982] ppid=10971 vsize=1720548 CPUtime=1.32
/proc/10973/task/10982/stat : 10982 (java) S 10971 10973 10927 0 -1 64 4427 0 0 0 131 1 0 0 17 0 13 0 196097871 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10983] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10983/stat : 10983 (java) S 10971 10973 10927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196097871 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10984] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10984/stat : 10984 (java) S 10971 10973 10927 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196097871 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10987] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10987/stat : 10987 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196100352 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.99
Current children cumulated vsize (Kb) 1720548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1779.33 s]
/proc/loadavg: 1.00 1.00 0.98 2/76 10989
/proc/meminfo: memFree=1185056/2055920 swapFree=4181388/4192956
[pid=10973] ppid=10971 vsize=1720548 CPUtime=1801
/proc/10973/stat : 10973 (java) R 10971 10973 10927 0 -1 0 303662 0 1 0 179926 174 0 0 25 0 13 0 196097861 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071377494 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10973/statm: 430137 190951 1911 14 0 416884 0
[pid=10973/tid=10974] ppid=10971 vsize=1720548 CPUtime=21.16
/proc/10973/task/10974/stat : 10974 (java) S 10971 10973 10927 0 -1 64 86676 0 0 0 2074 42 0 0 17 0 13 0 196097865 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10975] ppid=10971 vsize=1720548 CPUtime=21.16
/proc/10973/task/10975/stat : 10975 (java) S 10971 10973 10927 0 -1 64 91892 0 0 0 2072 44 0 0 16 0 13 0 196097865 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10976] ppid=10971 vsize=1720548 CPUtime=0.61
/proc/10973/task/10976/stat : 10976 (java) S 10971 10973 10927 0 -1 64 278 0 0 0 34 27 0 0 16 0 13 0 196097867 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10977] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10977/stat : 10977 (java) S 10971 10973 10927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10978] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10978/stat : 10978 (java) S 10971 10973 10927 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196097868 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10979] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10979/stat : 10979 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196097871 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10980] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10980/stat : 10980 (java) S 10971 10973 10927 0 -1 64 13 0 0 0 0 0 0 0 17 0 13 0 196097871 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10981] ppid=10971 vsize=1720548 CPUtime=1.22
/proc/10973/task/10981/stat : 10981 (java) S 10971 10973 10927 0 -1 64 4263 0 0 0 121 1 0 0 16 0 13 0 196097871 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10982] ppid=10971 vsize=1720548 CPUtime=1.32
/proc/10973/task/10982/stat : 10982 (java) S 10971 10973 10927 0 -1 64 4427 0 0 0 131 1 0 0 17 0 13 0 196097871 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10983] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10983/stat : 10983 (java) S 10971 10973 10927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196097871 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10973/tid=10984] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10984/stat : 10984 (java) S 10971 10973 10927 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196097871 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10973/tid=10987] ppid=10971 vsize=1720548 CPUtime=0
/proc/10973/task/10987/stat : 10987 (java) S 10971 10973 10927 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196100352 1761841152 190951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1801
Current children cumulated vsize (Kb) 1720548

Sending SIGTERM to -10973
Sleeping 2 seconds

Child status: 143
Real time (s): 1779.57
CPU time (s): 1801.33
CPU user time (s): 1799.46
CPU system time (s): 1.86871
CPU usage (%): 101.223
Max. virtual memory (cumulated for all children) (Kb): 1720836

Launcher Data (download as text)

Begin job on node51 on Sat Jun  3 03:11:46 UTC 2006


FILE ID= 43137-1149304306

PBS_JOBID= 307540

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

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  a6e8ee977a9ad5045237a2abc87084b8

RANDOM SEED= 42182491


/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.232
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.232
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:       1943968 kB
Buffers:          8520 kB
Cached:          45008 kB
SwapCached:       3252 kB
Active:          26896 kB
Inactive:        35288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1943968 kB
SwapTotal:     4192956 kB
SwapFree:      4181388 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          14916 kB
Slab:            35788 kB
Committed_AS:   308432 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node51 on Sat Jun  3 03:41:26 UTC 2006