Trace number 50622

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)55 1801.21 1773.57

General information on the benchmark

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

Verifier Data (download as text)

OK	55

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

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node2/watcher-50622-1154090749 -o ROOT/results/node2/solver-50622-1154090749 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node2/50622-1154090749/instance-50622-1154090749.opb 740666914 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.95 2/64 27788
/proc/meminfo: memFree=1513576/2055920 swapFree=4182684/4192956
[pid=27788] ppid=27786 vsize=1452 CPUtime=0
/proc/27788/stat : 27788 (java) R 27786 27788 27739 0 -1 0 101 0 0 0 0 0 0 0 18 0 1 0 155936536 1486848 72 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 11603888 0 0 4096 0 0 0 0 17 1 0 0
/proc/27788/statm: 363 80 62 14 0 8 0

[startup+10.002 s]
/proc/loadavg: 1.00 0.97 0.96 2/76 27806
/proc/meminfo: memFree=1286472/2055920 swapFree=4182684/4192956
[pid=27788] ppid=27786 vsize=1713336 CPUtime=12.02
/proc/27788/stat : 27788 (java) R 27786 27788 27739 0 -1 0 64599 0 1 0 1171 31 0 0 25 0 13 0 155936536 1754456064 58495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071564078 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27788/statm: 428334 58495 1911 14 0 415081 0
[pid=27788/tid=27789] ppid=27786 vsize=1713336 CPUtime=0.56
/proc/27788/task/27789/stat : 27789 (java) S 27786 27788 27739 0 -1 64 13073 0 0 0 50 6 0 0 16 0 13 0 155936539 1754456064 58495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27790] ppid=27786 vsize=1713336 CPUtime=0.56
/proc/27788/task/27790/stat : 27790 (java) S 27786 27788 27739 0 -1 64 10735 0 0 0 51 5 0 0 16 0 13 0 155936539 1754456064 58495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27791] ppid=27786 vsize=1713336 CPUtime=0
/proc/27788/task/27791/stat : 27791 (java) S 27786 27788 27739 0 -1 64 20 0 0 0 0 0 0 0 17 0 13 0 155936542 1754456064 58495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27792] ppid=27786 vsize=1713336 CPUtime=0
/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 27739 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155936543 1754456064 58495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=1713336 CPUtime=0
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 27739 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 155936543 1754456064 58495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=1713336 CPUtime=0
/proc/27788/task/27794/stat : 27794 (java) S 27786 27788 27739 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155936546 1754456064 58495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27795] ppid=27786 vsize=1713336 CPUtime=0.01
/proc/27788/task/27795/stat : 27795 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 155936546 1754456064 58495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27796] ppid=27786 vsize=1713336 CPUtime=1.09
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 27739 0 -1 64 2391 0 0 0 108 1 0 0 16 0 13 0 155936546 1754456064 58495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=1713336 CPUtime=1.01
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 27739 0 -1 64 1805 0 0 0 100 1 0 0 16 0 13 0 155936546 1754456064 58495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27798] ppid=27786 vsize=1713336 CPUtime=0
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 27739 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155936546 1754456064 58495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=1713336 CPUtime=0
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155936546 1754456064 58495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27806] ppid=27786 vsize=1713336 CPUtime=0
/proc/27788/task/27806/stat : 27806 (java) S 27786 27788 27739 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155936816 1754456064 58495 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.02
Current children cumulated vsize (Kb) 1713336

[startup+20.0088 s]
/proc/loadavg: 1.00 0.97 0.96 2/76 27806
/proc/meminfo: memFree=1294600/2055920 swapFree=4182684/4192956
[pid=27788] ppid=27786 vsize=1712124 CPUtime=22.1
/proc/27788/stat : 27788 (java) R 27786 27788 27739 0 -1 0 65404 0 1 0 2178 32 0 0 25 0 13 0 155936536 1753214976 56549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071424119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27788/statm: 428031 56549 1911 14 0 414778 0
[pid=27788/tid=27789] ppid=27786 vsize=1712124 CPUtime=0.64
/proc/27788/task/27789/stat : 27789 (java) S 27786 27788 27739 0 -1 64 13545 0 0 0 58 6 0 0 16 0 13 0 155936539 1753214976 56549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27790] ppid=27786 vsize=1712124 CPUtime=0.64
/proc/27788/task/27790/stat : 27790 (java) S 27786 27788 27739 0 -1 64 11016 0 0 0 59 5 0 0 16 0 13 0 155936539 1753214976 56549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27791] ppid=27786 vsize=1712124 CPUtime=0.01
/proc/27788/task/27791/stat : 27791 (java) S 27786 27788 27739 0 -1 64 41 0 0 0 1 0 0 0 16 0 13 0 155936542 1753214976 56549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27792] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 27739 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155936543 1753214976 56549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 27739 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 155936543 1753214976 56549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27794/stat : 27794 (java) S 27786 27788 27739 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155936546 1753214976 56549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27795] ppid=27786 vsize=1712124 CPUtime=0.01
/proc/27788/task/27795/stat : 27795 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 155936546 1753214976 56549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27796] ppid=27786 vsize=1712124 CPUtime=1.11
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 27739 0 -1 64 2392 0 0 0 110 1 0 0 17 0 13 0 155936546 1753214976 56549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=1712124 CPUtime=1.01
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 27739 0 -1 64 1805 0 0 0 100 1 0 0 17 0 13 0 155936546 1753214976 56549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27798] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 27739 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155936546 1753214976 56549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155936546 1753214976 56549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27806] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27806/stat : 27806 (java) S 27786 27788 27739 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155936816 1753214976 56549 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.1
Current children cumulated vsize (Kb) 1712124

[startup+30.0166 s]
/proc/loadavg: 1.00 0.97 0.96 2/76 27806
/proc/meminfo: memFree=1291336/2055920 swapFree=4182684/4192956
[pid=27788] ppid=27786 vsize=1712124 CPUtime=32.12
/proc/27788/stat : 27788 (java) R 27786 27788 27739 0 -1 0 66861 0 1 0 3179 33 0 0 25 0 13 0 155936536 1753214976 57330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071770537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27788/statm: 428031 57330 1911 14 0 414778 0
[pid=27788/tid=27789] ppid=27786 vsize=1712124 CPUtime=0.67
/proc/27788/task/27789/stat : 27789 (java) S 27786 27788 27739 0 -1 64 13644 0 0 0 61 6 0 0 16 0 13 0 155936539 1753214976 57330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27790] ppid=27786 vsize=1712124 CPUtime=0.67
/proc/27788/task/27790/stat : 27790 (java) S 27786 27788 27739 0 -1 64 11289 0 0 0 62 5 0 0 16 0 13 0 155936539 1753214976 57330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27791] ppid=27786 vsize=1712124 CPUtime=0.01
/proc/27788/task/27791/stat : 27791 (java) S 27786 27788 27739 0 -1 64 43 0 0 0 1 0 0 0 16 0 13 0 155936542 1753214976 57330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27792] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 27739 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155936543 1753214976 57330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 27739 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 155936543 1753214976 57330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27794/stat : 27794 (java) S 27786 27788 27739 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155936546 1753214976 57330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27795] ppid=27786 vsize=1712124 CPUtime=0.01
/proc/27788/task/27795/stat : 27795 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 155936546 1753214976 57330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27796] ppid=27786 vsize=1712124 CPUtime=1.11
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 27739 0 -1 64 2392 0 0 0 110 1 0 0 17 0 13 0 155936546 1753214976 57330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=1712124 CPUtime=1.01
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 27739 0 -1 64 1805 0 0 0 100 1 0 0 17 0 13 0 155936546 1753214976 57330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27798] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 27739 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155936546 1753214976 57330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155936546 1753214976 57330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27806] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27806/stat : 27806 (java) S 27786 27788 27739 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155936816 1753214976 57330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 32.12
Current children cumulated vsize (Kb) 1712124

[startup+40.0245 s]
/proc/loadavg: 1.00 0.97 0.96 2/76 27806
/proc/meminfo: memFree=1281544/2055920 swapFree=4182684/4192956
[pid=27788] ppid=27786 vsize=1712124 CPUtime=42.19
/proc/27788/stat : 27788 (java) R 27786 27788 27739 0 -1 0 70304 0 1 0 4184 35 0 0 25 0 13 0 155936536 1753214976 59774 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071392414 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27788/statm: 428031 59774 1911 14 0 414778 0
[pid=27788/tid=27789] ppid=27786 vsize=1712124 CPUtime=0.73
/proc/27788/task/27789/stat : 27789 (java) S 27786 27788 27739 0 -1 64 14078 0 0 0 67 6 0 0 16 0 13 0 155936539 1753214976 59774 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27790] ppid=27786 vsize=1712124 CPUtime=0.74
/proc/27788/task/27790/stat : 27790 (java) S 27786 27788 27739 0 -1 64 11684 0 0 0 69 5 0 0 16 0 13 0 155936539 1753214976 59774 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27791] ppid=27786 vsize=1712124 CPUtime=0.03
/proc/27788/task/27791/stat : 27791 (java) S 27786 27788 27739 0 -1 64 53 0 0 0 2 1 0 0 16 0 13 0 155936542 1753214976 59774 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27792] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 27739 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155936543 1753214976 59774 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 27739 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 155936543 1753214976 59774 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27794/stat : 27794 (java) S 27786 27788 27739 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155936546 1753214976 59774 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27795] ppid=27786 vsize=1712124 CPUtime=0.01
/proc/27788/task/27795/stat : 27795 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 155936546 1753214976 59774 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27796] ppid=27786 vsize=1712124 CPUtime=1.11
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 27739 0 -1 64 2392 0 0 0 110 1 0 0 17 0 13 0 155936546 1753214976 59774 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=1712124 CPUtime=1.01
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 27739 0 -1 64 1805 0 0 0 100 1 0 0 17 0 13 0 155936546 1753214976 59774 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27798] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 27739 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155936546 1753214976 59774 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155936546 1753214976 59774 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27806] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27806/stat : 27806 (java) S 27786 27788 27739 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 155936816 1753214976 59774 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) 1712124

[startup+50.0323 s]
/proc/loadavg: 1.00 0.97 0.96 2/76 27806
/proc/meminfo: memFree=1280328/2055920 swapFree=4182684/4192956
[pid=27788] ppid=27786 vsize=1712124 CPUtime=52.23
/proc/27788/stat : 27788 (java) R 27786 27788 27739 0 -1 0 71467 0 1 0 5187 36 0 0 25 0 13 0 155936536 1753214976 60072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071564791 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27788/statm: 428031 60072 1911 14 0 414778 0
[pid=27788/tid=27789] ppid=27786 vsize=1712124 CPUtime=0.79
/proc/27788/task/27789/stat : 27789 (java) S 27786 27788 27739 0 -1 64 14388 0 0 0 72 7 0 0 15 0 13 0 155936539 1753214976 60072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27790] ppid=27786 vsize=1712124 CPUtime=0.8
/proc/27788/task/27790/stat : 27790 (java) S 27786 27788 27739 0 -1 64 11930 0 0 0 74 6 0 0 16 0 13 0 155936539 1753214976 60072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27791] ppid=27786 vsize=1712124 CPUtime=0.03
/proc/27788/task/27791/stat : 27791 (java) S 27786 27788 27739 0 -1 64 56 0 0 0 2 1 0 0 16 0 13 0 155936542 1753214976 60072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27792] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 27739 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155936543 1753214976 60072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 27739 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 155936543 1753214976 60072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27794/stat : 27794 (java) S 27786 27788 27739 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155936546 1753214976 60072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27795] ppid=27786 vsize=1712124 CPUtime=0.01
/proc/27788/task/27795/stat : 27795 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 155936546 1753214976 60072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27796] ppid=27786 vsize=1712124 CPUtime=1.11
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 27739 0 -1 64 2392 0 0 0 110 1 0 0 17 0 13 0 155936546 1753214976 60072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=1712124 CPUtime=1.01
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 27739 0 -1 64 1805 0 0 0 100 1 0 0 17 0 13 0 155936546 1753214976 60072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27798] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 27739 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155936546 1753214976 60072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155936546 1753214976 60072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27806] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27806/stat : 27806 (java) S 27786 27788 27739 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 155936816 1753214976 60072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 52.23
Current children cumulated vsize (Kb) 1712124

[startup+60.0402 s]
/proc/loadavg: 1.00 0.97 0.96 2/76 27806
/proc/meminfo: memFree=1258952/2055920 swapFree=4182684/4192956
[pid=27788] ppid=27786 vsize=1712124 CPUtime=62.42
/proc/27788/stat : 27788 (java) R 27786 27788 27739 0 -1 0 78066 0 1 0 6202 40 0 0 19 0 13 0 155936536 1753214976 65467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071556549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27788/statm: 428031 65467 1911 14 0 414778 0
[pid=27788/tid=27789] ppid=27786 vsize=1712124 CPUtime=0.96
/proc/27788/task/27789/stat : 27789 (java) S 27786 27788 27739 0 -1 64 17322 0 0 0 88 8 0 0 16 0 13 0 155936539 1753214976 65467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27790] ppid=27786 vsize=1712124 CPUtime=0.97
/proc/27788/task/27790/stat : 27790 (java) S 27786 27788 27739 0 -1 64 15569 0 0 0 90 7 0 0 16 0 13 0 155936539 1753214976 65467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27791] ppid=27786 vsize=1712124 CPUtime=0.03
/proc/27788/task/27791/stat : 27791 (java) S 27786 27788 27739 0 -1 64 58 0 0 0 2 1 0 0 15 0 13 0 155936542 1753214976 65467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27792] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 27739 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155936543 1753214976 65467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 27739 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 155936543 1753214976 65467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=1712124 CPUtime=0

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

/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 27739 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155936543 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 27739 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 155936543 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27794/stat : 27794 (java) S 27786 27788 27739 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155936546 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27795] ppid=27786 vsize=1712124 CPUtime=0.01
/proc/27788/task/27795/stat : 27795 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 155936546 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27796] ppid=27786 vsize=1712124 CPUtime=1.15
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 27739 0 -1 64 2392 0 0 0 114 1 0 0 16 0 13 0 155936546 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=1712124 CPUtime=1.12
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 27739 0 -1 64 1812 0 0 0 111 1 0 0 16 0 13 0 155936546 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27798] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 27739 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155936546 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155936546 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27807] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27807/stat : 27807 (java) S 27786 27788 27739 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155960955 1753214976 197068 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) 1712124

[startup+1770.35 s]
/proc/loadavg: 1.11 1.03 0.98 2/76 28005
/proc/meminfo: memFree=730496/2055920 swapFree=4182684/4192956
[pid=27788] ppid=27786 vsize=1712124 CPUtime=1797.91
/proc/27788/stat : 27788 (java) R 27786 27788 27739 0 -1 0 257839 0 1 0 179518 273 0 0 22 0 13 0 155936536 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071564188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27788/statm: 428031 197068 1911 14 0 414778 0
[pid=27788/tid=27789] ppid=27786 vsize=1712124 CPUtime=27.37
/proc/27788/task/27789/stat : 27789 (java) S 27786 27788 27739 0 -1 64 104354 0 0 0 2639 98 0 0 16 0 13 0 155936539 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27790] ppid=27786 vsize=1712124 CPUtime=27.48
/proc/27788/task/27790/stat : 27790 (java) S 27786 27788 27739 0 -1 64 97840 0 0 0 2657 91 0 0 15 0 13 0 155936539 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27791] ppid=27786 vsize=1712124 CPUtime=0.78
/proc/27788/task/27791/stat : 27791 (java) S 27786 27788 27739 0 -1 64 87 0 0 0 46 32 0 0 16 0 13 0 155936542 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27792] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 27739 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155936543 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 27739 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 155936543 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27794/stat : 27794 (java) S 27786 27788 27739 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155936546 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27795] ppid=27786 vsize=1712124 CPUtime=0.01
/proc/27788/task/27795/stat : 27795 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 155936546 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27796] ppid=27786 vsize=1712124 CPUtime=1.15
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 27739 0 -1 64 2392 0 0 0 114 1 0 0 16 0 13 0 155936546 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=1712124 CPUtime=1.12
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 27739 0 -1 64 1812 0 0 0 111 1 0 0 16 0 13 0 155936546 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27798] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 27739 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155936546 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155936546 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27807] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27807/stat : 27807 (java) S 27786 27788 27739 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155960955 1753214976 197068 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (Kb) 1712124

[startup+1771.36 s]
/proc/loadavg: 1.11 1.03 0.98 2/76 28005
/proc/meminfo: memFree=730496/2055920 swapFree=4182684/4192956
[pid=27788] ppid=27786 vsize=1712124 CPUtime=1798.93
/proc/27788/stat : 27788 (java) R 27786 27788 27739 0 -1 0 257843 0 1 0 179620 273 0 0 17 0 13 0 155936536 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071660144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27788/statm: 428031 197070 1911 14 0 414778 0
[pid=27788/tid=27789] ppid=27786 vsize=1712124 CPUtime=27.39
/proc/27788/task/27789/stat : 27789 (java) S 27786 27788 27739 0 -1 64 104355 0 0 0 2641 98 0 0 16 0 13 0 155936539 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27790] ppid=27786 vsize=1712124 CPUtime=27.5
/proc/27788/task/27790/stat : 27790 (java) S 27786 27788 27739 0 -1 64 97841 0 0 0 2659 91 0 0 16 0 13 0 155936539 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27791] ppid=27786 vsize=1712124 CPUtime=0.78
/proc/27788/task/27791/stat : 27791 (java) S 27786 27788 27739 0 -1 64 87 0 0 0 46 32 0 0 15 0 13 0 155936542 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27792] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 27739 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155936543 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 27739 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 155936543 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27794/stat : 27794 (java) S 27786 27788 27739 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27795] ppid=27786 vsize=1712124 CPUtime=0.01
/proc/27788/task/27795/stat : 27795 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27796] ppid=27786 vsize=1712124 CPUtime=1.15
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 27739 0 -1 64 2392 0 0 0 114 1 0 0 16 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=1712124 CPUtime=1.12
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 27739 0 -1 64 1812 0 0 0 111 1 0 0 16 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27798] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 27739 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27807] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27807/stat : 27807 (java) S 27786 27788 27739 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155960955 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.93
Current children cumulated vsize (Kb) 1712124

[startup+1772.36 s]
/proc/loadavg: 1.11 1.03 0.98 2/76 28005
/proc/meminfo: memFree=730496/2055920 swapFree=4182684/4192956
[pid=27788] ppid=27786 vsize=1712124 CPUtime=1799.94
/proc/27788/stat : 27788 (java) R 27786 27788 27739 0 -1 0 257844 0 1 0 179721 273 0 0 18 0 13 0 155936536 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071564257 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27788/statm: 428031 197070 1911 14 0 414778 0
[pid=27788/tid=27789] ppid=27786 vsize=1712124 CPUtime=27.4
/proc/27788/task/27789/stat : 27789 (java) S 27786 27788 27739 0 -1 64 104355 0 0 0 2642 98 0 0 16 0 13 0 155936539 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27790] ppid=27786 vsize=1712124 CPUtime=27.51
/proc/27788/task/27790/stat : 27790 (java) S 27786 27788 27739 0 -1 64 97841 0 0 0 2660 91 0 0 16 0 13 0 155936539 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27791] ppid=27786 vsize=1712124 CPUtime=0.78
/proc/27788/task/27791/stat : 27791 (java) S 27786 27788 27739 0 -1 64 87 0 0 0 46 32 0 0 15 0 13 0 155936542 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27792] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 27739 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155936543 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 27739 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 155936543 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27794/stat : 27794 (java) S 27786 27788 27739 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27795] ppid=27786 vsize=1712124 CPUtime=0.01
/proc/27788/task/27795/stat : 27795 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27796] ppid=27786 vsize=1712124 CPUtime=1.15
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 27739 0 -1 64 2392 0 0 0 114 1 0 0 16 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=1712124 CPUtime=1.12
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 27739 0 -1 64 1812 0 0 0 111 1 0 0 16 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27798] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 27739 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27807] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27807/stat : 27807 (java) S 27786 27788 27739 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155960955 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.94
Current children cumulated vsize (Kb) 1712124

[startup+1773.37 s]
/proc/loadavg: 1.11 1.03 0.98 2/76 28005
/proc/meminfo: memFree=730496/2055920 swapFree=4182684/4192956
[pid=27788] ppid=27786 vsize=1712124 CPUtime=1800.97
/proc/27788/stat : 27788 (java) R 27786 27788 27739 0 -1 0 257845 0 1 0 179823 274 0 0 21 0 13 0 155936536 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071564236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27788/statm: 428031 197070 1911 14 0 414778 0
[pid=27788/tid=27789] ppid=27786 vsize=1712124 CPUtime=27.41
/proc/27788/task/27789/stat : 27789 (java) S 27786 27788 27739 0 -1 64 104355 0 0 0 2643 98 0 0 16 0 13 0 155936539 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27790] ppid=27786 vsize=1712124 CPUtime=27.52
/proc/27788/task/27790/stat : 27790 (java) S 27786 27788 27739 0 -1 64 97841 0 0 0 2661 91 0 0 16 0 13 0 155936539 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27791] ppid=27786 vsize=1712124 CPUtime=0.78
/proc/27788/task/27791/stat : 27791 (java) S 27786 27788 27739 0 -1 64 87 0 0 0 46 32 0 0 15 0 13 0 155936542 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27792] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 27739 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155936543 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 27739 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 155936543 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27794/stat : 27794 (java) S 27786 27788 27739 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27795] ppid=27786 vsize=1712124 CPUtime=0.01
/proc/27788/task/27795/stat : 27795 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27796] ppid=27786 vsize=1712124 CPUtime=1.15
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 27739 0 -1 64 2392 0 0 0 114 1 0 0 16 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=1712124 CPUtime=1.12
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 27739 0 -1 64 1812 0 0 0 111 1 0 0 16 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27798] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 27739 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27807] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27807/stat : 27807 (java) S 27786 27788 27739 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155960955 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.97
Current children cumulated vsize (Kb) 1712124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1773.37 s]
/proc/loadavg: 1.11 1.03 0.98 2/76 28005
/proc/meminfo: memFree=730496/2055920 swapFree=4182684/4192956
[pid=27788] ppid=27786 vsize=1712124 CPUtime=1800.97
/proc/27788/stat : 27788 (java) R 27786 27788 27739 0 -1 0 257845 0 1 0 179823 274 0 0 21 0 13 0 155936536 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071820229 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27788/statm: 428031 197070 1911 14 0 414778 0
[pid=27788/tid=27789] ppid=27786 vsize=1712124 CPUtime=27.41
/proc/27788/task/27789/stat : 27789 (java) S 27786 27788 27739 0 -1 64 104355 0 0 0 2643 98 0 0 16 0 13 0 155936539 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27790] ppid=27786 vsize=1712124 CPUtime=27.52
/proc/27788/task/27790/stat : 27790 (java) S 27786 27788 27739 0 -1 64 97841 0 0 0 2661 91 0 0 16 0 13 0 155936539 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27791] ppid=27786 vsize=1712124 CPUtime=0.78
/proc/27788/task/27791/stat : 27791 (java) S 27786 27788 27739 0 -1 64 87 0 0 0 46 32 0 0 15 0 13 0 155936542 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27792] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 27739 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155936543 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 27739 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 155936543 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27794/stat : 27794 (java) S 27786 27788 27739 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27795] ppid=27786 vsize=1712124 CPUtime=0.01
/proc/27788/task/27795/stat : 27795 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27796] ppid=27786 vsize=1712124 CPUtime=1.15
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 27739 0 -1 64 2392 0 0 0 114 1 0 0 16 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=1712124 CPUtime=1.12
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 27739 0 -1 64 1812 0 0 0 111 1 0 0 16 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27798] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 27739 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 27739 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155936546 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27788/tid=27807] ppid=27786 vsize=1712124 CPUtime=0
/proc/27788/task/27807/stat : 27807 (java) S 27786 27788 27739 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155960955 1753214976 197070 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.97
Current children cumulated vsize (Kb) 1712124

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 1773.57
CPU time (s): 1801.21
CPU user time (s): 1798.34
CPU system time (s): 2.86956
CPU usage (%): 101.559
Max. virtual memory (cumulated for all children) (Kb): 1713336
The end

Launcher Data (download as text)

Begin job on node2 on Fri Jul 28 12:45:50 UTC 2006


FILE ID= 50622-1154090749

PBS_JOBID= 885664

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex5.r.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node2/50622-1154090749/instance-50622-1154090749.opb 740666914
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-50622-1154090749 -o ROOT/results/node2/solver-50622-1154090749 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node2/50622-1154090749/instance-50622-1154090749.opb 740666914

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  a65b7dae8af36ed37815bca4e48a5306

RANDOM SEED= 740666914

TIMEOUT= 1800 seconds


/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.276
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.276
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:       1513848 kB
Buffers:         33876 kB
Cached:         449824 kB
SwapCached:       3996 kB
Active:          73276 kB
Inactive:       419464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1513848 kB
SwapTotal:     4192956 kB
SwapFree:      4182684 kB
Dirty:             192 kB
Writeback:           0 kB
Mapped:          14528 kB
Slab:            35340 kB
Committed_AS:   688168 kB
PageTables:       1492 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node2 on Fri Jul 28 13:15:23 UTC 2006