Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5.opb |
MD5SUM | 9b244c88702eddacf15d45f12fda5eb0 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 6352 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 6352 |
Total number of constraints | 13501 |
Number of constraints which are clauses | 13501 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc18 THE 2005-04-13 16:57:14 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1908 boxname=wulflinc18 idbench=212 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 9b244c88702eddacf15d45f12fda5eb0 /oldhome/oroussel/tmp/wulflinc18/normalized-par32-5.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-par32-5.opb IDLAUNCH: 1908 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 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: 925416 kB Buffers: 32756 kB Cached: 40636 kB SwapCached: 320 kB Active: 43368 kB Inactive: 33148 kB HighTotal: 131008 kB HighFree: 86408 kB LowTotal: 903652 kB LowFree: 839008 kB SwapTotal: 2097892 kB SwapFree: 2097572 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6936 kB Slab: 27204 kB Committed_AS: 63704 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 17:17:27 (client local time) WITH STATUS 143 IN SECONDS stats: 1908 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc18/normalized-par32-5.opb c reading problem c [nbvar=6352] c [nbconstr=13501] c time 20.123 c #vars 6352 c #clauses 13501 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.84 0.94 0.90 2/55 20985 Raw data (stat): 20985 (runsolver) R 20984 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477557162 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0003 s] Raw data (loadavg): 0.87 0.94 0.90 2/64 20994 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 17967 0 1 0 886 48 0 0 25 0 10 0 477557162 855019520 19206 4294967295 134512640 134569956 3221224416 3221214488 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208745 19206 13073 16 0 208729 0 vsize: 834980 [startup+20.0008 s] Raw data (loadavg): 0.97 0.96 0.91 2/64 20994 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 17974 0 1 0 1727 49 0 0 25 0 10 0 477557162 857153536 19925 4294967295 134512640 134569956 3221224416 3221214648 1131231501 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209266 19925 13073 16 0 209250 0 vsize: 837064 [startup+30.0006 s] Raw data (loadavg): 1.12 1.00 0.92 2/65 20995 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 2636 49 0 0 25 0 11 0 477557162 860037120 21685 4294967295 134512640 134569956 3221224416 3221214760 1131435835 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209970 21685 13073 16 0 209954 0 vsize: 839880 [startup+40.002 s] Raw data (loadavg): 1.10 1.00 0.92 2/65 20995 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 3636 49 0 0 25 0 11 0 477557162 859123712 21496 4294967295 134512640 134569956 3221224416 3221214760 1131435817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 21496 13073 16 0 209731 0 vsize: 838988 [startup+50.0024 s] Raw data (loadavg): 1.09 1.00 0.92 2/65 20995 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 4610 50 0 0 25 0 11 0 477557162 859123712 22971 4294967295 134512640 134569956 3221224416 3221213816 1073943903 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 22971 13073 16 0 209731 0 vsize: 838988 [startup+60.0025 s] Raw data (loadavg): 1.07 1.00 0.92 3/65 20995 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 5605 50 0 0 25 0 11 0 477557162 859451392 23026 4294967295 134512640 134569956 3221224416 3221214664 1131198019 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209827 23026 13073 16 0 209811 0 vsize: 839308 [startup+70.0075 s] Raw data (loadavg): 1.06 1.00 0.92 2/65 20995 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 6606 50 0 0 25 0 11 0 477557162 859123712 22981 4294967295 134512640 134569956 3221224416 3221214872 1131398546 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 22981 13073 16 0 209731 0 vsize: 838988 [startup+80.0071 s] Raw data (loadavg): 1.13 1.01 0.92 2/65 20995 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 7598 50 0 0 25 0 11 0 477557162 859123712 22982 4294967295 134512640 134569956 3221224416 3221214872 1131398360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 22982 13073 16 0 209731 0 vsize: 838988 [startup+90.0072 s] Raw data (loadavg): 1.11 1.01 0.92 2/65 20995 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 8593 50 0 0 25 0 11 0 477557162 859123712 22982 4294967295 134512640 134569956 3221224416 3221214872 1131398055 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 22982 13073 16 0 209731 0 vsize: 838988 [startup+100.008 s] Raw data (loadavg): 1.09 1.01 0.92 2/65 20995 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 9587 50 0 0 25 0 11 0 477557162 859123712 22982 4294967295 134512640 134569956 3221224416 3221214760 1131435839 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 22982 13073 16 0 209731 0 vsize: 838988 [startup+110.008 s] Raw data (loadavg): 1.08 1.01 0.92 2/65 20995 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 10586 51 0 0 25 0 11 0 477557162 859123712 22982 4294967295 134512640 134569956 3221224416 3221214872 1131398519 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 22982 13073 16 0 209731 0 vsize: 838988 [startup+120.009 s] Raw data (loadavg): 1.06 1.01 0.92 2/65 20995 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 11581 51 0 0 25 0 11 0 477557162 859123712 22982 4294967295 134512640 134569956 3221224416 3221214872 1131398242 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 22982 13073 16 0 209731 0 vsize: 838988 [startup+130.009 s] Raw data (loadavg): 1.05 1.01 0.92 2/65 20995 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 12576 51 0 0 25 0 11 0 477557162 859123712 22982 4294967295 134512640 134569956 3221224416 3221214872 1131398052 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 22982 13073 16 0 209731 0 vsize: 838988 [startup+140.01 s] Raw data (loadavg): 1.20 1.04 0.93 2/65 20995 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18054 0 1 0 13575 51 0 0 25 0 11 0 477557162 859123712 22982 4294967295 134512640 134569956 3221224416 3221214720 1131568587 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 22982 13073 16 0 209731 0 vsize: 838988 [startup+150.01 s] Raw data (loadavg): 1.17 1.04 0.93 2/65 20995 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 14570 51 0 0 25 0 11 0 477557162 859123712 22983 4294967295 134512640 134569956 3221224416 3221214872 1131398372 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 22983 13073 16 0 209731 0 vsize: 838988 [startup+160.01 s] Raw data (loadavg): 1.14 1.03 0.93 2/65 20995 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 15564 51 0 0 25 0 11 0 477557162 859123712 22983 4294967295 134512640 134569956 3221224416 3221214872 1131398265 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 22983 13073 16 0 209731 0 vsize: 838988 [startup+170.013 s] Raw data (loadavg): 1.19 1.05 0.94 3/66 20996 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 16553 55 0 0 25 0 11 0 477557162 859123712 22983 4294967295 134512640 134569956 3221224416 3221214872 1131398255 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 22983 13073 16 0 209731 0 vsize: 838988 [startup+180.014 s] Raw data (loadavg): 1.24 1.06 0.94 2/65 21048 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 17553 55 0 0 25 0 11 0 477557162 859123712 22983 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 22983 13073 16 0 209731 0 vsize: 838988 [startup+190.014 s] Raw data (loadavg): 1.20 1.06 0.94 2/65 21048 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 18545 55 0 0 25 0 11 0 477557162 859123712 23029 4294967295 134512640 134569956 3221224416 3221214872 1131398242 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 23029 13073 16 0 209731 0 vsize: 838988 [startup+200.014 s] Raw data (loadavg): 1.17 1.06 0.94 2/65 21048 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 19537 55 0 0 25 0 11 0 477557162 859123712 23029 4294967295 134512640 134569956 3221224416 3221214872 1131398356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 23029 13073 16 0 209731 0 vsize: 838988 [startup+210.015 s] Raw data (loadavg): 1.14 1.06 0.94 2/65 21048 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 20529 55 0 0 24 0 11 0 477557162 859123712 23148 4294967295 134512640 134569956 3221224416 3221214760 1131434979 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 23148 13073 16 0 209731 0 vsize: 838988 [startup+220.016 s] Raw data (loadavg): 1.12 1.05 0.94 2/65 21048 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 21528 55 0 0 25 0 11 0 477557162 859123712 23148 4294967295 134512640 134569956 3221224416 3221214872 1131398062 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 23148 13073 16 0 209731 0 vsize: 838988 [startup+230.016 s] Raw data (loadavg): 1.10 1.05 0.94 2/65 21048 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 22520 55 0 0 25 0 11 0 477557162 859123712 23148 4294967295 134512640 134569956 3221224416 3221214760 1131434979 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 23148 13073 16 0 209731 0 vsize: 838988 [startup+240.016 s] Raw data (loadavg): 1.08 1.05 0.94 2/65 21050 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 23511 55 0 0 25 0 11 0 477557162 859123712 23243 4294967295 134512640 134569956 3221224416 3221214872 1131398048 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 23243 13073 16 0 209731 0 vsize: 838988 [startup+250.016 s] Raw data (loadavg): 1.07 1.05 0.94 2/65 21050 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 24510 56 0 0 25 0 11 0 477557162 859123712 23243 4294967295 134512640 134569956 3221224416 3221214872 1131398519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 23243 13073 16 0 209731 0 vsize: 838988 [startup+260.016 s] Raw data (loadavg): 1.06 1.05 0.94 2/65 21050 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 25500 56 0 0 25 0 11 0 477557162 859123712 23243 4294967295 134512640 134569956 3221224416 3221214872 1131398055 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 23243 13073 16 0 209731 0 vsize: 838988 [startup+270.016 s] Raw data (loadavg): 1.05 1.04 0.94 2/65 21050 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 26491 56 0 0 25 0 11 0 477557162 859123712 23304 4294967295 134512640 134569956 3221224416 3221214872 1131398048 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 23304 13073 16 0 209731 0 vsize: 838988 [startup+280.017 s] Raw data (loadavg): 1.04 1.04 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 27481 56 0 0 25 0 11 0 477557162 859123712 23304 4294967295 134512640 134569956 3221224416 3221214872 1131398336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 23304 13073 16 0 209731 0 vsize: 838988 [startup+290.017 s] Raw data (loadavg): 1.04 1.04 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 28480 57 0 0 25 0 11 0 477557162 859123712 23304 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 23304 13073 16 0 209731 0 vsize: 838988 [startup+300.018 s] Raw data (loadavg): 1.03 1.04 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 29471 57 0 0 25 0 11 0 477557162 859123712 23389 4294967295 134512640 134569956 3221224416 3221214872 1131398044 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 23389 13073 16 0 209731 0 vsize: 838988 [startup+310.018 s] Raw data (loadavg): 1.02 1.04 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 30460 57 0 0 25 0 11 0 477557162 859123712 23425 4294967295 134512640 134569956 3221224416 3221214872 1131398032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 23425 13073 16 0 209731 0 vsize: 838988 [startup+320.018 s] Raw data (loadavg): 1.02 1.03 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 31459 57 0 0 25 0 11 0 477557162 859123712 23425 4294967295 134512640 134569956 3221224416 3221214760 1131434943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 23425 13073 16 0 209731 0 vsize: 838988 [startup+330.02 s] Raw data (loadavg): 1.02 1.03 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 32450 57 0 0 25 0 11 0 477557162 859123712 23512 4294967295 134512640 134569956 3221224416 3221214872 1131398259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 23512 13073 16 0 209731 0 vsize: 838988 [startup+340.02 s] Raw data (loadavg): 1.01 1.03 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 33440 57 0 0 25 0 11 0 477557162 859123712 23566 4294967295 134512640 134569956 3221224416 3221214760 1131434983 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 23566 13073 16 0 209731 0 vsize: 838988 [startup+350.02 s] Raw data (loadavg): 1.01 1.03 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 34430 57 0 0 25 0 11 0 477557162 859123712 23643 4294967295 134512640 134569956 3221224416 3221214760 1131434968 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 23643 13073 16 0 209731 0 vsize: 838988 [startup+360.02 s] Raw data (loadavg): 1.01 1.03 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 35429 58 0 0 25 0 11 0 477557162 859123712 23643 4294967295 134512640 134569956 3221224416 3221214760 1131434947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 23643 13073 16 0 209731 0 vsize: 838988 [startup+370.021 s] Raw data (loadavg): 1.01 1.03 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 36419 58 0 0 25 0 11 0 477557162 859123712 23744 4294967295 134512640 134569956 3221224416 3221214872 1131398367 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 23744 13073 16 0 209731 0 vsize: 838988 [startup+380.021 s] Raw data (loadavg): 1.01 1.03 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 37409 58 0 0 25 0 11 0 477557162 859123712 23846 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 23846 13073 16 0 209731 0 vsize: 838988 [startup+390.022 s] Raw data (loadavg): 1.00 1.02 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 38401 58 0 0 25 0 11 0 477557162 859123712 23980 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 23980 13073 16 0 209731 0 vsize: 838988 [startup+400.023 s] Raw data (loadavg): 1.00 1.02 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 39400 59 0 0 25 0 11 0 477557162 859123712 23980 4294967295 134512640 134569956 3221224416 3221214872 1131398360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 23980 13073 16 0 209731 0 vsize: 838988 [startup+410.022 s] Raw data (loadavg): 1.00 1.02 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 40393 59 0 0 25 0 11 0 477557162 859123712 23980 4294967295 134512640 134569956 3221224416 3221214872 1131398360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 23980 13073 16 0 209731 0 vsize: 838988 [startup+420.023 s] Raw data (loadavg): 1.00 1.02 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 41386 59 0 0 25 0 11 0 477557162 859123712 24013 4294967295 134512640 134569956 3221224416 3221214872 1131398052 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 24013 13073 16 0 209731 0 vsize: 838988 [startup+430.023 s] Raw data (loadavg): 1.00 1.02 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 42384 59 0 0 25 0 11 0 477557162 859123712 24013 4294967295 134512640 134569956 3221224416 3221214760 1131435926 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 24013 13073 16 0 209731 0 vsize: 838988 [startup+440.024 s] Raw data (loadavg): 1.00 1.02 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 43377 59 0 0 25 0 11 0 477557162 859123712 24107 4294967295 134512640 134569956 3221224416 3221214872 1131398356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 24107 13073 16 0 209731 0 vsize: 838988 [startup+450.025 s] Raw data (loadavg): 1.00 1.02 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 44369 59 0 0 25 0 11 0 477557162 859123712 24107 4294967295 134512640 134569956 3221224416 3221214872 1131398255 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 24107 13073 16 0 209731 0 vsize: 838988 [startup+460.025 s] Raw data (loadavg): 1.00 1.02 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 45361 59 0 0 25 0 11 0 477557162 859123712 24208 4294967295 134512640 134569956 3221224416 3221214872 1131398372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 24208 13073 16 0 209731 0 vsize: 838988 [startup+470.026 s] Raw data (loadavg): 1.00 1.02 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 46360 59 0 0 25 0 11 0 477557162 859123712 24208 4294967295 134512640 134569956 3221224416 3221214872 1131398055 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 24208 13073 16 0 209731 0 vsize: 838988 [startup+480.026 s] Raw data (loadavg): 1.00 1.02 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 47351 60 0 0 25 0 11 0 477557162 859123712 24208 4294967295 134512640 134569956 3221224416 3221214872 1131398044 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 24208 13073 16 0 209731 0 vsize: 838988 [startup+490.027 s] Raw data (loadavg): 1.00 1.02 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 48342 60 0 0 25 0 11 0 477557162 859123712 24315 4294967295 134512640 134569956 3221224416 3221214816 1131496139 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 24315 13073 16 0 209731 0 vsize: 838988 [startup+500.028 s] Raw data (loadavg): 1.00 1.01 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 49333 60 0 0 25 0 11 0 477557162 859123712 24385 4294967295 134512640 134569956 3221224416 3221214872 1131398534 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 24385 13073 16 0 209731 0 vsize: 838988 [startup+510.028 s] Raw data (loadavg): 1.00 1.01 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 50333 60 0 0 25 0 11 0 477557162 859123712 24385 4294967295 134512640 134569956 3221224416 3221214872 1131398536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 24385 13073 16 0 209731 0 vsize: 838988 [startup+520.029 s] Raw data (loadavg): 1.00 1.01 0.94 2/65 21052 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 51323 60 0 0 25 0 11 0 477557162 859123712 24487 4294967295 134512640 134569956 3221224416 3221214872 1131398372 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 24487 13073 16 0 209731 0 vsize: 838988 [startup+530.028 s] Raw data (loadavg): 1.00 1.01 0.94 2/65 21054 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 52313 60 0 0 25 0 11 0 477557162 859123712 24569 4294967295 134512640 134569956 3221224416 3221214760 1131435839 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 24569 13073 16 0 209731 0 vsize: 838988 [startup+540.029 s] Raw data (loadavg): 1.00 1.01 0.94 2/65 21054 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 53314 60 0 0 25 0 11 0 477557162 859123712 24569 4294967295 134512640 134569956 3221224416 3221214872 1131398546 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 24569 13073 16 0 209731 0 vsize: 838988 [startup+550.03 s] Raw data (loadavg): 1.00 1.01 0.94 2/65 21054 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 54304 60 0 0 25 0 11 0 477557162 859123712 24665 4294967295 134512640 134569956 3221224416 3221214760 1131434925 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 24665 13073 16 0 209731 0 vsize: 838988 [startup+560.029 s] Raw data (loadavg): 1.00 1.01 0.94 2/65 21054 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 55294 60 0 0 25 0 11 0 477557162 859123712 24665 4294967295 134512640 134569956 3221224416 3221214760 1131435817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 24665 13073 16 0 209731 0 vsize: 838988 [startup+570.031 s] Raw data (loadavg): 1.00 1.01 0.94 2/65 21054 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 56294 60 0 0 25 0 11 0 477557162 859123712 24665 4294967295 134512640 134569956 3221224416 3221214920 1131477096 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 24665 13073 16 0 209731 0 vsize: 838988 [startup+580.031 s] Raw data (loadavg): 1.00 1.01 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 57285 60 0 0 25 0 11 0 477557162 859123712 24707 4294967295 134512640 134569956 3221224416 3221214872 1131398536 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 24707 13073 16 0 209731 0 vsize: 838988 [startup+590.032 s] Raw data (loadavg): 1.00 1.01 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 58276 61 0 0 25 0 11 0 477557162 859123712 24753 4294967295 134512640 134569956 3221224416 3221214872 1131398534 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 24753 13073 16 0 209731 0 vsize: 838988 [startup+600.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 59276 61 0 0 25 0 11 0 477557162 859123712 24753 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 24753 13073 16 0 209731 0 vsize: 838988 [startup+610.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 60267 61 0 0 25 0 11 0 477557162 859123712 24786 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 24786 13073 16 0 209731 0 vsize: 838988 [startup+620.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 61258 61 0 0 25 0 11 0 477557162 859123712 24867 4294967295 134512640 134569956 3221224416 3221214872 1131398048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 24867 13073 16 0 209731 0 vsize: 838988 [startup+630.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 62258 61 0 0 25 0 11 0 477557162 859123712 24867 4294967295 134512640 134569956 3221224416 3221214872 1131398372 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 24867 13073 16 0 209731 0 vsize: 838988 [startup+640.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 63249 61 0 0 25 0 11 0 477557162 859123712 24924 4294967295 134512640 134569956 3221224416 3221214872 1131398259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 24924 13073 16 0 209731 0 vsize: 838988 [startup+650.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 64240 61 0 0 25 0 11 0 477557162 859123712 24972 4294967295 134512640 134569956 3221224416 3221214872 1131398259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 24972 13073 16 0 209731 0 vsize: 838988 [startup+660.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 65231 61 0 0 25 0 11 0 477557162 859123712 25026 4294967295 134512640 134569956 3221224416 3221214848 1131543675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 25026 13073 16 0 209731 0 vsize: 838988 [startup+670.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 66230 61 0 0 25 0 11 0 477557162 859123712 25026 4294967295 134512640 134569956 3221224416 3221214872 1131398048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 25026 13073 16 0 209731 0 vsize: 838988 [startup+680.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 67221 61 0 0 25 0 11 0 477557162 859123712 25120 4294967295 134512640 134569956 3221224416 3221214872 1131398336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 25120 13073 16 0 209731 0 vsize: 838988 [startup+690.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 68212 61 0 0 25 0 11 0 477557162 859123712 25239 4294967295 134512640 134569956 3221224416 3221214760 1131434979 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 25239 13073 16 0 209731 0 vsize: 838988 [startup+700.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 69211 61 0 0 25 0 11 0 477557162 859123712 25239 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 25239 13073 16 0 209731 0 vsize: 838988 [startup+710.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 70202 61 0 0 25 0 11 0 477557162 859123712 25340 4294967295 134512640 134569956 3221224416 3221214872 1131398259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 25340 13073 16 0 209731 0 vsize: 838988 [startup+720.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 71194 61 0 0 25 0 11 0 477557162 859123712 25449 4294967295 134512640 134569956 3221224416 3221214872 1131398372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 25449 13073 16 0 209731 0 vsize: 838988 [startup+730.038 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 72193 61 0 0 25 0 11 0 477557162 859123712 25449 4294967295 134512640 134569956 3221224416 3221214872 1131398048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 25449 13073 16 0 209731 0 vsize: 838988 [startup+740.038 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 73184 62 0 0 25 0 11 0 477557162 859123712 25572 4294967295 134512640 134569956 3221224416 3221214872 1131398058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 25572 13073 16 0 209731 0 vsize: 838988 [startup+750.039 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 74177 62 0 0 25 0 11 0 477557162 859123712 25572 4294967295 134512640 134569956 3221224416 3221214872 1131398519 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 25572 13073 16 0 209731 0 vsize: 838988 [startup+760.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 75168 62 0 0 25 0 11 0 477557162 859123712 25665 4294967295 134512640 134569956 3221224416 3221214760 1131435817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 25665 13073 16 0 209731 0 vsize: 838988 [startup+770.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 76167 62 0 0 25 0 11 0 477557162 859123712 25665 4294967295 134512640 134569956 3221224416 3221214872 1131398356 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 25665 13073 16 0 209731 0 vsize: 838988 [startup+780.041 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 77159 62 0 0 25 0 11 0 477557162 859123712 25665 4294967295 134512640 134569956 3221224416 3221214592 1131524480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 25665 13073 16 0 209731 0 vsize: 838988 [startup+790.042 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 78151 62 0 0 25 0 11 0 477557162 859123712 25740 4294967295 134512640 134569956 3221224416 3221214872 1131398536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 25740 13073 16 0 209731 0 vsize: 838988 [startup+800.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 79150 62 0 0 25 0 11 0 477557162 859123712 25740 4294967295 134512640 134569956 3221224416 3221214760 1131435835 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 25740 13073 16 0 209731 0 vsize: 838988 [startup+810.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 80142 62 0 0 25 0 11 0 477557162 859123712 25917 4294967295 134512640 134569956 3221224416 3221214872 1131398032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 25917 13073 16 0 209731 0 vsize: 838988 [startup+820.044 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 81135 62 0 0 25 0 11 0 477557162 859123712 25917 4294967295 134512640 134569956 3221224416 3221214872 1131398519 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 25917 13073 16 0 209731 0 vsize: 838988 [startup+830.044 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 82135 63 0 0 25 0 11 0 477557162 859123712 25917 4294967295 134512640 134569956 3221224416 3221214872 1131398255 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 25917 13073 16 0 209731 0 vsize: 838988 [startup+840.046 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 83127 63 0 0 25 0 11 0 477557162 859123712 25917 4294967295 134512640 134569956 3221224416 3221214872 1131398255 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 25917 13073 16 0 209731 0 vsize: 838988 [startup+850.046 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 84120 63 0 0 25 0 11 0 477557162 859123712 25993 4294967295 134512640 134569956 3221224416 3221214872 1131398032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 25993 13073 16 0 209731 0 vsize: 838988 [startup+860.046 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 85113 63 0 0 25 0 11 0 477557162 859123712 25993 4294967295 134512640 134569956 3221224416 3221214872 1131398048 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 25993 13073 16 0 209731 0 vsize: 838988 [startup+870.047 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21056 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 86112 63 0 0 25 0 11 0 477557162 859123712 25993 4294967295 134512640 134569956 3221224416 3221214872 1131398058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 25993 13073 16 0 209731 0 vsize: 838988 [startup+880.047 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 87105 63 0 0 25 0 11 0 477557162 859123712 26060 4294967295 134512640 134569956 3221224416 3221214720 1131568464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 26060 13073 16 0 209731 0 vsize: 838988 [startup+890.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 88097 64 0 0 25 0 11 0 477557162 859123712 26135 4294967295 134512640 134569956 3221224416 3221214760 1131434976 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 26135 13073 16 0 209731 0 vsize: 838988 [startup+900.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 89097 64 0 0 25 0 11 0 477557162 859123712 26135 4294967295 134512640 134569956 3221224416 3221214872 1131398536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 26135 13073 16 0 209731 0 vsize: 838988 [startup+910.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 90089 64 0 0 25 0 11 0 477557162 859123712 26191 4294967295 134512640 134569956 3221224416 3221214720 1131568587 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 26191 13073 16 0 209731 0 vsize: 838988 [startup+920.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 91081 65 0 0 25 0 11 0 477557162 859123712 26304 4294967295 134512640 134569956 3221224416 3221214872 1131398344 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 26304 13073 16 0 209731 0 vsize: 838988 [startup+930.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 92081 65 0 0 25 0 11 0 477557162 859123712 26304 4294967295 134512640 134569956 3221224416 3221214720 1131568595 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 26304 13073 16 0 209731 0 vsize: 838988 [startup+940.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 93074 65 0 0 25 0 11 0 477557162 859123712 26343 4294967295 134512640 134569956 3221224416 3221214872 1131398356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 26343 13073 16 0 209731 0 vsize: 838988 [startup+950.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 94067 65 0 0 25 0 11 0 477557162 859123712 26396 4294967295 134512640 134569956 3221224416 3221214760 1131434979 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 26396 13073 16 0 209731 0 vsize: 838988 [startup+960.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 95066 66 0 0 25 0 11 0 477557162 859123712 26396 4294967295 134512640 134569956 3221224416 3221214872 1131398534 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 26396 13073 16 0 209731 0 vsize: 838988 [startup+970.051 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 96059 66 0 0 25 0 11 0 477557162 859123712 26518 4294967295 134512640 134569956 3221224416 3221214760 1131434929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 26518 13073 16 0 209731 0 vsize: 838988 [startup+980.051 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 97052 66 0 0 25 0 11 0 477557162 859123712 26518 4294967295 134512640 134569956 3221224416 3221214872 1131398546 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 26518 13073 16 0 209731 0 vsize: 838988 [startup+990.053 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 98045 66 0 0 25 0 11 0 477557162 859123712 26650 4294967295 134512640 134569956 3221224416 3221214760 1131435831 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 26650 13073 16 0 209731 0 vsize: 838988 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 99045 66 0 0 25 0 11 0 477557162 859123712 26650 4294967295 134512640 134569956 3221224416 3221214872 1131398058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 26650 13073 16 0 209731 0 vsize: 838988 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 100037 66 0 0 25 0 11 0 477557162 859123712 26736 4294967295 134512640 134569956 3221224416 3221214760 1131434947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 26736 13073 16 0 209731 0 vsize: 838988 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 101030 66 0 0 25 0 11 0 477557162 859123712 26736 4294967295 134512640 134569956 3221224416 3221214872 1131398052 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 26736 13073 16 0 209731 0 vsize: 838988 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 102030 66 0 0 25 0 11 0 477557162 859123712 26736 4294967295 134512640 134569956 3221224416 3221214872 1131398372 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 26736 13073 16 0 209731 0 vsize: 838988 [startup+1040.05 s] Raw data (loadavg): 1.08 1.02 0.95 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 103022 66 0 0 25 0 11 0 477557162 859123712 26825 4294967295 134512640 134569956 3221224416 3221214760 1131434943 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 26825 13073 16 0 209731 0 vsize: 838988 [startup+1050.05 s] Raw data (loadavg): 1.07 1.02 0.95 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 104015 67 0 0 25 0 11 0 477557162 859123712 26973 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 26973 13073 16 0 209731 0 vsize: 838988 [startup+1060.06 s] Raw data (loadavg): 1.06 1.01 0.95 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 105014 67 0 0 25 0 11 0 477557162 859123712 26973 4294967295 134512640 134569956 3221224416 3221214872 1131398546 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 26973 13073 16 0 209731 0 vsize: 838988 [startup+1070.06 s] Raw data (loadavg): 1.05 1.01 0.95 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 106006 67 0 0 25 0 11 0 477557162 859123712 27080 4294967295 134512640 134569956 3221224416 3221214872 1131398052 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 27080 13073 16 0 209731 0 vsize: 838988 [startup+1080.06 s] Raw data (loadavg): 1.04 1.01 0.95 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 106999 67 0 0 25 0 11 0 477557162 859123712 27149 4294967295 134512640 134569956 3221224416 3221214760 1131434935 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 27149 13073 16 0 209731 0 vsize: 838988 [startup+1090.06 s] Raw data (loadavg): 1.03 1.01 0.95 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 107999 67 0 0 25 0 11 0 477557162 859123712 27149 4294967295 134512640 134569956 3221224416 3221214872 1131398360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 27149 13073 16 0 209731 0 vsize: 838988 [startup+1100.06 s] Raw data (loadavg): 1.03 1.01 0.95 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 108991 67 0 0 25 0 11 0 477557162 859123712 27286 4294967295 134512640 134569956 3221224416 3221214760 1131435811 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 27286 13073 16 0 209731 0 vsize: 838988 [startup+1110.06 s] Raw data (loadavg): 1.02 1.01 0.95 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 109983 67 0 0 25 0 11 0 477557162 859123712 27436 4294967295 134512640 134569956 3221224416 3221214872 1131398536 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 27436 13073 16 0 209731 0 vsize: 838988 [startup+1120.06 s] Raw data (loadavg): 1.02 1.01 0.95 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 110977 67 0 0 25 0 11 0 477557162 859123712 27507 4294967295 134512640 134569956 3221224416 3221214760 1131434976 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 27507 13073 16 0 209731 0 vsize: 838988 [startup+1130.06 s] Raw data (loadavg): 1.02 1.01 0.95 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 111976 67 0 0 25 0 11 0 477557162 859123712 27507 4294967295 134512640 134569956 3221224416 3221214872 1131398532 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 27507 13073 16 0 209731 0 vsize: 838988 [startup+1140.06 s] Raw data (loadavg): 1.01 1.01 0.95 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 112969 68 0 0 25 0 11 0 477557162 859123712 27648 4294967295 134512640 134569956 3221224416 3221214872 1131398242 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 27648 13073 16 0 209731 0 vsize: 838988 [startup+1150.06 s] Raw data (loadavg): 1.01 1.01 0.95 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 113961 68 0 0 25 0 11 0 477557162 859123712 27676 4294967295 134512640 134569956 3221224416 3221214872 1131398048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 27676 13073 16 0 209731 0 vsize: 838988 [startup+1160.06 s] Raw data (loadavg): 1.01 1.00 0.95 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 114961 68 0 0 25 0 11 0 477557162 859123712 27676 4294967295 134512640 134569956 3221224416 3221214872 1131398356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 27676 13073 16 0 209731 0 vsize: 838988 [startup+1170.06 s] Raw data (loadavg): 1.01 1.00 0.95 2/65 21058 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 115953 68 0 0 25 0 11 0 477557162 859123712 27878 4294967295 134512640 134569956 3221224416 3221214760 1131435905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209747 27878 13073 16 0 209731 0 vsize: 838988 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/65 21060 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 116946 69 0 0 25 0 11 0 477557162 859123712 27878 4294967295 134512640 134569956 3221224416 3221214872 1131398062 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 27878 13073 16 0 209731 0 vsize: 838988 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/65 21060 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 117939 69 0 0 25 0 11 0 477557162 859123712 27993 4294967295 134512640 134569956 3221224416 3221214872 1131398546 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 27993 13073 16 0 209731 0 vsize: 838988 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/65 21060 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 118939 69 0 0 25 0 11 0 477557162 859123712 27993 4294967295 134512640 134569956 3221224416 3221214872 1131398352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 27993 13073 16 0 209731 0 vsize: 838988 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/65 21060 Raw data (stat): 20985 (java) R 20984 20024 20023 0 -1 0 18055 0 1 0 119932 70 0 0 25 0 11 0 477557162 859123712 27993 4294967295 134512640 134569956 3221224416 3221214696 1131555127 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209747 27993 13073 16 0 209731 0 vsize: 838988 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1210.15 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 21062 Raw data (stat): 20985 (java) Z 20984 20024 20023 0 -1 1036 18055 8610 1 0 119936 70 740 19 25 0 1 0 477557162 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): 1210.15 CPU time (s): 1207.66 CPU user time (s): 1206.76 CPU system time (s): 0.901862 CPU usage (%): 99.7945 Max. virtual memory (Kb): 839880 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####