Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb |
MD5SUM | 6005a01d3f2ae55b0ca9c19f876c5827 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 139 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 360 |
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 | 360 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 360 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02584 |
Number of variables | 360 |
Total number of constraints | 980 |
Number of constraints which are clauses | 980 |
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 | 8 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc18 THE 2005-04-13 16:36:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1476 boxname=wulflinc18 idbench=164 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 6005a01d3f2ae55b0ca9c19f876c5827 /oldhome/oroussel/tmp/wulflinc18/normalized-ii8a2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-ii8a2.opb IDLAUNCH: 1476 /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: 926516 kB Buffers: 32564 kB Cached: 39740 kB SwapCached: 320 kB Active: 41912 kB Inactive: 33544 kB HighTotal: 131008 kB HighFree: 87276 kB LowTotal: 903652 kB LowFree: 839240 kB SwapTotal: 2097892 kB SwapFree: 2097572 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6936 kB Slab: 27000 kB Committed_AS: 63668 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 16:57:07 (client local time) WITH STATUS 143 IN SECONDS stats: 1476 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc18/normalized-ii8a2.opb c reading problem c [nbvar=360] c [nbconstr=980] c time 1.545 c #vars 360 c #clauses 980 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=162 c Current CPU time (ms) : 3.485 c starts : 1 c conflicts : 21 c decisions : 117 c propagations : 1250 c inspects : 2936 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 21 c root simplifications : 1 c c CURRENT OPTIMUM=161 c Current CPU time (ms) : 25.133 c starts : 3 c conflicts : 130 c decisions : 591 c propagations : 3883 c inspects : 26432 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 130 c root simplifications : 3 c c CURRENT OPTIMUM=160 c Current CPU time (ms) : 32.179 c starts : 4 c conflicts : 179 c decisions : 816 c propagations : 4940 c inspects : 40844 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 179 c root simplifications : 4 c c CURRENT OPTIMUM=159 c Current CPU time (ms) : 34.721 c starts : 5 c conflicts : 191 c decisions : 905 c propagations : 5442 c inspects : 50536 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 191 c root simplifications : 5 c c CURRENT OPTIMUM=158 c Current CPU time (ms) : 38.74 c starts : 6 c conflicts : 210 c decisions : 1024 c propagations : 6149 c inspects : 61993 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 210 c root simplifications : 6 c c CURRENT OPTIMUM=157 c Current CPU time (ms) : 45.402 c starts : 7 c conflicts : 271 c decisions : 1260 c propagations : 7161 c inspects : 78493 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 271 c root simplifications : 7 c c CURRENT OPTIMUM=156 c Current CPU time (ms) : 49.549 c starts : 8 c conflicts : 295 c decisions : 1412 c propagations : 7806 c inspects : 92845 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 295 c root simplifications : 8 c c CURRENT OPTIMUM=155 c Current CPU time (ms) : 63.763 c starts : 9 c conflicts : 368 c decisions : 1732 c propagations : 9324 c inspects : 130404 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 368 c root simplifications : 9 c c CURRENT OPTIMUM=154 c Current CPU time (ms) : 67.314 c starts : 10 c conflicts : 381 c decisions : 1842 c propagations : 9798 c inspects : 146603 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 381 c root simplifications : 10 c c CURRENT OPTIMUM=153 c Current CPU time (ms) : 69.963 c starts : 11 c conflicts : 383 c decisions : 1930 c propagations : 10169 c inspects : 158175 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 383 c root simplifications : 11 c c CURRENT OPTIMUM=152 c Current CPU time (ms) : 233.335 c starts : 14 c conflicts : 841 c decisions : 3671 c propagations : 19913 c inspects : 651736 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 0 c learned clauses : 841 c root simplifications : 14 c c CURRENT OPTIMUM=151 c Current CPU time (ms) : 258.622 c starts : 15 c conflicts : 924 c decisions : 4048 c propagations : 21171 c inspects : 734126 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 0 c learned clauses : 924 c root simplifications : 15 c c CURRENT OPTIMUM=150 c Current CPU time (ms) : 815.27 c starts : 20 c conflicts : 1749 c decisions : 6916 c propagations : 36832 c inspects : 2871311 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 1 c learned clauses : 1749 c root simplifications : 20 #### 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.96 0.90 2/55 20860 Raw data (stat): 20860 (runsolver) D 20859 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477431203 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0008 s] Raw data (loadavg): 0.87 0.96 0.90 2/65 20871 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18068 3 1 0 669 45 0 0 25 0 11 0 477431203 867225600 22095 4294967295 134512640 134569956 3221224416 3221214872 1131141144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 22095 13073 16 0 211709 0 vsize: 846900 [startup+20.0026 s] Raw data (loadavg): 0.96 0.98 0.91 2/65 20871 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18069 3 1 0 1623 45 0 0 25 0 11 0 477431203 867225600 22549 4294967295 134512640 134569956 3221224416 3221214624 1131274523 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 22549 13073 16 0 211709 0 vsize: 846900 [startup+30.003 s] Raw data (loadavg): 0.97 0.98 0.91 2/65 20872 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18069 3 1 0 2565 45 0 0 25 0 11 0 477431203 867225600 23150 4294967295 134512640 134569956 3221224416 3221214744 1131281723 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 23150 13073 16 0 211709 0 vsize: 846900 [startup+40.0034 s] Raw data (loadavg): 0.97 0.98 0.91 2/65 20877 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18069 3 1 0 3485 45 0 0 25 0 11 0 477431203 867225600 23620 4294967295 134512640 134569956 3221224416 3221214816 1131209688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 23620 13073 16 0 211709 0 vsize: 846900 [startup+50.0046 s] Raw data (loadavg): 0.98 0.98 0.91 2/65 20878 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18069 3 1 0 4388 46 0 0 24 0 11 0 477431203 867225600 24193 4294967295 134512640 134569956 3221224416 3221214816 1131209484 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 24193 13073 16 0 211709 0 vsize: 846900 [startup+60.0047 s] Raw data (loadavg): 0.98 0.98 0.91 2/65 20879 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 5314 46 0 0 25 0 11 0 477431203 867225600 24466 4294967295 134512640 134569956 3221224416 3221214624 1131274523 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 24466 13073 16 0 211709 0 vsize: 846900 [startup+70.0061 s] Raw data (loadavg): 0.98 0.98 0.91 2/65 20881 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 6240 46 0 0 25 0 11 0 477431203 867225600 24625 4294967295 134512640 134569956 3221224416 3221214816 1131209345 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 24625 13073 16 0 211709 0 vsize: 846900 [startup+80.0071 s] Raw data (loadavg): 0.98 0.98 0.91 2/65 20882 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 7159 46 0 0 25 0 11 0 477431203 867225600 24837 4294967295 134512640 134569956 3221224416 3221214664 1131395525 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211725 24837 13073 16 0 211709 0 vsize: 846900 [startup+90.0066 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20882 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 8083 46 0 0 25 0 11 0 477431203 867225600 25064 4294967295 134512640 134569956 3221224416 3221214872 1131141137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 25064 13073 16 0 211709 0 vsize: 846900 [startup+100.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20882 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 9030 46 0 0 25 0 11 0 477431203 867225600 25341 4294967295 134512640 134569956 3221224416 3221214912 1131222149 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 25341 13073 16 0 211709 0 vsize: 846900 [startup+110.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20882 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 9984 46 0 0 25 0 11 0 477431203 867225600 25569 4294967295 134512640 134569956 3221224416 3221214664 1131394834 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 25569 13073 16 0 211709 0 vsize: 846900 [startup+120.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20882 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 10948 46 0 0 25 0 11 0 477431203 867225600 25641 4294967295 134512640 134569956 3221224416 3221214872 1131141244 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 25641 13073 16 0 211709 0 vsize: 846900 [startup+130.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20882 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 11906 46 0 0 25 0 11 0 477431203 867225600 25797 4294967295 134512640 134569956 3221224416 3221214816 1131209741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 25797 13073 16 0 211709 0 vsize: 846900 [startup+140.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20882 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 12857 46 0 0 25 0 11 0 477431203 867225600 25896 4294967295 134512640 134569956 3221224416 3221214872 1131141144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 25896 13073 16 0 211709 0 vsize: 846900 [startup+150.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20882 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 13806 46 0 0 25 0 11 0 477431203 867225600 25964 4294967295 134512640 134569956 3221224416 3221214872 1131141141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 25964 13073 16 0 211709 0 vsize: 846900 [startup+160.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20882 Raw data (stat): 20860 (java) S 20859 20024 20023 0 -1 0 18070 3 1 0 14740 47 0 0 25 0 11 0 477431203 867225600 26056 4294967295 134512640 134569956 3221224416 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 26056 13073 16 0 211709 0 vsize: 846900 [startup+170.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20882 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 15679 47 0 0 25 0 11 0 477431203 867225600 26168 4294967295 134512640 134569956 3221224416 3221214696 1131140761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 26168 13073 16 0 211709 0 vsize: 846900 [startup+180.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20882 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 16609 47 0 0 25 0 11 0 477431203 867225600 26367 4294967295 134512640 134569956 3221224416 3221214816 1131209426 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 26367 13073 16 0 211709 0 vsize: 846900 [startup+190.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20882 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 17548 47 0 0 24 0 11 0 477431203 867225600 26629 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 26629 13073 16 0 211709 0 vsize: 846900 [startup+200.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20882 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 18503 47 0 0 25 0 11 0 477431203 867225600 26775 4294967295 134512640 134569956 3221224416 3221214612 1131568216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 26775 13073 16 0 211709 0 vsize: 846900 [startup+210.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20882 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 19447 47 0 0 25 0 11 0 477431203 867225600 26892 4294967295 134512640 134569956 3221224416 3221214912 1131222593 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 26892 13073 16 0 211709 0 vsize: 846900 [startup+220.022 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20882 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 20393 47 0 0 25 0 11 0 477431203 867225600 27069 4294967295 134512640 134569956 3221224416 3221214820 1131276513 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 27069 13073 16 0 211709 0 vsize: 846900 [startup+230.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20882 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 21340 47 0 0 25 0 11 0 477431203 867225600 27178 4294967295 134512640 134569956 3221224416 3221214816 1131209422 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 27178 13073 16 0 211709 0 vsize: 846900 [startup+240.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20883 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 22293 47 0 0 25 0 11 0 477431203 867225600 27264 4294967295 134512640 134569956 3221224416 3221214816 1131209341 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 27264 13073 16 0 211709 0 vsize: 846900 [startup+250.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20883 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 23243 47 0 0 23 0 11 0 477431203 867225600 27471 4294967295 134512640 134569956 3221224416 3221214872 1131141208 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 27471 13073 16 0 211709 0 vsize: 846900 [startup+260.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20884 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 24199 47 0 0 25 0 11 0 477431203 867225600 27543 4294967295 134512640 134569956 3221224416 3221214816 1131210217 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 27543 13073 16 0 211709 0 vsize: 846900 [startup+270.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20884 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 25142 47 0 0 25 0 11 0 477431203 867225600 27675 4294967295 134512640 134569956 3221224416 3221214872 1131141137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 27675 13073 16 0 211709 0 vsize: 846900 [startup+280.027 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20884 Raw data (stat): 20860 (java) S 20859 20024 20023 0 -1 0 18070 3 1 0 26086 47 0 0 25 0 11 0 477431203 867225600 27778 4294967295 134512640 134569956 3221224416 3221213560 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 27778 13073 16 0 211709 0 vsize: 846900 [startup+290.028 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20884 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 27037 47 0 0 25 0 11 0 477431203 867225600 27885 4294967295 134512640 134569956 3221224416 3221214912 1131222388 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 27885 13073 16 0 211709 0 vsize: 846900 [startup+300.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20884 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 27989 47 0 0 25 0 11 0 477431203 867225600 28121 4294967295 134512640 134569956 3221224416 3221214816 1131209694 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 28121 13073 16 0 211709 0 vsize: 846900 [startup+310.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20884 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 28950 47 0 0 25 0 11 0 477431203 867225600 28203 4294967295 134512640 134569956 3221224416 3221214912 1131222246 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 28203 13073 16 0 211709 0 vsize: 846900 [startup+320.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20884 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 29910 47 0 0 25 0 11 0 477431203 867225600 28362 4294967295 134512640 134569956 3221224416 3221214912 1131222388 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 28362 13073 16 0 211709 0 vsize: 846900 [startup+330.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20884 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 30881 47 0 0 25 0 11 0 477431203 867225600 28490 4294967295 134512640 134569956 3221224416 3221214912 1131221865 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 28490 13073 16 0 211709 0 vsize: 846900 [startup+340.031 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 31856 48 0 0 25 0 11 0 477431203 867225600 28574 4294967295 134512640 134569956 3221224416 3221214816 1131210001 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 28574 13073 16 0 211709 0 vsize: 846900 [startup+350.031 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 32830 48 0 0 25 0 11 0 477431203 867225600 28652 4294967295 134512640 134569956 3221224416 3221214816 1131209907 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 28652 13073 16 0 211709 0 vsize: 846900 [startup+360.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 33806 48 0 0 25 0 11 0 477431203 867225600 28664 4294967295 134512640 134569956 3221224416 3221214816 1131209737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 28664 13073 16 0 211709 0 vsize: 846900 [startup+370.033 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 34771 48 0 0 25 0 11 0 477431203 867225600 28708 4294967295 134512640 134569956 3221224416 3221214816 1131209472 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 28708 13073 16 0 211709 0 vsize: 846900 [startup+380.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 35737 48 0 0 25 0 11 0 477431203 867225600 28790 4294967295 134512640 134569956 3221224416 3221214912 1131222149 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 28790 13073 16 0 211709 0 vsize: 846900 [startup+390.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 36698 48 0 0 25 0 11 0 477431203 867225600 28850 4294967295 134512640 134569956 3221224416 3221214648 1131564480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 28850 13073 16 0 211709 0 vsize: 846900 [startup+400.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 37664 48 0 0 25 0 11 0 477431203 867225600 28942 4294967295 134512640 134569956 3221224416 3221214872 1131141162 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 28942 13073 16 0 211709 0 vsize: 846900 [startup+410.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 38634 48 0 0 25 0 11 0 477431203 867225600 29024 4294967295 134512640 134569956 3221224416 3221214816 1131209895 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 29024 13073 16 0 211709 0 vsize: 846900 [startup+420.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 39603 48 0 0 25 0 11 0 477431203 867225600 29144 4294967295 134512640 134569956 3221224416 3221214912 1131222168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 29144 13073 16 0 211709 0 vsize: 846900 [startup+430.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 40579 48 0 0 25 0 11 0 477431203 867225600 29216 4294967295 134512640 134569956 3221224416 3221214816 1131209402 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 29216 13073 16 0 211709 0 vsize: 846900 [startup+440.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 41552 48 0 0 25 0 11 0 477431203 867225600 29268 4294967295 134512640 134569956 3221224416 3221214816 1131209492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 29268 13073 16 0 211709 0 vsize: 846900 [startup+450.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 42524 48 0 0 25 0 11 0 477431203 867225600 29312 4294967295 134512640 134569956 3221224416 3221214816 1131209445 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 29312 13073 16 0 211709 0 vsize: 846900 [startup+460.037 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 43490 48 0 0 25 0 11 0 477431203 867225600 29320 4294967295 134512640 134569956 3221224416 3221214328 1131571714 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 29320 13073 16 0 211709 0 vsize: 846900 [startup+470.038 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 44453 48 0 0 25 0 11 0 477431203 867225600 29387 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 29387 13073 16 0 211709 0 vsize: 846900 [startup+480.038 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 45413 48 0 0 25 0 11 0 477431203 867225600 29500 4294967295 134512640 134569956 3221224416 3221214912 1131222134 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 29500 13073 16 0 211709 0 vsize: 846900 [startup+490.039 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 46379 49 0 0 25 0 11 0 477431203 867225600 29614 4294967295 134512640 134569956 3221224416 3221214196 1131570041 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 29614 13073 16 0 211709 0 vsize: 846900 [startup+500.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 47347 49 0 0 25 0 11 0 477431203 867225600 29665 4294967295 134512640 134569956 3221224416 3221214912 1131222354 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 29665 13073 16 0 211709 0 vsize: 846900 [startup+510.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 48316 49 0 0 25 0 11 0 477431203 867225600 29781 4294967295 134512640 134569956 3221224416 3221214816 1131209364 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 29781 13073 16 0 211709 0 vsize: 846900 [startup+520.041 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 49282 49 0 0 25 0 11 0 477431203 867225600 29787 4294967295 134512640 134569956 3221224416 3221214064 1131568273 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 29787 13073 16 0 211709 0 vsize: 846900 [startup+530.041 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 50239 49 0 0 25 0 11 0 477431203 867225600 29882 4294967295 134512640 134569956 3221224416 3221214816 1131210328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 29882 13073 16 0 211709 0 vsize: 846900 [startup+540.041 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 51204 49 0 0 25 0 11 0 477431203 867225600 29977 4294967295 134512640 134569956 3221224416 3221214872 1131141137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 29977 13073 16 0 211709 0 vsize: 846900 [startup+550.043 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 52162 49 0 0 25 0 11 0 477431203 867225600 30094 4294967295 134512640 134569956 3221224416 3221214816 1131209737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 30094 13073 16 0 211709 0 vsize: 846900 [startup+560.043 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 53129 49 0 0 25 0 11 0 477431203 867225600 30197 4294967295 134512640 134569956 3221224416 3221214872 1131141117 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 30197 13073 16 0 211709 0 vsize: 846900 [startup+570.044 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 54099 49 0 0 25 0 11 0 477431203 867225600 30267 4294967295 134512640 134569956 3221224416 3221214872 1131141137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 30267 13073 16 0 211709 0 vsize: 846900 [startup+580.044 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 55072 49 0 0 25 0 11 0 477431203 867225600 30338 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 30338 13073 16 0 211709 0 vsize: 846900 [startup+590.045 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 56041 49 0 0 25 0 11 0 477431203 867225600 30401 4294967295 134512640 134569956 3221224416 3221214816 1131209472 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 30401 13073 16 0 211709 0 vsize: 846900 [startup+600.046 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 57011 49 0 0 25 0 11 0 477431203 867225600 30451 4294967295 134512640 134569956 3221224416 3221214816 1131209658 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 30451 13073 16 0 211709 0 vsize: 846900 [startup+610.046 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 57971 49 0 0 25 0 11 0 477431203 867225600 30498 4294967295 134512640 134569956 3221224416 3221214872 1131141144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 30498 13073 16 0 211709 0 vsize: 846900 [startup+620.047 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 58924 49 0 0 25 0 11 0 477431203 867225600 30553 4294967295 134512640 134569956 3221224416 3221214816 1131209970 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 30553 13073 16 0 211709 0 vsize: 846900 [startup+630.048 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20886 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 59872 49 0 0 25 0 11 0 477431203 867225600 30652 4294967295 134512640 134569956 3221224416 3221214816 1131210213 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 30652 13073 16 0 211709 0 vsize: 846900 [startup+640.048 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 60823 49 0 0 25 0 11 0 477431203 867225600 30721 4294967295 134512640 134569956 3221224416 3221214816 1131209737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 30721 13073 16 0 211709 0 vsize: 846900 [startup+650.048 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 61781 49 0 0 25 0 11 0 477431203 867225600 30919 4294967295 134512640 134569956 3221224416 3221214816 1131209426 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 30919 13073 16 0 211709 0 vsize: 846900 [startup+660.049 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 62741 49 0 0 25 0 11 0 477431203 867225600 31017 4294967295 134512640 134569956 3221224416 3221214816 1131210356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31017 13073 16 0 211709 0 vsize: 846900 [startup+670.051 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 63712 49 0 0 25 0 11 0 477431203 867225600 31057 4294967295 134512640 134569956 3221224416 3221214908 1131141100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31057 13073 16 0 211709 0 vsize: 846900 [startup+680.052 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 64687 49 0 0 25 0 11 0 477431203 867225600 31263 4294967295 134512640 134569956 3221224416 3221214816 1131210001 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31263 13073 16 0 211709 0 vsize: 846900 [startup+690.052 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 65670 49 0 0 25 0 11 0 477431203 867225600 31299 4294967295 134512640 134569956 3221224416 3221214872 1131141137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31299 13073 16 0 211709 0 vsize: 846900 [startup+700.054 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 66650 49 0 0 25 0 11 0 477431203 867225600 31311 4294967295 134512640 134569956 3221224416 3221214776 1131342458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31311 13073 16 0 211709 0 vsize: 846900 [startup+710.054 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 67624 50 0 0 25 0 11 0 477431203 867225600 31335 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31335 13073 16 0 211709 0 vsize: 846900 [startup+720.055 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 68595 50 0 0 25 0 11 0 477431203 867225600 31360 4294967295 134512640 134569956 3221224416 3221214872 1131141141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31360 13073 16 0 211709 0 vsize: 846900 [startup+730.055 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 69566 50 0 0 25 0 11 0 477431203 867225600 31420 4294967295 134512640 134569956 3221224416 3221214912 1131221973 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31420 13073 16 0 211709 0 vsize: 846900 [startup+740.056 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 70539 50 0 0 25 0 11 0 477431203 867225600 31487 4294967295 134512640 134569956 3221224416 3221214816 1131209341 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31487 13073 16 0 211709 0 vsize: 846900 [startup+750.057 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 71512 50 0 0 25 0 11 0 477431203 867225600 31559 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31559 13073 16 0 211709 0 vsize: 846900 [startup+760.058 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 72491 50 0 0 25 0 11 0 477431203 867225600 31608 4294967295 134512640 134569956 3221224416 3221214872 1131141141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31608 13073 16 0 211709 0 vsize: 846900 [startup+770.059 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 73469 50 0 0 25 0 11 0 477431203 867225600 31650 4294967295 134512640 134569956 3221224416 3221214816 1131209349 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31650 13073 16 0 211709 0 vsize: 846900 [startup+780.06 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 74448 50 0 0 25 0 11 0 477431203 867225600 31689 4294967295 134512640 134569956 3221224416 3221214716 1131298656 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31689 13073 16 0 211709 0 vsize: 846900 [startup+790.06 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 75426 50 0 0 25 0 11 0 477431203 867225600 31720 4294967295 134512640 134569956 3221224416 3221214908 1131141100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31720 13073 16 0 211709 0 vsize: 846900 [startup+800.061 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 76404 50 0 0 25 0 11 0 477431203 867225600 31753 4294967295 134512640 134569956 3221224416 3221214816 1131210343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31753 13073 16 0 211709 0 vsize: 846900 [startup+810.062 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20888 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 77377 50 0 0 25 0 11 0 477431203 867225600 31815 4294967295 134512640 134569956 3221224416 3221214816 1131209982 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31815 13073 16 0 211709 0 vsize: 846900 [startup+820.066 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20889 Raw data (stat): 20860 (java) S 20859 20024 20023 0 -1 0 18070 3 1 0 78360 50 0 0 25 0 11 0 477431203 867225600 31833 4294967295 134512640 134569956 3221224416 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31833 13073 16 0 211709 0 vsize: 846900 [startup+830.068 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20889 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 79338 50 0 0 25 0 11 0 477431203 867225600 31912 4294967295 134512640 134569956 3221224416 3221214616 1131568248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31912 13073 16 0 211709 0 vsize: 846900 [startup+840.068 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20889 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 80317 50 0 0 25 0 11 0 477431203 867225600 31926 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31926 13073 16 0 211709 0 vsize: 846900 [startup+850.07 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20889 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 81292 50 0 0 25 0 11 0 477431203 867225600 31930 4294967295 134512640 134569956 3221224416 3221214816 1131209356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 31930 13073 16 0 211709 0 vsize: 846900 [startup+860.071 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20889 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 82270 50 0 0 25 0 11 0 477431203 867225600 32001 4294967295 134512640 134569956 3221224416 3221214816 1131209734 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32001 13073 16 0 211709 0 vsize: 846900 [startup+870.071 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20889 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 83244 50 0 0 25 0 11 0 477431203 867225600 32025 4294967295 134512640 134569956 3221224416 3221214760 1131238287 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32025 13073 16 0 211709 0 vsize: 846900 [startup+880.072 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20889 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 84219 50 0 0 25 0 11 0 477431203 867225600 32063 4294967295 134512640 134569956 3221224416 3221214624 1131274284 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32063 13073 16 0 211709 0 vsize: 846900 [startup+890.071 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20889 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 85190 50 0 0 25 0 11 0 477431203 867225600 32110 4294967295 134512640 134569956 3221224416 3221214816 1131209484 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32110 13073 16 0 211709 0 vsize: 846900 [startup+900.072 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20889 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 86161 50 0 0 25 0 11 0 477431203 867225600 32165 4294967295 134512640 134569956 3221224416 3221214816 1131210590 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32165 13073 16 0 211709 0 vsize: 846900 [startup+910.073 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20889 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 87138 50 0 0 25 0 11 0 477431203 867225600 32202 4294967295 134512640 134569956 3221224416 3221214816 1131210365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32202 13073 16 0 211709 0 vsize: 846900 [startup+920.074 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20889 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 88112 50 0 0 25 0 11 0 477431203 867225600 32273 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32273 13073 16 0 211709 0 vsize: 846900 [startup+930.075 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20889 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 89080 50 0 0 25 0 11 0 477431203 867225600 32317 4294967295 134512640 134569956 3221224416 3221214912 1131222149 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32317 13073 16 0 211709 0 vsize: 846900 [startup+940.076 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 90056 50 0 0 25 0 11 0 477431203 867225600 32378 4294967295 134512640 134569956 3221224416 3221214816 1131209653 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32378 13073 16 0 211709 0 vsize: 846900 [startup+950.076 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 91034 50 0 0 25 0 11 0 477431203 867225600 32433 4294967295 134512640 134569956 3221224416 3221214324 1131571684 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32433 13073 16 0 211709 0 vsize: 846900 [startup+960.076 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 92009 50 0 0 25 0 11 0 477431203 867225600 32479 4294967295 134512640 134569956 3221224416 3221214816 1131209737 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211725 32479 13073 16 0 211709 0 vsize: 846900 [startup+970.077 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 92983 50 0 0 25 0 11 0 477431203 867225600 32486 4294967295 134512640 134569956 3221224416 3221214816 1131209356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32486 13073 16 0 211709 0 vsize: 846900 [startup+980.079 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 93953 50 0 0 25 0 11 0 477431203 867225600 32557 4294967295 134512640 134569956 3221224416 3221214912 1131222425 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32557 13073 16 0 211709 0 vsize: 846900 [startup+990.079 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 94929 50 0 0 25 0 11 0 477431203 867225600 32618 4294967295 134512640 134569956 3221224416 3221214624 1131274630 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32618 13073 16 0 211709 0 vsize: 846900 [startup+1000.08 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 95909 50 0 0 25 0 11 0 477431203 867225600 32648 4294967295 134512640 134569956 3221224416 3221214872 1131141178 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32648 13073 16 0 211709 0 vsize: 846900 [startup+1010.08 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 96885 50 0 0 25 0 11 0 477431203 867225600 32706 4294967295 134512640 134569956 3221224416 3221214816 1131209345 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32706 13073 16 0 211709 0 vsize: 846900 [startup+1020.08 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 97863 50 0 0 25 0 11 0 477431203 867225600 32728 4294967295 134512640 134569956 3221224416 3221214976 1131326106 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32728 13073 16 0 211709 0 vsize: 846900 [startup+1030.08 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 98839 50 0 0 25 0 11 0 477431203 867225600 32756 4294967295 134512640 134569956 3221224416 3221214872 1131141137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32756 13073 16 0 211709 0 vsize: 846900 [startup+1040.08 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 99813 50 0 0 25 0 11 0 477431203 867225600 32795 4294967295 134512640 134569956 3221224416 3221214912 1131222406 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32795 13073 16 0 211709 0 vsize: 846900 [startup+1050.08 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 100786 50 0 0 25 0 11 0 477431203 867225600 32832 4294967295 134512640 134569956 3221224416 3221214624 1131274481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32832 13073 16 0 211709 0 vsize: 846900 [startup+1060.08 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 101763 51 0 0 25 0 11 0 477431203 867225600 32897 4294967295 134512640 134569956 3221224416 3221214816 1131209737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32897 13073 16 0 211709 0 vsize: 846900 [startup+1070.09 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 102742 51 0 0 25 0 11 0 477431203 867225600 32951 4294967295 134512640 134569956 3221224416 3221214912 1131221973 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32951 13073 16 0 211709 0 vsize: 846900 [startup+1080.09 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 103718 51 0 0 25 0 11 0 477431203 867225600 32984 4294967295 134512640 134569956 3221224416 3221214816 1131209848 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 32984 13073 16 0 211709 0 vsize: 846900 [startup+1090.09 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 104694 51 0 0 25 0 11 0 477431203 867225600 33023 4294967295 134512640 134569956 3221224416 3221214888 1131298713 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 33023 13073 16 0 211709 0 vsize: 846900 [startup+1100.09 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 105669 51 0 0 25 0 11 0 477431203 867225600 33074 4294967295 134512640 134569956 3221224416 3221214912 1131222364 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 33074 13073 16 0 211709 0 vsize: 846900 [startup+1110.09 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 106641 51 0 0 25 0 11 0 477431203 867225600 33086 4294967295 134512640 134569956 3221224416 3221214816 1131209405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 33086 13073 16 0 211709 0 vsize: 846900 [startup+1120.09 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 107609 51 0 0 25 0 11 0 477431203 867225600 33117 4294967295 134512640 134569956 3221224416 3221214448 1078032837 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 33117 13073 16 0 211709 0 vsize: 846900 [startup+1130.09 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 108573 51 0 0 25 0 11 0 477431203 867225600 33181 4294967295 134512640 134569956 3221224416 3221214896 1131217561 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 33181 13073 16 0 211709 0 vsize: 846900 [startup+1140.09 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 109538 51 0 0 25 0 11 0 477431203 867225600 33224 4294967295 134512640 134569956 3221224416 3221214872 1131141137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 33224 13073 16 0 211709 0 vsize: 846900 [startup+1150.09 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 110499 51 0 0 25 0 11 0 477431203 867225600 33319 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 33319 13073 16 0 211709 0 vsize: 846900 [startup+1160.09 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 111464 51 0 0 25 0 11 0 477431203 867225600 33394 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 33394 13073 16 0 211709 0 vsize: 846900 [startup+1170.09 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 112425 51 0 0 25 0 11 0 477431203 867225600 33495 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 33495 13073 16 0 211709 0 vsize: 846900 [startup+1180.09 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 113393 52 0 0 25 0 11 0 477431203 867225600 33570 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 33570 13073 16 0 211709 0 vsize: 846900 [startup+1190.1 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 114361 52 0 0 25 0 11 0 477431203 867225600 33667 4294967295 134512640 134569956 3221224416 3221214912 1131222145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 33667 13073 16 0 211709 0 vsize: 846900 [startup+1200.1 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 115329 52 0 0 25 0 11 0 477431203 867225600 33715 4294967295 134512640 134569956 3221224416 3221214816 1131209737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 33715 13073 16 0 211709 0 vsize: 846900 [startup+1210.1 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 116303 52 0 0 25 0 11 0 477431203 867225600 33770 4294967295 134512640 134569956 3221224416 3221214816 1131209737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 33770 13073 16 0 211709 0 vsize: 846900 [startup+1220.1 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 117270 52 0 0 25 0 11 0 477431203 867225600 33837 4294967295 134512640 134569956 3221224416 3221214816 1131209741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 33837 13073 16 0 211709 0 vsize: 846900 [startup+1230.1 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20891 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 118230 52 0 0 25 0 11 0 477431203 867225600 33858 4294967295 134512640 134569956 3221224416 3221214000 1131571564 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 33858 13073 16 0 211709 0 vsize: 846900 [startup+1240.1 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20893 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 119189 52 0 0 25 0 11 0 477431203 867225600 33952 4294967295 134512640 134569956 3221224416 3221214872 1131141120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 33952 13073 16 0 211709 0 vsize: 846900 [startup+1250.1 s] Raw data (loadavg): 0.99 0.98 0.91 2/65 20893 Raw data (stat): 20860 (java) R 20859 20024 20023 0 -1 0 18070 3 1 0 120154 52 0 0 25 0 11 0 477431203 867225600 34051 4294967295 134512640 134569956 3221224416 3221214816 1131209787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211725 34051 13073 16 0 211709 0 vsize: 846900 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.21 s] Raw data (loadavg): 0.99 0.98 0.91 1/55 20895 Raw data (stat): 20860 (java) Z 20859 20024 20023 0 -1 1036 18070 15709 1 0 120158 52 5105 45 25 0 1 0 477431203 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): 1250.2 CPU time (s): 1253.62 CPU user time (s): 1252.64 CPU system time (s): 0.986849 CPU usage (%): 100.274 Max. virtual memory (Kb): 846900 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####