Name | normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb |
MD5SUM | 62b75258091a8b1382fa8b1c633d9511 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 694 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 99 |
Biggest coefficient in the objective function | 60 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 4087 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 60 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 4087 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.168973 |
Number of variables | 99 |
Total number of constraints | 185 |
Number of constraints which are clauses | 185 |
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 | 20 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-04-13 17:16:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2268 boxname=wulflinc31 idbench=252 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 62b75258091a8b1382fa8b1c633d9511 /oldhome/oroussel/tmp/wulflinc31/normalized-cm42a.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-cm42a.opb IDLAUNCH: 2268 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 917776 kB Buffers: 33860 kB Cached: 44628 kB SwapCached: 392 kB Active: 40284 kB Inactive: 41296 kB HighTotal: 131008 kB HighFree: 82796 kB LowTotal: 903652 kB LowFree: 834980 kB SwapTotal: 2097892 kB SwapFree: 2097452 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6832 kB Slab: 29660 kB Committed_AS: 63488 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 17:37:10 (client local time) WITH STATUS 143 IN SECONDS stats: 2268 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc31/normalized-cm42a.opb c reading problem c [nbvar=99] c [nbconstr=185] c time 0.555 c #vars 99 c #clauses 185 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=700 c Current CPU time (ms) : 0.992 c starts : 1 c conflicts : 4 c decisions : 95 c propagations : 155 c inspects : 352 c learned literals : 4 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 5 c c CURRENT OPTIMUM=698 c Current CPU time (ms) : 9.472 c starts : 2 c conflicts : 47 c decisions : 206 c propagations : 739 c inspects : 3269 c learned literals : 4 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 43 c root simplifications : 6 c c CURRENT OPTIMUM=696 c Current CPU time (ms) : 46.741 c starts : 4 c conflicts : 280 c decisions : 1095 c propagations : 4484 c inspects : 65145 c learned literals : 4 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 276 c root simplifications : 9 c c CURRENT OPTIMUM=694 c Current CPU time (ms) : 155.453 c starts : 6 c conflicts : 421 c decisions : 1423 c propagations : 7313 c inspects : 159001 c learned literals : 4 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 417 c root simplifications : 12 #### 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.92 0.98 0.95 2/54 23754 Raw data (stat): 23754 (runsolver) R 23753 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477669289 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.0008 s] Raw data (loadavg): 1.17 1.03 0.96 4/64 23765 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18087 3 1 0 510 44 0 0 25 0 11 0 477669289 865837056 21401 4294967295 134512640 134569956 3221224416 3221214760 1131214755 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211386 21401 13073 16 0 211370 0 vsize: 845544 [startup+20.002 s] Raw data (loadavg): 1.29 1.06 0.97 2/64 23766 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 1413 44 0 0 25 0 11 0 477669289 865976320 21890 4294967295 134512640 134569956 3221224416 3221214696 1131167853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 21890 13073 16 0 211404 0 vsize: 845680 [startup+30.0029 s] Raw data (loadavg): 1.24 1.06 0.97 2/64 23766 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 2387 44 0 0 25 0 11 0 477669289 865976320 22136 4294967295 134512640 134569956 3221224416 3221214576 1131311574 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 22136 13073 16 0 211404 0 vsize: 845680 [startup+40.0033 s] Raw data (loadavg): 1.20 1.06 0.97 2/64 23766 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 3356 44 0 0 25 0 11 0 477669289 865976320 22382 4294967295 134512640 134569956 3221224416 3221214576 1131309647 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 22382 13073 16 0 211404 0 vsize: 845680 [startup+50.0037 s] Raw data (loadavg): 1.17 1.06 0.97 2/64 23767 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 4321 44 0 0 25 0 11 0 477669289 865976320 22567 4294967295 134512640 134569956 3221224416 3221214504 1131510021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 22567 13073 16 0 211404 0 vsize: 845680 [startup+60.0047 s] Raw data (loadavg): 1.15 1.05 0.97 2/64 23767 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 5290 44 0 0 25 0 11 0 477669289 865976320 22669 4294967295 134512640 134569956 3221224416 3221214696 1131167254 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 22669 13073 16 0 211404 0 vsize: 845680 [startup+70.0051 s] Raw data (loadavg): 1.12 1.05 0.97 2/64 23767 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 6262 44 0 0 25 0 11 0 477669289 865976320 22908 4294967295 134512640 134569956 3221224416 3221214696 1131167568 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 22908 13073 16 0 211404 0 vsize: 845680 [startup+80.0056 s] Raw data (loadavg): 1.10 1.05 0.97 2/64 23767 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 7233 44 0 0 25 0 11 0 477669289 865976320 23058 4294967295 134512640 134569956 3221224416 3221214704 1131411330 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23058 13073 16 0 211404 0 vsize: 845680 [startup+90.0063 s] Raw data (loadavg): 1.09 1.05 0.97 2/64 23767 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 8215 44 0 0 25 0 11 0 477669289 865976320 23163 4294967295 134512640 134569956 3221224416 3221214560 1131187771 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23163 13073 16 0 211404 0 vsize: 845680 [startup+100.006 s] Raw data (loadavg): 1.07 1.05 0.97 2/64 23767 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 9196 44 0 0 25 0 11 0 477669289 865976320 23276 4294967295 134512640 134569956 3221224416 3221214496 1131509715 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23276 13073 16 0 211404 0 vsize: 845680 [startup+110.007 s] Raw data (loadavg): 1.06 1.04 0.97 2/64 23767 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 10184 44 0 0 25 0 11 0 477669289 865976320 23324 4294967295 134512640 134569956 3221224416 3221214652 1131145971 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23324 13073 16 0 211404 0 vsize: 845680 [startup+120.008 s] Raw data (loadavg): 1.05 1.04 0.97 2/64 23767 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 11176 44 0 0 25 0 11 0 477669289 865976320 23353 4294967295 134512640 134569956 3221224416 3221214592 1131537305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23353 13073 16 0 211404 0 vsize: 845680 [startup+130.008 s] Raw data (loadavg): 1.04 1.04 0.97 2/64 23767 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 12166 44 0 0 25 0 11 0 477669289 865976320 23407 4294967295 134512640 134569956 3221224416 3221214504 1131510053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23407 13073 16 0 211404 0 vsize: 845680 [startup+140.009 s] Raw data (loadavg): 1.04 1.04 0.97 2/64 23767 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 13161 44 0 0 25 0 11 0 477669289 865976320 23426 4294967295 134512640 134569956 3221224416 3221214592 1131537416 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211420 23426 13073 16 0 211404 0 vsize: 845680 [startup+150.112 s] Raw data (loadavg): 1.03 1.04 0.97 2/64 23767 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 14159 44 0 0 25 0 11 0 477669289 865976320 23478 4294967295 134512640 134569956 3221224416 3221214628 1130885207 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23478 13073 16 0 211404 0 vsize: 845680 [startup+160.112 s] Raw data (loadavg): 1.02 1.03 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 15142 45 0 0 25 0 11 0 477669289 865976320 23553 4294967295 134512640 134569956 3221224416 3221214488 1131392694 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23553 13073 16 0 211404 0 vsize: 845680 [startup+170.114 s] Raw data (loadavg): 1.02 1.03 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 16128 45 0 0 25 0 11 0 477669289 865976320 23604 4294967295 134512640 134569956 3221224416 3221214592 1131537280 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23604 13073 16 0 211404 0 vsize: 845680 [startup+180.115 s] Raw data (loadavg): 1.02 1.03 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 17119 45 0 0 24 0 11 0 477669289 865976320 23642 4294967295 134512640 134569956 3221224416 3221214576 1131311566 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23642 13073 16 0 211404 0 vsize: 845680 [startup+190.115 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 18113 45 0 0 25 0 11 0 477669289 865976320 23655 4294967295 134512640 134569956 3221224416 3221214496 1131509381 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23655 13073 16 0 211404 0 vsize: 845680 [startup+200.115 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 19100 45 0 0 25 0 11 0 477669289 865976320 23698 4294967295 134512640 134569956 3221224416 3221214524 1079721528 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23698 13073 16 0 211404 0 vsize: 845680 [startup+210.116 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 20098 45 0 0 25 0 11 0 477669289 865976320 23710 4294967295 134512640 134569956 3221224416 3221214576 1131311218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23710 13073 16 0 211404 0 vsize: 845680 [startup+220.116 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 21092 45 0 0 25 0 11 0 477669289 865976320 23725 4294967295 134512640 134569956 3221224416 3221214552 1131187887 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23725 13073 16 0 211404 0 vsize: 845680 [startup+230.117 s] Raw data (loadavg): 1.01 1.02 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 22079 45 0 0 21 0 11 0 477669289 865976320 23758 4294967295 134512640 134569956 3221224416 3221214496 1131509599 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23758 13073 16 0 211404 0 vsize: 845680 [startup+240.117 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 23070 45 0 0 25 0 11 0 477669289 865976320 23803 4294967295 134512640 134569956 3221224416 3221214552 1131533270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23803 13073 16 0 211404 0 vsize: 845680 [startup+250.117 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 24064 45 0 0 25 0 11 0 477669289 865976320 23836 4294967295 134512640 134569956 3221224416 3221214368 1080217270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23836 13073 16 0 211404 0 vsize: 845680 [startup+260.118 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 25059 45 0 0 25 0 11 0 477669289 865976320 23858 4294967295 134512640 134569956 3221224416 3221214496 1131509248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23858 13073 16 0 211404 0 vsize: 845680 [startup+270.119 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 26051 45 0 0 25 0 11 0 477669289 865976320 23905 4294967295 134512640 134569956 3221224416 3221214536 1131621768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23905 13073 16 0 211404 0 vsize: 845680 [startup+280.118 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 27046 45 0 0 25 0 11 0 477669289 865976320 23938 4294967295 134512640 134569956 3221224416 3221214504 1131509841 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23938 13073 16 0 211404 0 vsize: 845680 [startup+290.12 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 28042 45 0 0 25 0 11 0 477669289 865976320 23974 4294967295 134512640 134569956 3221224416 3221214368 1080217270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 23974 13073 16 0 211404 0 vsize: 845680 [startup+300.121 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 29033 45 0 0 25 0 11 0 477669289 865976320 24039 4294967295 134512640 134569956 3221224416 3221214560 1131187887 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24039 13073 16 0 211404 0 vsize: 845680 [startup+310.121 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 30029 45 0 0 25 0 11 0 477669289 865976320 24080 4294967295 134512640 134569956 3221224416 3221214368 1080217270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24080 13073 16 0 211404 0 vsize: 845680 [startup+320.122 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 31024 45 0 0 25 0 11 0 477669289 865976320 24093 4294967295 134512640 134569956 3221224416 3221214496 1131509175 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24093 13073 16 0 211404 0 vsize: 845680 [startup+330.123 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 32018 45 0 0 25 0 11 0 477669289 865976320 24123 4294967295 134512640 134569956 3221224416 3221214756 1080203719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24123 13073 16 0 211404 0 vsize: 845680 [startup+340.123 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 33012 46 0 0 25 0 11 0 477669289 865976320 24150 4294967295 134512640 134569956 3221224416 3221214488 1080217270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24150 13073 16 0 211404 0 vsize: 845680 [startup+350.125 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 34006 46 0 0 25 0 11 0 477669289 865976320 24199 4294967295 134512640 134569956 3221224416 3221214496 1131509246 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211420 24199 13073 16 0 211404 0 vsize: 845680 [startup+360.127 s] Raw data (loadavg): 1.15 1.05 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 35002 46 0 0 25 0 11 0 477669289 865976320 24248 4294967295 134512640 134569956 3221224416 3221214752 1131198053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24248 13073 16 0 211404 0 vsize: 845680 [startup+370.127 s] Raw data (loadavg): 1.13 1.04 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 35999 46 0 0 25 0 11 0 477669289 865976320 24262 4294967295 134512640 134569956 3221224416 3221214592 1131537416 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24262 13073 16 0 211404 0 vsize: 845680 [startup+380.127 s] Raw data (loadavg): 1.11 1.04 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 36997 46 0 0 25 0 11 0 477669289 865976320 24263 4294967295 134512640 134569956 3221224416 3221214496 1131509404 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24263 13073 16 0 211404 0 vsize: 845680 [startup+390.128 s] Raw data (loadavg): 1.09 1.04 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 37990 46 0 0 25 0 11 0 477669289 865976320 24294 4294967295 134512640 134569956 3221224416 3221214696 1131325048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24294 13073 16 0 211404 0 vsize: 845680 [startup+400.127 s] Raw data (loadavg): 1.08 1.04 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 38984 46 0 0 25 0 11 0 477669289 865976320 24316 4294967295 134512640 134569956 3221224416 3221214576 1131310911 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24316 13073 16 0 211404 0 vsize: 845680 [startup+410.129 s] Raw data (loadavg): 1.06 1.04 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 39980 46 0 0 25 0 11 0 477669289 865976320 24326 4294967295 134512640 134569956 3221224416 3221214528 1131386963 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24326 13073 16 0 211404 0 vsize: 845680 [startup+420.13 s] Raw data (loadavg): 1.05 1.03 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 40978 46 0 0 25 0 11 0 477669289 865976320 24340 4294967295 134512640 134569956 3221224416 3221214432 1080216972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24340 13073 16 0 211404 0 vsize: 845680 [startup+430.129 s] Raw data (loadavg): 1.05 1.03 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 41973 46 0 0 25 0 11 0 477669289 865976320 24370 4294967295 134512640 134569956 3221224416 3221214528 1079721543 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24370 13073 16 0 211404 0 vsize: 845680 [startup+440.131 s] Raw data (loadavg): 1.04 1.03 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 42967 46 0 0 25 0 11 0 477669289 865976320 24394 4294967295 134512640 134569956 3221224416 3221214536 1131621791 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24394 13073 16 0 211404 0 vsize: 845680 [startup+450.131 s] Raw data (loadavg): 1.03 1.03 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 43963 46 0 0 25 0 11 0 477669289 865976320 24417 4294967295 134512640 134569956 3221224416 3221214496 1131509228 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24417 13073 16 0 211404 0 vsize: 845680 [startup+460.132 s] Raw data (loadavg): 1.03 1.03 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 44956 47 0 0 25 0 11 0 477669289 865976320 24452 4294967295 134512640 134569956 3221224416 3221214576 1131311509 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211420 24452 13073 16 0 211404 0 vsize: 845680 [startup+470.133 s] Raw data (loadavg): 1.02 1.03 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 45952 47 0 0 25 0 11 0 477669289 865976320 24473 4294967295 134512640 134569956 3221224416 3221214696 1131167251 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24473 13073 16 0 211404 0 vsize: 845680 [startup+480.133 s] Raw data (loadavg): 1.02 1.03 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 46946 47 0 0 25 0 11 0 477669289 865976320 24511 4294967295 134512640 134569956 3221224416 3221214328 1080217270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24511 13073 16 0 211404 0 vsize: 845680 [startup+490.134 s] Raw data (loadavg): 1.02 1.02 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 47940 47 0 0 25 0 11 0 477669289 865976320 24543 4294967295 134512640 134569956 3221224416 3221214520 1131387107 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24543 13073 16 0 211404 0 vsize: 845680 [startup+500.134 s] Raw data (loadavg): 1.01 1.02 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 48934 47 0 0 25 0 11 0 477669289 865976320 24565 4294967295 134512640 134569956 3221224416 3221214576 1131311118 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24565 13073 16 0 211404 0 vsize: 845680 [startup+510.135 s] Raw data (loadavg): 1.01 1.02 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 49932 47 0 0 25 0 11 0 477669289 865976320 24566 4294967295 134512640 134569956 3221224416 3221214368 1080217212 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24566 13073 16 0 211404 0 vsize: 845680 [startup+520.136 s] Raw data (loadavg): 1.01 1.02 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 50928 47 0 0 25 0 11 0 477669289 865976320 24586 4294967295 134512640 134569956 3221224416 3221214704 1131170221 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24586 13073 16 0 211404 0 vsize: 845680 [startup+530.136 s] Raw data (loadavg): 1.01 1.02 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 51918 47 0 0 25 0 11 0 477669289 865976320 24642 4294967295 134512640 134569956 3221224416 3221214424 1131509920 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24642 13073 16 0 211404 0 vsize: 845680 [startup+540.137 s] Raw data (loadavg): 1.00 1.02 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 52901 47 0 0 25 0 11 0 477669289 865976320 24696 4294967295 134512640 134569956 3221224416 3221214696 1131167661 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24696 13073 16 0 211404 0 vsize: 845680 [startup+550.137 s] Raw data (loadavg): 1.00 1.02 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 53887 47 0 0 25 0 11 0 477669289 865976320 24784 4294967295 134512640 134569956 3221224416 3221214488 1131392559 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24784 13073 16 0 211404 0 vsize: 845680 [startup+560.139 s] Raw data (loadavg): 1.00 1.02 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 54878 47 0 0 25 0 11 0 477669289 865976320 24811 4294967295 134512640 134569956 3221224416 3221214420 1080217332 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24811 13073 16 0 211404 0 vsize: 845680 [startup+570.14 s] Raw data (loadavg): 1.00 1.02 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 55864 47 0 0 25 0 11 0 477669289 865976320 24837 4294967295 134512640 134569956 3221224416 3221214696 1131325405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24837 13073 16 0 211404 0 vsize: 845680 [startup+580.139 s] Raw data (loadavg): 1.00 1.02 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 56845 47 0 0 25 0 11 0 477669289 865976320 24837 4294967295 134512640 134569956 3221224416 3221214696 1131167673 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24837 13073 16 0 211404 0 vsize: 845680 [startup+590.141 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 57820 47 0 0 24 0 11 0 477669289 865976320 24961 4294967295 134512640 134569956 3221224416 3221214788 1131162306 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24961 13073 16 0 211404 0 vsize: 845680 [startup+600.141 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 58803 47 0 0 25 0 11 0 477669289 865976320 24996 4294967295 134512640 134569956 3221224416 3221214584 1131528305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 24996 13073 16 0 211404 0 vsize: 845680 [startup+610.142 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 59794 48 0 0 25 0 11 0 477669289 865976320 25164 4294967295 134512640 134569956 3221224416 3221214696 1131167225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25164 13073 16 0 211404 0 vsize: 845680 [startup+620.143 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 60782 48 0 0 25 0 11 0 477669289 865976320 25208 4294967295 134512640 134569956 3221224416 3221214328 1080217270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25208 13073 16 0 211404 0 vsize: 845680 [startup+630.143 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 61771 48 0 0 24 0 11 0 477669289 865976320 25256 4294967295 134512640 134569956 3221224416 3221214368 1080217319 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25256 13073 16 0 211404 0 vsize: 845680 [startup+640.144 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 62763 48 0 0 25 0 11 0 477669289 865976320 25349 4294967295 134512640 134569956 3221224416 3221214576 1131311662 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211420 25349 13073 16 0 211404 0 vsize: 845680 [startup+650.144 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 63753 48 0 0 25 0 11 0 477669289 865976320 25431 4294967295 134512640 134569956 3221224416 3221214584 1131528338 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25431 13073 16 0 211404 0 vsize: 845680 [startup+660.146 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 64741 48 0 0 24 0 11 0 477669289 865976320 25495 4294967295 134512640 134569956 3221224416 3221214576 1131311494 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25495 13073 16 0 211404 0 vsize: 845680 [startup+670.146 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 65735 48 0 0 25 0 11 0 477669289 865976320 25518 4294967295 134512640 134569956 3221224416 3221214576 1131310769 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25518 13073 16 0 211404 0 vsize: 845680 [startup+680.147 s] Raw data (loadavg): 1.00 1.01 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 66727 48 0 0 25 0 11 0 477669289 865976320 25573 4294967295 134512640 134569956 3221224416 3221214696 1131167223 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25573 13073 16 0 211404 0 vsize: 845680 [startup+690.148 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 67719 48 0 0 25 0 11 0 477669289 865976320 25621 4294967295 134512640 134569956 3221224416 3221214504 1131510008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25621 13073 16 0 211404 0 vsize: 845680 [startup+700.147 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 68716 48 0 0 25 0 11 0 477669289 865976320 25634 4294967295 134512640 134569956 3221224416 3221214576 1131310323 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25634 13073 16 0 211404 0 vsize: 845680 [startup+710.149 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 69710 48 0 0 24 0 11 0 477669289 865976320 25676 4294967295 134512640 134569956 3221224416 3221214696 1131324461 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25676 13073 16 0 211404 0 vsize: 845680 [startup+720.149 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 70705 49 0 0 25 0 11 0 477669289 865976320 25698 4294967295 134512640 134569956 3221224416 3221214328 1080217270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25698 13073 16 0 211404 0 vsize: 845680 [startup+730.15 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 71703 49 0 0 25 0 11 0 477669289 865976320 25733 4294967295 134512640 134569956 3221224416 3221214576 1131310819 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25733 13073 16 0 211404 0 vsize: 845680 [startup+740.15 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 72694 49 0 0 25 0 11 0 477669289 865976320 25739 4294967295 134512640 134569956 3221224416 3221214576 1131311687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25739 13073 16 0 211404 0 vsize: 845680 [startup+750.151 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 73691 49 0 0 25 0 11 0 477669289 865976320 25768 4294967295 134512640 134569956 3221224416 3221214368 1080217254 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25768 13073 16 0 211404 0 vsize: 845680 [startup+760.152 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 74683 49 0 0 25 0 11 0 477669289 865976320 25807 4294967295 134512640 134569956 3221224416 3221214884 1080204282 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25807 13073 16 0 211404 0 vsize: 845680 [startup+770.152 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 75678 49 0 0 25 0 11 0 477669289 865976320 25840 4294967295 134512640 134569956 3221224416 3221214576 1131310714 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25840 13073 16 0 211404 0 vsize: 845680 [startup+780.152 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 76672 49 0 0 25 0 11 0 477669289 865976320 25881 4294967295 134512640 134569956 3221224416 3221214684 1080204256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25881 13073 16 0 211404 0 vsize: 845680 [startup+790.153 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 77669 49 0 0 25 0 11 0 477669289 865976320 25894 4294967295 134512640 134569956 3221224416 3221214576 1131311034 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25894 13073 16 0 211404 0 vsize: 845680 [startup+800.153 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 78663 49 0 0 25 0 11 0 477669289 865976320 25923 4294967295 134512640 134569956 3221224416 3221214696 1131324836 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25923 13073 16 0 211404 0 vsize: 845680 [startup+810.154 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 79657 49 0 0 25 0 11 0 477669289 865976320 25966 4294967295 134512640 134569956 3221224416 3221214488 1131392548 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25966 13073 16 0 211404 0 vsize: 845680 [startup+820.154 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 80654 49 0 0 25 0 11 0 477669289 865976320 25978 4294967295 134512640 134569956 3221224416 3221214484 1079721495 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25978 13073 16 0 211404 0 vsize: 845680 [startup+830.155 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 81648 49 0 0 25 0 11 0 477669289 865976320 25982 4294967295 134512640 134569956 3221224416 3221214488 1131392694 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 25982 13073 16 0 211404 0 vsize: 845680 [startup+840.156 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 82643 49 0 0 25 0 11 0 477669289 865976320 26011 4294967295 134512640 134569956 3221224416 3221214684 1080204256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26011 13073 16 0 211404 0 vsize: 845680 [startup+850.155 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 83637 49 0 0 25 0 11 0 477669289 865976320 26013 4294967295 134512640 134569956 3221224416 3221214552 1079721457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26013 13073 16 0 211404 0 vsize: 845680 [startup+860.156 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 84632 49 0 0 25 0 11 0 477669289 865976320 26026 4294967295 134512640 134569956 3221224416 3221214536 1131621917 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26026 13073 16 0 211404 0 vsize: 845680 [startup+870.157 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 85626 49 0 0 25 0 11 0 477669289 865976320 26067 4294967295 134512640 134569956 3221224416 3221214496 1131509646 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26067 13073 16 0 211404 0 vsize: 845680 [startup+880.157 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 86621 49 0 0 25 0 11 0 477669289 865976320 26094 4294967295 134512640 134569956 3221224416 3221214488 1131392773 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26094 13073 16 0 211404 0 vsize: 845680 [startup+890.158 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 87615 49 0 0 25 0 11 0 477669289 865976320 26115 4294967295 134512640 134569956 3221224416 3221214496 1131509459 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26115 13073 16 0 211404 0 vsize: 845680 [startup+900.158 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 88611 50 0 0 25 0 11 0 477669289 865976320 26115 4294967295 134512640 134569956 3221224416 3221214496 1131509302 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26115 13073 16 0 211404 0 vsize: 845680 [startup+910.159 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 89606 50 0 0 25 0 11 0 477669289 865976320 26115 4294967295 134512640 134569956 3221224416 3221214504 1131509992 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211420 26115 13073 16 0 211404 0 vsize: 845680 [startup+920.159 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 90604 50 0 0 25 0 11 0 477669289 865976320 26125 4294967295 134512640 134569956 3221224416 3221214528 1131386987 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26125 13073 16 0 211404 0 vsize: 845680 [startup+930.159 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 91602 50 0 0 25 0 11 0 477669289 865976320 26134 4294967295 134512640 134569956 3221224416 3221214576 1131310800 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26134 13073 16 0 211404 0 vsize: 845680 [startup+940.159 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 92598 50 0 0 25 0 11 0 477669289 865976320 26150 4294967295 134512640 134569956 3221224416 3221214576 1131311358 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26150 13073 16 0 211404 0 vsize: 845680 [startup+950.16 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 93592 50 0 0 25 0 11 0 477669289 865976320 26234 4294967295 134512640 134569956 3221224416 3221214432 1080217040 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26234 13073 16 0 211404 0 vsize: 845680 [startup+960.161 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 94588 50 0 0 25 0 11 0 477669289 865976320 26246 4294967295 134512640 134569956 3221224416 3221214576 1131310929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26246 13073 16 0 211404 0 vsize: 845680 [startup+970.161 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 95582 50 0 0 25 0 11 0 477669289 865976320 26298 4294967295 134512640 134569956 3221224416 3221214496 1131509270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26298 13073 16 0 211404 0 vsize: 845680 [startup+980.162 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 96577 50 0 0 25 0 11 0 477669289 865976320 26311 4294967295 134512640 134569956 3221224416 3221214696 1131167673 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26311 13073 16 0 211404 0 vsize: 845680 [startup+990.162 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 97572 50 0 0 25 0 11 0 477669289 865976320 26346 4294967295 134512640 134569956 3221224416 3221214488 1131392548 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26346 13073 16 0 211404 0 vsize: 845680 [startup+1000.16 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 98568 50 0 0 25 0 11 0 477669289 865976320 26359 4294967295 134512640 134569956 3221224416 3221214528 1131621853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26359 13073 16 0 211404 0 vsize: 845680 [startup+1010.16 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 99563 50 0 0 25 0 11 0 477669289 865976320 26392 4294967295 134512640 134569956 3221224416 3221214696 1131324005 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26392 13073 16 0 211404 0 vsize: 845680 [startup+1020.16 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 100557 50 0 0 25 0 11 0 477669289 865976320 26402 4294967295 134512640 134569956 3221224416 3221214432 1080216962 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26402 13073 16 0 211404 0 vsize: 845680 [startup+1030.16 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 101553 50 0 0 25 0 11 0 477669289 865976320 26408 4294967295 134512640 134569956 3221224416 3221214528 1131387007 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26408 13073 16 0 211404 0 vsize: 845680 [startup+1040.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 102549 50 0 0 25 0 11 0 477669289 865976320 26457 4294967295 134512640 134569956 3221224416 3221214756 1080203719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26457 13073 16 0 211404 0 vsize: 845680 [startup+1050.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 103542 50 0 0 24 0 11 0 477669289 865976320 26457 4294967295 134512640 134569956 3221224416 3221214496 1131509753 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26457 13073 16 0 211404 0 vsize: 845680 [startup+1060.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 104540 50 0 0 25 0 11 0 477669289 865976320 26518 4294967295 134512640 134569956 3221224416 3221214496 1131510363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26518 13073 16 0 211404 0 vsize: 845680 [startup+1070.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 105534 50 0 0 25 0 11 0 477669289 865976320 26519 4294967295 134512640 134569956 3221224416 3221214552 1131533330 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26519 13073 16 0 211404 0 vsize: 845680 [startup+1080.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 106530 50 0 0 25 0 11 0 477669289 865976320 26519 4294967295 134512640 134569956 3221224416 3221214576 1131311969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26519 13073 16 0 211404 0 vsize: 845680 [startup+1090.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 107525 50 0 0 25 0 11 0 477669289 865976320 26524 4294967295 134512640 134569956 3221224416 3221214328 1080217270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26524 13073 16 0 211404 0 vsize: 845680 [startup+1100.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 108521 51 0 0 25 0 11 0 477669289 865976320 26562 4294967295 134512640 134569956 3221224416 3221214416 1080217189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26562 13073 16 0 211404 0 vsize: 845680 [startup+1110.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 109516 51 0 0 25 0 11 0 477669289 865976320 26572 4294967295 134512640 134569956 3221224416 3221214520 1131387076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26572 13073 16 0 211404 0 vsize: 845680 [startup+1120.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 110512 51 0 0 25 0 11 0 477669289 865976320 26602 4294967295 134512640 134569956 3221224416 3221214696 1131328416 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26602 13073 16 0 211404 0 vsize: 845680 [startup+1130.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 111506 51 0 0 25 0 11 0 477669289 865976320 26641 4294967295 134512640 134569956 3221224416 3221214576 1131311673 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26641 13073 16 0 211404 0 vsize: 845680 [startup+1140.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 112501 51 0 0 25 0 11 0 477669289 865976320 26658 4294967295 134512640 134569956 3221224416 3221214520 1079721529 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26658 13073 16 0 211404 0 vsize: 845680 [startup+1150.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 113496 51 0 0 25 0 11 0 477669289 865976320 26697 4294967295 134512640 134569956 3221224416 3221214752 1131198053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26697 13073 16 0 211404 0 vsize: 845680 [startup+1160.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 114493 51 0 0 25 0 11 0 477669289 865976320 26699 4294967295 134512640 134569956 3221224416 3221214576 1131310788 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26699 13073 16 0 211404 0 vsize: 845680 [startup+1170.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 115485 51 0 0 24 0 11 0 477669289 865976320 26748 4294967295 134512640 134569956 3221224416 3221214328 1080217270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26748 13073 16 0 211404 0 vsize: 845680 [startup+1180.17 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 116484 51 0 0 25 0 11 0 477669289 865976320 26748 4294967295 134512640 134569956 3221224416 3221214528 1131386949 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26748 13073 16 0 211404 0 vsize: 845680 [startup+1190.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 117482 51 0 0 25 0 11 0 477669289 865976320 26781 4294967295 134512640 134569956 3221224416 3221214536 1131621851 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26781 13073 16 0 211404 0 vsize: 845680 [startup+1200.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 118475 51 0 0 25 0 11 0 477669289 865976320 26790 4294967295 134512640 134569956 3221224416 3221214684 1080204256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26790 13073 16 0 211404 0 vsize: 845680 [startup+1210.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 119470 51 0 0 25 0 11 0 477669289 865976320 26836 4294967295 134512640 134569956 3221224416 3221214368 1080217270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26836 13073 16 0 211404 0 vsize: 845680 [startup+1220.18 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 23768 Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 120465 51 0 0 25 0 11 0 477669289 865976320 26840 4294967295 134512640 134569956 3221224416 3221214512 1079721536 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211420 26840 13073 16 0 211404 0 vsize: 845680 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.27 s] Raw data (loadavg): 1.00 1.00 0.98 1/54 23770 Raw data (stat): 23754 (java) Z 23753 23176 23175 0 -1 1036 18090 11358 1 0 120469 51 1831 32 25 0 1 0 477669289 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.27 CPU time (s): 1223.85 CPU user time (s): 1223.01 CPU system time (s): 0.837872 CPU usage (%): 100.293 Max. virtual memory (Kb): 845680 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####