Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-5.opb |
MD5SUM | 373fd65e1136c6c0b1070f70c39b678a |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1015 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2030 |
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 | 2030 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2030 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 2.88856 |
Number of variables | 2030 |
Total number of constraints | 4373 |
Number of constraints which are clauses | 4373 |
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 wulflinc28 THE 2005-04-13 16:56:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1818 boxname=wulflinc28 idbench=202 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 373fd65e1136c6c0b1070f70c39b678a /oldhome/oroussel/tmp/wulflinc28/normalized-par16-5.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-par16-5.opb IDLAUNCH: 1818 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 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.077 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: 917684 kB Buffers: 33188 kB Cached: 48068 kB SwapCached: 4 kB Active: 42332 kB Inactive: 41708 kB HighTotal: 131008 kB HighFree: 79436 kB LowTotal: 903652 kB LowFree: 838248 kB SwapTotal: 2097640 kB SwapFree: 2097636 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6920 kB Slab: 27364 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 17:17:00 (client local time) WITH STATUS 143 IN SECONDS stats: 1818 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc28/normalized-par16-5.opb c reading problem c [nbvar=2030] c [nbconstr=4373] c time 5.598 c #vars 2030 c #clauses 4373 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.93 0.98 0.92 2/54 11131 Raw data (stat): 11131 (runsolver) R 11130 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477565425 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0013 s] Raw data (loadavg): 1.24 1.05 0.94 4/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18086 0 1 0 705 46 0 0 25 0 11 0 477565425 864010240 21338 4294967295 134512640 134569956 3221224416 3221214752 1131346609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210940 21338 13073 16 0 210924 0 vsize: 843760 [startup+20.0014 s] Raw data (loadavg): 1.28 1.06 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 1696 46 0 0 25 0 11 0 477565425 860934144 21284 4294967295 134512640 134569956 3221224416 3221214848 1131336829 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 21284 13073 16 0 210173 0 vsize: 840756 [startup+30.0027 s] Raw data (loadavg): 1.24 1.06 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 2676 46 0 0 25 0 11 0 477565425 860934144 21485 4294967295 134512640 134569956 3221224416 3221214688 1131247743 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 21485 13073 16 0 210173 0 vsize: 840756 [startup+40.0032 s] Raw data (loadavg): 1.20 1.06 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 3667 46 0 0 25 0 11 0 477565425 860934144 21601 4294967295 134512640 134569956 3221224416 3221214736 1131346627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 21601 13073 16 0 210173 0 vsize: 840756 [startup+50.0027 s] Raw data (loadavg): 1.17 1.06 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 4650 47 0 0 25 0 11 0 477565425 860934144 21785 4294967295 134512640 134569956 3221224416 3221214848 1131336356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 21785 13073 16 0 210173 0 vsize: 840756 [startup+60.0038 s] Raw data (loadavg): 1.14 1.05 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 5631 47 0 0 25 0 11 0 477565425 860934144 21994 4294967295 134512640 134569956 3221224416 3221214736 1131346627 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 21994 13073 16 0 210173 0 vsize: 840756 [startup+70.0042 s] Raw data (loadavg): 1.12 1.05 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 6620 47 0 0 25 0 11 0 477565425 860934144 22079 4294967295 134512640 134569956 3221224416 3221214848 1131336640 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 22079 13073 16 0 210173 0 vsize: 840756 [startup+80.0048 s] Raw data (loadavg): 1.10 1.05 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 7601 47 0 0 25 0 11 0 477565425 860934144 22201 4294967295 134512640 134569956 3221224416 3221214848 1131336348 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 22201 13073 16 0 210173 0 vsize: 840756 [startup+90.005 s] Raw data (loadavg): 1.08 1.05 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 8587 47 0 0 25 0 11 0 477565425 860934144 22532 4294967295 134512640 134569956 3221224416 3221214848 1131518921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 22532 13073 16 0 210173 0 vsize: 840756 [startup+100.005 s] Raw data (loadavg): 1.07 1.05 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 9580 48 0 0 25 0 11 0 477565425 860934144 22532 4294967295 134512640 134569956 3221224416 3221214752 1131416353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 22532 13073 16 0 210173 0 vsize: 840756 [startup+110.005 s] Raw data (loadavg): 1.06 1.04 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 10567 48 0 0 25 0 11 0 477565425 860934144 22532 4294967295 134512640 134569956 3221224416 3221214848 1131336640 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 22532 13073 16 0 210173 0 vsize: 840756 [startup+120.005 s] Raw data (loadavg): 1.05 1.04 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 11553 48 0 0 25 0 11 0 477565425 860934144 22575 4294967295 134512640 134569956 3221224416 3221214744 1131247873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 22575 13073 16 0 210173 0 vsize: 840756 [startup+130.006 s] Raw data (loadavg): 1.04 1.04 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 12538 49 0 0 25 0 11 0 477565425 860934144 22652 4294967295 134512640 134569956 3221224416 3221214848 1131336814 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 22652 13073 16 0 210173 0 vsize: 840756 [startup+140.006 s] Raw data (loadavg): 1.04 1.04 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 13525 49 0 0 25 0 11 0 477565425 860934144 22775 4294967295 134512640 134569956 3221224416 3221214704 1131398941 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 22775 13073 16 0 210173 0 vsize: 840756 [startup+150.006 s] Raw data (loadavg): 1.03 1.04 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 14512 49 0 0 25 0 11 0 477565425 860934144 22905 4294967295 134512640 134569956 3221224416 3221214708 1130885132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 22905 13073 16 0 210173 0 vsize: 840756 [startup+160.007 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 15505 49 0 0 25 0 11 0 477565425 860934144 22905 4294967295 134512640 134569956 3221224416 3221214768 1131396635 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 22905 13073 16 0 210173 0 vsize: 840756 [startup+170.006 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 16493 49 0 0 25 0 11 0 477565425 860934144 23050 4294967295 134512640 134569956 3221224416 3221214696 1131541269 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 23050 13073 16 0 210173 0 vsize: 840756 [startup+180.008 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 17481 49 0 0 25 0 11 0 477565425 860934144 23119 4294967295 134512640 134569956 3221224416 3221214892 1131293923 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 23119 13073 16 0 210173 0 vsize: 840756 [startup+190.008 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 18467 50 0 0 25 0 11 0 477565425 860934144 23223 4294967295 134512640 134569956 3221224416 3221214848 1131336553 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 23223 13073 16 0 210173 0 vsize: 840756 [startup+200.008 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 11141 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 19453 50 0 0 25 0 11 0 477565425 860934144 23418 4294967295 134512640 134569956 3221224416 3221214860 1131293923 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 23418 13073 16 0 210173 0 vsize: 840756 [startup+210.01 s] Raw data (loadavg): 1.09 1.04 0.95 3/67 11179 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 20446 50 0 0 25 0 11 0 477565425 860934144 23495 4294967295 134512640 134569956 3221224416 3221214820 1080204233 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 23495 13073 16 0 210173 0 vsize: 840756 [startup+220.011 s] Raw data (loadavg): 1.07 1.04 0.95 2/64 11194 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 21432 51 0 0 25 0 11 0 477565425 860934144 23730 4294967295 134512640 134569956 3221224416 3221214736 1131346642 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 23730 13073 16 0 210173 0 vsize: 840756 [startup+230.011 s] Raw data (loadavg): 1.14 1.06 0.96 2/64 11194 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 22420 51 0 0 25 0 11 0 477565425 860934144 23861 4294967295 134512640 134569956 3221224416 3221214736 1131347473 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 23861 13073 16 0 210173 0 vsize: 840756 [startup+240.012 s] Raw data (loadavg): 1.12 1.05 0.96 2/64 11194 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 23407 51 0 0 25 0 11 0 477565425 860934144 23991 4294967295 134512640 134569956 3221224416 3221214696 1131159914 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 23991 13073 16 0 210173 0 vsize: 840756 [startup+250.013 s] Raw data (loadavg): 1.10 1.05 0.96 2/64 11194 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 24394 51 0 0 24 0 11 0 477565425 860934144 24162 4294967295 134512640 134569956 3221224416 3221214400 1078830569 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 24162 13073 16 0 210173 0 vsize: 840756 [startup+260.014 s] Raw data (loadavg): 1.08 1.05 0.96 2/64 11194 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 25388 51 0 0 25 0 11 0 477565425 860934144 24256 4294967295 134512640 134569956 3221224416 3221214848 1131336538 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 24256 13073 16 0 210173 0 vsize: 840756 [startup+270.014 s] Raw data (loadavg): 1.07 1.05 0.96 2/64 11194 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 26376 52 0 0 25 0 11 0 477565425 860934144 24344 4294967295 134512640 134569956 3221224416 3221214688 1131247761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 24344 13073 16 0 210173 0 vsize: 840756 [startup+280.016 s] Raw data (loadavg): 1.06 1.05 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 27363 52 0 0 25 0 11 0 477565425 860934144 24451 4294967295 134512640 134569956 3221224416 3221214848 1131336368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 24451 13073 16 0 210173 0 vsize: 840756 [startup+290.016 s] Raw data (loadavg): 1.05 1.04 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 28350 52 0 0 25 0 11 0 477565425 860934144 24578 4294967295 134512640 134569956 3221224416 3221214736 1131346655 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 24578 13073 16 0 210173 0 vsize: 840756 [startup+300.016 s] Raw data (loadavg): 1.04 1.04 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 29343 52 0 0 25 0 11 0 477565425 860934144 24664 4294967295 134512640 134569956 3221224416 3221214752 1131415911 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 24664 13073 16 0 210173 0 vsize: 840756 [startup+310.017 s] Raw data (loadavg): 1.04 1.04 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 30329 52 0 0 25 0 11 0 477565425 860934144 24783 4294967295 134512640 134569956 3221224416 3221214848 1131336551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 24783 13073 16 0 210173 0 vsize: 840756 [startup+320.017 s] Raw data (loadavg): 1.03 1.04 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 31315 52 0 0 25 0 11 0 477565425 860934144 24911 4294967295 134512640 134569956 3221224416 3221214848 1131336652 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 24911 13073 16 0 210173 0 vsize: 840756 [startup+330.018 s] Raw data (loadavg): 1.02 1.04 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 32301 52 0 0 25 0 11 0 477565425 860934144 25108 4294967295 134512640 134569956 3221224416 3221214688 1131248063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 25108 13073 16 0 210173 0 vsize: 840756 [startup+340.018 s] Raw data (loadavg): 1.02 1.03 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18087 0 1 0 33294 52 0 0 25 0 11 0 477565425 860934144 25237 4294967295 134512640 134569956 3221224416 3221214848 1131336553 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 25237 13073 16 0 210173 0 vsize: 840756 [startup+350.018 s] Raw data (loadavg): 1.02 1.03 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 34280 53 0 0 25 0 11 0 477565425 860934144 25503 4294967295 134512640 134569956 3221224416 3221214848 1131336644 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 25503 13073 16 0 210173 0 vsize: 840756 [startup+360.018 s] Raw data (loadavg): 1.01 1.03 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 35267 53 0 0 25 0 11 0 477565425 860934144 25711 4294967295 134512640 134569956 3221224416 3221214832 1131403652 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 25711 13073 16 0 210173 0 vsize: 840756 [startup+370.019 s] Raw data (loadavg): 1.01 1.03 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 36254 53 0 0 25 0 11 0 477565425 860934144 25894 4294967295 134512640 134569956 3221224416 3221214416 1078032986 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 25894 13073 16 0 210173 0 vsize: 840756 [startup+380.02 s] Raw data (loadavg): 1.01 1.03 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 37242 53 0 0 25 0 11 0 477565425 860934144 26080 4294967295 134512640 134569956 3221224416 3221214848 1131336636 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 26080 13073 16 0 210173 0 vsize: 840756 [startup+390.02 s] Raw data (loadavg): 1.01 1.03 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 38236 53 0 0 25 0 11 0 477565425 860934144 26204 4294967295 134512640 134569956 3221224416 3221214848 1131336636 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 26204 13073 16 0 210173 0 vsize: 840756 [startup+400.02 s] Raw data (loadavg): 1.01 1.03 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 39224 53 0 0 25 0 11 0 477565425 860934144 26331 4294967295 134512640 134569956 3221224416 3221214848 1131336563 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 26331 13073 16 0 210173 0 vsize: 840756 [startup+410.021 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 40211 53 0 0 25 0 11 0 477565425 860934144 26414 4294967295 134512640 134569956 3221224416 3221214736 1131346655 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 26414 13073 16 0 210173 0 vsize: 840756 [startup+420.021 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 41199 54 0 0 25 0 11 0 477565425 860934144 26548 4294967295 134512640 134569956 3221224416 3221214848 1131336818 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 26548 13073 16 0 210173 0 vsize: 840756 [startup+430.022 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 42186 54 0 0 25 0 11 0 477565425 860934144 26642 4294967295 134512640 134569956 3221224416 3221214972 1131398307 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 26642 13073 16 0 210173 0 vsize: 840756 [startup+440.022 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 43173 54 0 0 25 0 11 0 477565425 860934144 26742 4294967295 134512640 134569956 3221224416 3221214736 1131347473 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 26742 13073 16 0 210173 0 vsize: 840756 [startup+450.022 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 44166 54 0 0 25 0 11 0 477565425 860934144 26832 4294967295 134512640 134569956 3221224416 3221214736 1131346642 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 26832 13073 16 0 210173 0 vsize: 840756 [startup+460.022 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 45152 55 0 0 25 0 11 0 477565425 860934144 26930 4294967295 134512640 134569956 3221224416 3221214672 1131464611 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 26930 13073 16 0 210173 0 vsize: 840756 [startup+470.023 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 46138 55 0 0 25 0 11 0 477565425 860934144 27016 4294967295 134512640 134569956 3221224416 3221214848 1131336640 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 27016 13073 16 0 210173 0 vsize: 840756 [startup+480.024 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 47124 55 0 0 25 0 11 0 477565425 860934144 27135 4294967295 134512640 134569956 3221224416 3221214848 1131336657 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 27135 13073 16 0 210173 0 vsize: 840756 [startup+490.025 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 48109 55 0 0 25 0 11 0 477565425 860934144 27189 4294967295 134512640 134569956 3221224416 3221214848 1131336636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 27189 13073 16 0 210173 0 vsize: 840756 [startup+500.025 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 49095 55 0 0 25 0 11 0 477565425 860934144 27371 4294967295 134512640 134569956 3221224416 3221214736 1131346662 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 27371 13073 16 0 210173 0 vsize: 840756 [startup+510.026 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 11196 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 50081 55 0 0 25 0 11 0 477565425 860934144 27480 4294967295 134512640 134569956 3221224416 3221214848 1131336807 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 27480 13073 16 0 210173 0 vsize: 840756 [startup+520.027 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 51067 56 0 0 25 0 11 0 477565425 860934144 27619 4294967295 134512640 134569956 3221224416 3221214848 1131336732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 27619 13073 16 0 210173 0 vsize: 840756 [startup+530.028 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 52053 56 0 0 25 0 11 0 477565425 860934144 27717 4294967295 134512640 134569956 3221224416 3221214820 1131455043 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 27717 13073 16 0 210173 0 vsize: 840756 [startup+540.028 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 53039 56 0 0 25 0 11 0 477565425 860934144 27824 4294967295 134512640 134569956 3221224416 3221214712 1131167833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 27824 13073 16 0 210173 0 vsize: 840756 [startup+550.027 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 54025 56 0 0 25 0 11 0 477565425 860934144 27939 4294967295 134512640 134569956 3221224416 3221214736 1131347557 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 27939 13073 16 0 210173 0 vsize: 840756 [startup+560.028 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 55010 56 0 0 25 0 11 0 477565425 860934144 28133 4294967295 134512640 134569956 3221224416 3221214696 1131541404 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 28133 13073 16 0 210173 0 vsize: 840756 [startup+570.029 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 55997 56 0 0 25 0 11 0 477565425 860934144 28243 4294967295 134512640 134569956 3221224416 3221214848 1131336807 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 28243 13073 16 0 210173 0 vsize: 840756 [startup+580.03 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 56984 56 0 0 25 0 11 0 477565425 860934144 28369 4294967295 134512640 134569956 3221224416 3221214736 1131346627 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 28369 13073 16 0 210173 0 vsize: 840756 [startup+590.03 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 57970 56 0 0 25 0 11 0 477565425 860934144 28470 4294967295 134512640 134569956 3221224416 3221214848 1131339914 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 28470 13073 16 0 210173 0 vsize: 840756 [startup+600.03 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) S 11130 10614 10613 0 -1 0 18088 0 1 0 58955 57 0 0 25 0 11 0 477565425 860934144 28574 4294967295 134512640 134569956 3221224416 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 28574 13073 16 0 210173 0 vsize: 840756 [startup+610.031 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 59936 57 0 0 25 0 11 0 477565425 860934144 28744 4294967295 134512640 134569956 3221224416 3221214736 1131346603 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 28744 13073 16 0 210173 0 vsize: 840756 [startup+620.031 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 60923 57 0 0 25 0 11 0 477565425 860934144 28840 4294967295 134512640 134569956 3221224416 3221214848 1131336655 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 28840 13073 16 0 210173 0 vsize: 840756 [startup+630.032 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 61910 57 0 0 25 0 11 0 477565425 860934144 28950 4294967295 134512640 134569956 3221224416 3221214848 1131336655 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 28950 13073 16 0 210173 0 vsize: 840756 [startup+640.033 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 62895 58 0 0 25 0 11 0 477565425 860934144 29049 4294967295 134512640 134569956 3221224416 3221214848 1131336644 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 29049 13073 16 0 210173 0 vsize: 840756 [startup+650.032 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 63873 58 0 0 24 0 11 0 477565425 860934144 29287 4294967295 134512640 134569956 3221224416 3221214696 1131541404 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 29287 13073 16 0 210173 0 vsize: 840756 [startup+660.033 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 64859 58 0 0 25 0 11 0 477565425 860934144 29417 4294967295 134512640 134569956 3221224416 3221214848 1131336555 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 29417 13073 16 0 210173 0 vsize: 840756 [startup+670.034 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 65846 59 0 0 25 0 11 0 477565425 860934144 29553 4294967295 134512640 134569956 3221224416 3221214792 1131373430 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 29553 13073 16 0 210173 0 vsize: 840756 [startup+680.035 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 66832 59 0 0 25 0 11 0 477565425 860934144 29650 4294967295 134512640 134569956 3221224416 3221214848 1131336644 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 29650 13073 16 0 210173 0 vsize: 840756 [startup+690.035 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 67818 59 0 0 25 0 11 0 477565425 860934144 29891 4294967295 134512640 134569956 3221224416 3221214792 1131373221 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 29891 13073 16 0 210173 0 vsize: 840756 [startup+700.036 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 68805 60 0 0 25 0 11 0 477565425 860934144 30051 4294967295 134512640 134569956 3221224416 3221214848 1131336807 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 30051 13073 16 0 210173 0 vsize: 840756 [startup+710.036 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 69791 60 0 0 25 0 11 0 477565425 860934144 30176 4294967295 134512640 134569956 3221224416 3221214848 1131336644 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 30176 13073 16 0 210173 0 vsize: 840756 [startup+720.037 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 70778 60 0 0 25 0 11 0 477565425 860934144 30315 4294967295 134512640 134569956 3221224416 3221214848 1131336555 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 30315 13073 16 0 210173 0 vsize: 840756 [startup+730.038 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 71758 60 0 0 25 0 11 0 477565425 860934144 30590 4294967295 134512640 134569956 3221224416 3221214792 1131376879 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 30590 13073 16 0 210173 0 vsize: 840756 [startup+740.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 72744 61 0 0 25 0 11 0 477565425 860934144 30685 4294967295 134512640 134569956 3221224416 3221214712 1131167833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 30685 13073 16 0 210173 0 vsize: 840756 [startup+750.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 73730 61 0 0 25 0 11 0 477565425 860934144 30904 4294967295 134512640 134569956 3221224416 3221214688 1131247675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 30904 13073 16 0 210173 0 vsize: 840756 [startup+760.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 74717 61 0 0 25 0 11 0 477565425 860934144 31058 4294967295 134512640 134569956 3221224416 3221214848 1131336827 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 31058 13073 16 0 210173 0 vsize: 840756 [startup+770.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 75697 61 0 0 25 0 11 0 477565425 860934144 31274 4294967295 134512640 134569956 3221224416 3221214688 1131248016 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 31274 13073 16 0 210173 0 vsize: 840756 [startup+780.042 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 76684 61 0 0 25 0 11 0 477565425 860934144 31423 4294967295 134512640 134569956 3221224416 3221214704 1131398979 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 31423 13073 16 0 210173 0 vsize: 840756 [startup+790.042 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 77671 62 0 0 25 0 11 0 477565425 860934144 31518 4294967295 134512640 134569956 3221224416 3221214696 1131541248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 31518 13073 16 0 210173 0 vsize: 840756 [startup+800.043 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 78657 62 0 0 25 0 11 0 477565425 860934144 31694 4294967295 134512640 134569956 3221224416 3221214688 1131240685 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 31694 13073 16 0 210173 0 vsize: 840756 [startup+810.044 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 79638 62 0 0 24 0 11 0 477565425 860934144 31846 4294967295 134512640 134569956 3221224416 3221214848 1131336555 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 31846 13073 16 0 210173 0 vsize: 840756 [startup+820.044 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 80624 62 0 0 25 0 11 0 477565425 860934144 32028 4294967295 134512640 134569956 3221224416 3221214848 1131336644 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 32028 13073 16 0 210173 0 vsize: 840756 [startup+830.046 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 81611 63 0 0 25 0 11 0 477565425 860934144 32139 4294967295 134512640 134569956 3221224416 3221214696 1131541260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 32139 13073 16 0 210173 0 vsize: 840756 [startup+840.046 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 82597 63 0 0 25 0 11 0 477565425 860934144 32279 4294967295 134512640 134569956 3221224416 3221214848 1131336648 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 32279 13073 16 0 210173 0 vsize: 840756 [startup+850.045 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 83584 63 0 0 25 0 11 0 477565425 860934144 32416 4294967295 134512640 134569956 3221224416 3221214848 1131336807 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 32416 13073 16 0 210173 0 vsize: 840756 [startup+860.046 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 84564 63 0 0 25 0 11 0 477565425 860934144 32621 4294967295 134512640 134569956 3221224416 3221214688 1131248055 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 32621 13073 16 0 210173 0 vsize: 840756 [startup+870.047 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 85550 63 0 0 25 0 11 0 477565425 860934144 32672 4294967295 134512640 134569956 3221224416 3221214736 1131347565 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 32672 13073 16 0 210173 0 vsize: 840756 [startup+880.047 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 86536 64 0 0 25 0 11 0 477565425 860934144 32800 4294967295 134512640 134569956 3221224416 3221214848 1131336640 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 32800 13073 16 0 210173 0 vsize: 840756 [startup+890.048 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 87516 64 0 0 25 0 11 0 477565425 860934144 32972 4294967295 134512640 134569956 3221224416 3221214736 1131346603 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 32972 13073 16 0 210173 0 vsize: 840756 [startup+900.049 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 88502 64 0 0 25 0 11 0 477565425 860934144 33074 4294967295 134512640 134569956 3221224416 3221214832 1131402296 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 33074 13073 16 0 210173 0 vsize: 840756 [startup+910.049 s] Raw data (loadavg): 1.08 1.02 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 89484 65 0 0 25 0 11 0 477565425 860934144 33148 4294967295 134512640 134569956 3221224416 3221214848 1131336705 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 33148 13073 16 0 210173 0 vsize: 840756 [startup+920.051 s] Raw data (loadavg): 1.07 1.02 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 90470 65 0 0 25 0 11 0 477565425 860934144 33269 4294967295 134512640 134569956 3221224416 3221214848 1131336644 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 33269 13073 16 0 210173 0 vsize: 840756 [startup+930.052 s] Raw data (loadavg): 1.06 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 91456 65 0 0 25 0 11 0 477565425 860934144 33319 4294967295 134512640 134569956 3221224416 3221214828 1131341202 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 33319 13073 16 0 210173 0 vsize: 840756 [startup+940.053 s] Raw data (loadavg): 1.05 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 92442 66 0 0 25 0 11 0 477565425 860934144 33385 4294967295 134512640 134569956 3221224416 3221214744 1131247873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 33385 13073 16 0 210173 0 vsize: 840756 [startup+950.052 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 93427 66 0 0 25 0 11 0 477565425 860934144 33478 4294967295 134512640 134569956 3221224416 3221214848 1131336657 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 33478 13073 16 0 210173 0 vsize: 840756 [startup+960.053 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 94413 67 0 0 25 0 11 0 477565425 860934144 33538 4294967295 134512640 134569956 3221224416 3221214848 1131336814 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 33538 13073 16 0 210173 0 vsize: 840756 [startup+970.054 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 95399 67 0 0 25 0 11 0 477565425 860934144 33610 4294967295 134512640 134569956 3221224416 3221214848 1131336865 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 33610 13073 16 0 210173 0 vsize: 840756 [startup+980.055 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 96385 67 0 0 25 0 11 0 477565425 860934144 33665 4294967295 134512640 134569956 3221224416 3221214792 1131373332 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 33665 13073 16 0 210173 0 vsize: 840756 [startup+990.055 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 97370 67 0 0 25 0 11 0 477565425 860934144 33738 4294967295 134512640 134569956 3221224416 3221214736 1131346631 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 33738 13073 16 0 210173 0 vsize: 840756 [startup+1000.05 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 98362 68 0 0 25 0 11 0 477565425 860934144 33821 4294967295 134512640 134569956 3221224416 3221214848 1131336636 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 33821 13073 16 0 210173 0 vsize: 840756 [startup+1010.06 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 99347 68 0 0 25 0 11 0 477565425 860934144 33867 4294967295 134512640 134569956 3221224416 3221214848 1131336814 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 33867 13073 16 0 210173 0 vsize: 840756 [startup+1020.06 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 100332 68 0 0 25 0 11 0 477565425 860934144 33976 4294967295 134512640 134569956 3221224416 3221214848 1131336640 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 33976 13073 16 0 210173 0 vsize: 840756 [startup+1030.06 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 101317 68 0 0 25 0 11 0 477565425 860934144 34061 4294967295 134512640 134569956 3221224416 3221214688 1131248055 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 34061 13073 16 0 210173 0 vsize: 840756 [startup+1040.06 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 102309 68 0 0 25 0 11 0 477565425 860934144 34091 4294967295 134512640 134569956 3221224416 3221214792 1131372219 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 34091 13073 16 0 210173 0 vsize: 840756 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 103293 69 0 0 25 0 11 0 477565425 860934144 34165 4294967295 134512640 134569956 3221224416 3221214896 1131477733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 34165 13073 16 0 210173 0 vsize: 840756 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 104278 69 0 0 25 0 11 0 477565425 860934144 34276 4294967295 134512640 134569956 3221224416 3221214792 1131371931 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 34276 13073 16 0 210173 0 vsize: 840756 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 105263 69 0 0 25 0 11 0 477565425 860934144 34349 4294967295 134512640 134569956 3221224416 3221214688 1131247657 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 34349 13073 16 0 210173 0 vsize: 840756 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 106248 70 0 0 25 0 11 0 477565425 860934144 34445 4294967295 134512640 134569956 3221224416 3221214848 1131336563 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 34445 13073 16 0 210173 0 vsize: 840756 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 107241 70 0 0 25 0 11 0 477565425 860934144 34480 4294967295 134512640 134569956 3221224416 3221214696 1131541260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 34480 13073 16 0 210173 0 vsize: 840756 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 108225 70 0 0 25 0 11 0 477565425 860934144 34558 4294967295 134512640 134569956 3221224416 3221214328 1131580320 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 34558 13073 16 0 210173 0 vsize: 840756 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 109210 70 0 0 25 0 11 0 477565425 860934144 34656 4294967295 134512640 134569956 3221224416 3221214736 1131347475 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 34656 13073 16 0 210173 0 vsize: 840756 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 110195 71 0 0 25 0 11 0 477565425 860934144 34755 4294967295 134512640 134569956 3221224416 3221214848 1131336348 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 34755 13073 16 0 210173 0 vsize: 840756 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 111180 71 0 0 25 0 11 0 477565425 860934144 34794 4294967295 134512640 134569956 3221224416 3221214688 1131247724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 34794 13073 16 0 210173 0 vsize: 840756 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 112165 71 0 0 25 0 11 0 477565425 860934144 34861 4294967295 134512640 134569956 3221224416 3221214736 1131346652 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 34861 13073 16 0 210173 0 vsize: 840756 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 113150 71 0 0 25 0 11 0 477565425 860934144 34961 4294967295 134512640 134569956 3221224416 3221214736 1131347565 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 34961 13073 16 0 210173 0 vsize: 840756 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 114135 71 0 0 25 0 11 0 477565425 860934144 35048 4294967295 134512640 134569956 3221224416 3221214848 1131336640 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 35048 13073 16 0 210173 0 vsize: 840756 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 115119 72 0 0 25 0 11 0 477565425 860934144 35125 4294967295 134512640 134569956 3221224416 3221214848 1131336644 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 35125 13073 16 0 210173 0 vsize: 840756 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 116104 72 0 0 24 0 11 0 477565425 860934144 35209 4294967295 134512640 134569956 3221224416 3221214848 1131336644 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 35209 13073 16 0 210173 0 vsize: 840756 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 117096 72 0 0 25 0 11 0 477565425 860934144 35258 4294967295 134512640 134569956 3221224416 3221214848 1131336644 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 35258 13073 16 0 210173 0 vsize: 840756 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 118081 73 0 0 25 0 11 0 477565425 860934144 35339 4294967295 134512640 134569956 3221224416 3221214848 1131336825 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210189 35339 13073 16 0 210173 0 vsize: 840756 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 119066 73 0 0 25 0 11 0 477565425 860934144 35408 4294967295 134512640 134569956 3221224416 3221214736 1131347473 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 35408 13073 16 0 210173 0 vsize: 840756 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 11198 Raw data (stat): 11131 (java) R 11130 10614 10613 0 -1 0 18088 0 1 0 120051 73 0 0 25 0 11 0 477565425 860934144 35527 4294967295 134512640 134569956 3221224416 3221214820 1131455489 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210189 35527 13073 16 0 210173 0 vsize: 840756 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.17 s] Raw data (loadavg): 1.00 1.00 0.96 1/54 11200 Raw data (stat): 11131 (java) Z 11130 10614 10613 0 -1 1036 18088 15303 1 0 120054 73 1571 33 25 0 1 0 477565425 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1220.17 CPU time (s): 1217.33 CPU user time (s): 1216.26 CPU system time (s): 1.06984 CPU usage (%): 99.7675 Max. virtual memory (Kb): 843760 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####