Trace number 44129

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)8680 1801.24 1786.57

General information on the benchmark

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

Verifier Data (download as text)

OK	8680

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/node13/watcher-44129-1149370255 -o ROOT/results/node13/solver-44129-1149370255 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node13/44129-1149370255/instance-44129-1149370255.opb 586120356 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.91 2/64 31080
/proc/meminfo: memFree=1860640/2055920 swapFree=4181416/4192956
[pid=31080] ppid=31078 vsize=1784 CPUtime=0
/proc/31080/stat : 31080 (java) D 31078 31080 31034 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 202688094 1826816 146 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/31080/statm: 446 146 111 14 0 91 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.97 0.91 2/76 31100
/proc/meminfo: memFree=1665472/2055920 swapFree=4181416/4192956
[pid=31080] ppid=31078 vsize=1719120 CPUtime=11.88
/proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 56898 0 1 0 1161 27 0 0 25 0 13 0 202688094 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071433957 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31080/statm: 429780 50598 1909 14 0 416527 0
[pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=0.09
/proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 2388 0 0 0 9 0 0 0 15 0 13 0 202688097 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=0.08
/proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 2165 0 0 0 8 0 0 0 16 0 13 0 202688097 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 202688104 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=0.86
/proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1598 0 0 0 86 0 0 0 17 0 13 0 202688104 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.6
/proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6688 0 0 0 157 3 0 0 17 0 13 0 202688104 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31100] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31100/stat : 31100 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202688897 1760378880 50598 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.88
Current children cumulated vsize (Kb) 1719120

[startup+20.0111 s]
/proc/loadavg: 0.94 0.97 0.91 2/76 31103
/proc/meminfo: memFree=1663552/2055920 swapFree=4181416/4192956
[pid=31080] ppid=31078 vsize=1719120 CPUtime=21.99
/proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 60596 0 1 0 2171 28 0 0 19 0 13 0 202688094 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071433976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31080/statm: 429780 51028 1911 14 0 416527 0
[pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=0.15
/proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 3119 0 0 0 14 1 0 0 15 0 13 0 202688097 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=0.14
/proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 2983 0 0 0 14 0 0 0 16 0 13 0 202688097 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 37 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=0.92
/proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1603 0 0 0 92 0 0 0 17 0 13 0 202688104 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.64
/proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 161 3 0 0 16 0 13 0 202688104 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31103] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31103/stat : 31103 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202690058 1760378880 51028 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.99
Current children cumulated vsize (Kb) 1719120

[startup+30.0194 s]
/proc/loadavg: 0.95 0.97 0.91 2/76 31105
/proc/meminfo: memFree=1671352/2055920 swapFree=4181416/4192956
[pid=31080] ppid=31078 vsize=1719120 CPUtime=32.06
/proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 62560 0 1 0 3176 30 0 0 19 0 13 0 202688094 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071543977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31080/statm: 429780 49135 1911 14 0 416527 0
[pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=0.21
/proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 4153 0 0 0 19 2 0 0 16 0 13 0 202688097 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=0.21
/proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 3878 0 0 0 20 1 0 0 16 0 13 0 202688097 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.02
/proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 47 0 0 0 1 1 0 0 15 0 13 0 202688100 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=0.93
/proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1603 0 0 0 93 0 0 0 16 0 13 0 202688104 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.65
/proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 162 3 0 0 16 0 13 0 202688104 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31105] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31105/stat : 31105 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 202690949 1760378880 49135 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 32.06
Current children cumulated vsize (Kb) 1719120

[startup+40.0267 s]
/proc/loadavg: 0.96 0.97 0.91 2/76 31108
/proc/meminfo: memFree=1666544/2055920 swapFree=4181416/4192956
[pid=31080] ppid=31078 vsize=1719120 CPUtime=42.11
/proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 64828 0 1 0 4180 31 0 0 25 0 13 0 202688094 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071511283 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31080/statm: 429780 50284 1911 14 0 416527 0
[pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=0.26
/proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 5157 0 0 0 24 2 0 0 16 0 13 0 202688097 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=0.26
/proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 5119 0 0 0 25 1 0 0 15 0 13 0 202688097 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.02
/proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 48 0 0 0 1 1 0 0 16 0 13 0 202688100 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=0.93
/proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1603 0 0 0 93 0 0 0 16 0 13 0 202688104 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.65
/proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 162 3 0 0 16 0 13 0 202688104 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31108] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31108/stat : 31108 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 202691431 1760378880 50284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.11
Current children cumulated vsize (Kb) 1719120

[startup+50.0341 s]
/proc/loadavg: 0.96 0.97 0.91 2/76 31110
/proc/meminfo: memFree=1660136/2055920 swapFree=4181416/4192956
[pid=31080] ppid=31078 vsize=1719120 CPUtime=52.16
/proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 67435 0 1 0 5183 33 0 0 17 0 13 0 202688094 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071433899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31080/statm: 429780 51922 1911 14 0 416527 0
[pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=0.3
/proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 6089 0 0 0 28 2 0 0 16 0 13 0 202688097 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=0.31
/proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 6036 0 0 0 29 2 0 0 16 0 13 0 202688097 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.03
/proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 49 0 0 0 2 1 0 0 16 0 13 0 202688100 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=0.93
/proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1603 0 0 0 93 0 0 0 16 0 13 0 202688104 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.65
/proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 162 3 0 0 16 0 13 0 202688104 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31110] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31110/stat : 31110 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202693060 1760378880 51922 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 52.16
Current children cumulated vsize (Kb) 1719120

[startup+60.0414 s]
/proc/loadavg: 0.97 0.97 0.91 2/76 31110
/proc/meminfo: memFree=1667176/2055920 swapFree=4181416/4192956
[pid=31080] ppid=31078 vsize=1719120 CPUtime=62.2
/proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 67832 0 1 0 6186 34 0 0 18 0 13 0 202688094 1760378880 50134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071731698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31080/statm: 429780 50134 1911 14 0 416527 0
[pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=0.33
/proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 6281 0 0 0 31 2 0 0 16 0 13 0 202688097 1760378880 50134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=0.34
/proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 6221 0 0 0 32 2 0 0 16 0 13 0 202688097 1760378880 50134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.04
/proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 49 0 0 0 2 2 0 0 16 0 13 0 202688100 1760378880 50134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 50134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 50134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 50134 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=1.03
/proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1694 0 0 0 103 0 0 0 16 0 13 0 202688104 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.66
/proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 163 3 0 0 16 0 13 0 202688104 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31122] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31122/stat : 31122 (java) S 31078 31080 31034 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 202844838 1760378880 103301 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (Kb) 1719120

[startup+1783.39 s]
/proc/loadavg: 1.06 1.01 0.94 2/76 31122
/proc/meminfo: memFree=1452968/2055920 swapFree=4181416/4192956
[pid=31080] ppid=31078 vsize=1719120 CPUtime=1797.96
/proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 189916 0 1 0 179592 204 0 0 18 0 13 0 202688094 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071731742 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31080/statm: 429780 103289 1911 14 0 416527 0
[pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=13.89
/proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 38009 0 0 0 1333 56 0 0 16 0 13 0 202688097 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=13.7
/proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 35298 0 0 0 1327 43 0 0 16 0 13 0 202688097 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.91
/proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 199 0 0 0 52 39 0 0 15 0 13 0 202688100 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=1.03
/proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1694 0 0 0 103 0 0 0 16 0 13 0 202688104 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.66
/proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 163 3 0 0 16 0 13 0 202688104 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31122] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31122/stat : 31122 (java) S 31078 31080 31034 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 202844838 1760378880 103289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (Kb) 1719120

[startup+1784.4 s]
/proc/loadavg: 1.06 1.01 0.94 2/76 31122
/proc/meminfo: memFree=1452968/2055920 swapFree=4181416/4192956
[pid=31080] ppid=31078 vsize=1719120 CPUtime=1798.97
/proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 189921 0 1 0 179693 204 0 0 19 0 13 0 202688094 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071433976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31080/statm: 429780 103276 1911 14 0 416527 0
[pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=13.9
/proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 38010 0 0 0 1334 56 0 0 16 0 13 0 202688097 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=13.71
/proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 35300 0 0 0 1328 43 0 0 16 0 13 0 202688097 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.91
/proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 199 0 0 0 52 39 0 0 15 0 13 0 202688100 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=1.03
/proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1694 0 0 0 103 0 0 0 16 0 13 0 202688104 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.66
/proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 163 3 0 0 16 0 13 0 202688104 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31122] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31122/stat : 31122 (java) S 31078 31080 31034 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 202844838 1760378880 103276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.97
Current children cumulated vsize (Kb) 1719120

[startup+1785.4 s]
/proc/loadavg: 1.06 1.01 0.94 2/76 31122
/proc/meminfo: memFree=1453032/2055920 swapFree=4181416/4192956
[pid=31080] ppid=31078 vsize=1719120 CPUtime=1799.98
/proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 189927 0 1 0 179794 204 0 0 21 0 13 0 202688094 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071511353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31080/statm: 429780 103264 1911 14 0 416527 0
[pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=13.91
/proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 38012 0 0 0 1335 56 0 0 16 0 13 0 202688097 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=13.72
/proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 35302 0 0 0 1329 43 0 0 16 0 13 0 202688097 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.91
/proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 199 0 0 0 52 39 0 0 15 0 13 0 202688100 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=1.03
/proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1694 0 0 0 103 0 0 0 16 0 13 0 202688104 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.66
/proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 163 3 0 0 16 0 13 0 202688104 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31122] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31122/stat : 31122 (java) S 31078 31080 31034 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 202844838 1760378880 103264 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.98
Current children cumulated vsize (Kb) 1719120

[startup+1786.41 s]
/proc/loadavg: 1.06 1.01 0.94 2/76 31122
/proc/meminfo: memFree=1453096/2055920 swapFree=4181416/4192956
[pid=31080] ppid=31078 vsize=1719120 CPUtime=1801
/proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 189933 0 1 0 179896 204 0 0 24 0 13 0 202688094 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071542545 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31080/statm: 429780 103252 1911 14 0 416527 0
[pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=13.92
/proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 38014 0 0 0 1336 56 0 0 16 0 13 0 202688097 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=13.73
/proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 35304 0 0 0 1330 43 0 0 16 0 13 0 202688097 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.91
/proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 199 0 0 0 52 39 0 0 15 0 13 0 202688100 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=1.03
/proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1694 0 0 0 103 0 0 0 16 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.66
/proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 163 3 0 0 16 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31122] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31122/stat : 31122 (java) S 31078 31080 31034 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 202844838 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1801
Current children cumulated vsize (Kb) 1719120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.42 s]
/proc/loadavg: 1.06 1.01 0.94 2/76 31122
/proc/meminfo: memFree=1453096/2055920 swapFree=4181416/4192956
[pid=31080] ppid=31078 vsize=1719120 CPUtime=1801
/proc/31080/stat : 31080 (java) R 31078 31080 31034 0 -1 0 189933 0 1 0 179896 204 0 0 24 0 13 0 202688094 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071433957 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31080/statm: 429780 103252 1911 14 0 416527 0
[pid=31080/tid=31081] ppid=31078 vsize=1719120 CPUtime=13.92
/proc/31080/task/31081/stat : 31081 (java) S 31078 31080 31034 0 -1 64 38014 0 0 0 1336 56 0 0 16 0 13 0 202688097 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31082] ppid=31078 vsize=1719120 CPUtime=13.73
/proc/31080/task/31082/stat : 31082 (java) S 31078 31080 31034 0 -1 64 35304 0 0 0 1330 43 0 0 16 0 13 0 202688097 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31083] ppid=31078 vsize=1719120 CPUtime=0.91
/proc/31080/task/31083/stat : 31083 (java) S 31078 31080 31034 0 -1 64 199 0 0 0 52 39 0 0 15 0 13 0 202688100 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31084] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31084/stat : 31084 (java) S 31078 31080 31034 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31085] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31085/stat : 31085 (java) S 31078 31080 31034 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202688100 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31086] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31086/stat : 31086 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31087] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31087/stat : 31087 (java) S 31078 31080 31034 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31080/tid=31088] ppid=31078 vsize=1719120 CPUtime=1.03
/proc/31080/task/31088/stat : 31088 (java) S 31078 31080 31034 0 -1 64 1694 0 0 0 103 0 0 0 16 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31089] ppid=31078 vsize=1719120 CPUtime=1.66
/proc/31080/task/31089/stat : 31089 (java) S 31078 31080 31034 0 -1 64 6689 0 0 0 163 3 0 0 16 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31090] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31090/stat : 31090 (java) S 31078 31080 31034 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31091] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31091/stat : 31091 (java) S 31078 31080 31034 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202688104 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31080/tid=31122] ppid=31078 vsize=1719120 CPUtime=0
/proc/31080/task/31122/stat : 31122 (java) S 31078 31080 31034 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 202844838 1760378880 103252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1801
Current children cumulated vsize (Kb) 1719120

Sending SIGTERM to -31080
Sleeping 2 seconds

Child status: 143
Real time (s): 1786.57
CPU time (s): 1801.24
CPU user time (s): 1799.12
CPU system time (s): 2.11668
CPU usage (%): 100.821
Max. virtual memory (cumulated for all children) (Kb): 1719120

Launcher Data (download as text)

Begin job on node13 on Sat Jun  3 21:30:55 UTC 2006


FILE ID= 44129-1149370255

PBS_JOBID= 312154

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

MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213
MD5SUM BENCH=  54b9b4de78a7992fd69d0caeed32daef

RANDOM SEED= 586120356


/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.234
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.234
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:       1860912 kB
Buffers:         15144 kB
Cached:         122632 kB
SwapCached:       2848 kB
Active:          43956 kB
Inactive:       102152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1860912 kB
SwapTotal:     4192956 kB
SwapFree:      4181416 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14664 kB
Slab:            34908 kB
Committed_AS:   381176 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 node13 on Sat Jun  3 22:00:41 UTC 2006