Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb |
MD5SUM | 979ebd144bbd2b562b23479b90a02c66 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 343 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1040 |
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 | 1040 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1040 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03484 |
Number of variables | 1040 |
Total number of constraints | 3656 |
Number of constraints which are clauses | 3656 |
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 | 2 |
Maximum length of a constraint | 10 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc10 THE 2005-04-13 16:37:02 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1575 boxname=wulflinc10 idbench=175 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 979ebd144bbd2b562b23479b90a02c66 /oldhome/oroussel/tmp/wulflinc10/normalized-ii8e1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-ii8e1.opb IDLAUNCH: 1575 /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: 935416 kB Buffers: 32580 kB Cached: 47360 kB SwapCached: 164 kB Active: 44644 kB Inactive: 38348 kB HighTotal: 131008 kB HighFree: 79856 kB LowTotal: 903652 kB LowFree: 855560 kB SwapTotal: 2097136 kB SwapFree: 2096972 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6916 kB Slab: 10692 kB Committed_AS: 63480 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 16:57:35 (client local time) WITH STATUS 143 IN SECONDS stats: 1575 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc10/normalized-ii8e1.opb c reading problem c [nbvar=1040] c [nbconstr=3656] c time 3.402 c #vars 1040 c #clauses 3656 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=456 c Current CPU time (ms) : 10.295 c starts : 1 c conflicts : 59 c decisions : 335 c propagations : 6005 c inspects : 15073 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 59 c root simplifications : 1 c c CURRENT OPTIMUM=455 c Current CPU time (ms) : 21.287 c starts : 2 c conflicts : 99 c decisions : 751 c propagations : 8391 c inspects : 24797 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 99 c root simplifications : 2 c c CURRENT OPTIMUM=366 c Current CPU time (ms) : 25.864 c starts : 3 c conflicts : 104 c decisions : 1175 c propagations : 9775 c inspects : 35917 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 104 c root simplifications : 3 #### 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.85 0.97 0.90 2/54 26176 Raw data (stat): 26176 (runsolver) R 26175 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419229127 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.0015 s] Raw data (loadavg): 1.03 1.00 0.91 3/64 26186 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 17089 0 1 0 642 45 0 0 25 0 11 0 419229127 874528768 21906 4294967295 134512640 134569956 3221224416 3221214720 1131210876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213508 21906 13073 16 0 213492 0 vsize: 854032 [startup+20.002 s] Raw data (loadavg): 1.10 1.02 0.92 2/64 26187 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18104 3 1 0 1550 47 0 0 25 0 11 0 419229127 866615296 22684 4294967295 134512640 134569956 3221224416 3221214072 1131143744 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 22684 13073 16 0 211560 0 vsize: 846304 [startup+30.002 s] Raw data (loadavg): 1.08 1.02 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18104 3 1 0 2479 48 0 0 25 0 11 0 419229127 866615296 23609 4294967295 134512640 134569956 3221224416 3221214792 1131324970 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211576 23609 13073 16 0 211560 0 vsize: 846304 [startup+40.0022 s] Raw data (loadavg): 1.07 1.01 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18104 3 1 0 3413 48 0 0 25 0 11 0 419229127 866615296 23609 4294967295 134512640 134569956 3221224416 3221214552 1131445815 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 23609 13073 16 0 211560 0 vsize: 846304 [startup+50.0027 s] Raw data (loadavg): 1.06 1.01 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18105 3 1 0 4338 49 0 0 25 0 11 0 419229127 866615296 23673 4294967295 134512640 134569956 3221224416 3221214584 1131489687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 23673 13073 16 0 211560 0 vsize: 846304 [startup+60.0027 s] Raw data (loadavg): 1.05 1.01 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18105 3 1 0 5283 49 0 0 25 0 11 0 419229127 866615296 24171 4294967295 134512640 134569956 3221224416 3221214496 1131234586 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211576 24171 13073 16 0 211560 0 vsize: 846304 [startup+70.0039 s] Raw data (loadavg): 1.04 1.01 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18105 3 1 0 6238 49 0 0 25 0 11 0 419229127 866615296 24234 4294967295 134512640 134569956 3221224416 3221214688 1131658515 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 24234 13073 16 0 211560 0 vsize: 846304 [startup+80.0045 s] Raw data (loadavg): 1.03 1.01 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 7205 50 0 0 25 0 11 0 419229127 866615296 24268 4294967295 134512640 134569956 3221224416 3221214584 1131489537 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 24268 13073 16 0 211560 0 vsize: 846304 [startup+90.005 s] Raw data (loadavg): 1.03 1.01 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 8166 50 0 0 25 0 11 0 419229127 866615296 24331 4294967295 134512640 134569956 3221224416 3221214584 1131489152 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 24331 13073 16 0 211560 0 vsize: 846304 [startup+100.006 s] Raw data (loadavg): 1.02 1.01 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 9125 50 0 0 25 0 11 0 419229127 866615296 24434 4294967295 134512640 134569956 3221224416 3221214688 1131658515 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 24434 13073 16 0 211560 0 vsize: 846304 [startup+110.007 s] Raw data (loadavg): 1.02 1.01 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 10092 50 0 0 25 0 11 0 419229127 866615296 24542 4294967295 134512640 134569956 3221224416 3221214696 1131210953 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 24542 13073 16 0 211560 0 vsize: 846304 [startup+120.007 s] Raw data (loadavg): 1.02 1.01 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 11053 50 0 0 25 0 11 0 419229127 866615296 24642 4294967295 134512640 134569956 3221224416 3221214592 1131234793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211576 24642 13073 16 0 211560 0 vsize: 846304 [startup+130.007 s] Raw data (loadavg): 1.01 1.01 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 12020 51 0 0 25 0 11 0 419229127 866615296 24725 4294967295 134512640 134569956 3221224416 3221214696 1131210953 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 24725 13073 16 0 211560 0 vsize: 846304 [startup+140.008 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 12989 51 0 0 25 0 11 0 419229127 866615296 24771 4294967295 134512640 134569956 3221224416 3221214688 1131658645 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 24771 13073 16 0 211560 0 vsize: 846304 [startup+150.008 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 13946 51 0 0 25 0 11 0 419229127 866615296 24904 4294967295 134512640 134569956 3221224416 3221214592 1131234793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 24904 13073 16 0 211560 0 vsize: 846304 [startup+160.009 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 14908 52 0 0 25 0 11 0 419229127 866615296 24930 4294967295 134512640 134569956 3221224416 3221214728 1131389589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 24930 13073 16 0 211560 0 vsize: 846304 [startup+170.01 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 15861 52 0 0 25 0 11 0 419229127 866615296 25086 4294967295 134512640 134569956 3221224416 3221214696 1131210751 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 25086 13073 16 0 211560 0 vsize: 846304 [startup+180.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 16823 53 0 0 25 0 11 0 419229127 866615296 25281 4294967295 134512640 134569956 3221224416 3221214728 1131392360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 25281 13073 16 0 211560 0 vsize: 846304 [startup+190.011 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 17796 53 0 0 25 0 11 0 419229127 866615296 25316 4294967295 134512640 134569956 3221224416 3221214584 1131489556 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 25316 13073 16 0 211560 0 vsize: 846304 [startup+200.011 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 18764 53 0 0 25 0 11 0 419229127 866615296 25390 4294967295 134512640 134569956 3221224416 3221214696 1131211196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 25390 13073 16 0 211560 0 vsize: 846304 [startup+210.011 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 19739 54 0 0 25 0 11 0 419229127 866615296 25433 4294967295 134512640 134569956 3221224416 3221214696 1131211163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 25433 13073 16 0 211560 0 vsize: 846304 [startup+220.012 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 20705 54 0 0 25 0 11 0 419229127 866615296 25510 4294967295 134512640 134569956 3221224416 3221214728 1131390943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 25510 13073 16 0 211560 0 vsize: 846304 [startup+230.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 21674 55 0 0 25 0 11 0 419229127 866615296 25605 4294967295 134512640 134569956 3221224416 3221214680 1131208007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 25605 13073 16 0 211560 0 vsize: 846304 [startup+240.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 22649 55 0 0 25 0 11 0 419229127 866615296 25674 4294967295 134512640 134569956 3221224416 3221214728 1131389380 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 25674 13073 16 0 211560 0 vsize: 846304 [startup+250.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 23624 56 0 0 25 0 11 0 419229127 866615296 25712 4294967295 134512640 134569956 3221224416 3221214628 1131426971 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 25712 13073 16 0 211560 0 vsize: 846304 [startup+260.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 24601 56 0 0 25 0 11 0 419229127 866615296 25758 4294967295 134512640 134569956 3221224416 3221214592 1131234750 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 25758 13073 16 0 211560 0 vsize: 846304 [startup+270.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 25577 57 0 0 25 0 11 0 419229127 866615296 25803 4294967295 134512640 134569956 3221224416 3221214688 1131658508 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 25803 13073 16 0 211560 0 vsize: 846304 [startup+280.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 26553 57 0 0 25 0 11 0 419229127 866615296 25860 4294967295 134512640 134569956 3221224416 3221214792 1131328547 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 25860 13073 16 0 211560 0 vsize: 846304 [startup+290.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 27528 58 0 0 25 0 11 0 419229127 866615296 25900 4294967295 134512640 134569956 3221224416 3221214632 1131346799 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 25900 13073 16 0 211560 0 vsize: 846304 [startup+300.016 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 28493 58 0 0 25 0 11 0 419229127 866615296 25944 4294967295 134512640 134569956 3221224416 3221214632 1131347200 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 25944 13073 16 0 211560 0 vsize: 846304 [startup+310.016 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 29458 58 0 0 25 0 11 0 419229127 866615296 26014 4294967295 134512640 134569956 3221224416 3221214592 1131234748 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26014 13073 16 0 211560 0 vsize: 846304 [startup+320.017 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 30429 59 0 0 25 0 11 0 419229127 866615296 26076 4294967295 134512640 134569956 3221224416 3221214744 1131235396 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26076 13073 16 0 211560 0 vsize: 846304 [startup+330.018 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 31400 60 0 0 25 0 11 0 419229127 866615296 26170 4294967295 134512640 134569956 3221224416 3221214688 1131656803 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26170 13073 16 0 211560 0 vsize: 846304 [startup+340.018 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 32378 60 0 0 25 0 11 0 419229127 866615296 26232 4294967295 134512640 134569956 3221224416 3221214584 1131489231 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26232 13073 16 0 211560 0 vsize: 846304 [startup+350.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 33350 60 0 0 25 0 11 0 419229127 866615296 26253 4294967295 134512640 134569956 3221224416 3221214592 1131234656 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26253 13073 16 0 211560 0 vsize: 846304 [startup+360.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 34323 60 0 0 25 0 11 0 419229127 866615296 26316 4294967295 134512640 134569956 3221224416 3221214592 1131234793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26316 13073 16 0 211560 0 vsize: 846304 [startup+370.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 35302 61 0 0 25 0 11 0 419229127 866615296 26379 4294967295 134512640 134569956 3221224416 3221214792 1131324930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26379 13073 16 0 211560 0 vsize: 846304 [startup+380.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 36285 61 0 0 25 0 11 0 419229127 866615296 26467 4294967295 134512640 134569956 3221224416 3221214592 1131234678 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26467 13073 16 0 211560 0 vsize: 846304 [startup+390.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 37272 62 0 0 25 0 11 0 419229127 866615296 26481 4294967295 134512640 134569956 3221224416 3221214696 1131211013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26481 13073 16 0 211560 0 vsize: 846304 [startup+400.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 38256 63 0 0 25 0 11 0 419229127 866615296 26509 4294967295 134512640 134569956 3221224416 3221214592 1131234930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26509 13073 16 0 211560 0 vsize: 846304 [startup+410.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 39237 63 0 0 25 0 11 0 419229127 866615296 26546 4294967295 134512640 134569956 3221224416 3221214584 1131489556 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26546 13073 16 0 211560 0 vsize: 846304 [startup+420.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 40219 63 0 0 25 0 11 0 419229127 866615296 26574 4294967295 134512640 134569956 3221224416 3221214592 1131234905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211576 26574 13073 16 0 211560 0 vsize: 846304 [startup+430.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 41195 64 0 0 24 0 11 0 419229127 866615296 26605 4294967295 134512640 134569956 3221224416 3221214592 1131235178 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26605 13073 16 0 211560 0 vsize: 846304 [startup+440.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 42171 64 0 0 25 0 11 0 419229127 866615296 26638 4294967295 134512640 134569956 3221224416 3221214584 1131489669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26638 13073 16 0 211560 0 vsize: 846304 [startup+450.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 43149 65 0 0 25 0 11 0 419229127 866615296 26722 4294967295 134512640 134569956 3221224416 3221214592 1131234948 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26722 13073 16 0 211560 0 vsize: 846304 [startup+460.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 44136 65 0 0 25 0 11 0 419229127 866615296 26773 4294967295 134512640 134569956 3221224416 3221214576 1131361936 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26773 13073 16 0 211560 0 vsize: 846304 [startup+470.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 45122 65 0 0 24 0 11 0 419229127 866615296 26801 4294967295 134512640 134569956 3221224416 3221214592 1131234457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26801 13073 16 0 211560 0 vsize: 846304 [startup+480.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 46109 66 0 0 24 0 11 0 419229127 866615296 26801 4294967295 134512640 134569956 3221224416 3221214576 1131361771 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26801 13073 16 0 211560 0 vsize: 846304 [startup+490.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 47094 66 0 0 25 0 11 0 419229127 866615296 26836 4294967295 134512640 134569956 3221224416 3221214592 1131235412 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26836 13073 16 0 211560 0 vsize: 846304 [startup+500.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 48079 67 0 0 25 0 11 0 419229127 866615296 26869 4294967295 134512640 134569956 3221224416 3221214632 1131346817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26869 13073 16 0 211560 0 vsize: 846304 [startup+510.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 49064 67 0 0 25 0 11 0 419229127 866615296 26897 4294967295 134512640 134569956 3221224416 3221214568 1131499785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26897 13073 16 0 211560 0 vsize: 846304 [startup+520.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 50052 67 0 0 25 0 11 0 419229127 866615296 26938 4294967295 134512640 134569956 3221224416 3221214352 1080217189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26938 13073 16 0 211560 0 vsize: 846304 [startup+530.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 51037 68 0 0 25 0 11 0 419229127 866615296 26938 4294967295 134512640 134569956 3221224416 3221214804 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 26938 13073 16 0 211560 0 vsize: 846304 [startup+540.026 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 52025 68 0 0 25 0 11 0 419229127 866615296 27012 4294967295 134512640 134569956 3221224416 3221214592 1131234708 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27012 13073 16 0 211560 0 vsize: 846304 [startup+550.027 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 53015 68 0 0 25 0 11 0 419229127 866615296 27012 4294967295 134512640 134569956 3221224416 3221214592 1131234913 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27012 13073 16 0 211560 0 vsize: 846304 [startup+560.026 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 54000 69 0 0 25 0 11 0 419229127 866615296 27065 4294967295 134512640 134569956 3221224416 3221214592 1131234748 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27065 13073 16 0 211560 0 vsize: 846304 [startup+570.027 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 54988 69 0 0 25 0 11 0 419229127 866615296 27065 4294967295 134512640 134569956 3221224416 3221214440 1131667587 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27065 13073 16 0 211560 0 vsize: 846304 [startup+580.028 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 55974 69 0 0 25 0 11 0 419229127 866615296 27065 4294967295 134512640 134569956 3221224416 3221214536 1131448112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27065 13073 16 0 211560 0 vsize: 846304 [startup+590.028 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 56959 70 0 0 25 0 11 0 419229127 866615296 27119 4294967295 134512640 134569956 3221224416 3221214344 1080217338 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27119 13073 16 0 211560 0 vsize: 846304 [startup+600.029 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 57949 70 0 0 25 0 11 0 419229127 866615296 27163 4294967295 134512640 134569956 3221224416 3221214664 1131443062 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27163 13073 16 0 211560 0 vsize: 846304 [startup+610.029 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 58936 71 0 0 25 0 11 0 419229127 866615296 27163 4294967295 134512640 134569956 3221224416 3221214688 1131658558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27163 13073 16 0 211560 0 vsize: 846304 [startup+620.029 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 59925 71 0 0 25 0 11 0 419229127 866615296 27214 4294967295 134512640 134569956 3221224416 3221214584 1131489198 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27214 13073 16 0 211560 0 vsize: 846304 [startup+630.029 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 60919 71 0 0 25 0 11 0 419229127 866615296 27214 4294967295 134512640 134569956 3221224416 3221214592 1131234982 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27214 13073 16 0 211560 0 vsize: 846304 [startup+640.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 61912 71 0 0 25 0 11 0 419229127 866615296 27214 4294967295 134512640 134569956 3221224416 3221214584 1131490187 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27214 13073 16 0 211560 0 vsize: 846304 [startup+650.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 62904 72 0 0 25 0 11 0 419229127 866615296 27269 4294967295 134512640 134569956 3221224416 3221214512 1131430149 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27269 13073 16 0 211560 0 vsize: 846304 [startup+660.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 63897 72 0 0 25 0 11 0 419229127 866615296 27269 4294967295 134512640 134569956 3221224416 3221214620 1080203733 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27269 13073 16 0 211560 0 vsize: 846304 [startup+670.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 64889 73 0 0 25 0 11 0 419229127 866615296 27269 4294967295 134512640 134569956 3221224416 3221214512 1131429567 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27269 13073 16 0 211560 0 vsize: 846304 [startup+680.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 65879 73 0 0 25 0 11 0 419229127 866615296 27296 4294967295 134512640 134569956 3221224416 3221214512 1131430310 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27296 13073 16 0 211560 0 vsize: 846304 [startup+690.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 66867 73 0 0 25 0 11 0 419229127 866615296 27296 4294967295 134512640 134569956 3221224416 3221214652 1080204274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27296 13073 16 0 211560 0 vsize: 846304 [startup+700.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 67852 73 0 0 25 0 11 0 419229127 866615296 27301 4294967295 134512640 134569956 3221224416 3221214512 1131427195 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27301 13073 16 0 211560 0 vsize: 846304 [startup+710.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 68836 74 0 0 25 0 11 0 419229127 866615296 27301 4294967295 134512640 134569956 3221224416 3221214592 1131234586 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27301 13073 16 0 211560 0 vsize: 846304 [startup+720.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 69823 74 0 0 24 0 11 0 419229127 866615296 27371 4294967295 134512640 134569956 3221224416 3221214592 1131234890 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27371 13073 16 0 211560 0 vsize: 846304 [startup+730.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 70816 75 0 0 25 0 11 0 419229127 866615296 27412 4294967295 134512640 134569956 3221224416 3221214592 1131234861 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27412 13073 16 0 211560 0 vsize: 846304 [startup+740.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 71810 75 0 0 25 0 11 0 419229127 866615296 27450 4294967295 134512640 134569956 3221224416 3221214592 1131234934 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27450 13073 16 0 211560 0 vsize: 846304 [startup+750.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 72807 75 0 0 25 0 11 0 419229127 866615296 27451 4294967295 134512640 134569956 3221224416 3221214812 1080204267 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27451 13073 16 0 211560 0 vsize: 846304 [startup+760.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 73795 76 0 0 25 0 11 0 419229127 866615296 27451 4294967295 134512640 134569956 3221224416 3221214344 1080217270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27451 13073 16 0 211560 0 vsize: 846304 [startup+770.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 74782 76 0 0 25 0 11 0 419229127 866615296 27451 4294967295 134512640 134569956 3221224416 3221214508 1131671052 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27451 13073 16 0 211560 0 vsize: 846304 [startup+780.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 75770 77 0 0 25 0 11 0 419229127 866615296 27494 4294967295 134512640 134569956 3221224416 3221214464 1131674640 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27494 13073 16 0 211560 0 vsize: 846304 [startup+790.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 76760 77 0 0 25 0 11 0 419229127 866615296 27495 4294967295 134512640 134569956 3221224416 3221214592 1131234913 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27495 13073 16 0 211560 0 vsize: 846304 [startup+800.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 77753 78 0 0 25 0 11 0 419229127 866615296 27501 4294967295 134512640 134569956 3221224416 3221214688 1131658515 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27501 13073 16 0 211560 0 vsize: 846304 [startup+810.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 78747 78 0 0 25 0 11 0 419229127 866615296 27554 4294967295 134512640 134569956 3221224416 3221214304 1080217246 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27554 13073 16 0 211560 0 vsize: 846304 [startup+820.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 79735 78 0 0 25 0 11 0 419229127 866615296 27554 4294967295 134512640 134569956 3221224416 3221214432 1131667568 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27554 13073 16 0 211560 0 vsize: 846304 [startup+830.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 80721 79 0 0 25 0 11 0 419229127 866615296 27554 4294967295 134512640 134569956 3221224416 3221214424 1131676660 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27554 13073 16 0 211560 0 vsize: 846304 [startup+840.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 81708 79 0 0 25 0 11 0 419229127 866615296 27554 4294967295 134512640 134569956 3221224416 3221214712 1131448181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27554 13073 16 0 211560 0 vsize: 846304 [startup+850.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 82694 79 0 0 25 0 11 0 419229127 866615296 27554 4294967295 134512640 134569956 3221224416 3221214432 1131676486 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27554 13073 16 0 211560 0 vsize: 846304 [startup+860.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 83679 79 0 0 25 0 11 0 419229127 866615296 27622 4294967295 134512640 134569956 3221224416 3221214632 1131349523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27622 13073 16 0 211560 0 vsize: 846304 [startup+870.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 84668 79 0 0 25 0 11 0 419229127 866615296 27725 4294967295 134512640 134569956 3221224416 3221214592 1131234890 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27725 13073 16 0 211560 0 vsize: 846304 [startup+880.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 85661 80 0 0 25 0 11 0 419229127 866615296 27728 4294967295 134512640 134569956 3221224416 3221214128 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27728 13073 16 0 211560 0 vsize: 846304 [startup+890.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 86647 80 0 0 25 0 11 0 419229127 866615296 27976 4294967295 134512640 134569956 3221224416 3221214432 1131676339 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 27976 13073 16 0 211560 0 vsize: 846304 [startup+900.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 87639 80 0 0 25 0 11 0 419229127 866615296 28000 4294967295 134512640 134569956 3221224416 3221214512 1131428246 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211576 28000 13073 16 0 211560 0 vsize: 846304 [startup+910.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 88629 80 0 0 25 0 11 0 419229127 866615296 28002 4294967295 134512640 134569956 3221224416 3221214432 1131675909 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28002 13073 16 0 211560 0 vsize: 846304 [startup+920.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 89621 81 0 0 25 0 11 0 419229127 866615296 28002 4294967295 134512640 134569956 3221224416 3221214652 1080203721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28002 13073 16 0 211560 0 vsize: 846304 [startup+930.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 90613 81 0 0 25 0 11 0 419229127 866615296 28002 4294967295 134512640 134569956 3221224416 3221214552 1131447637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28002 13073 16 0 211560 0 vsize: 846304 [startup+940.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 91604 82 0 0 25 0 11 0 419229127 866615296 28112 4294967295 134512640 134569956 3221224416 3221214272 1080217322 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28112 13073 16 0 211560 0 vsize: 846304 [startup+950.041 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 92601 82 0 0 25 0 11 0 419229127 866615296 28112 4294967295 134512640 134569956 3221224416 3221214432 1131676456 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28112 13073 16 0 211560 0 vsize: 846304 [startup+960.041 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 93596 83 0 0 25 0 11 0 419229127 866615296 28112 4294967295 134512640 134569956 3221224416 3221214512 1131428246 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28112 13073 16 0 211560 0 vsize: 846304 [startup+970.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 94587 83 0 0 25 0 11 0 419229127 866615296 28112 4294967295 134512640 134569956 3221224416 3221214632 1131349523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28112 13073 16 0 211560 0 vsize: 846304 [startup+980.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 95579 84 0 0 25 0 11 0 419229127 866615296 28112 4294967295 134512640 134569956 3221224416 3221214804 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28112 13073 16 0 211560 0 vsize: 846304 [startup+990.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 96571 84 0 0 25 0 11 0 419229127 866615296 28112 4294967295 134512640 134569956 3221224416 3221214432 1131676430 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28112 13073 16 0 211560 0 vsize: 846304 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 97562 84 0 0 25 0 11 0 419229127 866615296 28112 4294967295 134512640 134569956 3221224416 3221214432 1131676545 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28112 13073 16 0 211560 0 vsize: 846304 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 98555 85 0 0 25 0 11 0 419229127 866615296 28112 4294967295 134512640 134569956 3221224416 3221214792 1131324955 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28112 13073 16 0 211560 0 vsize: 846304 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 99543 85 0 0 25 0 11 0 419229127 866615296 28119 4294967295 134512640 134569956 3221224416 3221214344 1080217199 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28119 13073 16 0 211560 0 vsize: 846304 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 100532 86 0 0 25 0 11 0 419229127 866615296 28168 4294967295 134512640 134569956 3221224416 3221214612 1079721530 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28168 13073 16 0 211560 0 vsize: 846304 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 101520 86 0 0 24 0 11 0 419229127 866615296 28168 4294967295 134512640 134569956 3221224416 3221214512 1131427524 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28168 13073 16 0 211560 0 vsize: 846304 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 102507 86 0 0 25 0 11 0 419229127 866615296 28168 4294967295 134512640 134569956 3221224416 3221214512 1131429068 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28168 13073 16 0 211560 0 vsize: 846304 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 103495 86 0 0 25 0 11 0 419229127 866615296 28221 4294967295 134512640 134569956 3221224416 3221214504 1079721521 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28221 13073 16 0 211560 0 vsize: 846304 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 104487 87 0 0 25 0 11 0 419229127 866615296 28263 4294967295 134512640 134569956 3221224416 3221214632 1131346906 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28263 13073 16 0 211560 0 vsize: 846304 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 105475 87 0 0 25 0 11 0 419229127 866615296 28316 4294967295 134512640 134569956 3221224416 3221214396 1080217188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28316 13073 16 0 211560 0 vsize: 846304 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 106464 88 0 0 25 0 11 0 419229127 866615296 28316 4294967295 134512640 134569956 3221224416 3221214344 1080217270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28316 13073 16 0 211560 0 vsize: 846304 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 107451 88 0 0 25 0 11 0 419229127 866615296 28316 4294967295 134512640 134569956 3221224416 3221214464 1131674593 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28316 13073 16 0 211560 0 vsize: 846304 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 108439 89 0 0 25 0 11 0 419229127 866615296 28316 4294967295 134512640 134569956 3221224416 3221214480 1131681036 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28316 13073 16 0 211560 0 vsize: 846304 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 109426 89 0 0 25 0 11 0 419229127 866615296 28316 4294967295 134512640 134569956 3221224416 3221214512 1131429396 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28316 13073 16 0 211560 0 vsize: 846304 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 110414 89 0 0 25 0 11 0 419229127 866615296 28398 4294967295 134512640 134569956 3221224416 3221214436 1131672883 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28398 13073 16 0 211560 0 vsize: 846304 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 111408 90 0 0 25 0 11 0 419229127 866615296 28466 4294967295 134512640 134569956 3221224416 3221214652 1080204274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28466 13073 16 0 211560 0 vsize: 846304 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 112404 90 0 0 25 0 11 0 419229127 866615296 28466 4294967295 134512640 134569956 3221224416 3221214508 1131674528 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28466 13073 16 0 211560 0 vsize: 846304 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 113399 91 0 0 25 0 11 0 419229127 866615296 28466 4294967295 134512640 134569956 3221224416 3221214304 1080217322 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28466 13073 16 0 211560 0 vsize: 846304 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 114393 91 0 0 25 0 11 0 419229127 866615296 28466 4294967295 134512640 134569956 3221224416 3221214512 1131430344 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28466 13073 16 0 211560 0 vsize: 846304 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 115387 91 0 0 25 0 11 0 419229127 866615296 28466 4294967295 134512640 134569956 3221224416 3221214432 1131676351 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28466 13073 16 0 211560 0 vsize: 846304 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 116377 91 0 0 25 0 11 0 419229127 866615296 28466 4294967295 134512640 134569956 3221224416 3221214552 1131448246 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28466 13073 16 0 211560 0 vsize: 846304 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 117364 91 0 0 25 0 11 0 419229127 866615296 28466 4294967295 134512640 134569956 3221224416 3221214876 1080203670 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28466 13073 16 0 211560 0 vsize: 846304 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 118346 91 0 0 24 0 11 0 419229127 866615296 28466 4294967295 134512640 134569956 3221224416 3221214344 1080217376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28466 13073 16 0 211560 0 vsize: 846304 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 119327 92 0 0 25 0 11 0 419229127 866615296 28547 4294967295 134512640 134569956 3221224416 3221214432 1131676456 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28547 13073 16 0 211560 0 vsize: 846304 [startup+1230.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 26189 Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 120310 93 0 0 25 0 11 0 419229127 866615296 28548 4294967295 134512640 134569956 3221224416 3221214464 1079721543 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211576 28548 13073 16 0 211560 0 vsize: 846304 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.13 s] Raw data (loadavg): 1.00 1.00 0.92 1/54 26191 Raw data (stat): 26176 (java) Z 26175 25347 25346 0 -1 1036 18106 19143 1 0 120312 98 3608 60 25 0 1 0 419229127 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1230.13 CPU time (s): 1240.81 CPU user time (s): 1239.21 CPU system time (s): 1.59576 CPU usage (%): 100.868 Max. virtual memory (Kb): 854032 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####