Trace number 44034

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.2SAT (TO)-6855 1800.56 1768.75

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	-6855

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node65/watcher-44034-1149356164 -o ROOT/results/node65/solver-44034-1149356164 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node65/44034-1149356164/instance-44034-1149356164.opb 418274853 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 7788
/proc/meminfo: memFree=1767976/2055920 swapFree=4181844/4192956
[pid=7788] ppid=7786 vsize=220 CPUtime=0
/proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 208 0 0 0 0 0 0 0 18 0 1 0 201285725 225280 31 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 5686180 0 0 4096 0 0 0 0 17 0 0 0
/proc/7788/statm: 73 35 27 14 0 5 0

[startup+10.0023 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 7807
/proc/meminfo: memFree=1582288/2055920 swapFree=4181844/4192956
[pid=7788] ppid=7786 vsize=1715684 CPUtime=11.64
/proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 51999 0 1 0 1141 23 0 0 23 0 13 0 201285725 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071418802 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7788/statm: 428921 48286 1910 14 0 415668 0
[pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=0.26
/proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 5919 0 0 0 23 3 0 0 16 0 13 0 201285728 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=0.26
/proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 4590 0 0 0 24 2 0 0 16 0 13 0 201285728 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 25 0 0 0 0 0 0 0 16 0 13 0 201285731 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01
/proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=0.99
/proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 98 1 0 0 17 0 13 0 201285735 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.92
/proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2586 0 0 0 92 0 0 0 16 0 13 0 201285735 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7807] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7807/stat : 7807 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 201286004 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.64
Current children cumulated vsize (Kb) 1715684

[startup+20.0089 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 7808
/proc/meminfo: memFree=1565704/2055920 swapFree=4181844/4192956
[pid=7788] ppid=7786 vsize=1715684 CPUtime=21.77
/proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 56603 0 1 0 2152 25 0 0 25 0 13 0 201285725 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071518224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7788/statm: 428921 52444 1910 14 0 415668 0
[pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=0.38
/proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 8454 0 0 0 34 4 0 0 16 0 13 0 201285728 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=0.38
/proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 6648 0 0 0 35 3 0 0 17 0 13 0 201285728 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 201285731 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01
/proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=0.99
/proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 98 1 0 0 17 0 13 0 201285735 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.92
/proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2586 0 0 0 92 0 0 0 16 0 13 0 201285735 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7808] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7808/stat : 7808 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201287698 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.77
Current children cumulated vsize (Kb) 1715684

[startup+30.0164 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 7808
/proc/meminfo: memFree=1545480/2055920 swapFree=4181844/4192956
[pid=7788] ppid=7786 vsize=1715684 CPUtime=31.91
/proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 62129 0 1 0 3163 28 0 0 25 0 13 0 201285725 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071541129 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7788/statm: 428921 57488 1910 14 0 415668 0
[pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=0.51
/proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 10993 0 0 0 46 5 0 0 16 0 13 0 201285728 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=0.51
/proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 9423 0 0 0 47 4 0 0 16 0 13 0 201285728 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 201285731 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01
/proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=0.99
/proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 98 1 0 0 16 0 13 0 201285735 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.92
/proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2586 0 0 0 92 0 0 0 17 0 13 0 201285735 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7808] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7808/stat : 7808 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201287698 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.91
Current children cumulated vsize (Kb) 1715684

[startup+40.024 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 7809
/proc/meminfo: memFree=1522944/2055920 swapFree=4181844/4192956
[pid=7788] ppid=7786 vsize=1715684 CPUtime=42.07
/proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 68553 0 1 0 4176 31 0 0 25 0 13 0 201285725 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071426285 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7788/statm: 428921 63107 1910 14 0 415668 0
[pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=0.67
/proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 13730 0 0 0 61 6 0 0 16 0 13 0 201285728 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=0.68
/proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 13102 0 0 0 62 6 0 0 16 0 13 0 201285728 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 27 0 0 0 0 0 0 0 15 0 13 0 201285731 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01
/proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=0.99
/proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 98 1 0 0 16 0 13 0 201285735 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.92
/proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2586 0 0 0 92 0 0 0 16 0 13 0 201285735 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7809] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7809/stat : 7809 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201288845 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.07
Current children cumulated vsize (Kb) 1715684

[startup+50.0317 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 7810
/proc/meminfo: memFree=1508152/2055920 swapFree=4181844/4192956
[pid=7788] ppid=7786 vsize=1715684 CPUtime=52.2
/proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 72751 0 1 0 5187 33 0 0 25 0 13 0 201285725 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071418802 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7788/statm: 428921 66805 1910 14 0 415668 0
[pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=0.8
/proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 15849 0 0 0 73 7 0 0 16 0 13 0 201285728 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=0.8
/proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 15172 0 0 0 73 7 0 0 16 0 13 0 201285728 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 201285731 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01
/proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=0.99
/proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 98 1 0 0 16 0 13 0 201285735 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.92
/proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2586 0 0 0 92 0 0 0 16 0 13 0 201285735 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7810] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7810/stat : 7810 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201290145 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 52.2
Current children cumulated vsize (Kb) 1715684

[startup+60.0394 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 7810
/proc/meminfo: memFree=1495992/2055920 swapFree=4181844/4192956
[pid=7788] ppid=7786 vsize=1715684 CPUtime=62.29
/proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 76308 0 1 0 6195 34 0 0 19 0 13 0 201285725 1756860416 69834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071418786 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7788/statm: 428921 69834 1910 14 0 415668 0
[pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=0.89
/proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 17482 0 0 0 81 8 0 0 17 0 13 0 201285728 1756860416 69834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=0.9
/proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 17088 0 0 0 83 7 0 0 16 0 13 0 201285728 1756860416 69834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=0.01
/proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 27 0 0 0 1 0 0 0 15 0 13 0 201285731 1756860416 69834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 69834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 69834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 69834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01
/proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=1
/proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 99 1 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.99
/proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2596 0 0 0 99 0 0 0 16 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=8016] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/8016/stat : 8016 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201438556 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (Kb) 1715684

[startup+1765.36 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 8016
/proc/meminfo: memFree=212192/2055920 swapFree=4181844/4192956
[pid=7788] ppid=7786 vsize=1715684 CPUtime=1797.02
/proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 470523 0 1 0 179458 244 0 0 25 0 13 0 201285725 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071511082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7788/statm: 428921 389786 1912 14 0 415668 0
[pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=31.33
/proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 214772 0 0 0 3032 101 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=31.32
/proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 204913 0 0 0 3033 99 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=4.51
/proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 63 0 0 0 439 12 0 0 15 0 13 0 201285731 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01
/proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=1
/proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 99 1 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.99
/proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2596 0 0 0 99 0 0 0 16 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=8016] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/8016/stat : 8016 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201438556 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.02
Current children cumulated vsize (Kb) 1715684

[startup+1766.36 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 8016
/proc/meminfo: memFree=212128/2055920 swapFree=4181844/4192956
[pid=7788] ppid=7786 vsize=1715684 CPUtime=1798.03
/proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 470523 0 1 0 179559 244 0 0 25 0 13 0 201285725 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071518224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7788/statm: 428921 389786 1912 14 0 415668 0
[pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=31.33
/proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 214772 0 0 0 3032 101 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=31.32
/proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 204913 0 0 0 3033 99 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=4.51
/proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 63 0 0 0 439 12 0 0 16 0 13 0 201285731 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01
/proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=1
/proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 99 1 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.99
/proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2596 0 0 0 99 0 0 0 16 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=8016] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/8016/stat : 8016 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201438556 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (Kb) 1715684

[startup+1767.37 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 8016
/proc/meminfo: memFree=212128/2055920 swapFree=4181844/4192956
[pid=7788] ppid=7786 vsize=1715684 CPUtime=1799.03
/proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 470523 0 1 0 179659 244 0 0 25 0 13 0 201285725 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071511082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7788/statm: 428921 389786 1912 14 0 415668 0
[pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=31.33
/proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 214772 0 0 0 3032 101 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=31.32
/proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 204913 0 0 0 3033 99 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=4.51
/proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 63 0 0 0 439 12 0 0 16 0 13 0 201285731 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01
/proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=1
/proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 99 1 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.99
/proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2596 0 0 0 99 0 0 0 16 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=8016] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/8016/stat : 8016 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201438556 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.03
Current children cumulated vsize (Kb) 1715684

[startup+1768.37 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 8016
/proc/meminfo: memFree=212128/2055920 swapFree=4181844/4192956
[pid=7788] ppid=7786 vsize=1715684 CPUtime=1800.09
/proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 470524 0 1 0 179765 244 0 0 25 0 13 0 201285725 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071418792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7788/statm: 428921 389786 1912 14 0 415668 0
[pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=31.38
/proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 214772 0 0 0 3037 101 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=31.37
/proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 204913 0 0 0 3038 99 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=4.51
/proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 63 0 0 0 439 12 0 0 15 0 13 0 201285731 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01
/proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=1
/proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 99 1 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.99
/proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2596 0 0 0 99 0 0 0 16 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=8016] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/8016/stat : 8016 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201438556 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (Kb) 1715684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1768.38 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 8016
/proc/meminfo: memFree=212128/2055920 swapFree=4181844/4192956
[pid=7788] ppid=7786 vsize=1715684 CPUtime=1800.09
/proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 470524 0 1 0 179765 244 0 0 25 0 13 0 201285725 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071426295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7788/statm: 428921 389786 1912 14 0 415668 0
[pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=31.38
/proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 214772 0 0 0 3037 101 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=31.37
/proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 204913 0 0 0 3038 99 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=4.51
/proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 63 0 0 0 439 12 0 0 15 0 13 0 201285731 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01
/proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=1
/proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 99 1 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.99
/proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2596 0 0 0 99 0 0 0 16 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7788/tid=8016] ppid=7786 vsize=1715684 CPUtime=0
/proc/7788/task/8016/stat : 8016 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201438556 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (Kb) 1715684

Sending SIGTERM to -7788
Sleeping 2 seconds

Child status: 143
Real time (s): 1768.75
CPU time (s): 1800.56
CPU user time (s): 1797.87
CPU system time (s): 2.68159
CPU usage (%): 101.798
Max. virtual memory (cumulated for all children) (Kb): 1715684

Launcher Data (download as text)

Begin job on node65 on Sat Jun  3 17:36:04 UTC 2006


FILE ID= 44034-1149356164

PBS_JOBID= 311262

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

MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213
MD5SUM BENCH=  bae2de9f4879fca72b44ba1c72e8b4a3

RANDOM SEED= 418274853


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1768376 kB
Buffers:         19188 kB
Cached:         204816 kB
SwapCached:       2776 kB
Active:          53240 kB
Inactive:       179452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1768376 kB
SwapTotal:     4192956 kB
SwapFree:      4181844 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          14748 kB
Slab:            40836 kB
Committed_AS:   346192 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node65 on Sat Jun  3 18:05:33 UTC 2006