Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2.opb |
MD5SUM | 48ed39004ec868a1cad026c865b17eb2 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 6352 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 6352 |
Total number of constraints | 13429 |
Number of constraints which are clauses | 13429 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-04-13 16:56:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1854 boxname=wulflinc6 idbench=206 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 48ed39004ec868a1cad026c865b17eb2 /oldhome/oroussel/tmp/wulflinc6/normalized-par32-2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-par32-2.opb IDLAUNCH: 1854 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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 : 2 cpu MHz : 451.042 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: 929320 kB Buffers: 33760 kB Cached: 49480 kB SwapCached: 2644 kB Active: 45356 kB Inactive: 43460 kB HighTotal: 131008 kB HighFree: 77560 kB LowTotal: 903652 kB LowFree: 851760 kB SwapTotal: 2097136 kB SwapFree: 2094492 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6928 kB Slab: 10976 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 17:17:20 (client local time) WITH STATUS 143 IN SECONDS stats: 1854 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc6/normalized-par32-2.opb c reading problem c [nbvar=6352] c [nbconstr=13429] c time 20.632 c #vars 6352 c #clauses 13429 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.97 0.92 2/54 30577 Raw data (stat): 30577 (runsolver) R 30576 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419341186 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0003 s] Raw data (loadavg): 0.95 0.98 0.92 2/63 30586 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 17981 0 1 0 896 45 0 0 19 0 10 0 419341186 853516288 19081 4294967295 134512640 134569956 3221224416 3221214736 1131172022 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208378 19081 13073 16 0 208362 0 vsize: 833512 [startup+20.0013 s] Raw data (loadavg): 1.12 1.02 0.93 2/63 30586 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 17989 0 1 0 1692 46 0 0 16 0 10 0 419341186 858525696 20604 4294967295 134512640 134569956 3221224416 3221214880 1130907170 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209601 20604 13073 16 0 209585 0 vsize: 838404 [startup+30.0021 s] Raw data (loadavg): 1.17 1.03 0.94 2/64 30587 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18056 0 1 0 2485 47 0 0 25 0 11 0 419341186 864219136 22085 4294967295 134512640 134569956 3221224416 3221214892 1131454410 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210991 22085 13073 16 0 210975 0 vsize: 843964 [startup+40.0025 s] Raw data (loadavg): 1.15 1.03 0.94 2/64 30587 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18056 0 1 0 3460 47 0 0 25 0 11 0 419341186 863346688 22759 4294967295 134512640 134569956 3221224416 3221214848 1131443491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 22759 13073 16 0 210762 0 vsize: 843112 [startup+50.0037 s] Raw data (loadavg): 1.12 1.03 0.94 2/64 30587 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18056 0 1 0 4437 47 0 0 25 0 11 0 419341186 863346688 24196 4294967295 134512640 134569956 3221224416 3221214592 1131449916 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24196 13073 16 0 210762 0 vsize: 843112 [startup+60.0035 s] Raw data (loadavg): 1.10 1.03 0.94 2/64 30587 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18056 0 1 0 5436 47 0 0 25 0 11 0 419341186 863346688 24196 4294967295 134512640 134569956 3221224416 3221214848 1131443504 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 24196 13073 16 0 210762 0 vsize: 843112 [startup+70.0041 s] Raw data (loadavg): 1.09 1.03 0.94 2/64 30587 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18056 0 1 0 6429 47 0 0 25 0 11 0 419341186 863346688 24197 4294967295 134512640 134569956 3221224416 3221214848 1131443050 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 24197 13073 16 0 210762 0 vsize: 843112 [startup+80.0051 s] Raw data (loadavg): 1.07 1.03 0.94 2/64 30587 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18056 0 1 0 7421 47 0 0 25 0 11 0 419341186 863346688 24197 4294967295 134512640 134569956 3221224416 3221214848 1131443044 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24197 13073 16 0 210762 0 vsize: 843112 [startup+90.0048 s] Raw data (loadavg): 1.06 1.02 0.94 2/64 30587 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 8421 47 0 0 25 0 11 0 419341186 863346688 24198 4294967295 134512640 134569956 3221224416 3221214848 1131443491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24198 13073 16 0 210762 0 vsize: 843112 [startup+100.005 s] Raw data (loadavg): 1.05 1.02 0.94 2/64 30587 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 9416 47 0 0 25 0 11 0 419341186 863346688 24198 4294967295 134512640 134569956 3221224416 3221214848 1131443058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24198 13073 16 0 210762 0 vsize: 843112 [startup+110.006 s] Raw data (loadavg): 1.04 1.02 0.94 2/64 30587 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 10410 48 0 0 25 0 11 0 419341186 863346688 24198 4294967295 134512640 134569956 3221224416 3221214848 1131443328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 24198 13073 16 0 210762 0 vsize: 843112 [startup+120.006 s] Raw data (loadavg): 1.04 1.02 0.94 2/64 30587 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 11404 48 0 0 25 0 11 0 419341186 863346688 24198 4294967295 134512640 134569956 3221224416 3221214848 1131443498 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 24198 13073 16 0 210762 0 vsize: 843112 [startup+130.007 s] Raw data (loadavg): 1.03 1.02 0.94 2/64 30587 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 12404 48 0 0 25 0 11 0 419341186 863346688 24198 4294967295 134512640 134569956 3221224416 3221214848 1131443067 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 24198 13073 16 0 210762 0 vsize: 843112 [startup+140.007 s] Raw data (loadavg): 1.02 1.02 0.94 2/64 30587 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 13398 49 0 0 25 0 11 0 419341186 863346688 24198 4294967295 134512640 134569956 3221224416 3221214888 1080203665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 24198 13073 16 0 210762 0 vsize: 843112 [startup+150.008 s] Raw data (loadavg): 1.02 1.02 0.94 2/64 30587 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 14392 49 0 0 25 0 11 0 419341186 863346688 24198 4294967295 134512640 134569956 3221224416 3221214728 1131454201 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 24198 13073 16 0 210762 0 vsize: 843112 [startup+160.008 s] Raw data (loadavg): 1.02 1.02 0.94 2/64 30587 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 15392 49 0 0 25 0 11 0 419341186 863346688 24198 4294967295 134512640 134569956 3221224416 3221214776 1131475557 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24198 13073 16 0 210762 0 vsize: 843112 [startup+170.008 s] Raw data (loadavg): 1.01 1.02 0.94 2/64 30587 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 16386 50 0 0 25 0 11 0 419341186 863346688 24198 4294967295 134512640 134569956 3221224416 3221214848 1131443342 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24198 13073 16 0 210762 0 vsize: 843112 [startup+180.008 s] Raw data (loadavg): 1.01 1.02 0.94 2/64 30587 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 17378 50 0 0 25 0 11 0 419341186 863346688 24198 4294967295 134512640 134569956 3221224416 3221214728 1131453337 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24198 13073 16 0 210762 0 vsize: 843112 [startup+190.009 s] Raw data (loadavg): 1.01 1.02 0.94 3/67 30625 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 18366 54 0 0 25 0 11 0 419341186 863346688 24284 4294967295 134512640 134569956 3221224416 3221214728 1131454224 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24284 13073 16 0 210762 0 vsize: 843112 [startup+200.01 s] Raw data (loadavg): 1.15 1.05 0.95 2/64 30640 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 19364 55 0 0 25 0 11 0 419341186 863346688 24284 4294967295 134512640 134569956 3221224416 3221214848 1131443324 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24284 13073 16 0 210762 0 vsize: 843112 [startup+210.01 s] Raw data (loadavg): 1.13 1.04 0.95 2/64 30640 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 20357 55 0 0 25 0 11 0 419341186 863346688 24284 4294967295 134512640 134569956 3221224416 3221214848 1131443324 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24284 13073 16 0 210762 0 vsize: 843112 [startup+220.01 s] Raw data (loadavg): 1.11 1.04 0.95 2/64 30640 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 21357 55 0 0 25 0 11 0 419341186 863346688 24284 4294967295 134512640 134569956 3221224416 3221214848 1131443047 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24284 13073 16 0 210762 0 vsize: 843112 [startup+230.01 s] Raw data (loadavg): 1.09 1.04 0.95 2/64 30640 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 22349 55 0 0 25 0 11 0 419341186 863346688 24401 4294967295 134512640 134569956 3221224416 3221214744 1131296153 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24401 13073 16 0 210762 0 vsize: 843112 [startup+240.01 s] Raw data (loadavg): 1.08 1.04 0.95 2/64 30640 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 23340 55 0 0 25 0 11 0 419341186 863346688 24401 4294967295 134512640 134569956 3221224416 3221214848 1131443040 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 24401 13073 16 0 210762 0 vsize: 843112 [startup+250.011 s] Raw data (loadavg): 1.07 1.04 0.95 2/64 30640 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 24340 55 0 0 25 0 11 0 419341186 863346688 24401 4294967295 134512640 134569956 3221224416 3221214848 1131443047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 24401 13073 16 0 210762 0 vsize: 843112 [startup+260.01 s] Raw data (loadavg): 1.06 1.04 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 25331 56 0 0 25 0 11 0 419341186 863346688 24499 4294967295 134512640 134569956 3221224416 3221214728 1131453322 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24499 13073 16 0 210762 0 vsize: 843112 [startup+270.011 s] Raw data (loadavg): 1.05 1.03 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 26322 56 0 0 25 0 11 0 419341186 863346688 24499 4294967295 134512640 134569956 3221224416 3221214728 1131453313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 24499 13073 16 0 210762 0 vsize: 843112 [startup+280.011 s] Raw data (loadavg): 1.04 1.03 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 27321 56 0 0 25 0 11 0 419341186 863346688 24502 4294967295 134512640 134569956 3221224416 3221214848 1131443312 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24502 13073 16 0 210762 0 vsize: 843112 [startup+290.011 s] Raw data (loadavg): 1.03 1.03 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 28312 57 0 0 25 0 11 0 419341186 863346688 24578 4294967295 134512640 134569956 3221224416 3221214728 1131453282 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24578 13073 16 0 210762 0 vsize: 843112 [startup+300.012 s] Raw data (loadavg): 1.03 1.03 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 29303 57 0 0 25 0 11 0 419341186 863346688 24578 4294967295 134512640 134569956 3221224416 3221214728 1131453361 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 24578 13073 16 0 210762 0 vsize: 843112 [startup+310.011 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 30293 57 0 0 25 0 11 0 419341186 863346688 24691 4294967295 134512640 134569956 3221224416 3221214848 1131443328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24691 13073 16 0 210762 0 vsize: 843112 [startup+320.012 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 31293 57 0 0 25 0 11 0 419341186 863346688 24691 4294967295 134512640 134569956 3221224416 3221214848 1131443247 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24691 13073 16 0 210762 0 vsize: 843112 [startup+330.012 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 32284 57 0 0 25 0 11 0 419341186 863346688 24794 4294967295 134512640 134569956 3221224416 3221214848 1131443339 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24794 13073 16 0 210762 0 vsize: 843112 [startup+340.013 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 33275 57 0 0 25 0 11 0 419341186 863346688 24794 4294967295 134512640 134569956 3221224416 3221214728 1131454291 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 24794 13073 16 0 210762 0 vsize: 843112 [startup+350.014 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 34275 57 0 0 25 0 11 0 419341186 863346688 24794 4294967295 134512640 134569956 3221224416 3221214728 1131453361 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24794 13073 16 0 210762 0 vsize: 843112 [startup+360.014 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 35266 57 0 0 25 0 11 0 419341186 863346688 24885 4294967295 134512640 134569956 3221224416 3221214848 1131443036 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24885 13073 16 0 210762 0 vsize: 843112 [startup+370.014 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 36256 57 0 0 25 0 11 0 419341186 863346688 24885 4294967295 134512640 134569956 3221224416 3221214848 1131443255 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24885 13073 16 0 210762 0 vsize: 843112 [startup+380.014 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 37247 57 0 0 25 0 11 0 419341186 863346688 24944 4294967295 134512640 134569956 3221224416 3221214848 1131443255 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 24944 13073 16 0 210762 0 vsize: 843112 [startup+390.014 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 38246 58 0 0 25 0 11 0 419341186 863346688 24944 4294967295 134512640 134569956 3221224416 3221214728 1131453376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 24944 13073 16 0 210762 0 vsize: 843112 [startup+400.015 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 39237 58 0 0 25 0 11 0 419341186 863346688 24978 4294967295 134512640 134569956 3221224416 3221214848 1131443255 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 24978 13073 16 0 210762 0 vsize: 843112 [startup+410.015 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 40228 58 0 0 25 0 11 0 419341186 863346688 25084 4294967295 134512640 134569956 3221224416 3221214848 1131443234 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 25084 13073 16 0 210762 0 vsize: 843112 [startup+420.015 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 41228 58 0 0 25 0 11 0 419341186 863346688 25084 4294967295 134512640 134569956 3221224416 3221214848 1131443234 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 25084 13073 16 0 210762 0 vsize: 843112 [startup+430.015 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 42219 58 0 0 25 0 11 0 419341186 863346688 25118 4294967295 134512640 134569956 3221224416 3221214848 1131443255 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 25118 13073 16 0 210762 0 vsize: 843112 [startup+440.015 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 43209 58 0 0 25 0 11 0 419341186 863346688 25162 4294967295 134512640 134569956 3221224416 3221214800 1131475403 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 25162 13073 16 0 210762 0 vsize: 843112 [startup+450.015 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 44210 58 0 0 25 0 11 0 419341186 863346688 25162 4294967295 134512640 134569956 3221224416 3221214848 1131443339 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 25162 13073 16 0 210762 0 vsize: 843112 [startup+460.016 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 45200 59 0 0 25 0 11 0 419341186 863346688 25205 4294967295 134512640 134569956 3221224416 3221214848 1131443512 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 25205 13073 16 0 210762 0 vsize: 843112 [startup+470.015 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 46190 59 0 0 25 0 11 0 419341186 863346688 25344 4294967295 134512640 134569956 3221224416 3221214848 1131443328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 25344 13073 16 0 210762 0 vsize: 843112 [startup+480.016 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 47182 59 0 0 25 0 11 0 419341186 863346688 25344 4294967295 134512640 134569956 3221224416 3221214848 1131443328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 25344 13073 16 0 210762 0 vsize: 843112 [startup+490.017 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 48181 59 0 0 25 0 11 0 419341186 863346688 25344 4294967295 134512640 134569956 3221224416 3221214792 1131490777 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 25344 13073 16 0 210762 0 vsize: 843112 [startup+500.017 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 30642 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 49172 60 0 0 25 0 11 0 419341186 863346688 25399 4294967295 134512640 134569956 3221224416 3221214840 1131519891 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 25399 13073 16 0 210762 0 vsize: 843112 [startup+510.017 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 50163 60 0 0 25 0 11 0 419341186 863346688 25456 4294967295 134512640 134569956 3221224416 3221214728 1131453320 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 25456 13073 16 0 210762 0 vsize: 843112 [startup+520.018 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 51154 60 0 0 25 0 11 0 419341186 863346688 25507 4294967295 134512640 134569956 3221224416 3221214728 1131453313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 25507 13073 16 0 210762 0 vsize: 843112 [startup+530.018 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 52155 60 0 0 25 0 11 0 419341186 863346688 25507 4294967295 134512640 134569956 3221224416 3221214848 1131443328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 25507 13073 16 0 210762 0 vsize: 843112 [startup+540.019 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 53145 60 0 0 25 0 11 0 419341186 863346688 25621 4294967295 134512640 134569956 3221224416 3221214848 1131443036 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 25621 13073 16 0 210762 0 vsize: 843112 [startup+550.019 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 54136 60 0 0 25 0 11 0 419341186 863346688 25695 4294967295 134512640 134569956 3221224416 3221214848 1131443261 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 25695 13073 16 0 210762 0 vsize: 843112 [startup+560.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 55128 60 0 0 25 0 11 0 419341186 863346688 25758 4294967295 134512640 134569956 3221224416 3221214848 1131443234 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 25758 13073 16 0 210762 0 vsize: 843112 [startup+570.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 56127 61 0 0 25 0 11 0 419341186 863346688 25758 4294967295 134512640 134569956 3221224416 3221214848 1131443054 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 25758 13073 16 0 210762 0 vsize: 843112 [startup+580.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 57119 61 0 0 25 0 11 0 419341186 863346688 25819 4294967295 134512640 134569956 3221224416 3221214728 1131454224 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 25819 13073 16 0 210762 0 vsize: 843112 [startup+590.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 58110 61 0 0 25 0 11 0 419341186 863346688 25902 4294967295 134512640 134569956 3221224416 3221214728 1131453274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 25902 13073 16 0 210762 0 vsize: 843112 [startup+600.023 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 59110 62 0 0 25 0 11 0 419341186 863346688 25902 4294967295 134512640 134569956 3221224416 3221214728 1131453333 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 25902 13073 16 0 210762 0 vsize: 843112 [startup+610.023 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 60101 62 0 0 25 0 11 0 419341186 863346688 25987 4294967295 134512640 134569956 3221224416 3221214688 1131371228 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 25987 13073 16 0 210762 0 vsize: 843112 [startup+620.023 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 61093 62 0 0 25 0 11 0 419341186 863346688 25987 4294967295 134512640 134569956 3221224416 3221214848 1131443047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 25987 13073 16 0 210762 0 vsize: 843112 [startup+630.023 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 62084 62 0 0 25 0 11 0 419341186 863346688 26051 4294967295 134512640 134569956 3221224416 3221214848 1131443054 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 26051 13073 16 0 210762 0 vsize: 843112 [startup+640.023 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 63075 62 0 0 25 0 11 0 419341186 863346688 26126 4294967295 134512640 134569956 3221224416 3221214848 1131443234 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 26126 13073 16 0 210762 0 vsize: 843112 [startup+650.024 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 64075 62 0 0 25 0 11 0 419341186 863346688 26126 4294967295 134512640 134569956 3221224416 3221214728 1131453313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 26126 13073 16 0 210762 0 vsize: 843112 [startup+660.025 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 65065 63 0 0 25 0 11 0 419341186 863346688 26176 4294967295 134512640 134569956 3221224416 3221214848 1131443261 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 26176 13073 16 0 210762 0 vsize: 843112 [startup+670.026 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 66057 63 0 0 25 0 11 0 419341186 863346688 26249 4294967295 134512640 134569956 3221224416 3221214848 1131443040 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 26249 13073 16 0 210762 0 vsize: 843112 [startup+680.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 67056 63 0 0 25 0 11 0 419341186 863346688 26249 4294967295 134512640 134569956 3221224416 3221214848 1131443247 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 26249 13073 16 0 210762 0 vsize: 843112 [startup+690.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 68047 64 0 0 25 0 11 0 419341186 863346688 26348 4294967295 134512640 134569956 3221224416 3221214848 1131443498 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 26348 13073 16 0 210762 0 vsize: 843112 [startup+700.029 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 69038 64 0 0 25 0 11 0 419341186 863346688 26452 4294967295 134512640 134569956 3221224416 3221214848 1131443070 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 26452 13073 16 0 210762 0 vsize: 843112 [startup+710.029 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 70029 64 0 0 25 0 11 0 419341186 863346688 26580 4294967295 134512640 134569956 3221224416 3221214728 1131453313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 26580 13073 16 0 210762 0 vsize: 843112 [startup+720.029 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 71029 64 0 0 25 0 11 0 419341186 863346688 26580 4294967295 134512640 134569956 3221224416 3221214848 1131443261 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 26580 13073 16 0 210762 0 vsize: 843112 [startup+730.029 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 72021 64 0 0 25 0 11 0 419341186 863346688 26650 4294967295 134512640 134569956 3221224416 3221214848 1131443491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 26650 13073 16 0 210762 0 vsize: 843112 [startup+740.03 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 73012 64 0 0 25 0 11 0 419341186 863346688 26762 4294967295 134512640 134569956 3221224416 3221214848 1131443040 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 26762 13073 16 0 210762 0 vsize: 843112 [startup+750.03 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 74004 64 0 0 25 0 11 0 419341186 863346688 26822 4294967295 134512640 134569956 3221224416 3221214848 1131443520 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 26822 13073 16 0 210762 0 vsize: 843112 [startup+760.031 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) S 30576 29653 29652 0 -1 0 18057 0 1 0 75002 64 0 0 25 0 11 0 419341186 863346688 26853 4294967295 134512640 134569956 3221224416 3221213344 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 26853 13073 16 0 210762 0 vsize: 843112 [startup+770.032 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 75996 64 0 0 25 0 11 0 419341186 863346688 26880 4294967295 134512640 134569956 3221224416 3221214848 1131443044 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 26880 13073 16 0 210762 0 vsize: 843112 [startup+780.032 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 76988 64 0 0 25 0 11 0 419341186 863346688 26945 4294967295 134512640 134569956 3221224416 3221214848 1131443234 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 26945 13073 16 0 210762 0 vsize: 843112 [startup+790.033 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 77980 64 0 0 25 0 11 0 419341186 863346688 27022 4294967295 134512640 134569956 3221224416 3221214848 1131443261 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 27022 13073 16 0 210762 0 vsize: 843112 [startup+800.033 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 78971 64 0 0 25 0 11 0 419341186 863346688 27104 4294967295 134512640 134569956 3221224416 3221214728 1131453370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 27104 13073 16 0 210762 0 vsize: 843112 [startup+810.033 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 79971 64 0 0 25 0 11 0 419341186 863346688 27104 4294967295 134512640 134569956 3221224416 3221214728 1131453376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 27104 13073 16 0 210762 0 vsize: 843112 [startup+820.034 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 80963 65 0 0 25 0 11 0 419341186 863346688 27211 4294967295 134512640 134569956 3221224416 3221214848 1131443255 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 27211 13073 16 0 210762 0 vsize: 843112 [startup+830.035 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 81955 65 0 0 25 0 11 0 419341186 863346688 27211 4294967295 134512640 134569956 3221224416 3221214848 1131443504 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 27211 13073 16 0 210762 0 vsize: 843112 [startup+840.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 82947 65 0 0 25 0 11 0 419341186 863346688 27306 4294967295 134512640 134569956 3221224416 3221214728 1131454213 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 27306 13073 16 0 210762 0 vsize: 843112 [startup+850.037 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 83947 65 0 0 25 0 11 0 419341186 863346688 27306 4294967295 134512640 134569956 3221224416 3221214848 1131443047 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 27306 13073 16 0 210762 0 vsize: 843112 [startup+860.038 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 84939 66 0 0 25 0 11 0 419341186 863346688 27306 4294967295 134512640 134569956 3221224416 3221214848 1131443312 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 27306 13073 16 0 210762 0 vsize: 843112 [startup+870.039 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 85930 66 0 0 25 0 11 0 419341186 863346688 27397 4294967295 134512640 134569956 3221224416 3221214848 1131443328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 27397 13073 16 0 210762 0 vsize: 843112 [startup+880.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 86929 66 0 0 25 0 11 0 419341186 863346688 27397 4294967295 134512640 134569956 3221224416 3221214848 1131443336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 27397 13073 16 0 210762 0 vsize: 843112 [startup+890.041 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 87921 66 0 0 25 0 11 0 419341186 863346688 27486 4294967295 134512640 134569956 3221224416 3221214728 1131454291 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 27486 13073 16 0 210762 0 vsize: 843112 [startup+900.041 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 88913 66 0 0 25 0 11 0 419341186 863346688 27551 4294967295 134512640 134569956 3221224416 3221214792 1131640835 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 27551 13073 16 0 210762 0 vsize: 843112 [startup+910.042 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 89905 66 0 0 25 0 11 0 419341186 863346688 27623 4294967295 134512640 134569956 3221224416 3221214848 1131443047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 27623 13073 16 0 210762 0 vsize: 843112 [startup+920.043 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 90905 66 0 0 25 0 11 0 419341186 863346688 27623 4294967295 134512640 134569956 3221224416 3221214848 1131443255 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 27623 13073 16 0 210762 0 vsize: 843112 [startup+930.043 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 91896 67 0 0 25 0 11 0 419341186 863346688 27698 4294967295 134512640 134569956 3221224416 3221214688 1131371211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 27698 13073 16 0 210762 0 vsize: 843112 [startup+940.044 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 92888 67 0 0 25 0 11 0 419341186 863346688 27832 4294967295 134512640 134569956 3221224416 3221214972 1131204832 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 27832 13073 16 0 210762 0 vsize: 843112 [startup+950.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 93880 67 0 0 25 0 11 0 419341186 863346688 27897 4294967295 134512640 134569956 3221224416 3221214848 1131443328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 27897 13073 16 0 210762 0 vsize: 843112 [startup+960.046 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 94872 67 0 0 25 0 11 0 419341186 863346688 27947 4294967295 134512640 134569956 3221224416 3221214848 1131443324 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 27947 13073 16 0 210762 0 vsize: 843112 [startup+970.046 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 95872 67 0 0 25 0 11 0 419341186 863346688 27947 4294967295 134512640 134569956 3221224416 3221214848 1131443520 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 27947 13073 16 0 210762 0 vsize: 843112 [startup+980.047 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 96863 67 0 0 25 0 11 0 419341186 863346688 28001 4294967295 134512640 134569956 3221224416 3221214848 1131443491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 28001 13073 16 0 210762 0 vsize: 843112 [startup+990.047 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 97854 67 0 0 25 0 11 0 419341186 863346688 28067 4294967295 134512640 134569956 3221224416 3221214848 1131443044 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 28067 13073 16 0 210762 0 vsize: 843112 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 98847 67 0 0 25 0 11 0 419341186 863346688 28167 4294967295 134512640 134569956 3221224416 3221214848 1131443047 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 28167 13073 16 0 210762 0 vsize: 843112 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 99839 68 0 0 25 0 11 0 419341186 863346688 28244 4294967295 134512640 134569956 3221224416 3221214848 1131443512 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 28244 13073 16 0 210762 0 vsize: 843112 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 100839 68 0 0 25 0 11 0 419341186 863346688 28244 4294967295 134512640 134569956 3221224416 3221214848 1131443040 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 28244 13073 16 0 210762 0 vsize: 843112 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 101831 68 0 0 25 0 11 0 419341186 863346688 28244 4294967295 134512640 134569956 3221224416 3221214848 1131443342 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 28244 13073 16 0 210762 0 vsize: 843112 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 102823 68 0 0 25 0 11 0 419341186 863346688 28315 4294967295 134512640 134569956 3221224416 3221214728 1131454213 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 28315 13073 16 0 210762 0 vsize: 843112 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 103815 68 0 0 25 0 11 0 419341186 863346688 28315 4294967295 134512640 134569956 3221224416 3221214848 1131443036 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 28315 13073 16 0 210762 0 vsize: 843112 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 104807 68 0 0 25 0 11 0 419341186 863346688 28403 4294967295 134512640 134569956 3221224416 3221214848 1131443498 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 28403 13073 16 0 210762 0 vsize: 843112 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 105808 68 0 0 25 0 11 0 419341186 863346688 28403 4294967295 134512640 134569956 3221224416 3221214848 1131443520 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 28403 13073 16 0 210762 0 vsize: 843112 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 106799 68 0 0 25 0 11 0 419341186 863346688 28485 4294967295 134512640 134569956 3221224416 3221214848 1131443312 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 28485 13073 16 0 210762 0 vsize: 843112 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 107791 68 0 0 25 0 11 0 419341186 863346688 28577 4294967295 134512640 134569956 3221224416 3221214728 1131454303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 28577 13073 16 0 210762 0 vsize: 843112 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 108782 68 0 0 25 0 11 0 419341186 863346688 28662 4294967295 134512640 134569956 3221224416 3221214728 1131454309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 28662 13073 16 0 210762 0 vsize: 843112 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 109782 68 0 0 25 0 11 0 419341186 863346688 28662 4294967295 134512640 134569956 3221224416 3221214728 1131454220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 28662 13073 16 0 210762 0 vsize: 843112 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 110775 68 0 0 25 0 11 0 419341186 863346688 28662 4294967295 134512640 134569956 3221224416 3221214844 1131297218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 28662 13073 16 0 210762 0 vsize: 843112 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 111766 68 0 0 25 0 11 0 419341186 863346688 28717 4294967295 134512640 134569956 3221224416 3221214848 1131443328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 28717 13073 16 0 210762 0 vsize: 843112 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 112757 69 0 0 25 0 11 0 419341186 863346688 28766 4294967295 134512640 134569956 3221224416 3221214728 1131454224 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 28766 13073 16 0 210762 0 vsize: 843112 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 113749 69 0 0 25 0 11 0 419341186 863346688 28833 4294967295 134512640 134569956 3221224416 3221214848 1131443255 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 28833 13073 16 0 210762 0 vsize: 843112 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 114749 69 0 0 25 0 11 0 419341186 863346688 28833 4294967295 134512640 134569956 3221224416 3221214728 1131454316 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 28833 13073 16 0 210762 0 vsize: 843112 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 115740 69 0 0 25 0 11 0 419341186 863346688 28912 4294967295 134512640 134569956 3221224416 3221214848 1131443342 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 28912 13073 16 0 210762 0 vsize: 843112 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 116732 69 0 0 25 0 11 0 419341186 863346688 28996 4294967295 134512640 134569956 3221224416 3221214848 1131443336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 28996 13073 16 0 210762 0 vsize: 843112 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 117723 69 0 0 25 0 11 0 419341186 863346688 29100 4294967295 134512640 134569956 3221224416 3221214848 1131443054 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 29100 13073 16 0 210762 0 vsize: 843112 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 118723 69 0 0 25 0 11 0 419341186 863346688 29100 4294967295 134512640 134569956 3221224416 3221214728 1131453345 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 29100 13073 16 0 210762 0 vsize: 843112 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 119715 69 0 0 25 0 11 0 419341186 863346688 29145 4294967295 134512640 134569956 3221224416 3221214848 1131443324 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210778 29145 13073 16 0 210762 0 vsize: 843112 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 30644 Raw data (stat): 30577 (java) R 30576 29653 29652 0 -1 0 18057 0 1 0 120706 69 0 0 25 0 11 0 419341186 863346688 29213 4294967295 134512640 134569956 3221224416 3221214848 1131443491 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210778 29213 13073 16 0 210762 0 vsize: 843112 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.13 s] Raw data (loadavg): 1.00 1.00 0.95 1/54 30646 Raw data (stat): 30577 (java) Z 30576 29653 29652 0 -1 1036 18057 11775 1 0 120707 69 1509 28 25 0 1 0 419341186 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1220.13 CPU time (s): 1223.16 CPU user time (s): 1222.17 CPU system time (s): 0.98585 CPU usage (%): 100.248 Max. virtual memory (Kb): 843964 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####