Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros.opb |
MD5SUM | e0398e644ed8244eeb84fb20e0ca944b |
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 | 10110 |
Biggest coefficient in the objective function | 330175610880000000 |
Number of bits for the biggest coefficient in the objective function | 59 |
Sum of the numbers in the objective function | -3512679628005298690 |
Number of bits of the sum of numbers in the objective function | 64 |
Biggest number in a constraint | 330175610880000000 |
Number of bits of the biggest number in a constraint | 59 |
Biggest sum of numbers in a constraint | -3512679628005298690 |
Number of bits of the biggest sum of numbers | 64 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.363944 |
Number of variables | 42240 |
Total number of constraints | 844 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 844 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 4740 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc20 THE 2005-05-25 07:53:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20857 boxname=wulflinc20 idbench=845 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: e0398e644ed8244eeb84fb20e0ca944b /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-maros.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-maros.opb IDLAUNCH: 20857 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 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 : 3 cpu MHz : 451.215 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: 333920 kB Buffers: 35656 kB Cached: 634788 kB SwapCached: 716 kB Active: 70468 kB Inactive: 606784 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 333668 kB SwapTotal: 2097892 kB SwapFree: 2096336 kB Dirty: 44 kB Writeback: 0 kB Mapped: 5068 kB Slab: 17832 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 08:14:14 (client local time) WITH STATUS 143 IN 1259.26 SECONDS stats: 20857 7 1259.26 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/wulflinc20/normalized-mps-v2-20-10-maros.opb c reading problem ... done. Time 506.764 ms. c #vars 42240 c #constraints 1148 c starts : 2 c conflicts : 154 c decisions : 5006 c propagations : 65382 c inspects : 596477 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 154 c root simplifications : 147 s UNKNOWN c Total CPU time (ms) : 1259.234 #### 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.93 0.98 0.99 2/54 2463 Raw data (stat): 2463 (runsolver) R 2462 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837228460 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0007 s] Raw data (loadavg): 0.94 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18012 0 1 0 874 37 0 0 24 0 10 0 837228460 853729280 19398 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208430 19398 13086 16 0 208414 0 vsize: 833720 [startup+20.0044 s] Raw data (loadavg): 0.95 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) S 2462 25399 25398 0 -1 0 18012 0 1 0 1774 37 0 0 25 0 10 0 837228460 853729280 19885 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208430 19885 13086 16 0 208414 0 vsize: 833720 [startup+30.0042 s] Raw data (loadavg): 0.95 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18012 0 1 0 2669 37 0 0 25 0 10 0 837228460 853729280 20391 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208430 20391 13086 16 0 208414 0 vsize: 833720 [startup+40.0049 s] Raw data (loadavg): 0.96 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18020 0 1 0 3581 38 0 0 24 0 10 0 837228460 853929984 20750 4294967295 134512640 134569956 3221224368 3221214232 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 20750 13086 16 0 208463 0 vsize: 833916 [startup+50.0056 s] Raw data (loadavg): 0.97 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18021 0 1 0 4498 38 0 0 25 0 10 0 837228460 853729280 20870 4294967295 134512640 134569956 3221224368 3221214768 1131235586 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208430 20870 13086 16 0 208414 0 vsize: 833720 [startup+60.0063 s] Raw data (loadavg): 0.97 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18022 0 1 0 5406 38 0 0 25 0 10 0 837228460 856260608 21554 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209048 21554 13086 16 0 209032 0 vsize: 836192 [startup+70.006 s] Raw data (loadavg): 0.97 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18022 0 1 0 6327 38 0 0 25 0 10 0 837228460 855523328 21603 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208868 21603 13086 16 0 208852 0 vsize: 835472 [startup+80.0057 s] Raw data (loadavg): 0.98 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18022 0 1 0 7254 38 0 0 25 0 10 0 837228460 853729280 21401 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 21401 13086 16 0 208414 0 vsize: 833720 [startup+90.0059 s] Raw data (loadavg): 0.98 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18022 0 1 0 8182 39 0 0 25 0 10 0 837228460 853729280 21529 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 21529 13086 16 0 208414 0 vsize: 833720 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18022 0 1 0 9117 39 0 0 25 0 10 0 837228460 853729280 21622 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 21622 13086 16 0 208414 0 vsize: 833720 [startup+110.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18022 0 1 0 10050 40 0 0 25 0 10 0 837228460 853729280 21741 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 21741 13086 16 0 208414 0 vsize: 833720 [startup+120.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18022 0 1 0 10988 40 0 0 25 0 10 0 837228460 853729280 21821 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 21821 13086 16 0 208414 0 vsize: 833720 [startup+130.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18022 0 1 0 11922 40 0 0 25 0 10 0 837228460 853729280 21925 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 21925 13086 16 0 208414 0 vsize: 833720 [startup+140.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18022 0 1 0 12857 40 0 0 24 0 10 0 837228460 853729280 22024 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 22024 13086 16 0 208414 0 vsize: 833720 [startup+150.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18022 0 1 0 13797 41 0 0 25 0 10 0 837228460 853729280 22096 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 22096 13086 16 0 208414 0 vsize: 833720 [startup+160.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18022 0 1 0 14731 41 0 0 25 0 10 0 837228460 853729280 22183 4294967295 134512640 134569956 3221224368 3221214684 1076614592 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 22183 13086 16 0 208414 0 vsize: 833720 [startup+170.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18022 0 1 0 15667 41 0 0 25 0 10 0 837228460 853729280 22231 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 22231 13086 16 0 208414 0 vsize: 833720 [startup+180.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18022 0 1 0 16580 42 0 0 25 0 10 0 837228460 853729280 22323 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 22323 13086 16 0 208414 0 vsize: 833720 [startup+190.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18022 0 1 0 17501 42 0 0 25 0 10 0 837228460 853729280 22413 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 22413 13086 16 0 208414 0 vsize: 833720 [startup+200.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18022 0 1 0 18434 43 0 0 25 0 10 0 837228460 853729280 22642 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 22642 13086 16 0 208414 0 vsize: 833720 [startup+210.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18022 0 1 0 19371 43 0 0 25 0 10 0 837228460 853729280 22713 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 22713 13086 16 0 208414 0 vsize: 833720 [startup+220.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 20304 44 0 0 25 0 10 0 837228460 853729280 22766 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 22766 13086 16 0 208414 0 vsize: 833720 [startup+230.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 21235 44 0 0 24 0 10 0 837228460 853729280 22851 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 22851 13086 16 0 208414 0 vsize: 833720 [startup+240.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 22171 45 0 0 25 0 10 0 837228460 853729280 22908 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 22908 13086 16 0 208414 0 vsize: 833720 [startup+250.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 23102 46 0 0 25 0 10 0 837228460 853729280 22973 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 22973 13086 16 0 208414 0 vsize: 833720 [startup+260.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 24034 46 0 0 24 0 10 0 837228460 853729280 23032 4294967295 134512640 134569956 3221224368 3221214796 1080204146 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 23032 13086 16 0 208414 0 vsize: 833720 [startup+270.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 24969 46 0 0 25 0 10 0 837228460 853729280 23082 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 23082 13086 16 0 208414 0 vsize: 833720 [startup+280.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 25900 47 0 0 25 0 10 0 837228460 853729280 23137 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 23137 13086 16 0 208414 0 vsize: 833720 [startup+290.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 26834 47 0 0 25 0 10 0 837228460 853729280 23209 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 23209 13086 16 0 208414 0 vsize: 833720 [startup+300.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 27763 47 0 0 25 0 10 0 837228460 853729280 23265 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 23265 13086 16 0 208414 0 vsize: 833720 [startup+310.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 28698 48 0 0 25 0 10 0 837228460 853729280 23315 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 23315 13086 16 0 208414 0 vsize: 833720 [startup+320.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 29628 48 0 0 25 0 10 0 837228460 853729280 23367 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 23367 13086 16 0 208414 0 vsize: 833720 [startup+330.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) S 2462 25399 25398 0 -1 0 18023 0 1 0 30559 49 0 0 25 0 10 0 837228460 853729280 23419 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208430 23419 13086 16 0 208414 0 vsize: 833720 [startup+340.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 31467 50 0 0 25 0 10 0 837228460 854163456 23862 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208536 23862 13086 16 0 208520 0 vsize: 834144 [startup+350.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 32345 51 0 0 25 0 10 0 837228460 854056960 25093 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208510 25093 13086 16 0 208494 0 vsize: 834040 [startup+360.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 33223 53 0 0 25 0 10 0 837228460 854024192 26279 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208502 26279 13086 16 0 208486 0 vsize: 834008 [startup+370.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 34097 54 0 0 25 0 10 0 837228460 854024192 26732 4294967295 134512640 134569956 3221224368 3221214760 1131161332 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208502 26732 13086 16 0 208486 0 vsize: 834008 [startup+380.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) S 2462 25399 25398 0 -1 0 18023 0 1 0 34976 55 0 0 25 0 10 0 837228460 854024192 27189 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208502 27189 13086 16 0 208486 0 vsize: 834008 [startup+390.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 35853 55 0 0 25 0 10 0 837228460 854024192 27259 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208502 27259 13086 16 0 208486 0 vsize: 834008 [startup+400.131 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 36773 56 0 0 25 0 10 0 837228460 854024192 27597 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208502 27597 13086 16 0 208486 0 vsize: 834008 [startup+410.132 s] Raw data (loadavg): 0.99 0.98 0.99 2/63 2472 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 37679 57 0 0 25 0 10 0 837228460 854024192 27625 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208502 27625 13086 16 0 208486 0 vsize: 834008 [startup+420.131 s] Raw data (loadavg): 1.15 1.02 1.01 2/63 2525 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 38543 62 0 0 24 0 10 0 837228460 854024192 27908 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208502 27908 13086 16 0 208486 0 vsize: 834008 [startup+430.132 s] Raw data (loadavg): 1.13 1.02 1.00 2/63 2525 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 39425 62 0 0 25 0 10 0 837228460 854024192 27981 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208502 27981 13086 16 0 208486 0 vsize: 834008 [startup+440.135 s] Raw data (loadavg): 1.11 1.01 1.00 2/63 2525 Raw data (stat): 2463 (java) S 2462 25399 25398 0 -1 0 18023 0 1 0 40315 63 0 0 25 0 10 0 837228460 854024192 28283 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208502 28283 13086 16 0 208486 0 vsize: 834008 [startup+450.136 s] Raw data (loadavg): 1.09 1.01 1.00 2/63 2525 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 41212 63 0 0 25 0 10 0 837228460 854024192 28364 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208502 28364 13086 16 0 208486 0 vsize: 834008 [startup+460.136 s] Raw data (loadavg): 1.08 1.01 1.00 2/63 2525 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 42121 63 0 0 25 0 10 0 837228460 854024192 28584 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208502 28584 13086 16 0 208486 0 vsize: 834008 [startup+470.137 s] Raw data (loadavg): 1.07 1.01 1.00 2/63 2525 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 43036 64 0 0 25 0 10 0 837228460 854024192 28648 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208502 28648 13086 16 0 208486 0 vsize: 834008 [startup+480.138 s] Raw data (loadavg): 1.06 1.01 1.00 2/63 2527 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 43900 65 0 0 25 0 10 0 837228460 854024192 29822 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208502 29822 13086 16 0 208486 0 vsize: 834008 [startup+490.138 s] Raw data (loadavg): 1.05 1.01 1.00 2/63 2527 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 44796 65 0 0 21 0 10 0 837228460 854024192 29822 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208502 29822 13086 16 0 208486 0 vsize: 834008 [startup+500.14 s] Raw data (loadavg): 1.04 1.01 1.00 2/63 2527 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18023 0 1 0 45668 65 0 0 19 0 10 0 837228460 854024192 29993 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208502 29993 13086 16 0 208486 0 vsize: 834008 [startup+510.14 s] Raw data (loadavg): 1.03 1.01 1.00 2/63 2527 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18048 0 1 0 46552 65 0 0 25 0 10 0 837228460 856408064 30875 4294967295 134512640 134569956 3221224368 3221214712 1131356075 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 30875 13086 16 0 209068 0 vsize: 836336 [startup+520.14 s] Raw data (loadavg): 1.03 1.01 1.00 2/63 2527 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18049 0 1 0 47456 65 0 0 25 0 10 0 837228460 856342528 30888 4294967295 134512640 134569956 3221224368 3221214648 1131340525 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209068 30888 13086 16 0 209052 0 vsize: 836272 [startup+530.141 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 2527 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18049 0 1 0 48371 66 0 0 25 0 10 0 837228460 856342528 30906 4294967295 134512640 134569956 3221224368 3221214568 1131321321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209068 30906 13086 16 0 209052 0 vsize: 836272 [startup+540.141 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 2527 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18049 0 1 0 49297 66 0 0 25 0 10 0 837228460 856342528 31130 4294967295 134512640 134569956 3221224368 3221214568 1131321321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209068 31130 13086 16 0 209052 0 vsize: 836272 [startup+550.142 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 2527 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18049 0 1 0 50279 67 0 0 25 0 10 0 837228460 856342528 31803 4294967295 134512640 134569956 3221224368 3221214568 1131321399 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209068 31803 13086 16 0 209052 0 vsize: 836272 [startup+560.143 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 2527 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18049 0 1 0 51256 67 0 0 24 0 10 0 837228460 855818240 31709 4294967295 134512640 134569956 3221224368 3221214552 1131321452 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208940 31709 13086 16 0 208924 0 vsize: 835760 [startup+570.144 s] Raw data (loadavg): 1.08 1.02 1.00 2/63 2527 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18049 0 1 0 52214 67 0 0 25 0 10 0 837228460 855818240 31718 4294967295 134512640 134569956 3221224368 3221214696 1131356078 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208940 31718 13086 16 0 208924 0 vsize: 835760 [startup+580.144 s] Raw data (loadavg): 1.07 1.02 1.00 2/63 2527 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18049 0 1 0 53159 67 0 0 25 0 10 0 837228460 855818240 31721 4294967295 134512640 134569956 3221224368 3221214696 1131354957 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208940 31721 13086 16 0 208924 0 vsize: 835760 [startup+590.144 s] Raw data (loadavg): 1.06 1.02 1.00 2/63 2527 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18049 0 1 0 54102 68 0 0 24 0 10 0 837228460 855818240 31830 4294967295 134512640 134569956 3221224368 3221214552 1131321321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208940 31830 13086 16 0 208924 0 vsize: 835760 [startup+600.145 s] Raw data (loadavg): 1.05 1.02 1.00 2/63 2527 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18049 0 1 0 55066 68 0 0 25 0 10 0 837228460 855818240 32001 4294967295 134512640 134569956 3221224368 3221214696 1131360714 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208940 32001 13086 16 0 208924 0 vsize: 835760 [startup+610.146 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 2528 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18055 0 1 0 56049 68 0 0 25 0 11 0 837228460 856346624 32034 4294967295 134512640 134569956 3221224368 3221214520 1131321359 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32034 13086 16 0 209053 0 vsize: 836276 [startup+620.146 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 2528 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18055 0 1 0 57036 68 0 0 25 0 11 0 837228460 856346624 32044 4294967295 134512640 134569956 3221224368 3221214520 1131228084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32044 13086 16 0 209053 0 vsize: 836276 [startup+630.146 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 2528 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18055 0 1 0 58024 68 0 0 25 0 11 0 837228460 856346624 32059 4294967295 134512640 134569956 3221224368 3221214520 1131321321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32059 13086 16 0 209053 0 vsize: 836276 [startup+640.148 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 2528 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18055 0 1 0 59014 68 0 0 25 0 11 0 837228460 856346624 32067 4294967295 134512640 134569956 3221224368 3221214520 1131322193 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32067 13086 16 0 209053 0 vsize: 836276 [startup+650.148 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 2528 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18068 0 1 0 59994 68 0 0 25 0 11 0 837228460 856346624 32102 4294967295 134512640 134569956 3221224368 3221214744 1131391001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32102 13086 16 0 209053 0 vsize: 836276 [startup+660.149 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 2528 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18070 0 1 0 60985 68 0 0 24 0 11 0 837228460 856346624 32119 4294967295 134512640 134569956 3221224368 3221214664 1131356078 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32119 13086 16 0 209053 0 vsize: 836276 [startup+670.157 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 2528 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18070 0 1 0 61972 68 0 0 25 0 11 0 837228460 856346624 32125 4294967295 134512640 134569956 3221224368 3221214520 1131321203 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32125 13086 16 0 209053 0 vsize: 836276 [startup+680.163 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 2528 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18070 0 1 0 62962 68 0 0 24 0 11 0 837228460 856346624 32127 4294967295 134512640 134569956 3221224368 3221214480 1131044787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32127 13086 16 0 209053 0 vsize: 836276 [startup+690.165 s] Raw data (loadavg): 1.01 1.01 1.00 3/64 2528 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18070 0 1 0 63938 68 0 0 25 0 11 0 837228460 857513984 32391 4294967295 134512640 134569956 3221224368 3221214576 1131435064 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209354 32391 13086 16 0 209338 0 vsize: 837416 [startup+700.165 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 2528 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 64925 68 0 0 25 0 11 0 837228460 856346624 32205 4294967295 134512640 134569956 3221224368 3221214608 1131328676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32205 13086 16 0 209053 0 vsize: 836276 [startup+710.166 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 2528 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 65911 68 0 0 25 0 11 0 837228460 856346624 32213 4294967295 134512640 134569956 3221224368 3221214520 1131227669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32213 13086 16 0 209053 0 vsize: 836276 [startup+720.167 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2528 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 66899 68 0 0 25 0 11 0 837228460 856346624 32238 4294967295 134512640 134569956 3221224368 3221214520 1131321301 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32238 13086 16 0 209053 0 vsize: 836276 [startup+730.167 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 67888 68 0 0 25 0 11 0 837228460 856346624 32248 4294967295 134512640 134569956 3221224368 3221214520 1131322089 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32248 13086 16 0 209053 0 vsize: 836276 [startup+740.167 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 68879 68 0 0 25 0 11 0 837228460 856346624 32278 4294967295 134512640 134569956 3221224368 3221214520 1131321335 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32278 13086 16 0 209053 0 vsize: 836276 [startup+750.169 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 69872 68 0 0 25 0 11 0 837228460 856346624 32278 4294967295 134512640 134569956 3221224368 3221214520 1131321298 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32278 13086 16 0 209053 0 vsize: 836276 [startup+760.169 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 70865 68 0 0 25 0 11 0 837228460 856346624 32284 4294967295 134512640 134569956 3221224368 3221214664 1131356060 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32284 13086 16 0 209053 0 vsize: 836276 [startup+770.17 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 71858 68 0 0 25 0 11 0 837228460 856346624 32293 4294967295 134512640 134569956 3221224368 3221214608 1131328800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32293 13086 16 0 209053 0 vsize: 836276 [startup+780.17 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 72850 68 0 0 25 0 11 0 837228460 856346624 32293 4294967295 134512640 134569956 3221224368 3221214664 1131356060 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32293 13086 16 0 209053 0 vsize: 836276 [startup+790.17 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 73840 69 0 0 25 0 11 0 837228460 856346624 32293 4294967295 134512640 134569956 3221224368 3221214664 1131354957 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32293 13086 16 0 209053 0 vsize: 836276 [startup+800.171 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 74830 69 0 0 25 0 11 0 837228460 856346624 32293 4294967295 134512640 134569956 3221224368 3221214520 1131321398 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32293 13086 16 0 209053 0 vsize: 836276 [startup+810.172 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 75807 69 0 0 25 0 11 0 837228460 856346624 32325 4294967295 134512640 134569956 3221224368 3221214520 1131321227 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32325 13086 16 0 209053 0 vsize: 836276 [startup+820.173 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 76793 69 0 0 25 0 11 0 837228460 856346624 32326 4294967295 134512640 134569956 3221224368 3221214520 1131321321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32326 13086 16 0 209053 0 vsize: 836276 [startup+830.172 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 77775 69 0 0 25 0 11 0 837228460 856346624 32349 4294967295 134512640 134569956 3221224368 3221214608 1131328942 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32349 13086 16 0 209053 0 vsize: 836276 [startup+840.173 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 78761 69 0 0 25 0 11 0 837228460 856346624 32397 4294967295 134512640 134569956 3221224368 3221214664 1131356907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32397 13086 16 0 209053 0 vsize: 836276 [startup+850.174 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 79749 69 0 0 25 0 11 0 837228460 856346624 32435 4294967295 134512640 134569956 3221224368 3221214664 1131355943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32435 13086 16 0 209053 0 vsize: 836276 [startup+860.174 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 80737 69 0 0 25 0 11 0 837228460 856346624 32476 4294967295 134512640 134569956 3221224368 3221214664 1131354957 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32476 13086 16 0 209053 0 vsize: 836276 [startup+870.175 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 81726 69 0 0 25 0 11 0 837228460 856346624 32496 4294967295 134512640 134569956 3221224368 3221214664 1131354950 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32496 13086 16 0 209053 0 vsize: 836276 [startup+880.175 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 82715 69 0 0 25 0 11 0 837228460 856346624 32517 4294967295 134512640 134569956 3221224368 3221214520 1131321321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32517 13086 16 0 209053 0 vsize: 836276 [startup+890.176 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 83704 69 0 0 25 0 11 0 837228460 856346624 32542 4294967295 134512640 134569956 3221224368 3221214520 1131321452 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32542 13086 16 0 209053 0 vsize: 836276 [startup+900.176 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 84694 69 0 0 25 0 11 0 837228460 856346624 32571 4294967295 134512640 134569956 3221224368 3221214664 1131354912 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32571 13086 16 0 209053 0 vsize: 836276 [startup+910.177 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 85685 69 0 0 25 0 11 0 837228460 856346624 32598 4294967295 134512640 134569956 3221224368 3221214520 1131321986 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32598 13086 16 0 209053 0 vsize: 836276 [startup+920.178 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 86676 69 0 0 25 0 11 0 837228460 856346624 32614 4294967295 134512640 134569956 3221224368 3221214520 1131322016 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32614 13086 16 0 209053 0 vsize: 836276 [startup+930.178 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 87667 69 0 0 25 0 11 0 837228460 856346624 32626 4294967295 134512640 134569956 3221224368 3221214664 1131359872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32626 13086 16 0 209053 0 vsize: 836276 [startup+940.178 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 88659 69 0 0 25 0 11 0 837228460 856346624 32642 4294967295 134512640 134569956 3221224368 3221214520 1131321321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32642 13086 16 0 209053 0 vsize: 836276 [startup+950.179 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 89651 69 0 0 25 0 11 0 837228460 856346624 32655 4294967295 134512640 134569956 3221224368 3221214520 1131321304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32655 13086 16 0 209053 0 vsize: 836276 [startup+960.182 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 90643 69 0 0 25 0 11 0 837228460 856346624 32667 4294967295 134512640 134569956 3221224368 3221214664 1131359732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32667 13086 16 0 209053 0 vsize: 836276 [startup+970.182 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 91635 69 0 0 25 0 11 0 837228460 856346624 32679 4294967295 134512640 134569956 3221224368 3221214664 1131354957 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32679 13086 16 0 209053 0 vsize: 836276 [startup+980.182 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 92627 69 0 0 25 0 11 0 837228460 856346624 32692 4294967295 134512640 134569956 3221224368 3221214608 1131328924 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32692 13086 16 0 209053 0 vsize: 836276 [startup+990.183 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 93619 69 0 0 25 0 11 0 837228460 856346624 32704 4294967295 134512640 134569956 3221224368 3221214608 1131328755 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32704 13086 16 0 209053 0 vsize: 836276 [startup+1000.18 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 94611 69 0 0 25 0 11 0 837228460 856346624 32716 4294967295 134512640 134569956 3221224368 3221214608 1131328678 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32716 13086 16 0 209053 0 vsize: 836276 [startup+1010.18 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 95603 70 0 0 25 0 11 0 837228460 856346624 32724 4294967295 134512640 134569956 3221224368 3221214520 1131321551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32724 13086 16 0 209053 0 vsize: 836276 [startup+1020.18 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 96595 70 0 0 25 0 11 0 837228460 856346624 32736 4294967295 134512640 134569956 3221224368 3221214520 1131321321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32736 13086 16 0 209053 0 vsize: 836276 [startup+1030.18 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 97586 70 0 0 25 0 11 0 837228460 856346624 32744 4294967295 134512640 134569956 3221224368 3221214520 1131322658 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32744 13086 16 0 209053 0 vsize: 836276 [startup+1040.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 98576 70 0 0 25 0 11 0 837228460 856346624 32762 4294967295 134512640 134569956 3221224368 3221214520 1131322601 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32762 13086 16 0 209053 0 vsize: 836276 [startup+1050.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 99565 70 0 0 25 0 11 0 837228460 856346624 32770 4294967295 134512640 134569956 3221224368 3221214520 1131321321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32770 13086 16 0 209053 0 vsize: 836276 [startup+1060.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 100553 70 0 0 25 0 11 0 837228460 856346624 32793 4294967295 134512640 134569956 3221224368 3221214520 1131321235 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32793 13086 16 0 209053 0 vsize: 836276 [startup+1070.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 101545 70 0 0 25 0 11 0 837228460 856346624 32836 4294967295 134512640 134569956 3221224368 3221214604 1131228711 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32836 13086 16 0 209053 0 vsize: 836276 [startup+1080.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 102537 70 0 0 25 0 11 0 837228460 856346624 32845 4294967295 134512640 134569956 3221224368 3221214520 1131322212 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32845 13086 16 0 209053 0 vsize: 836276 [startup+1090.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 103529 70 0 0 25 0 11 0 837228460 856346624 32853 4294967295 134512640 134569956 3221224368 3221214608 1131328676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32853 13086 16 0 209053 0 vsize: 836276 [startup+1100.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 104521 70 0 0 25 0 11 0 837228460 856346624 32861 4294967295 134512640 134569956 3221224368 3221214664 1131355018 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32861 13086 16 0 209053 0 vsize: 836276 [startup+1110.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 105513 70 0 0 25 0 11 0 837228460 856346624 32869 4294967295 134512640 134569956 3221224368 3221214664 1131356075 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32869 13086 16 0 209053 0 vsize: 836276 [startup+1120.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 106506 70 0 0 25 0 11 0 837228460 856346624 32877 4294967295 134512640 134569956 3221224368 3221214608 1131328676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32877 13086 16 0 209053 0 vsize: 836276 [startup+1130.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 107498 70 0 0 25 0 11 0 837228460 856346624 32889 4294967295 134512640 134569956 3221224368 3221214664 1131355018 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32889 13086 16 0 209053 0 vsize: 836276 [startup+1140.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 108490 70 0 0 25 0 11 0 837228460 856346624 32897 4294967295 134512640 134569956 3221224368 3221214832 1131222617 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32897 13086 16 0 209053 0 vsize: 836276 [startup+1150.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 109481 70 0 0 25 0 11 0 837228460 856346624 32905 4294967295 134512640 134569956 3221224368 3221214664 1131359593 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32905 13086 16 0 209053 0 vsize: 836276 [startup+1160.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 110474 70 0 0 25 0 11 0 837228460 856346624 32913 4294967295 134512640 134569956 3221224368 3221214520 1131228092 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32913 13086 16 0 209053 0 vsize: 836276 [startup+1170.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 111467 70 0 0 25 0 11 0 837228460 856346624 32917 4294967295 134512640 134569956 3221224368 3221214520 1131322641 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32917 13086 16 0 209053 0 vsize: 836276 [startup+1180.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 112459 71 0 0 25 0 11 0 837228460 856346624 32925 4294967295 134512640 134569956 3221224368 3221214608 1131329034 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32925 13086 16 0 209053 0 vsize: 836276 [startup+1190.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 113451 71 0 0 25 0 11 0 837228460 856346624 32933 4294967295 134512640 134569956 3221224368 3221214828 1130885141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32933 13086 16 0 209053 0 vsize: 836276 [startup+1200.19 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 114443 71 0 0 25 0 11 0 837228460 856346624 32941 4294967295 134512640 134569956 3221224368 3221214608 1131328678 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209069 32941 13086 16 0 209053 0 vsize: 836276 [startup+1210.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 115435 71 0 0 25 0 11 0 837228460 856346624 32949 4294967295 134512640 134569956 3221224368 3221214608 1131328688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32949 13086 16 0 209053 0 vsize: 836276 [startup+1220.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 116428 71 0 0 25 0 11 0 837228460 856346624 32957 4294967295 134512640 134569956 3221224368 3221214608 1131328665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32957 13086 16 0 209053 0 vsize: 836276 [startup+1230.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 117420 71 0 0 25 0 11 0 837228460 856346624 32962 4294967295 134512640 134569956 3221224368 3221214520 1131322437 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32962 13086 16 0 209053 0 vsize: 836276 [startup+1240.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 118412 71 0 0 25 0 11 0 837228460 856346624 32970 4294967295 134512640 134569956 3221224368 3221214664 1131354957 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32970 13086 16 0 209053 0 vsize: 836276 [startup+1250.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 119404 71 0 0 25 0 11 0 837228460 856346624 32978 4294967295 134512640 134569956 3221224368 3221214520 1131227660 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32978 13086 16 0 209053 0 vsize: 836276 [startup+1260.2 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2530 Raw data (stat): 2463 (java) R 2462 25399 25398 0 -1 0 18071 0 1 0 120396 71 0 0 25 0 11 0 837228460 856346624 32986 4294967295 134512640 134569956 3221224368 3221214520 1131321227 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209069 32986 13086 16 0 209053 0 vsize: 836276 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.27 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 2532 Raw data (stat): 2463 (java) Z 2462 25399 25398 0 -1 1036 18071 13993 1 0 120397 71 5405 50 25 0 1 0 837228460 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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): 1260.27 CPU time (s): 1259.26 CPU user time (s): 1258.03 CPU system time (s): 1.22281 CPU usage (%): 99.9194 Max. virtual memory (Kb): 837416 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####