Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bk4x3.opb |
MD5SUM | 03cb86a701c2d8e08ff4c99e11fac5c4 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 358400 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 372 |
Biggest coefficient in the objective function | 2684354560 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 36507467742 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 2684354560 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 36507467742 |
Number of bits of the biggest sum of numbers | 36 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 25.8571 |
Number of variables | 372 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 120 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc19 THE 2005-04-21 22:28:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13984 boxname=wulflinc19 idbench=1076 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 03cb86a701c2d8e08ff4c99e11fac5c4 /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-bk4x3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-bk4x3.opb IDLAUNCH: 13984 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 618712 kB Buffers: 28868 kB Cached: 363136 kB SwapCached: 560 kB Active: 134564 kB Inactive: 259524 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 618460 kB SwapTotal: 2097892 kB SwapFree: 2096388 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5168 kB Slab: 16140 kB Committed_AS: 63820 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 22:49:04 (client local time) WITH STATUS 143 IN 1229.63 SECONDS stats: 13984 7 1229.63 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-bk4x3.opb c reading problem c [nbvar=372] c [nbconstr=19] c time 1.338 c #vars 372 c #clauses 27 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 #### 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.56 0.88 0.89 2/55 10159 Raw data (stat): 10159 (runsolver) R 10158 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548677971 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0009 s] Raw data (loadavg): 0.79 0.91 0.91 2/65 10169 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18088 0 1 0 684 41 0 0 25 0 11 0 548677971 865386496 21536 4294967295 134512640 134569956 3221224400 3221214808 1131196933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211276 21536 13073 16 0 211260 0 vsize: 845104 [startup+20.0012 s] Raw data (loadavg): 0.82 0.92 0.91 2/65 10169 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 1653 41 0 0 25 0 11 0 548677971 863944704 21203 4294967295 134512640 134569956 3221224400 3221214808 1131196601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 21203 13073 16 0 210908 0 vsize: 843696 [startup+30.027 s] Raw data (loadavg): 0.85 0.92 0.91 3/65 10169 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 2625 41 0 0 25 0 11 0 548677971 863944704 21328 4294967295 134512640 134569956 3221224400 3221214808 1131196890 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210924 21328 13073 16 0 210908 0 vsize: 843696 [startup+40.0282 s] Raw data (loadavg): 0.87 0.92 0.91 2/65 10169 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 3597 41 0 0 25 0 11 0 548677971 863944704 21545 4294967295 134512640 134569956 3221224400 3221214808 1131196918 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 21545 13073 16 0 210908 0 vsize: 843696 [startup+50.0287 s] Raw data (loadavg): 0.89 0.92 0.91 2/65 10169 Raw data (stat): 10159 (java) S 10158 22929 22928 0 -1 0 18089 0 1 0 4581 42 0 0 25 0 11 0 548677971 863944704 21598 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 21598 13073 16 0 210908 0 vsize: 843696 [startup+60.0289 s] Raw data (loadavg): 0.91 0.92 0.91 2/65 10169 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 5569 42 0 0 25 0 11 0 548677971 863944704 21656 4294967295 134512640 134569956 3221224400 3221214808 1131196933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 21656 13073 16 0 210908 0 vsize: 843696 [startup+70.0297 s] Raw data (loadavg): 0.92 0.93 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 6551 43 0 0 25 0 11 0 548677971 863944704 21713 4294967295 134512640 134569956 3221224400 3221214808 1131198284 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 21713 13073 16 0 210908 0 vsize: 843696 [startup+80.0301 s] Raw data (loadavg): 0.93 0.93 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 7535 43 0 0 25 0 11 0 548677971 863944704 21763 4294967295 134512640 134569956 3221224400 3221214808 1131197490 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 21763 13073 16 0 210908 0 vsize: 843696 [startup+90.0313 s] Raw data (loadavg): 0.94 0.93 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 8520 43 0 0 25 0 11 0 548677971 863944704 21837 4294967295 134512640 134569956 3221224400 3221214568 1131255013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 21837 13073 16 0 210908 0 vsize: 843696 [startup+100.032 s] Raw data (loadavg): 0.95 0.93 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 9506 43 0 0 25 0 11 0 548677971 863944704 21919 4294967295 134512640 134569956 3221224400 3221214808 1131196485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 21919 13073 16 0 210908 0 vsize: 843696 [startup+110.032 s] Raw data (loadavg): 0.96 0.93 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 10495 44 0 0 25 0 11 0 548677971 863944704 21974 4294967295 134512640 134569956 3221224400 3221214808 1131196933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 21974 13073 16 0 210908 0 vsize: 843696 [startup+120.034 s] Raw data (loadavg): 0.96 0.94 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 11482 44 0 0 25 0 11 0 548677971 863944704 22028 4294967295 134512640 134569956 3221224400 3221214840 1131180497 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 22028 13073 16 0 210908 0 vsize: 843696 [startup+130.035 s] Raw data (loadavg): 0.97 0.94 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 12470 45 0 0 25 0 11 0 548677971 863944704 22077 4294967295 134512640 134569956 3221224400 3221214808 1131197766 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 22077 13073 16 0 210908 0 vsize: 843696 [startup+140.035 s] Raw data (loadavg): 0.97 0.94 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 13459 45 0 0 25 0 11 0 548677971 863944704 22121 4294967295 134512640 134569956 3221224400 3221214896 1131205461 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 22121 13073 16 0 210908 0 vsize: 843696 [startup+150.036 s] Raw data (loadavg): 0.98 0.94 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 14446 45 0 0 25 0 11 0 548677971 863944704 22184 4294967295 134512640 134569956 3221224400 3221214808 1131198456 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 22184 13073 16 0 210908 0 vsize: 843696 [startup+160.036 s] Raw data (loadavg): 0.98 0.94 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 15433 46 0 0 25 0 11 0 548677971 863944704 22246 4294967295 134512640 134569956 3221224400 3221214808 1131196485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 22246 13073 16 0 210908 0 vsize: 843696 [startup+170.037 s] Raw data (loadavg): 0.98 0.94 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 16421 46 0 0 25 0 11 0 548677971 863944704 22314 4294967295 134512640 134569956 3221224400 3221214808 1131196933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 22314 13073 16 0 210908 0 vsize: 843696 [startup+180.038 s] Raw data (loadavg): 0.98 0.94 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 17410 47 0 0 25 0 11 0 548677971 863944704 22370 4294967295 134512640 134569956 3221224400 3221214840 1131180501 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 22370 13073 16 0 210908 0 vsize: 843696 [startup+190.039 s] Raw data (loadavg): 0.99 0.95 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 18398 47 0 0 25 0 11 0 548677971 863944704 22420 4294967295 134512640 134569956 3221224400 3221214808 1131196933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 22420 13073 16 0 210908 0 vsize: 843696 [startup+200.039 s] Raw data (loadavg): 0.99 0.95 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 19386 48 0 0 25 0 11 0 548677971 863944704 22477 4294967295 134512640 134569956 3221224400 3221214808 1131196890 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 22477 13073 16 0 210908 0 vsize: 843696 [startup+210.04 s] Raw data (loadavg): 0.99 0.95 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 20374 48 0 0 25 0 11 0 548677971 863944704 22534 4294967295 134512640 134569956 3221224400 3221214408 1131527831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 22534 13073 16 0 210908 0 vsize: 843696 [startup+220.04 s] Raw data (loadavg): 0.99 0.95 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 21360 49 0 0 25 0 11 0 548677971 863944704 22591 4294967295 134512640 134569956 3221224400 3221214808 1131197022 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 22591 13073 16 0 210908 0 vsize: 843696 [startup+230.041 s] Raw data (loadavg): 0.99 0.95 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 22344 49 0 0 25 0 11 0 548677971 863944704 22651 4294967295 134512640 134569956 3221224400 3221214808 1131196601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 22651 13073 16 0 210908 0 vsize: 843696 [startup+240.041 s] Raw data (loadavg): 0.99 0.95 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 23324 49 0 0 25 0 11 0 548677971 863944704 22714 4294967295 134512640 134569956 3221224400 3221214808 1131197210 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 22714 13073 16 0 210908 0 vsize: 843696 [startup+250.042 s] Raw data (loadavg): 0.99 0.95 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 24307 50 0 0 25 0 11 0 548677971 863944704 22817 4294967295 134512640 134569956 3221224400 3221214688 1131313783 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 22817 13073 16 0 210908 0 vsize: 843696 [startup+260.042 s] Raw data (loadavg): 0.99 0.95 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 25292 50 0 0 25 0 11 0 548677971 863944704 22910 4294967295 134512640 134569956 3221224400 3221214808 1131196567 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 22910 13073 16 0 210908 0 vsize: 843696 [startup+270.043 s] Raw data (loadavg): 0.99 0.95 0.91 2/65 10171 Raw data (stat): 10159 (java) S 10158 22929 22928 0 -1 0 18089 0 1 0 26279 50 0 0 25 0 11 0 548677971 863944704 22977 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 22977 13073 16 0 210908 0 vsize: 843696 [startup+280.043 s] Raw data (loadavg): 0.99 0.95 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 27267 51 0 0 25 0 11 0 548677971 863944704 23035 4294967295 134512640 134569956 3221224400 3221214808 1131197560 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23035 13073 16 0 210908 0 vsize: 843696 [startup+290.045 s] Raw data (loadavg): 0.99 0.95 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 28255 51 0 0 25 0 11 0 548677971 863944704 23088 4294967295 134512640 134569956 3221224400 3221214808 1131197064 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23088 13073 16 0 210908 0 vsize: 843696 [startup+300.045 s] Raw data (loadavg): 0.99 0.96 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 29241 52 0 0 25 0 11 0 548677971 863944704 23142 4294967295 134512640 134569956 3221224400 3221214808 1131196485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23142 13073 16 0 210908 0 vsize: 843696 [startup+310.045 s] Raw data (loadavg): 0.99 0.96 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 30228 53 0 0 25 0 11 0 548677971 863944704 23201 4294967295 134512640 134569956 3221224400 3221214808 1131196890 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23201 13073 16 0 210908 0 vsize: 843696 [startup+320.046 s] Raw data (loadavg): 0.99 0.96 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 31216 53 0 0 24 0 11 0 548677971 863944704 23257 4294967295 134512640 134569956 3221224400 3221214808 1131197083 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23257 13073 16 0 210908 0 vsize: 843696 [startup+330.047 s] Raw data (loadavg): 0.99 0.96 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 32204 54 0 0 25 0 11 0 548677971 863944704 23303 4294967295 134512640 134569956 3221224400 3221214808 1131197022 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23303 13073 16 0 210908 0 vsize: 843696 [startup+340.047 s] Raw data (loadavg): 0.99 0.96 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 33192 54 0 0 25 0 11 0 548677971 863944704 23357 4294967295 134512640 134569956 3221224400 3221214892 1131196467 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23357 13073 16 0 210908 0 vsize: 843696 [startup+350.048 s] Raw data (loadavg): 0.99 0.96 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 34180 54 0 0 25 0 11 0 548677971 863944704 23410 4294967295 134512640 134569956 3221224400 3221214808 1131196890 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23410 13073 16 0 210908 0 vsize: 843696 [startup+360.048 s] Raw data (loadavg): 0.99 0.96 0.91 2/65 10171 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 35168 55 0 0 25 0 11 0 548677971 863944704 23464 4294967295 134512640 134569956 3221224400 3221214896 1131205730 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23464 13073 16 0 210908 0 vsize: 843696 [startup+370.049 s] Raw data (loadavg): 0.99 0.96 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 36156 55 0 0 25 0 11 0 548677971 863944704 23507 4294967295 134512640 134569956 3221224400 3221214840 1131180480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23507 13073 16 0 210908 0 vsize: 843696 [startup+380.05 s] Raw data (loadavg): 0.99 0.96 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 37144 56 0 0 25 0 11 0 548677971 863944704 23556 4294967295 134512640 134569956 3221224400 3221214808 1131198421 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23556 13073 16 0 210908 0 vsize: 843696 [startup+390.051 s] Raw data (loadavg): 0.99 0.96 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 38132 56 0 0 25 0 11 0 548677971 863944704 23608 4294967295 134512640 134569956 3221224400 3221214808 1131196933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23608 13073 16 0 210908 0 vsize: 843696 [startup+400.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 39120 56 0 0 25 0 11 0 548677971 863944704 23650 4294967295 134512640 134569956 3221224400 3221214840 1131180505 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23650 13073 16 0 210908 0 vsize: 843696 [startup+410.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 40108 56 0 0 25 0 11 0 548677971 863944704 23703 4294967295 134512640 134569956 3221224400 3221214808 1131196485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23703 13073 16 0 210908 0 vsize: 843696 [startup+420.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 41097 57 0 0 25 0 11 0 548677971 863944704 23749 4294967295 134512640 134569956 3221224400 3221214808 1131196514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23749 13073 16 0 210908 0 vsize: 843696 [startup+430.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 42085 57 0 0 25 0 11 0 548677971 863944704 23786 4294967295 134512640 134569956 3221224400 3221214808 1131197115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23786 13073 16 0 210908 0 vsize: 843696 [startup+440.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 43073 58 0 0 25 0 11 0 548677971 863944704 23840 4294967295 134512640 134569956 3221224400 3221214808 1131196933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23840 13073 16 0 210908 0 vsize: 843696 [startup+450.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 44059 58 0 0 25 0 11 0 548677971 863944704 23895 4294967295 134512640 134569956 3221224400 3221214808 1131197119 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23895 13073 16 0 210908 0 vsize: 843696 [startup+460.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 45046 58 0 0 25 0 11 0 548677971 863944704 23950 4294967295 134512640 134569956 3221224400 3221214840 1131180480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 23950 13073 16 0 210908 0 vsize: 843696 [startup+470.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 46032 59 0 0 24 0 11 0 548677971 863944704 24022 4294967295 134512640 134569956 3221224400 3221214808 1131198306 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 24022 13073 16 0 210908 0 vsize: 843696 [startup+480.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 47020 59 0 0 25 0 11 0 548677971 863944704 24073 4294967295 134512640 134569956 3221224400 3221214808 1131197111 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 24073 13073 16 0 210908 0 vsize: 843696 [startup+490.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 48007 60 0 0 25 0 11 0 548677971 863944704 24140 4294967295 134512640 134569956 3221224400 3221214840 1131180605 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 24140 13073 16 0 210908 0 vsize: 843696 [startup+500.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 48993 60 0 0 25 0 11 0 548677971 863944704 24207 4294967295 134512640 134569956 3221224400 3221214896 1131205874 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 24207 13073 16 0 210908 0 vsize: 843696 [startup+510.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 49980 60 0 0 25 0 11 0 548677971 863944704 24257 4294967295 134512640 134569956 3221224400 3221214808 1131197616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 24257 13073 16 0 210908 0 vsize: 843696 [startup+520.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 50966 61 0 0 24 0 11 0 548677971 863944704 24333 4294967295 134512640 134569956 3221224400 3221214808 1131196868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 24333 13073 16 0 210908 0 vsize: 843696 [startup+530.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 51954 61 0 0 25 0 11 0 548677971 863944704 24375 4294967295 134512640 134569956 3221224400 3221214896 1131206384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 24375 13073 16 0 210908 0 vsize: 843696 [startup+540.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 52940 61 0 0 25 0 11 0 548677971 863944704 24455 4294967295 134512640 134569956 3221224400 3221214808 1131197513 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 24455 13073 16 0 210908 0 vsize: 843696 [startup+550.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 53927 62 0 0 25 0 11 0 548677971 863944704 24505 4294967295 134512640 134569956 3221224400 3221214808 1131196933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 24505 13073 16 0 210908 0 vsize: 843696 [startup+560.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 54915 62 0 0 25 0 11 0 548677971 863944704 24572 4294967295 134512640 134569956 3221224400 3221214808 1131197129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 24572 13073 16 0 210908 0 vsize: 843696 [startup+570.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 55903 62 0 0 25 0 11 0 548677971 863944704 24621 4294967295 134512640 134569956 3221224400 3221214808 1131196933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 24621 13073 16 0 210908 0 vsize: 843696 [startup+580.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 56890 63 0 0 25 0 11 0 548677971 863944704 24673 4294967295 134512640 134569956 3221224400 3221214808 1131197115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 24673 13073 16 0 210908 0 vsize: 843696 [startup+590.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 57877 63 0 0 25 0 11 0 548677971 863944704 24738 4294967295 134512640 134569956 3221224400 3221214896 1131205637 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 24738 13073 16 0 210908 0 vsize: 843696 [startup+600.065 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 58863 64 0 0 25 0 11 0 548677971 863944704 24790 4294967295 134512640 134569956 3221224400 3221214840 1131180505 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 24790 13073 16 0 210908 0 vsize: 843696 [startup+610.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 59851 64 0 0 25 0 11 0 548677971 863944704 24852 4294967295 134512640 134569956 3221224400 3221214808 1131197567 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 24852 13073 16 0 210908 0 vsize: 843696 [startup+620.065 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 60840 64 0 0 25 0 11 0 548677971 863944704 24894 4294967295 134512640 134569956 3221224400 3221214832 1131274906 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 24894 13073 16 0 210908 0 vsize: 843696 [startup+630.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 61827 64 0 0 25 0 11 0 548677971 863944704 24946 4294967295 134512640 134569956 3221224400 3221214808 1131197061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 24946 13073 16 0 210908 0 vsize: 843696 [startup+640.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 62814 64 0 0 25 0 11 0 548677971 863944704 25012 4294967295 134512640 134569956 3221224400 3221214840 1131180497 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25012 13073 16 0 210908 0 vsize: 843696 [startup+650.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 63802 65 0 0 25 0 11 0 548677971 863944704 25051 4294967295 134512640 134569956 3221224400 3221214896 1131205964 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25051 13073 16 0 210908 0 vsize: 843696 [startup+660.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10173 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 64789 65 0 0 25 0 11 0 548677971 863944704 25118 4294967295 134512640 134569956 3221224400 3221214896 1131206532 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25118 13073 16 0 210908 0 vsize: 843696 [startup+670.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 65777 66 0 0 25 0 11 0 548677971 863944704 25167 4294967295 134512640 134569956 3221224400 3221214808 1131196586 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25167 13073 16 0 210908 0 vsize: 843696 [startup+680.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 66765 66 0 0 25 0 11 0 548677971 863944704 25207 4294967295 134512640 134569956 3221224400 3221214840 1131180605 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25207 13073 16 0 210908 0 vsize: 843696 [startup+690.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 67753 67 0 0 25 0 11 0 548677971 863944704 25275 4294967295 134512640 134569956 3221224400 3221214808 1131196933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25275 13073 16 0 210908 0 vsize: 843696 [startup+700.094 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 68742 67 0 0 25 0 11 0 548677971 863944704 25325 4294967295 134512640 134569956 3221224400 3221214808 1131196571 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25325 13073 16 0 210908 0 vsize: 843696 [startup+710.094 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 69729 67 0 0 25 0 11 0 548677971 863944704 25364 4294967295 134512640 134569956 3221224400 3221214808 1131197115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25364 13073 16 0 210908 0 vsize: 843696 [startup+720.095 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 70718 68 0 0 25 0 11 0 548677971 863944704 25415 4294967295 134512640 134569956 3221224400 3221214840 1131180480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25415 13073 16 0 210908 0 vsize: 843696 [startup+730.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 71706 68 0 0 25 0 11 0 548677971 863944704 25476 4294967295 134512640 134569956 3221224400 3221214896 1131206504 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25476 13073 16 0 210908 0 vsize: 843696 [startup+740.113 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 72693 68 0 0 25 0 11 0 548677971 863944704 25520 4294967295 134512640 134569956 3221224400 3221214892 1131196467 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25520 13073 16 0 210908 0 vsize: 843696 [startup+750.114 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 73679 69 0 0 25 0 11 0 548677971 863944704 25584 4294967295 134512640 134569956 3221224400 3221214808 1131196933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25584 13073 16 0 210908 0 vsize: 843696 [startup+760.114 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 74665 70 0 0 25 0 11 0 548677971 863944704 25662 4294967295 134512640 134569956 3221224400 3221214808 1131196635 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25662 13073 16 0 210908 0 vsize: 843696 [startup+770.115 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 75651 70 0 0 24 0 11 0 548677971 863944704 25721 4294967295 134512640 134569956 3221224400 3221214896 1131205461 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25721 13073 16 0 210908 0 vsize: 843696 [startup+780.116 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 76639 70 0 0 25 0 11 0 548677971 863944704 25775 4294967295 134512640 134569956 3221224400 3221214808 1131196850 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25775 13073 16 0 210908 0 vsize: 843696 [startup+790.116 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 77625 71 0 0 25 0 11 0 548677971 863944704 25838 4294967295 134512640 134569956 3221224400 3221214808 1131196890 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25838 13073 16 0 210908 0 vsize: 843696 [startup+800.118 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 78611 71 0 0 25 0 11 0 548677971 863944704 25901 4294967295 134512640 134569956 3221224400 3221214808 1131196933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25901 13073 16 0 210908 0 vsize: 843696 [startup+810.119 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 79597 72 0 0 25 0 11 0 548677971 863944704 25968 4294967295 134512640 134569956 3221224400 3221214896 1131205880 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 25968 13073 16 0 210908 0 vsize: 843696 [startup+820.122 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) S 10158 22929 22928 0 -1 0 18089 0 1 0 80584 72 0 0 25 0 11 0 548677971 863944704 26028 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 26028 13073 16 0 210908 0 vsize: 843696 [startup+830.122 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 81571 73 0 0 25 0 11 0 548677971 863944704 26081 4294967295 134512640 134569956 3221224400 3221214840 1131180480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 26081 13073 16 0 210908 0 vsize: 843696 [startup+840.124 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 82556 73 0 0 25 0 11 0 548677971 863944704 26145 4294967295 134512640 134569956 3221224400 3221214808 1131196718 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 26145 13073 16 0 210908 0 vsize: 843696 [startup+850.124 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 83535 73 0 0 25 0 11 0 548677971 863944704 26209 4294967295 134512640 134569956 3221224400 3221214840 1131180497 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 26209 13073 16 0 210908 0 vsize: 843696 [startup+860.125 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 84512 74 0 0 24 0 11 0 548677971 863944704 26276 4294967295 134512640 134569956 3221224400 3221214808 1131196477 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 26276 13073 16 0 210908 0 vsize: 843696 [startup+870.126 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 85490 74 0 0 25 0 11 0 548677971 863944704 26389 4294967295 134512640 134569956 3221224400 3221214808 1131196492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 26389 13073 16 0 210908 0 vsize: 843696 [startup+880.126 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 86469 74 0 0 25 0 11 0 548677971 863944704 26476 4294967295 134512640 134569956 3221224400 3221214808 1131196947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 26476 13073 16 0 210908 0 vsize: 843696 [startup+890.127 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 87451 74 0 0 24 0 11 0 548677971 863944704 26570 4294967295 134512640 134569956 3221224400 3221214808 1131197022 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 26570 13073 16 0 210908 0 vsize: 843696 [startup+900.128 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 88436 75 0 0 25 0 11 0 548677971 863944704 26644 4294967295 134512640 134569956 3221224400 3221214808 1131196890 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 26644 13073 16 0 210908 0 vsize: 843696 [startup+910.128 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 89422 76 0 0 25 0 11 0 548677971 863944704 26707 4294967295 134512640 134569956 3221224400 3221214840 1131180497 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 26707 13073 16 0 210908 0 vsize: 843696 [startup+920.13 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 90408 76 0 0 25 0 11 0 548677971 863944704 26769 4294967295 134512640 134569956 3221224400 3221214808 1131196500 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 26769 13073 16 0 210908 0 vsize: 843696 [startup+930.13 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 91393 77 0 0 25 0 11 0 548677971 863944704 26834 4294967295 134512640 134569956 3221224400 3221214808 1131197154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 26834 13073 16 0 210908 0 vsize: 843696 [startup+940.132 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 92379 77 0 0 24 0 11 0 548677971 863944704 26888 4294967295 134512640 134569956 3221224400 3221214808 1131196890 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 26888 13073 16 0 210908 0 vsize: 843696 [startup+950.132 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 93366 77 0 0 25 0 11 0 548677971 863944704 26957 4294967295 134512640 134569956 3221224400 3221214808 1131196884 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 26957 13073 16 0 210908 0 vsize: 843696 [startup+960.132 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10175 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 94351 77 0 0 25 0 11 0 548677971 863944704 27012 4294967295 134512640 134569956 3221224400 3221214808 1131196933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27012 13073 16 0 210908 0 vsize: 843696 [startup+970.132 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 95337 78 0 0 25 0 11 0 548677971 863944704 27064 4294967295 134512640 134569956 3221224400 3221214808 1131196933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27064 13073 16 0 210908 0 vsize: 843696 [startup+980.134 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 96323 78 0 0 25 0 11 0 548677971 863944704 27115 4294967295 134512640 134569956 3221224400 3221214808 1131196933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27115 13073 16 0 210908 0 vsize: 843696 [startup+990.134 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 97310 78 0 0 25 0 11 0 548677971 863944704 27166 4294967295 134512640 134569956 3221224400 3221214808 1131196829 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27166 13073 16 0 210908 0 vsize: 843696 [startup+1000.13 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 98296 78 0 0 25 0 11 0 548677971 863944704 27218 4294967295 134512640 134569956 3221224400 3221214808 1131197083 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27218 13073 16 0 210908 0 vsize: 843696 [startup+1010.13 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 99281 79 0 0 25 0 11 0 548677971 863944704 27280 4294967295 134512640 134569956 3221224400 3221214808 1131196794 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27280 13073 16 0 210908 0 vsize: 843696 [startup+1020.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 100267 79 0 0 25 0 11 0 548677971 863944704 27339 4294967295 134512640 134569956 3221224400 3221214808 1131196890 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27339 13073 16 0 210908 0 vsize: 843696 [startup+1030.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 101253 79 0 0 25 0 11 0 548677971 863944704 27395 4294967295 134512640 134569956 3221224400 3221214808 1131197154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27395 13073 16 0 210908 0 vsize: 843696 [startup+1040.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 102239 80 0 0 24 0 11 0 548677971 863944704 27459 4294967295 134512640 134569956 3221224400 3221214808 1131196545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27459 13073 16 0 210908 0 vsize: 843696 [startup+1050.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 103226 80 0 0 25 0 11 0 548677971 863944704 27498 4294967295 134512640 134569956 3221224400 3221214728 1131240152 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27498 13073 16 0 210908 0 vsize: 843696 [startup+1060.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 104211 80 0 0 25 0 11 0 548677971 863944704 27565 4294967295 134512640 134569956 3221224400 3221214808 1131197412 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27565 13073 16 0 210908 0 vsize: 843696 [startup+1070.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 105197 81 0 0 25 0 11 0 548677971 863944704 27617 4294967295 134512640 134569956 3221224400 3221214840 1131180505 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27617 13073 16 0 210908 0 vsize: 843696 [startup+1080.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 106183 81 0 0 25 0 11 0 548677971 863944704 27668 4294967295 134512640 134569956 3221224400 3221214808 1131196933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27668 13073 16 0 210908 0 vsize: 843696 [startup+1090.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 107170 81 0 0 25 0 11 0 548677971 863944704 27719 4294967295 134512640 134569956 3221224400 3221214808 1131196702 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27719 13073 16 0 210908 0 vsize: 843696 [startup+1100.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 108156 82 0 0 25 0 11 0 548677971 863944704 27776 4294967295 134512640 134569956 3221224400 3221214960 1131282387 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27776 13073 16 0 210908 0 vsize: 843696 [startup+1110.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 109141 82 0 0 25 0 11 0 548677971 863944704 27829 4294967295 134512640 134569956 3221224400 3221214808 1131196485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27829 13073 16 0 210908 0 vsize: 843696 [startup+1120.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 110126 83 0 0 25 0 11 0 548677971 863944704 27883 4294967295 134512640 134569956 3221224400 3221214808 1131196477 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27883 13073 16 0 210908 0 vsize: 843696 [startup+1130.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 111112 83 0 0 24 0 11 0 548677971 863944704 27934 4294967295 134512640 134569956 3221224400 3221214808 1131196514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27934 13073 16 0 210908 0 vsize: 843696 [startup+1140.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 112099 83 0 0 25 0 11 0 548677971 863944704 27985 4294967295 134512640 134569956 3221224400 3221214840 1131180638 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 27985 13073 16 0 210908 0 vsize: 843696 [startup+1150.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 113085 84 0 0 25 0 11 0 548677971 863944704 28036 4294967295 134512640 134569956 3221224400 3221214808 1131197083 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210924 28036 13073 16 0 210908 0 vsize: 843696 [startup+1160.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 114071 84 0 0 25 0 11 0 548677971 863944704 28088 4294967295 134512640 134569956 3221224400 3221214808 1131196985 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 28088 13073 16 0 210908 0 vsize: 843696 [startup+1170.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 115057 84 0 0 25 0 11 0 548677971 863944704 28139 4294967295 134512640 134569956 3221224400 3221214808 1131197194 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 28139 13073 16 0 210908 0 vsize: 843696 [startup+1180.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 116043 85 0 0 25 0 11 0 548677971 863944704 28189 4294967295 134512640 134569956 3221224400 3221214840 1131180501 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 28189 13073 16 0 210908 0 vsize: 843696 [startup+1190.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 117030 85 0 0 25 0 11 0 548677971 863944704 28242 4294967295 134512640 134569956 3221224400 3221214776 1131240195 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 28242 13073 16 0 210908 0 vsize: 843696 [startup+1200.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 118015 85 0 0 25 0 11 0 548677971 863944704 28291 4294967295 134512640 134569956 3221224400 3221214896 1131205917 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 28291 13073 16 0 210908 0 vsize: 843696 [startup+1210.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 119001 86 0 0 25 0 11 0 548677971 863944704 28342 4294967295 134512640 134569956 3221224400 3221214808 1131198421 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 28342 13073 16 0 210908 0 vsize: 843696 [startup+1220.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/65 10177 Raw data (stat): 10159 (java) R 10158 22929 22928 0 -1 0 18089 0 1 0 119987 86 0 0 24 0 11 0 548677971 863944704 28397 4294967295 134512640 134569956 3221224400 3221214808 1131197183 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210924 28397 13073 16 0 210908 0 vsize: 843696 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.25 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10179 Raw data (stat): 10159 (java) Z 10158 22929 22928 0 -1 1036 18089 15174 1 0 119991 91 2832 47 25 0 1 0 548677971 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): 1220.24 CPU time (s): 1229.63 CPU user time (s): 1228.24 CPU system time (s): 1.39479 CPU usage (%): 100.769 Max. virtual memory (Kb): 845104 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####