Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb |
MD5SUM | d9b143d593d6c40f70d01400b968fa76 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 3424 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 180407058264 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 180407058264 |
Number of bits of the biggest sum of numbers | 38 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.353945 |
Number of variables | 4600 |
Total number of constraints | 374 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 64 |
Number of constraints which are nor clauses,nor cardinality constraints | 310 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 147 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc13 THE 2005-05-25 09:28:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21006 boxname=wulflinc13 idbench=994 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: d9b143d593d6c40f70d01400b968fa76 /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-pp08aCUTS.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-pp08aCUTS.opb IDLAUNCH: 21006 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 658680 kB Buffers: 34308 kB Cached: 321540 kB SwapCached: 608 kB Active: 66780 kB Inactive: 291576 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 658428 kB SwapTotal: 2097136 kB SwapFree: 2096148 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6156 kB Slab: 11984 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 09:49:14 (client local time) WITH STATUS 143 IN 1270.09 SECONDS stats: 21006 7 1270.09 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-pp08aCUTS.opb c reading problem ... done. Time 9.292 ms. c #vars 4600 c #constraints 374 c starts : 8 c conflicts : 4384 c decisions : 13712 c propagations : 41189 c inspects : 2073131 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 4384 c root simplifications : 8 s UNKNOWN c Total CPU time (ms) : 1239.282 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.91 0.99 0.99 2/54 11702 Raw data (stat): 11702 (runsolver) R 11701 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779585994 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0003 s] Raw data (loadavg): 1.08 1.02 1.00 4/63 11711 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18024 0 1 0 821 38 0 0 25 0 10 0 779585994 857198592 20105 4294967295 134512640 134569956 3221224368 3221214800 1131151507 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209277 20105 13086 16 0 209261 0 vsize: 837108 [startup+20.0008 s] Raw data (loadavg): 1.29 1.07 1.02 3/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18084 0 1 0 1543 39 0 0 25 0 11 0 779585994 867446784 23745 4294967295 134512640 134569956 3221224368 3221214568 1131315063 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211779 23745 13086 16 0 211763 0 vsize: 847116 [startup+30.041 s] Raw data (loadavg): 1.33 1.09 1.02 3/64 11712 Raw data (stat): 11702 (java) S 11701 1269 1268 0 -1 0 18086 0 1 0 2422 39 0 0 25 0 11 0 779585994 870596608 24819 4294967295 134512640 134569956 3221224368 3221213232 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212548 24819 13086 16 0 212532 0 vsize: 850192 [startup+40.0412 s] Raw data (loadavg): 1.36 1.10 1.03 3/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18089 0 1 0 3353 40 0 0 25 0 11 0 779585994 872816640 25863 4294967295 134512640 134569956 3221224368 3221214520 1131400337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213090 25863 13086 16 0 213074 0 vsize: 852360 [startup+50.0418 s] Raw data (loadavg): 1.30 1.10 1.02 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18089 0 1 0 4306 40 0 0 25 0 11 0 779585994 868192256 24769 4294967295 134512640 134569956 3221224368 3221214592 1131408132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211961 24769 13086 16 0 211945 0 vsize: 847844 [startup+60.0488 s] Raw data (loadavg): 1.26 1.09 1.02 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18089 0 1 0 5267 40 0 0 25 0 11 0 779585994 860844032 23118 4294967295 134512640 134569956 3221224368 3221214520 1131401051 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210167 23118 13086 16 0 210151 0 vsize: 840668 [startup+70.0532 s] Raw data (loadavg): 1.22 1.09 1.02 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18089 0 1 0 6218 40 0 0 25 0 11 0 779585994 860581888 23243 4294967295 134512640 134569956 3221224368 3221214608 1131408016 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210103 23243 13086 16 0 210087 0 vsize: 840412 [startup+80.0547 s] Raw data (loadavg): 1.18 1.08 1.02 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 7182 41 0 0 25 0 11 0 779585994 860581888 23667 4294967295 134512640 134569956 3221224368 3221214372 1078128082 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 23667 13086 16 0 210087 0 vsize: 840412 [startup+90.0543 s] Raw data (loadavg): 1.15 1.08 1.02 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 8164 41 0 0 25 0 11 0 779585994 860581888 24094 4294967295 134512640 134569956 3221224368 3221214456 1131753630 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 24094 13086 16 0 210087 0 vsize: 840412 [startup+100.056 s] Raw data (loadavg): 1.13 1.08 1.02 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 9136 41 0 0 25 0 11 0 779585994 860581888 24623 4294967295 134512640 134569956 3221224368 3221214608 1131407772 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210103 24623 13086 16 0 210087 0 vsize: 840412 [startup+110.056 s] Raw data (loadavg): 1.11 1.08 1.02 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 10096 42 0 0 25 0 11 0 779585994 860581888 25157 4294967295 134512640 134569956 3221224368 3221214520 1131290450 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210103 25157 13086 16 0 210087 0 vsize: 840412 [startup+120.06 s] Raw data (loadavg): 1.09 1.07 1.02 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 11069 42 0 0 25 0 11 0 779585994 860581888 25543 4294967295 134512640 134569956 3221224368 3221214752 1131370928 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 25543 13086 16 0 210087 0 vsize: 840412 [startup+130.061 s] Raw data (loadavg): 1.08 1.07 1.02 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 12042 42 0 0 25 0 11 0 779585994 860581888 25839 4294967295 134512640 134569956 3221224368 3221214672 1131347068 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 25839 13086 16 0 210087 0 vsize: 840412 [startup+140.061 s] Raw data (loadavg): 1.06 1.07 1.02 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 13010 42 0 0 25 0 11 0 779585994 860581888 26381 4294967295 134512640 134569956 3221224368 3221214456 1131754393 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 26381 13086 16 0 210087 0 vsize: 840412 [startup+150.063 s] Raw data (loadavg): 1.05 1.06 1.02 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 13981 42 0 0 25 0 11 0 779585994 860581888 26736 4294967295 134512640 134569956 3221224368 3221214528 1131290688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 26736 13086 16 0 210087 0 vsize: 840412 [startup+160.064 s] Raw data (loadavg): 1.05 1.06 1.01 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 14934 42 0 0 24 0 11 0 779585994 860581888 27082 4294967295 134512640 134569956 3221224368 3221214672 1131347795 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 27082 13086 16 0 210087 0 vsize: 840412 [startup+170.064 s] Raw data (loadavg): 1.04 1.06 1.01 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 15885 42 0 0 25 0 11 0 779585994 860581888 27183 4294967295 134512640 134569956 3221224368 3221214632 1131423173 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 27183 13086 16 0 210087 0 vsize: 840412 [startup+180.064 s] Raw data (loadavg): 1.03 1.06 1.01 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 16824 42 0 0 25 0 11 0 779585994 860581888 27436 4294967295 134512640 134569956 3221224368 3221214672 1131351200 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 27436 13086 16 0 210087 0 vsize: 840412 [startup+190.065 s] Raw data (loadavg): 1.03 1.05 1.01 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 17767 42 0 0 25 0 11 0 779585994 860581888 27589 4294967295 134512640 134569956 3221224368 3221214432 1131315405 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 27589 13086 16 0 210087 0 vsize: 840412 [startup+200.066 s] Raw data (loadavg): 1.02 1.05 1.01 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 18706 43 0 0 25 0 11 0 779585994 860581888 27875 4294967295 134512640 134569956 3221224368 3221214480 1131222437 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 27875 13086 16 0 210087 0 vsize: 840412 [startup+210.066 s] Raw data (loadavg): 1.02 1.05 1.01 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 19638 43 0 0 25 0 11 0 779585994 860581888 28075 4294967295 134512640 134569956 3221224368 3221214568 1131314996 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 28075 13086 16 0 210087 0 vsize: 840412 [startup+220.066 s] Raw data (loadavg): 1.02 1.05 1.01 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 20573 43 0 0 25 0 11 0 779585994 860581888 28296 4294967295 134512640 134569956 3221224368 3221214536 1131399712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 28296 13086 16 0 210087 0 vsize: 840412 [startup+230.067 s] Raw data (loadavg): 1.01 1.05 1.01 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 21521 43 0 0 25 0 11 0 779585994 860581888 28584 4294967295 134512640 134569956 3221224368 3221214568 1131314989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 28584 13086 16 0 210087 0 vsize: 840412 [startup+240.067 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 22488 43 0 0 25 0 11 0 779585994 860581888 28818 4294967295 134512640 134569956 3221224368 3221214568 1131315526 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 28818 13086 16 0 210087 0 vsize: 840412 [startup+250.069 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 23463 43 0 0 25 0 11 0 779585994 860581888 28873 4294967295 134512640 134569956 3221224368 3221214568 1131315405 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 28873 13086 16 0 210087 0 vsize: 840412 [startup+260.07 s] Raw data (loadavg): 1.01 1.04 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 24437 44 0 0 25 0 11 0 779585994 860581888 28933 4294967295 134512640 134569956 3221224368 3221214672 1131347987 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 28933 13086 16 0 210087 0 vsize: 840412 [startup+270.069 s] Raw data (loadavg): 1.00 1.04 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 25409 44 0 0 25 0 11 0 779585994 860581888 29001 4294967295 134512640 134569956 3221224368 3221214672 1131345981 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 29001 13086 16 0 210087 0 vsize: 840412 [startup+280.079 s] Raw data (loadavg): 1.00 1.04 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 26382 44 0 0 25 0 11 0 779585994 860581888 29067 4294967295 134512640 134569956 3221224368 3221214568 1131315536 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210103 29067 13086 16 0 210087 0 vsize: 840412 [startup+290.101 s] Raw data (loadavg): 1.00 1.04 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 27355 45 0 0 25 0 11 0 779585994 860581888 29137 4294967295 134512640 134569956 3221224368 3221214568 1131315570 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 29137 13086 16 0 210087 0 vsize: 840412 [startup+300.101 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 28328 45 0 0 25 0 11 0 779585994 860581888 29201 4294967295 134512640 134569956 3221224368 3221214856 1131303603 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 29201 13086 16 0 210087 0 vsize: 840412 [startup+310.101 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 29298 45 0 0 25 0 11 0 779585994 860581888 29273 4294967295 134512640 134569956 3221224368 3221214672 1131347025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 29273 13086 16 0 210087 0 vsize: 840412 [startup+320.101 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 30267 45 0 0 25 0 11 0 779585994 860581888 29354 4294967295 134512640 134569956 3221224368 3221214568 1131315485 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 29354 13086 16 0 210087 0 vsize: 840412 [startup+330.102 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 31238 46 0 0 25 0 11 0 779585994 860581888 29428 4294967295 134512640 134569956 3221224368 3221214568 1131315306 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 29428 13086 16 0 210087 0 vsize: 840412 [startup+340.102 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 32209 46 0 0 25 0 11 0 779585994 860581888 29509 4294967295 134512640 134569956 3221224368 3221214568 1131315327 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 29509 13086 16 0 210087 0 vsize: 840412 [startup+350.103 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 33182 46 0 0 25 0 11 0 779585994 860581888 29573 4294967295 134512640 134569956 3221224368 3221214552 1131709074 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 29573 13086 16 0 210087 0 vsize: 840412 [startup+360.103 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 34151 46 0 0 25 0 11 0 779585994 860581888 29635 4294967295 134512640 134569956 3221224368 3221214480 1131222425 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 29635 13086 16 0 210087 0 vsize: 840412 [startup+370.103 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 35120 46 0 0 25 0 11 0 779585994 860581888 29716 4294967295 134512640 134569956 3221224368 3221214568 1131314939 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 29716 13086 16 0 210087 0 vsize: 840412 [startup+380.104 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 36099 47 0 0 25 0 11 0 779585994 860581888 29773 4294967295 134512640 134569956 3221224368 3221214368 1131712200 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 29773 13086 16 0 210087 0 vsize: 840412 [startup+390.104 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 37085 47 0 0 25 0 11 0 779585994 860581888 29800 4294967295 134512640 134569956 3221224368 3221214528 1131290455 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 29800 13086 16 0 210087 0 vsize: 840412 [startup+400.105 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 38073 47 0 0 25 0 11 0 779585994 860581888 29816 4294967295 134512640 134569956 3221224368 3221214632 1131290575 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 29816 13086 16 0 210087 0 vsize: 840412 [startup+410.105 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 39058 47 0 0 25 0 11 0 779585994 860581888 29977 4294967295 134512640 134569956 3221224368 3221214496 1131489484 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 29977 13086 16 0 210087 0 vsize: 840412 [startup+420.104 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 40046 47 0 0 24 0 11 0 779585994 860581888 30313 4294967295 134512640 134569956 3221224368 3221214424 1131492047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 30313 13086 16 0 210087 0 vsize: 840412 [startup+430.105 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 41040 47 0 0 25 0 11 0 779585994 860581888 30457 4294967295 134512640 134569956 3221224368 3221214424 1131716466 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 30457 13086 16 0 210087 0 vsize: 840412 [startup+440.105 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 42025 47 0 0 25 0 11 0 779585994 860581888 30886 4294967295 134512640 134569956 3221224368 3221214520 1131288865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 30886 13086 16 0 210087 0 vsize: 840412 [startup+450.105 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 43019 47 0 0 25 0 11 0 779585994 860581888 31036 4294967295 134512640 134569956 3221224368 3221214456 1131753634 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 31036 13086 16 0 210087 0 vsize: 840412 [startup+460.105 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 44009 47 0 0 25 0 11 0 779585994 860581888 31355 4294967295 134512640 134569956 3221224368 3221214616 1131350069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 31355 13086 16 0 210087 0 vsize: 840412 [startup+470.105 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 44978 47 0 0 25 0 11 0 779585994 860581888 31630 4294967295 134512640 134569956 3221224368 3221214512 1131315570 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 31630 13086 16 0 210087 0 vsize: 840412 [startup+480.105 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 45952 47 0 0 25 0 11 0 779585994 860581888 31760 4294967295 134512640 134569956 3221224368 3221214416 1131753100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 31760 13086 16 0 210087 0 vsize: 840412 [startup+490.105 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 46926 47 0 0 25 0 11 0 779585994 860581888 32026 4294967295 134512640 134569956 3221224368 3221214280 1131258281 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 32026 13086 16 0 210087 0 vsize: 840412 [startup+500.106 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 47901 47 0 0 25 0 11 0 779585994 860581888 32313 4294967295 134512640 134569956 3221224368 3221214512 1131315526 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 32313 13086 16 0 210087 0 vsize: 840412 [startup+510.106 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 48880 48 0 0 25 0 11 0 779585994 860581888 32425 4294967295 134512640 134569956 3221224368 3221214512 1131315558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 32425 13086 16 0 210087 0 vsize: 840412 [startup+520.106 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 49850 48 0 0 25 0 11 0 779585994 860581888 32707 4294967295 134512640 134569956 3221224368 3221214424 1131222836 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 32707 13086 16 0 210087 0 vsize: 840412 [startup+530.105 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 50803 48 0 0 25 0 11 0 779585994 860581888 32782 4294967295 134512640 134569956 3221224368 3221214512 1131315405 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 32782 13086 16 0 210087 0 vsize: 840412 [startup+540.106 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 51755 48 0 0 25 0 11 0 779585994 860581888 32826 4294967295 134512640 134569956 3221224368 3221214512 1131315604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 32826 13086 16 0 210087 0 vsize: 840412 [startup+550.106 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 52715 48 0 0 24 0 11 0 779585994 860581888 33449 4294967295 134512640 134569956 3221224368 3221214512 1131315405 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 33449 13086 16 0 210087 0 vsize: 840412 [startup+560.106 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 53696 48 0 0 25 0 11 0 779585994 860581888 33621 4294967295 134512640 134569956 3221224368 3221214616 1131347126 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 33621 13086 16 0 210087 0 vsize: 840412 [startup+570.107 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 54676 48 0 0 25 0 11 0 779585994 860581888 33650 4294967295 134512640 134569956 3221224368 3221214616 1131345922 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 33650 13086 16 0 210087 0 vsize: 840412 [startup+580.107 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 55656 48 0 0 25 0 11 0 779585994 860581888 33696 4294967295 134512640 134569956 3221224368 3221214416 1131754030 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 33696 13086 16 0 210087 0 vsize: 840412 [startup+590.106 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 56634 48 0 0 25 0 11 0 779585994 860581888 33739 4294967295 134512640 134569956 3221224368 3221214512 1131314989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 33739 13086 16 0 210087 0 vsize: 840412 [startup+600.108 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 57610 49 0 0 24 0 11 0 779585994 860581888 33801 4294967295 134512640 134569956 3221224368 3221214512 1131315405 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 33801 13086 16 0 210087 0 vsize: 840412 [startup+610.108 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 58598 49 0 0 25 0 11 0 779585994 860581888 33818 4294967295 134512640 134569956 3221224368 3221214568 1131407656 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 33818 13086 16 0 210087 0 vsize: 840412 [startup+620.108 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 59572 49 0 0 25 0 11 0 779585994 860581888 33847 4294967295 134512640 134569956 3221224368 3221214564 1131206112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 33847 13086 16 0 210087 0 vsize: 840412 [startup+630.109 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 60543 49 0 0 25 0 11 0 779585994 860581888 33874 4294967295 134512640 134569956 3221224368 3221214552 1131239836 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 33874 13086 16 0 210087 0 vsize: 840412 [startup+640.109 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 61511 49 0 0 25 0 11 0 779585994 860581888 34113 4294967295 134512640 134569956 3221224368 3221214384 1131716100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 34113 13086 16 0 210087 0 vsize: 840412 [startup+650.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 62473 49 0 0 25 0 11 0 779585994 860581888 34403 4294967295 134512640 134569956 3221224368 3221214568 1131407986 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 34403 13086 16 0 210087 0 vsize: 840412 [startup+660.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 63442 49 0 0 25 0 11 0 779585994 860581888 34586 4294967295 134512640 134569956 3221224368 3221214492 1131391532 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 34586 13086 16 0 210087 0 vsize: 840412 [startup+670.109 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 64411 49 0 0 25 0 11 0 779585994 860581888 34805 4294967295 134512640 134569956 3221224368 3221214600 1131263615 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 34805 13086 16 0 210087 0 vsize: 840412 [startup+680.117 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 65373 50 0 0 25 0 11 0 779585994 860581888 35135 4294967295 134512640 134569956 3221224368 3221214264 1131769116 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 35135 13086 16 0 210087 0 vsize: 840412 [startup+690.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 66344 50 0 0 25 0 11 0 779585994 860581888 35317 4294967295 134512640 134569956 3221224368 3221214496 1131399727 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210103 35317 13086 16 0 210087 0 vsize: 840412 [startup+700.119 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 67307 50 0 0 25 0 11 0 779585994 860581888 35541 4294967295 134512640 134569956 3221224368 3221214456 1131489298 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 35541 13086 16 0 210087 0 vsize: 840412 [startup+710.227 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 68287 50 0 0 25 0 11 0 779585994 860581888 35761 4294967295 134512640 134569956 3221224368 3221213824 1131769193 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 35761 13086 16 0 210087 0 vsize: 840412 [startup+720.227 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 69257 50 0 0 25 0 11 0 779585994 860581888 35929 4294967295 134512640 134569956 3221224368 3221214496 1131399734 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 35929 13086 16 0 210087 0 vsize: 840412 [startup+730.227 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 70218 50 0 0 25 0 11 0 779585994 860581888 36195 4294967295 134512640 134569956 3221224368 3221214628 1131504627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 36195 13086 16 0 210087 0 vsize: 840412 [startup+740.228 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 71187 50 0 0 25 0 11 0 779585994 860581888 36426 4294967295 134512640 134569956 3221224368 3221214496 1131400155 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 36426 13086 16 0 210087 0 vsize: 840412 [startup+750.229 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 72149 50 0 0 25 0 11 0 779585994 860581888 36672 4294967295 134512640 134569956 3221224368 3221214616 1131345915 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 36672 13086 16 0 210087 0 vsize: 840412 [startup+760.229 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 73117 50 0 0 25 0 11 0 779585994 860581888 36871 4294967295 134512640 134569956 3221224368 3221214592 1131311688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 36871 13086 16 0 210087 0 vsize: 840412 [startup+770.229 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 74093 50 0 0 25 0 11 0 779585994 860581888 37030 4294967295 134512640 134569956 3221224368 3221214512 1131315281 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 37030 13086 16 0 210087 0 vsize: 840412 [startup+780.229 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 75027 50 0 0 25 0 11 0 779585994 860581888 37078 4294967295 134512640 134569956 3221224368 3221214616 1131347021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 37078 13086 16 0 210087 0 vsize: 840412 [startup+790.229 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 75962 51 0 0 25 0 11 0 779585994 860581888 37291 4294967295 134512640 134569956 3221224368 3221214512 1131315570 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 37291 13086 16 0 210087 0 vsize: 840412 [startup+800.229 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 76916 51 0 0 24 0 11 0 779585994 860581888 37823 4294967295 134512640 134569956 3221224368 3221214616 1131347047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 37823 13086 16 0 210087 0 vsize: 840412 [startup+810.229 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 77899 51 0 0 25 0 11 0 779585994 860581888 37937 4294967295 134512640 134569956 3221224368 3221214512 1131315452 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 37937 13086 16 0 210087 0 vsize: 840412 [startup+820.231 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 78883 51 0 0 25 0 11 0 779585994 860581888 37966 4294967295 134512640 134569956 3221224368 3221214512 1131315405 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 37966 13086 16 0 210087 0 vsize: 840412 [startup+830.232 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 79871 51 0 0 25 0 11 0 779585994 860581888 37978 4294967295 134512640 134569956 3221224368 3221214456 1131489568 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 37978 13086 16 0 210087 0 vsize: 840412 [startup+840.231 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 80857 51 0 0 25 0 11 0 779585994 860581888 37991 4294967295 134512640 134569956 3221224368 3221214512 1131315562 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 37991 13086 16 0 210087 0 vsize: 840412 [startup+850.231 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 81836 51 0 0 25 0 11 0 779585994 860581888 37999 4294967295 134512640 134569956 3221224368 3221214540 1130885124 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210103 37999 13086 16 0 210087 0 vsize: 840412 [startup+860.232 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 82813 52 0 0 25 0 11 0 779585994 860581888 38425 4294967295 134512640 134569956 3221224368 3221214480 1131290244 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 38425 13086 16 0 210087 0 vsize: 840412 [startup+870.232 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 83794 52 0 0 25 0 11 0 779585994 860581888 38793 4294967295 134512640 134569956 3221224368 3221214480 1131290690 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 38793 13086 16 0 210087 0 vsize: 840412 [startup+880.232 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 84773 53 0 0 25 0 11 0 779585994 860581888 39248 4294967295 134512640 134569956 3221224368 3221214512 1131315405 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 39248 13086 16 0 210087 0 vsize: 840412 [startup+890.233 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 85754 53 0 0 25 0 11 0 779585994 860581888 39676 4294967295 134512640 134569956 3221224368 3221214416 1131753100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 39676 13086 16 0 210087 0 vsize: 840412 [startup+900.232 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 86736 53 0 0 25 0 11 0 779585994 860581888 40089 4294967295 134512640 134569956 3221224368 3221214588 1131380256 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 40089 13086 16 0 210087 0 vsize: 840412 [startup+910.232 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 87718 53 0 0 25 0 11 0 779585994 860581888 40529 4294967295 134512640 134569956 3221224368 3221214592 1131290233 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 40529 13086 16 0 210087 0 vsize: 840412 [startup+920.233 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 88706 53 0 0 25 0 11 0 779585994 860581888 40814 4294967295 134512640 134569956 3221224368 3221214296 1131429142 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 40814 13086 16 0 210087 0 vsize: 840412 [startup+930.233 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 89688 53 0 0 25 0 11 0 779585994 860581888 41309 4294967295 134512640 134569956 3221224368 3221214072 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 41309 13086 16 0 210087 0 vsize: 840412 [startup+940.233 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 90671 53 0 0 25 0 11 0 779585994 860581888 41759 4294967295 134512640 134569956 3221224368 3221214592 1131290477 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 41759 13086 16 0 210087 0 vsize: 840412 [startup+950.233 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 91659 53 0 0 25 0 11 0 779585994 860581888 42140 4294967295 134512640 134569956 3221224368 3221214480 1131290575 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 42140 13086 16 0 210087 0 vsize: 840412 [startup+960.233 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 92642 53 0 0 25 0 11 0 779585994 860581888 42428 4294967295 134512640 134569956 3221224368 3221214456 1131489496 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 42428 13086 16 0 210087 0 vsize: 840412 [startup+970.233 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 93624 54 0 0 25 0 11 0 779585994 860581888 42908 4294967295 134512640 134569956 3221224368 3221214168 1131788766 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 42908 13086 16 0 210087 0 vsize: 840412 [startup+980.234 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 94606 54 0 0 25 0 11 0 779585994 860581888 43458 4294967295 134512640 134569956 3221224368 3221214416 1131753764 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 43458 13086 16 0 210087 0 vsize: 840412 [startup+990.234 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 95596 54 0 0 25 0 11 0 779585994 860581888 43783 4294967295 134512640 134569956 3221224368 3221214592 1131290442 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 43783 13086 16 0 210087 0 vsize: 840412 [startup+1000.23 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 96579 54 0 0 25 0 11 0 779585994 860581888 44068 4294967295 134512640 134569956 3221224368 3221214664 1131206169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 44068 13086 16 0 210087 0 vsize: 840412 [startup+1010.23 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 97563 54 0 0 25 0 11 0 779585994 860581888 44371 4294967295 134512640 134569956 3221224368 3221214488 1131290621 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 44371 13086 16 0 210087 0 vsize: 840412 [startup+1020.23 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 98546 54 0 0 25 0 11 0 779585994 860581888 44815 4294967295 134512640 134569956 3221224368 3221214456 1131489484 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 44815 13086 16 0 210087 0 vsize: 840412 [startup+1030.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 99529 54 0 0 25 0 11 0 779585994 860581888 45240 4294967295 134512640 134569956 3221224368 3221214568 1131408146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 45240 13086 16 0 210087 0 vsize: 840412 [startup+1040.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 100517 54 0 0 25 0 11 0 779585994 860581888 45694 4294967295 134512640 134569956 3221224368 3221214416 1131753616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 45694 13086 16 0 210087 0 vsize: 840412 [startup+1050.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 101501 54 0 0 25 0 11 0 779585994 860581888 45952 4294967295 134512640 134569956 3221224368 3221214456 1131489484 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 45952 13086 16 0 210087 0 vsize: 840412 [startup+1060.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 102484 54 0 0 25 0 11 0 779585994 860581888 46436 4294967295 134512640 134569956 3221224368 3221214416 1131753634 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 46436 13086 16 0 210087 0 vsize: 840412 [startup+1070.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 103473 54 0 0 25 0 11 0 779585994 860581888 46730 4294967295 134512640 134569956 3221224368 3221214512 1131315596 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210103 46730 13086 16 0 210087 0 vsize: 840412 [startup+1080.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 104457 54 0 0 25 0 11 0 779585994 860581888 47235 4294967295 134512640 134569956 3221224368 3221214592 1131290668 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 47235 13086 16 0 210087 0 vsize: 840412 [startup+1090.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 105445 55 0 0 25 0 11 0 779585994 860581888 47553 4294967295 134512640 134569956 3221224368 3221214512 1131315377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210103 47553 13086 16 0 210087 0 vsize: 840412 [startup+1100.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 106430 55 0 0 25 0 11 0 779585994 860581888 47859 4294967295 134512640 134569956 3221224368 3221214316 1131340192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 47859 13086 16 0 210087 0 vsize: 840412 [startup+1110.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 107413 55 0 0 25 0 11 0 779585994 860581888 48285 4294967295 134512640 134569956 3221224368 3221214488 1131289185 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 48285 13086 16 0 210087 0 vsize: 840412 [startup+1120.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 108396 55 0 0 25 0 11 0 779585994 860581888 48603 4294967295 134512640 134569956 3221224368 3221214456 1131489419 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 48603 13086 16 0 210087 0 vsize: 840412 [startup+1130.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 109379 55 0 0 25 0 11 0 779585994 860581888 49021 4294967295 134512640 134569956 3221224368 3221214320 1131769088 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 49021 13086 16 0 210087 0 vsize: 840412 [startup+1140.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 110363 55 0 0 25 0 11 0 779585994 860581888 49453 4294967295 134512640 134569956 3221224368 3221214584 1131505142 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 49453 13086 16 0 210087 0 vsize: 840412 [startup+1150.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 111348 55 0 0 25 0 11 0 779585994 860581888 49726 4294967295 134512640 134569956 3221224368 3221214416 1131753716 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 49726 13086 16 0 210087 0 vsize: 840412 [startup+1160.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 112332 55 0 0 25 0 11 0 779585994 860581888 49996 4294967295 134512640 134569956 3221224368 3221214480 1131290549 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 49996 13086 16 0 210087 0 vsize: 840412 [startup+1170.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 113315 55 0 0 25 0 11 0 779585994 860581888 50414 4294967295 134512640 134569956 3221224368 3221214592 1131290597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 50414 13086 16 0 210087 0 vsize: 840412 [startup+1180.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 114299 55 0 0 25 0 11 0 779585994 860581888 50733 4294967295 134512640 134569956 3221224368 3221214496 1131400641 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 50733 13086 16 0 210087 0 vsize: 840412 [startup+1190.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 115283 55 0 0 25 0 11 0 779585994 860581888 51112 4294967295 134512640 134569956 3221224368 3221214664 1131206169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 51112 13086 16 0 210087 0 vsize: 840412 [startup+1200.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 116266 55 0 0 25 0 11 0 779585994 860581888 51421 4294967295 134512640 134569956 3221224368 3221214536 1131770069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 51421 13086 16 0 210087 0 vsize: 840412 [startup+1210.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 117248 55 0 0 25 0 11 0 779585994 860581888 51921 4294967295 134512640 134569956 3221224368 3221214568 1131407648 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 51921 13086 16 0 210087 0 vsize: 840412 [startup+1220.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 118237 55 0 0 25 0 11 0 779585994 860581888 52040 4294967295 134512640 134569956 3221224368 3221214512 1131315377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 52040 13086 16 0 210087 0 vsize: 840412 [startup+1230.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 119221 56 0 0 25 0 11 0 779585994 860581888 52515 4294967295 134512640 134569956 3221224368 3221214512 1131315550 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 52515 13086 16 0 210087 0 vsize: 840412 [startup+1240.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11712 Raw data (stat): 11702 (java) R 11701 1269 1268 0 -1 0 18090 0 1 0 120206 56 0 0 25 0 11 0 779585994 860581888 52800 4294967295 134512640 134569956 3221224368 3221214512 1131315550 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210103 52800 13086 16 0 210087 0 vsize: 840412 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.47 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 11714 Raw data (stat): 11702 (java) Z 11701 1269 1268 0 -1 1036 18090 57619 1 0 120212 65 6606 123 21 0 1 0 779585994 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1240.47 CPU time (s): 1270.09 CPU user time (s): 1268.19 CPU system time (s): 1.89771 CPU usage (%): 102.388 Max. virtual memory (Kb): 852360 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####