Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-berlin_5_8_0.opb |
MD5SUM | 96d7d5bfca5320061ed7cb61443916ee |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7936 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 68 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1054719 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 128000000 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 268497406 |
Number of bits of the biggest sum of numbers | 29 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.04 |
Number of variables | 8590 |
Total number of constraints | 2614 |
Number of constraints which are clauses | 309 |
Number of constraints which are cardinality constraints (but not clauses) | 794 |
Number of constraints which are nor clauses,nor cardinality constraints | 1511 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 55 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc10 THE 2005-04-21 00:05:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19925 boxname=wulflinc10 idbench=1533 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 96d7d5bfca5320061ed7cb61443916ee /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-berlin_5_8_0.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-berlin_5_8_0.opb IDLAUNCH: 19925 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 2 cpu MHz : 450.999 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: 696572 kB Buffers: 26020 kB Cached: 289500 kB SwapCached: 0 kB Active: 47200 kB Inactive: 270792 kB HighTotal: 131008 kB HighFree: 62440 kB LowTotal: 903652 kB LowFree: 634132 kB SwapTotal: 2097136 kB SwapFree: 2096784 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6412 kB Slab: 14432 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 00:25:41 (client local time) WITH STATUS 143 IN 1228.02 SECONDS stats: 19925 7 1228.02 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-berlin_5_8_0.opb c reading problem c [nbvar=8590] c [nbconstr=2614] c time 28.787 c #vars 8590 c #clauses 1821 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 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=12800 c Current CPU time (ms) : 34.625 c starts : 1 c conflicts : 0 c decisions : 3012 c propagations : 8590 c inspects : 29482 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 c c CURRENT OPTIMUM=12672 c Current CPU time (ms) : 38.928 c starts : 2 c conflicts : 0 c decisions : 6010 c propagations : 17174 c inspects : 57000 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 2 c c CURRENT OPTIMUM=12544 c Current CPU time (ms) : 43.215 c starts : 3 c conflicts : 0 c decisions : 8987 c propagations : 25758 c inspects : 84810 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 3 c c CURRENT OPTIMUM=12416 c Current CPU time (ms) : 47.531 c starts : 4 c conflicts : 0 c decisions : 11944 c propagations : 34342 c inspects : 112574 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 4 c c CURRENT OPTIMUM=12288 c Current CPU time (ms) : 51.809 c starts : 5 c conflicts : 0 c decisions : 14888 c propagations : 42926 c inspects : 140342 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 5 c c CURRENT OPTIMUM=12160 c Current CPU time (ms) : 56.132 c starts : 6 c conflicts : 0 c decisions : 17824 c propagations : 51510 c inspects : 168204 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 6 c c CURRENT OPTIMUM=12032 c Current CPU time (ms) : 60.486 c starts : 7 c conflicts : 0 c decisions : 20726 c propagations : 60094 c inspects : 196146 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 7 c c CURRENT OPTIMUM=11904 c Current CPU time (ms) : 72.431 c starts : 8 c conflicts : 9 c decisions : 24050 c propagations : 73907 c inspects : 242195 c learned literals : 0 c learned binary clauses : 2 c learned ternary clauses : 0 c learned clauses : 9 c root simplifications : 8 c c CURRENT OPTIMUM=10496 c Current CPU time (ms) : 466.09 c starts : 14 c conflicts : 1343 c decisions : 39523 c propagations : 177893 c inspects : 1116418 c learned literals : 0 c learned binary clauses : 3 c learned ternary clauses : 0 c learned clauses : 1343 c root simplifications : 16 c c CURRENT OPTIMUM=10240 c Current CPU time (ms) : 741.282 c starts : 16 c conflicts : 1498 c decisions : 51565 c propagations : 228101 c inspects : 1427598 c learned literals : 0 c learned binary clauses : 3 c learned ternary clauses : 0 c learned clauses : 1498 c root simplifications : 19 #### 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.91 2/54 20463 Raw data (stat): 20463 (runsolver) R 20462 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 482407330 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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+9.99991 s] Raw data (loadavg): 0.94 0.98 0.91 2/63 20472 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 17987 0 1 0 866 44 0 0 25 0 10 0 482407330 854880256 19497 4294967295 134512640 134569956 3221224400 3221214784 1130908107 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208711 19497 13073 16 0 208695 0 vsize: 834844 [startup+20.0003 s] Raw data (loadavg): 0.95 0.98 0.91 2/63 20472 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 17987 0 1 0 1766 45 0 0 25 0 10 0 482407330 855887872 20376 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208957 20376 13073 16 0 208941 0 vsize: 835828 [startup+30.0014 s] Raw data (loadavg): 0.95 0.98 0.91 3/64 20473 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18015 0 1 0 2673 46 0 0 25 0 11 0 482407330 856547328 20846 4294967295 134512640 134569956 3221224400 3221214784 1131220334 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209118 20846 13073 16 0 209102 0 vsize: 836472 [startup+40.0005 s] Raw data (loadavg): 1.03 1.00 0.92 4/64 20475 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18017 4 1 0 3591 46 0 0 25 0 11 0 482407330 858796032 23949 4294967295 134512640 134569956 3221224400 3221213504 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209667 23949 13073 16 0 209651 0 vsize: 838668 [startup+50.0071 s] Raw data (loadavg): 1.03 1.00 0.92 2/64 20477 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18017 4 1 0 4548 47 0 0 24 0 11 0 482407330 858685440 23931 4294967295 134512640 134569956 3221224400 3221214672 1131219709 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209640 23931 13073 16 0 209624 0 vsize: 838560 [startup+60.0066 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 20481 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18017 4 1 0 5501 47 0 0 25 0 11 0 482407330 858390528 23912 4294967295 134512640 134569956 3221224400 3221214712 1131220215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 23912 13073 16 0 209552 0 vsize: 838272 [startup+70.0072 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 20482 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18059 4 1 0 6414 48 0 0 25 0 11 0 482407330 861192192 24971 4294967295 134512640 134569956 3221224400 3221214712 1131219728 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210252 24971 13073 16 0 210236 0 vsize: 841008 [startup+80.0076 s] Raw data (loadavg): 1.10 1.02 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18059 4 1 0 7377 48 0 0 25 0 11 0 482407330 860143616 24580 4294967295 134512640 134569956 3221224400 3221214608 1131423343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209996 24580 13073 16 0 209980 0 vsize: 839984 [startup+90.0078 s] Raw data (loadavg): 1.08 1.02 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18060 4 1 0 8329 49 0 0 25 0 11 0 482407330 864620544 25809 4294967295 134512640 134569956 3221224400 3221214712 1131219728 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211089 25809 13073 16 0 211073 0 vsize: 844356 [startup+100.008 s] Raw data (loadavg): 1.07 1.01 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18060 4 1 0 9292 49 0 0 25 0 11 0 482407330 860426240 24773 4294967295 134512640 134569956 3221224400 3221214528 1131254102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210065 24773 13073 16 0 210049 0 vsize: 840260 [startup+110.008 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 10257 49 0 0 25 0 11 0 482407330 860426240 24878 4294967295 134512640 134569956 3221224400 3221214712 1131220982 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210065 24878 13073 16 0 210049 0 vsize: 840260 [startup+120.017 s] Raw data (loadavg): 1.12 1.03 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 11229 49 0 0 24 0 11 0 482407330 860426240 25008 4294967295 134512640 134569956 3221224400 3221214768 1131509709 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 25008 13073 16 0 210049 0 vsize: 840260 [startup+130.017 s] Raw data (loadavg): 1.10 1.03 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 12214 49 0 0 25 0 11 0 482407330 860426240 25034 4294967295 134512640 134569956 3221224400 3221214728 1131603548 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 25034 13073 16 0 210049 0 vsize: 840260 [startup+140.016 s] Raw data (loadavg): 1.09 1.03 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 13194 49 0 0 25 0 11 0 482407330 860426240 25071 4294967295 134512640 134569956 3221224400 3221214592 1131527551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 25071 13073 16 0 210049 0 vsize: 840260 [startup+150.017 s] Raw data (loadavg): 1.07 1.03 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 14176 50 0 0 25 0 11 0 482407330 860426240 25148 4294967295 134512640 134569956 3221224400 3221214624 1131253932 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 25148 13073 16 0 210049 0 vsize: 840260 [startup+160.017 s] Raw data (loadavg): 1.06 1.02 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 15164 50 0 0 25 0 11 0 482407330 860426240 25218 4294967295 134512640 134569956 3221224400 3221214728 1131603424 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 25218 13073 16 0 210049 0 vsize: 840260 [startup+170.018 s] Raw data (loadavg): 1.05 1.02 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 16150 51 0 0 25 0 11 0 482407330 860426240 25274 4294967295 134512640 134569956 3221224400 3221214728 1131603436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 25274 13073 16 0 210049 0 vsize: 840260 [startup+180.017 s] Raw data (loadavg): 1.04 1.02 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 17136 51 0 0 25 0 11 0 482407330 860426240 25404 4294967295 134512640 134569956 3221224400 3221214712 1131219934 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 25404 13073 16 0 210049 0 vsize: 840260 [startup+190.017 s] Raw data (loadavg): 1.04 1.02 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 18124 51 0 0 25 0 11 0 482407330 860426240 25498 4294967295 134512640 134569956 3221224400 3221214728 1131603436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 25498 13073 16 0 210049 0 vsize: 840260 [startup+200.017 s] Raw data (loadavg): 1.03 1.02 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 19101 52 0 0 25 0 11 0 482407330 860426240 25566 4294967295 134512640 134569956 3221224400 3221214728 1131603548 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 25566 13073 16 0 210049 0 vsize: 840260 [startup+210.017 s] Raw data (loadavg): 1.02 1.02 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 20086 52 0 0 25 0 11 0 482407330 860426240 25581 4294967295 134512640 134569956 3221224400 3221214872 1131415951 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 25581 13073 16 0 210049 0 vsize: 840260 [startup+220.019 s] Raw data (loadavg): 1.02 1.02 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 21070 52 0 0 25 0 11 0 482407330 860426240 25596 4294967295 134512640 134569956 3221224400 3221214872 1131416001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 25596 13073 16 0 210049 0 vsize: 840260 [startup+230.018 s] Raw data (loadavg): 1.02 1.02 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 22046 52 0 0 25 0 11 0 482407330 860426240 25614 4294967295 134512640 134569956 3221224400 3221214712 1131221024 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 25614 13073 16 0 210049 0 vsize: 840260 [startup+240.018 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 23015 52 0 0 25 0 11 0 482407330 860426240 25694 4294967295 134512640 134569956 3221224400 3221214768 1131429145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210065 25694 13073 16 0 210049 0 vsize: 840260 [startup+250.017 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 23995 52 0 0 25 0 11 0 482407330 860426240 25810 4294967295 134512640 134569956 3221224400 3221214728 1131603439 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 25810 13073 16 0 210049 0 vsize: 840260 [startup+260.023 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 24976 53 0 0 25 0 11 0 482407330 860426240 25890 4294967295 134512640 134569956 3221224400 3221214872 1131415843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 25890 13073 16 0 210049 0 vsize: 840260 [startup+270.024 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 25960 53 0 0 25 0 11 0 482407330 860426240 25913 4294967295 134512640 134569956 3221224400 3221214712 1131221105 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 25913 13073 16 0 210049 0 vsize: 840260 [startup+280.024 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 26944 53 0 0 25 0 11 0 482407330 860426240 25940 4294967295 134512640 134569956 3221224400 3221214808 1131338597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 25940 13073 16 0 210049 0 vsize: 840260 [startup+290.025 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 20483 Raw data (stat): 20463 (java) S 20462 25347 25346 0 -1 0 18061 4 1 0 27926 54 0 0 25 0 11 0 482407330 860426240 26009 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 26010 13073 16 0 210049 0 vsize: 840260 [startup+300.025 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 28909 54 0 0 25 0 11 0 482407330 860426240 26085 4294967295 134512640 134569956 3221224400 3221214712 1131219755 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210065 26085 13073 16 0 210049 0 vsize: 840260 [startup+310.025 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 29894 54 0 0 25 0 11 0 482407330 860426240 26123 4294967295 134512640 134569956 3221224400 3221214808 1131253664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 26123 13073 16 0 210049 0 vsize: 840260 [startup+320.025 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 30882 55 0 0 25 0 11 0 482407330 860426240 26173 4294967295 134512640 134569956 3221224400 3221214808 1131338608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 26173 13073 16 0 210049 0 vsize: 840260 [startup+330.029 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 31855 55 0 0 25 0 11 0 482407330 860426240 26253 4294967295 134512640 134569956 3221224400 3221214808 1131334593 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 26253 13073 16 0 210049 0 vsize: 840260 [startup+340.028 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 32831 55 0 0 25 0 11 0 482407330 860426240 26316 4294967295 134512640 134569956 3221224400 3221214724 1131255401 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 26316 13073 16 0 210049 0 vsize: 840260 [startup+350.029 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 33793 56 0 0 25 0 11 0 482407330 860426240 26381 4294967295 134512640 134569956 3221224400 3221214712 1131220453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 26381 13073 16 0 210049 0 vsize: 840260 [startup+360.029 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 34731 56 0 0 25 0 11 0 482407330 860426240 26499 4294967295 134512640 134569956 3221224400 3221214872 1131415843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 26499 13073 16 0 210049 0 vsize: 840260 [startup+370.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 35680 56 0 0 25 0 11 0 482407330 860426240 26621 4294967295 134512640 134569956 3221224400 3221214712 1131219887 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 26621 13073 16 0 210049 0 vsize: 840260 [startup+380.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 36638 57 0 0 25 0 11 0 482407330 860426240 26787 4294967295 134512640 134569956 3221224400 3221214808 1131334593 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 26787 13073 16 0 210049 0 vsize: 840260 [startup+390.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 37603 57 0 0 25 0 11 0 482407330 860426240 27066 4294967295 134512640 134569956 3221224400 3221214728 1131603436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 27066 13073 16 0 210049 0 vsize: 840260 [startup+400.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 38574 57 0 0 25 0 11 0 482407330 860426240 27170 4294967295 134512640 134569956 3221224400 3221214760 1131200384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 27170 13073 16 0 210049 0 vsize: 840260 [startup+410.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 39543 58 0 0 24 0 11 0 482407330 860426240 27231 4294967295 134512640 134569956 3221224400 3221214728 1131603555 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 27231 13073 16 0 210049 0 vsize: 840260 [startup+420.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 40515 58 0 0 25 0 11 0 482407330 860426240 27306 4294967295 134512640 134569956 3221224400 3221214712 1131220377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 27306 13073 16 0 210049 0 vsize: 840260 [startup+430.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 41480 58 0 0 25 0 11 0 482407330 860426240 27396 4294967295 134512640 134569956 3221224400 3221214712 1131220302 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 27396 13073 16 0 210049 0 vsize: 840260 [startup+440.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 42446 59 0 0 25 0 11 0 482407330 860426240 27490 4294967295 134512640 134569956 3221224400 3221214808 1131335684 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 27490 13073 16 0 210049 0 vsize: 840260 [startup+450.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 43408 59 0 0 25 0 11 0 482407330 860426240 27603 4294967295 134512640 134569956 3221224400 3221214728 1131603439 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 27603 13073 16 0 210049 0 vsize: 840260 [startup+460.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20483 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 44361 59 0 0 25 0 11 0 482407330 860426240 27816 4294967295 134512640 134569956 3221224400 3221214712 1131220115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 27816 13073 16 0 210049 0 vsize: 840260 [startup+470.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 45304 59 0 0 25 0 11 0 482407330 860426240 28087 4294967295 134512640 134569956 3221224400 3221214712 1131220334 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28087 13073 16 0 210049 0 vsize: 840260 [startup+480.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 46270 59 0 0 25 0 11 0 482407330 860426240 28222 4294967295 134512640 134569956 3221224400 3221214708 1130914851 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28222 13073 16 0 210049 0 vsize: 840260 [startup+490.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 47257 60 0 0 25 0 11 0 482407330 860426240 28272 4294967295 134512640 134569956 3221224400 3221214728 1131603555 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28272 13073 16 0 210049 0 vsize: 840260 [startup+500.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 48240 60 0 0 25 0 11 0 482407330 860426240 28348 4294967295 134512640 134569956 3221224400 3221214808 1131334451 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28348 13073 16 0 210049 0 vsize: 840260 [startup+510.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 49224 60 0 0 25 0 11 0 482407330 860426240 28407 4294967295 134512640 134569956 3221224400 3221213972 1131572176 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28407 13073 16 0 210049 0 vsize: 840260 [startup+520.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 50220 61 0 0 25 0 11 0 482407330 860426240 28421 4294967295 134512640 134569956 3221224400 3221214632 1131571082 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28421 13073 16 0 210049 0 vsize: 840260 [startup+530.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 51216 61 0 0 25 0 11 0 482407330 860426240 28438 4294967295 134512640 134569956 3221224400 3221214032 1131572177 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210065 28438 13073 16 0 210049 0 vsize: 840260 [startup+540.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 52199 61 0 0 25 0 11 0 482407330 860426240 28496 4294967295 134512640 134569956 3221224400 3221214712 1131220441 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28496 13073 16 0 210049 0 vsize: 840260 [startup+550.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 53178 61 0 0 25 0 11 0 482407330 860426240 28579 4294967295 134512640 134569956 3221224400 3221214768 1131428527 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28579 13073 16 0 210049 0 vsize: 840260 [startup+560.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 54166 62 0 0 25 0 11 0 482407330 860426240 28614 4294967295 134512640 134569956 3221224400 3221214272 1085679446 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28614 13073 16 0 210049 0 vsize: 840260 [startup+570.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 55153 62 0 0 25 0 11 0 482407330 860426240 28657 4294967295 134512640 134569956 3221224400 3221214728 1131603447 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28657 13073 16 0 210049 0 vsize: 840260 [startup+580.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 56140 62 0 0 24 0 11 0 482407330 860426240 28670 4294967295 134512640 134569956 3221224400 3221214624 1131253858 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28670 13073 16 0 210049 0 vsize: 840260 [startup+590.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 57107 62 0 0 25 0 11 0 482407330 860426240 28724 4294967295 134512640 134569956 3221224400 3221214840 1131477304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28724 13073 16 0 210049 0 vsize: 840260 [startup+600.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 58069 63 0 0 25 0 11 0 482407330 860426240 28807 4294967295 134512640 134569956 3221224400 3221214712 1131220215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28807 13073 16 0 210049 0 vsize: 840260 [startup+610.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 59054 63 0 0 25 0 11 0 482407330 860426240 28857 4294967295 134512640 134569956 3221224400 3221214528 1131572237 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28857 13073 16 0 210049 0 vsize: 840260 [startup+620.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 60048 63 0 0 25 0 11 0 482407330 860426240 28861 4294967295 134512640 134569956 3221224400 3221214200 1131572140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210065 28861 13073 16 0 210049 0 vsize: 840260 [startup+630.055 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 61037 63 0 0 25 0 11 0 482407330 860426240 28883 4294967295 134512640 134569956 3221224400 3221214712 1131220215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28883 13073 16 0 210049 0 vsize: 840260 [startup+640.055 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 62031 64 0 0 25 0 11 0 482407330 860426240 28904 4294967295 134512640 134569956 3221224400 3221214528 1131572237 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28904 13073 16 0 210049 0 vsize: 840260 [startup+650.056 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 63019 64 0 0 25 0 11 0 482407330 860426240 28931 4294967295 134512640 134569956 3221224400 3221214440 1085679305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28931 13073 16 0 210049 0 vsize: 840260 [startup+660.055 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 64007 64 0 0 25 0 11 0 482407330 860426240 28977 4294967295 134512640 134569956 3221224400 3221213936 1085679293 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28977 13073 16 0 210049 0 vsize: 840260 [startup+670.058 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 65002 65 0 0 25 0 11 0 482407330 860426240 28995 4294967295 134512640 134569956 3221224400 3221214240 1131571008 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 28995 13073 16 0 210049 0 vsize: 840260 [startup+680.057 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 65996 65 0 0 25 0 11 0 482407330 860426240 29010 4294967295 134512640 134569956 3221224400 3221214632 1131570861 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 29010 13073 16 0 210049 0 vsize: 840260 [startup+690.057 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 66996 65 0 0 25 0 11 0 482407330 860426240 29010 4294967295 134512640 134569956 3221224400 3221214520 1131570858 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 29010 13073 16 0 210049 0 vsize: 840260 [startup+700.064 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 67997 65 0 0 25 0 11 0 482407330 860426240 29010 4294967295 134512640 134569956 3221224400 3221214520 1131571047 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210065 29010 13073 16 0 210049 0 vsize: 840260 [startup+710.066 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 68991 65 0 0 25 0 11 0 482407330 860426240 29028 4294967295 134512640 134569956 3221224400 3221213992 1085679284 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 29028 13073 16 0 210049 0 vsize: 840260 [startup+720.067 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 69984 66 0 0 25 0 11 0 482407330 860426240 29043 4294967295 134512640 134569956 3221224400 3221214660 1131571044 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 29043 13073 16 0 210049 0 vsize: 840260 [startup+730.067 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 70979 66 0 0 25 0 11 0 482407330 860426240 29055 4294967295 134512640 134569956 3221224400 3221214224 1131570861 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 29055 13073 16 0 210049 0 vsize: 840260 [startup+740.067 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20484 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 71979 66 0 0 25 0 11 0 482407330 860426240 29055 4294967295 134512640 134569956 3221224400 3221214388 1131572176 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210065 29055 13073 16 0 210049 0 vsize: 840260 [startup+750.074 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 72934 67 0 0 24 0 11 0 482407330 860426240 29261 4294967295 134512640 134569956 3221224400 3221214712 1131219730 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 29261 13073 16 0 210049 0 vsize: 840260 [startup+760.074 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 73915 67 0 0 25 0 11 0 482407330 860426240 29322 4294967295 134512640 134569956 3221224400 3221214712 1131219755 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 29322 13073 16 0 210049 0 vsize: 840260 [startup+770.075 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 74899 67 0 0 25 0 11 0 482407330 860426240 29355 4294967295 134512640 134569956 3221224400 3221214808 1131334593 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 29355 13073 16 0 210049 0 vsize: 840260 [startup+780.075 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 75848 67 0 0 25 0 11 0 482407330 860426240 29519 4294967295 134512640 134569956 3221224400 3221214712 1131219748 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 29519 13073 16 0 210049 0 vsize: 840260 [startup+790.075 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 76821 68 0 0 25 0 11 0 482407330 860426240 29632 4294967295 134512640 134569956 3221224400 3221214768 1131429186 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 29632 13073 16 0 210049 0 vsize: 840260 [startup+800.076 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 77792 68 0 0 25 0 11 0 482407330 860426240 29706 4294967295 134512640 134569956 3221224400 3221214232 1131572124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 29706 13073 16 0 210049 0 vsize: 840260 [startup+810.076 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) S 20462 25347 25346 0 -1 0 18061 4 1 0 78782 68 0 0 25 0 11 0 482407330 860426240 29726 4294967295 134512640 134569956 3221224400 3221213312 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 29726 13073 16 0 210049 0 vsize: 840260 [startup+820.077 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 79737 68 0 0 25 0 11 0 482407330 860426240 29909 4294967295 134512640 134569956 3221224400 3221214712 1131219713 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 29909 13073 16 0 210049 0 vsize: 840260 [startup+830.077 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 80712 69 0 0 25 0 11 0 482407330 860426240 29995 4294967295 134512640 134569956 3221224400 3221214872 1131415850 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 29995 13073 16 0 210049 0 vsize: 840260 [startup+840.077 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 81694 69 0 0 25 0 11 0 482407330 860426240 30069 4294967295 134512640 134569956 3221224400 3221214768 1131508421 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 30069 13073 16 0 210049 0 vsize: 840260 [startup+850.079 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 82675 69 0 0 25 0 11 0 482407330 860426240 30158 4294967295 134512640 134569956 3221224400 3221214728 1131603439 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 30158 13073 16 0 210049 0 vsize: 840260 [startup+860.079 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 83650 70 0 0 25 0 11 0 482407330 860426240 30240 4294967295 134512640 134569956 3221224400 3221214720 1131408935 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 30240 13073 16 0 210049 0 vsize: 840260 [startup+870.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 84629 70 0 0 25 0 11 0 482407330 860426240 30286 4294967295 134512640 134569956 3221224400 3221214728 1131603533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 30286 13073 16 0 210049 0 vsize: 840260 [startup+880.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 85607 71 0 0 25 0 11 0 482407330 860426240 30403 4294967295 134512640 134569956 3221224400 3221214808 1131334654 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 30403 13073 16 0 210049 0 vsize: 840260 [startup+890.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 86582 71 0 0 25 0 11 0 482407330 860426240 30463 4294967295 134512640 134569956 3221224400 3221214728 1131603533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 30463 13073 16 0 210049 0 vsize: 840260 [startup+900.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 87560 71 0 0 25 0 11 0 482407330 860426240 30516 4294967295 134512640 134569956 3221224400 3221214656 1131446018 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 30516 13073 16 0 210049 0 vsize: 840260 [startup+910.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 88538 72 0 0 25 0 11 0 482407330 860426240 30555 4294967295 134512640 134569956 3221224400 3221214872 1131416102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 30555 13073 16 0 210049 0 vsize: 840260 [startup+920.081 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 89520 72 0 0 25 0 11 0 482407330 860426240 30603 4294967295 134512640 134569956 3221224400 3221214728 1131603533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 30603 13073 16 0 210049 0 vsize: 840260 [startup+930.081 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 90505 73 0 0 25 0 11 0 482407330 860426240 30739 4294967295 134512640 134569956 3221224400 3221214808 1131338597 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210065 30739 13073 16 0 210049 0 vsize: 840260 [startup+940.081 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 91492 73 0 0 25 0 11 0 482407330 860426240 30779 4294967295 134512640 134569956 3221224400 3221214712 1131220159 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 30779 13073 16 0 210049 0 vsize: 840260 [startup+950.082 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 92479 73 0 0 25 0 11 0 482407330 860426240 30821 4294967295 134512640 134569956 3221224400 3221214728 1131603441 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 30821 13073 16 0 210049 0 vsize: 840260 [startup+960.081 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 93461 73 0 0 25 0 11 0 482407330 860426240 30936 4294967295 134512640 134569956 3221224400 3221214728 1131603436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 30936 13073 16 0 210049 0 vsize: 840260 [startup+970.082 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 94448 73 0 0 25 0 11 0 482407330 860426240 31036 4294967295 134512640 134569956 3221224400 3221214728 1131603436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 31036 13073 16 0 210049 0 vsize: 840260 [startup+980.082 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 95434 73 0 0 25 0 11 0 482407330 860426240 31081 4294967295 134512640 134569956 3221224400 3221214824 1131577877 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 31081 13073 16 0 210049 0 vsize: 840260 [startup+990.084 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 96420 74 0 0 25 0 11 0 482407330 860426240 31114 4294967295 134512640 134569956 3221224400 3221214712 1131220316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 31114 13073 16 0 210049 0 vsize: 840260 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 97372 74 0 0 25 0 11 0 482407330 860426240 31274 4294967295 134512640 134569956 3221224400 3221214712 1131221085 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 31274 13073 16 0 210049 0 vsize: 840260 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 98326 74 0 0 25 0 11 0 482407330 860426240 31406 4294967295 134512640 134569956 3221224400 3221214712 1131221012 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 31406 13073 16 0 210049 0 vsize: 840260 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 99298 74 0 0 25 0 11 0 482407330 860426240 31500 4294967295 134512640 134569956 3221224400 3221214728 1131603544 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 31500 13073 16 0 210049 0 vsize: 840260 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 100280 75 0 0 25 0 11 0 482407330 860426240 31620 4294967295 134512640 134569956 3221224400 3221214872 1131416116 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 31620 13073 16 0 210049 0 vsize: 840260 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 101263 75 0 0 25 0 11 0 482407330 860426240 31628 4294967295 134512640 134569956 3221224400 3221214472 1078032530 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 31628 13073 16 0 210049 0 vsize: 840260 [startup+1050.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 102249 76 0 0 25 0 11 0 482407330 860426240 31727 4294967295 134512640 134569956 3221224400 3221214776 1131220215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 31727 13073 16 0 210049 0 vsize: 840260 [startup+1060.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 103235 76 0 0 25 0 11 0 482407330 860426240 31748 4294967295 134512640 134569956 3221224400 3221214624 1131253769 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 31748 13073 16 0 210049 0 vsize: 840260 [startup+1070.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 104216 76 0 0 25 0 11 0 482407330 860426240 31795 4294967295 134512640 134569956 3221224400 3221214712 1131219940 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210065 31795 13073 16 0 210049 0 vsize: 840260 [startup+1080.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 105197 76 0 0 25 0 11 0 482407330 860426240 31873 4294967295 134512640 134569956 3221224400 3221214728 1131603436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 31873 13073 16 0 210049 0 vsize: 840260 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 106184 77 0 0 25 0 11 0 482407330 860426240 31921 4294967295 134512640 134569956 3221224400 3221214728 1131603439 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 31921 13073 16 0 210049 0 vsize: 840260 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 107171 77 0 0 25 0 11 0 482407330 860426240 31980 4294967295 134512640 134569956 3221224400 3221214632 1131547053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210065 31980 13073 16 0 210049 0 vsize: 840260 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 108156 77 0 0 25 0 11 0 482407330 860426240 32053 4294967295 134512640 134569956 3221224400 3221214792 1131324489 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 32053 13073 16 0 210049 0 vsize: 840260 [startup+1120.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 109142 78 0 0 25 0 11 0 482407330 860426240 32133 4294967295 134512640 134569956 3221224400 3221214592 1131523839 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 32133 13073 16 0 210049 0 vsize: 840260 [startup+1130.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 110131 78 0 0 25 0 11 0 482407330 860426240 32174 4294967295 134512640 134569956 3221224400 3221214720 1131561432 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 32174 13073 16 0 210049 0 vsize: 840260 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 111120 78 0 0 25 0 11 0 482407330 860426240 32226 4294967295 134512640 134569956 3221224400 3221214728 1131603533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 32226 13073 16 0 210049 0 vsize: 840260 [startup+1150.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 112110 78 0 0 25 0 11 0 482407330 860426240 32270 4294967295 134512640 134569956 3221224400 3221214728 1131603436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 32270 13073 16 0 210049 0 vsize: 840260 [startup+1160.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 113100 79 0 0 25 0 11 0 482407330 860426240 32314 4294967295 134512640 134569956 3221224400 3221214728 1131603441 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210065 32314 13073 16 0 210049 0 vsize: 840260 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 114088 79 0 0 25 0 11 0 482407330 860426240 32358 4294967295 134512640 134569956 3221224400 3221214768 1131429123 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 32358 13073 16 0 210049 0 vsize: 840260 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 115079 79 0 0 25 0 11 0 482407330 860426240 32389 4294967295 134512640 134569956 3221224400 3221214640 1131528700 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 32389 13073 16 0 210049 0 vsize: 840260 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 116069 80 0 0 25 0 11 0 482407330 860426240 32425 4294967295 134512640 134569956 3221224400 3221214704 1131311485 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 32425 13073 16 0 210049 0 vsize: 840260 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 117058 80 0 0 25 0 11 0 482407330 860426240 32471 4294967295 134512640 134569956 3221224400 3221214712 1131219907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 32471 13073 16 0 210049 0 vsize: 840260 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 118048 80 0 0 25 0 11 0 482407330 860426240 32506 4294967295 134512640 134569956 3221224400 3221214712 1131220029 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 32506 13073 16 0 210049 0 vsize: 840260 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 119036 81 0 0 25 0 11 0 482407330 860426240 32545 4294967295 134512640 134569956 3221224400 3221214808 1131335795 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 32545 13073 16 0 210049 0 vsize: 840260 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20485 Raw data (stat): 20463 (java) R 20462 25347 25346 0 -1 0 18061 4 1 0 120027 82 0 0 25 0 11 0 482407330 860426240 32584 4294967295 134512640 134569956 3221224400 3221214712 1131221031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210065 32584 13073 16 0 210049 0 vsize: 840260 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.22 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 20487 Raw data (stat): 20463 (java) Z 20462 25347 25346 0 -1 1036 18061 12625 1 0 120030 82 2652 35 25 0 1 0 482407330 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): 1230.22 CPU time (s): 1228.02 CPU user time (s): 1226.84 CPU system time (s): 1.18182 CPU usage (%): 99.8212 Max. virtual memory (Kb): 844356 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####