Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb |
MD5SUM | 022f43a9cfc62e9c9c77f51c14f8e5bf |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 36 |
Number of bits of the biggest sum of numbers | 6 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.88771 |
Number of variables | 1838 |
Total number of constraints | 1330 |
Number of constraints which are clauses | 1260 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 35 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc22 THE 2005-04-13 15:53:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=459 boxname=wulflinc22 idbench=51 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 022f43a9cfc62e9c9c77f51c14f8e5bf /oldhome/oroussel/tmp/wulflinc22/normalized-fpga35_35_sat_pb.cnf.cr.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc22/normalized-fpga35_35_sat_pb.cnf.cr.opb IDLAUNCH: 459 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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: 881328 kB Buffers: 25792 kB Cached: 84252 kB SwapCached: 524 kB Active: 25724 kB Inactive: 87660 kB HighTotal: 131008 kB HighFree: 42616 kB LowTotal: 903652 kB LowFree: 838712 kB SwapTotal: 2097892 kB SwapFree: 2097368 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6924 kB Slab: 34320 kB Committed_AS: 63488 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 16:14:35 (client local time) WITH STATUS 143 IN SECONDS stats: 459 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc22/normalized-fpga35_35_sat_pb.cnf.cr.opb c reading problem c [nbvar=1838] c [nbconstr=1330] c time 4.021 c #vars 1838 c #clauses 1330 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.96 0.31 0.10 2/54 26444 Raw data (stat): 26444 (runsolver) R 26443 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477180611 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0006 s] Raw data (loadavg): 1.13 0.36 0.12 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18144 0 1 0 691 46 0 0 25 0 11 0 477180611 865611776 22003 4294967295 134512640 134569956 3221224400 3221214848 1131292192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211331 22003 13073 16 0 211315 0 vsize: 845324 [startup+20.0017 s] Raw data (loadavg): 1.19 0.40 0.14 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18145 0 1 0 1618 46 0 0 25 0 11 0 477180611 866852864 23109 4294967295 134512640 134569956 3221224400 3221214800 1131411460 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211634 23109 13073 16 0 211618 0 vsize: 846536 [startup+30.0024 s] Raw data (loadavg): 1.16 0.42 0.15 2/64 26454 Raw data (stat): 26444 (java) S 26443 26298 26297 0 -1 0 18146 0 1 0 2533 46 0 0 25 0 11 0 477180611 865640448 23160 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211338 23160 13073 16 0 211322 0 vsize: 845352 [startup+40.0026 s] Raw data (loadavg): 1.13 0.44 0.16 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 3451 46 0 0 25 0 11 0 477180611 865312768 23405 4294967295 134512640 134569956 3221224400 3221214592 1131301779 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 23405 13073 16 0 211242 0 vsize: 845032 [startup+50.0037 s] Raw data (loadavg): 1.11 0.45 0.16 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 4371 46 0 0 25 0 11 0 477180611 865312768 23658 4294967295 134512640 134569956 3221224400 3221214656 1131220241 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 23658 13073 16 0 211242 0 vsize: 845032 [startup+60.0047 s] Raw data (loadavg): 1.10 0.47 0.17 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 5305 46 0 0 25 0 11 0 477180611 865312768 23959 4294967295 134512640 134569956 3221224400 3221214704 1131391242 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 23959 13073 16 0 211242 0 vsize: 845032 [startup+70.0047 s] Raw data (loadavg): 1.08 0.49 0.18 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 6268 47 0 0 25 0 11 0 477180611 865312768 24206 4294967295 134512640 134569956 3221224400 3221214800 1131410765 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 24206 13073 16 0 211242 0 vsize: 845032 [startup+80.0058 s] Raw data (loadavg): 1.07 0.50 0.19 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 7228 47 0 0 25 0 11 0 477180611 865312768 24315 4294967295 134512640 134569956 3221224400 3221214712 1131295987 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 24315 13073 16 0 211242 0 vsize: 845032 [startup+90.0065 s] Raw data (loadavg): 1.06 0.52 0.20 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 8161 47 0 0 25 0 11 0 477180611 865312768 24356 4294967295 134512640 134569956 3221224400 3221214712 1131296102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 24356 13073 16 0 211242 0 vsize: 845032 [startup+100.007 s] Raw data (loadavg): 1.05 0.54 0.21 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 9065 48 0 0 25 0 11 0 477180611 865312768 24414 4294967295 134512640 134569956 3221224400 3221214736 1131384997 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 24414 13073 16 0 211242 0 vsize: 845032 [startup+110.008 s] Raw data (loadavg): 1.04 0.55 0.21 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 9975 48 0 0 25 0 11 0 477180611 865312768 24695 4294967295 134512640 134569956 3221224400 3221214796 1080203664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 24695 13073 16 0 211242 0 vsize: 845032 [startup+120.009 s] Raw data (loadavg): 1.03 0.57 0.22 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 10901 48 0 0 25 0 11 0 477180611 865312768 25124 4294967295 134512640 134569956 3221224400 3221214680 1131278825 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 25124 13073 16 0 211242 0 vsize: 845032 [startup+130.009 s] Raw data (loadavg): 1.03 0.58 0.23 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 11856 49 0 0 25 0 11 0 477180611 865312768 25332 4294967295 134512640 134569956 3221224400 3221214704 1131393415 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 25332 13073 16 0 211242 0 vsize: 845032 [startup+140.01 s] Raw data (loadavg): 1.02 0.59 0.24 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 12793 49 0 0 25 0 11 0 477180611 865312768 25411 4294967295 134512640 134569956 3221224400 3221214704 1131393479 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 25411 13073 16 0 211242 0 vsize: 845032 [startup+150.01 s] Raw data (loadavg): 1.02 0.61 0.24 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 13706 50 0 0 25 0 11 0 477180611 865312768 25512 4294967295 134512640 134569956 3221224400 3221214680 1131278446 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 25512 13073 16 0 211242 0 vsize: 845032 [startup+160.011 s] Raw data (loadavg): 1.02 0.62 0.25 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 14613 50 0 0 25 0 11 0 477180611 865312768 25735 4294967295 134512640 134569956 3221224400 3221214528 1131361089 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 25735 13073 16 0 211242 0 vsize: 845032 [startup+170.011 s] Raw data (loadavg): 1.01 0.63 0.26 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 15556 50 0 0 25 0 11 0 477180611 865312768 26040 4294967295 134512640 134569956 3221224400 3221214800 1131411508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 26040 13073 16 0 211242 0 vsize: 845032 [startup+180.012 s] Raw data (loadavg): 1.01 0.64 0.27 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 16461 50 0 0 25 0 11 0 477180611 865312768 26340 4294967295 134512640 134569956 3221224400 3221214704 1131392450 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 26340 13073 16 0 211242 0 vsize: 845032 [startup+190.012 s] Raw data (loadavg): 1.01 0.65 0.28 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 17363 50 0 0 25 0 11 0 477180611 865312768 26520 4294967295 134512640 134569956 3221224400 3221214624 1131469216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 26520 13073 16 0 211242 0 vsize: 845032 [startup+200.012 s] Raw data (loadavg): 1.01 0.66 0.28 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 18283 51 0 0 25 0 11 0 477180611 865312768 26917 4294967295 134512640 134569956 3221224400 3221214840 1131292623 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 26917 13073 16 0 211242 0 vsize: 845032 [startup+210.012 s] Raw data (loadavg): 1.00 0.67 0.29 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 19224 51 0 0 25 0 11 0 477180611 865312768 27227 4294967295 134512640 134569956 3221224400 3221214800 1131410719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 27227 13073 16 0 211242 0 vsize: 845032 [startup+220.013 s] Raw data (loadavg): 1.00 0.68 0.30 2/64 26454 Raw data (stat): 26444 (java) S 26443 26298 26297 0 -1 0 18147 0 1 0 20165 51 0 0 25 0 11 0 477180611 865312768 27307 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 27307 13073 16 0 211242 0 vsize: 845032 [startup+230.013 s] Raw data (loadavg): 1.00 0.69 0.30 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 21075 51 0 0 25 0 11 0 477180611 865312768 27520 4294967295 134512640 134569956 3221224400 3221214840 1131292471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 27520 13073 16 0 211242 0 vsize: 845032 [startup+240.014 s] Raw data (loadavg): 1.00 0.70 0.31 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 21994 52 0 0 25 0 11 0 477180611 865312768 27971 4294967295 134512640 134569956 3221224400 3221214680 1131278868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 27971 13073 16 0 211242 0 vsize: 845032 [startup+250.014 s] Raw data (loadavg): 1.00 0.71 0.32 3/64 26454 Raw data (stat): 26444 (java) S 26443 26298 26297 0 -1 0 18147 0 1 0 22934 52 0 0 25 0 11 0 477180611 865312768 28238 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 28238 13073 16 0 211242 0 vsize: 845032 [startup+260.015 s] Raw data (loadavg): 1.00 0.72 0.32 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 23899 52 0 0 25 0 11 0 477180611 865312768 28370 4294967295 134512640 134569956 3221224400 3221214624 1131485075 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 28370 13073 16 0 211242 0 vsize: 845032 [startup+270.015 s] Raw data (loadavg): 1.00 0.73 0.33 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 24851 52 0 0 24 0 11 0 477180611 865312768 28481 4294967295 134512640 134569956 3221224400 3221214776 1131335765 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 28481 13073 16 0 211242 0 vsize: 845032 [startup+280.015 s] Raw data (loadavg): 1.00 0.74 0.34 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 25765 53 0 0 25 0 11 0 477180611 865312768 28676 4294967295 134512640 134569956 3221224400 3221214776 1131337712 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 28676 13073 16 0 211242 0 vsize: 845032 [startup+290.016 s] Raw data (loadavg): 1.00 0.75 0.34 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 26676 53 0 0 25 0 11 0 477180611 865312768 28925 4294967295 134512640 134569956 3221224400 3221214680 1131279219 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 28925 13073 16 0 211242 0 vsize: 845032 [startup+300.017 s] Raw data (loadavg): 1.00 0.75 0.35 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 27591 53 0 0 24 0 11 0 477180611 865312768 29321 4294967295 134512640 134569956 3221224400 3221214840 1131541201 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 29321 13073 16 0 211242 0 vsize: 845032 [startup+310.017 s] Raw data (loadavg): 1.00 0.76 0.36 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18147 0 1 0 28546 54 0 0 25 0 11 0 477180611 865312768 29393 4294967295 134512640 134569956 3221224400 3221214704 1131391815 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 29393 13073 16 0 211242 0 vsize: 845032 [startup+320.018 s] Raw data (loadavg): 1.00 0.77 0.36 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 29477 54 0 0 25 0 11 0 477180611 865312768 29551 4294967295 134512640 134569956 3221224400 3221214656 1131332653 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 29551 13073 16 0 211242 0 vsize: 845032 [startup+330.017 s] Raw data (loadavg): 1.00 0.78 0.37 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 30421 54 0 0 25 0 11 0 477180611 865312768 29661 4294967295 134512640 134569956 3221224400 3221214680 1131501687 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 29661 13073 16 0 211242 0 vsize: 845032 [startup+340.018 s] Raw data (loadavg): 1.00 0.78 0.38 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 31379 55 0 0 25 0 11 0 477180611 865312768 29798 4294967295 134512640 134569956 3221224400 3221214680 1131500003 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 29798 13073 16 0 211242 0 vsize: 845032 [startup+350.019 s] Raw data (loadavg): 1.00 0.79 0.38 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 32337 55 0 0 25 0 11 0 477180611 865312768 29941 4294967295 134512640 134569956 3221224400 3221214680 1131500081 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 29941 13073 16 0 211242 0 vsize: 845032 [startup+360.02 s] Raw data (loadavg): 1.00 0.80 0.39 2/64 26454 Raw data (stat): 26444 (java) S 26443 26298 26297 0 -1 0 18148 0 1 0 33305 55 0 0 25 0 11 0 477180611 865312768 30104 4294967295 134512640 134569956 3221224400 3221213344 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 30104 13073 16 0 211242 0 vsize: 845032 [startup+370.02 s] Raw data (loadavg): 1.00 0.80 0.39 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 34280 55 0 0 25 0 11 0 477180611 865312768 30328 4294967295 134512640 134569956 3221224400 3221214680 1131278309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 30328 13073 16 0 211242 0 vsize: 845032 [startup+380.02 s] Raw data (loadavg): 1.00 0.81 0.40 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 35250 55 0 0 25 0 11 0 477180611 865312768 30383 4294967295 134512640 134569956 3221224400 3221214568 1131622244 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 30383 13073 16 0 211242 0 vsize: 845032 [startup+390.021 s] Raw data (loadavg): 1.00 0.81 0.41 2/64 26454 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 36222 56 0 0 25 0 11 0 477180611 865312768 30449 4294967295 134512640 134569956 3221224400 3221214124 1131511120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 30449 13073 16 0 211242 0 vsize: 845032 [startup+400.02 s] Raw data (loadavg): 1.07 0.84 0.42 2/64 26507 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 37173 66 0 0 25 0 11 0 477180611 865312768 30502 4294967295 134512640 134569956 3221224400 3221214800 1131412495 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 30502 13073 16 0 211242 0 vsize: 845032 [startup+410.02 s] Raw data (loadavg): 1.06 0.84 0.42 2/64 26507 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 38133 66 0 0 25 0 11 0 477180611 865312768 30546 4294967295 134512640 134569956 3221224400 3221214600 1131526485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 30546 13073 16 0 211242 0 vsize: 845032 [startup+420.021 s] Raw data (loadavg): 1.05 0.85 0.43 2/64 26507 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 39075 66 0 0 25 0 11 0 477180611 865312768 30679 4294967295 134512640 134569956 3221224400 3221214656 1131332657 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 30679 13073 16 0 211242 0 vsize: 845032 [startup+430.02 s] Raw data (loadavg): 1.04 0.85 0.43 2/64 26507 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 40014 66 0 0 25 0 11 0 477180611 865312768 30929 4294967295 134512640 134569956 3221224400 3221214680 1131500026 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 30929 13073 16 0 211242 0 vsize: 845032 [startup+440.021 s] Raw data (loadavg): 1.04 0.86 0.44 2/64 26507 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 40965 66 0 0 25 0 11 0 477180611 865312768 31058 4294967295 134512640 134569956 3221224400 3221214568 1131622973 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 31058 13073 16 0 211242 0 vsize: 845032 [startup+450.022 s] Raw data (loadavg): 1.03 0.86 0.45 2/64 26507 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 41913 66 0 0 25 0 11 0 477180611 865312768 31130 4294967295 134512640 134569956 3221224400 3221213956 1085632316 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 31130 13073 16 0 211242 0 vsize: 845032 [startup+460.021 s] Raw data (loadavg): 1.02 0.86 0.45 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 42851 66 0 0 25 0 11 0 477180611 865312768 31250 4294967295 134512640 134569956 3221224400 3221214840 1131292486 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 31250 13073 16 0 211242 0 vsize: 845032 [startup+470.021 s] Raw data (loadavg): 1.02 0.87 0.46 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 43805 66 0 0 25 0 11 0 477180611 865312768 31480 4294967295 134512640 134569956 3221224400 3221214680 1131500041 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 31480 13073 16 0 211242 0 vsize: 845032 [startup+480.021 s] Raw data (loadavg): 1.02 0.87 0.46 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 44749 66 0 0 25 0 11 0 477180611 865312768 31759 4294967295 134512640 134569956 3221224400 3221214776 1131335669 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 31759 13073 16 0 211242 0 vsize: 845032 [startup+490.021 s] Raw data (loadavg): 1.01 0.88 0.47 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 45707 66 0 0 25 0 11 0 477180611 865312768 31880 4294967295 134512640 134569956 3221224400 3221214680 1131501679 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 31880 13073 16 0 211242 0 vsize: 845032 [startup+500.021 s] Raw data (loadavg): 1.01 0.88 0.47 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 46655 66 0 0 25 0 11 0 477180611 865312768 31968 4294967295 134512640 134569956 3221224400 3221214400 1085679313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 31968 13073 16 0 211242 0 vsize: 845032 [startup+510.021 s] Raw data (loadavg): 1.01 0.88 0.48 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 47601 66 0 0 25 0 11 0 477180611 865312768 32098 4294967295 134512640 134569956 3221224400 3221214800 1131416256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 32098 13073 16 0 211242 0 vsize: 845032 [startup+520.021 s] Raw data (loadavg): 1.01 0.89 0.48 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 48549 66 0 0 25 0 11 0 477180611 865312768 32255 4294967295 134512640 134569956 3221224400 3221214680 1131501799 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 32255 13073 16 0 211242 0 vsize: 845032 [startup+530.021 s] Raw data (loadavg): 1.01 0.89 0.49 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 49501 66 0 0 25 0 11 0 477180611 865312768 32352 4294967295 134512640 134569956 3221224400 3221214576 1131462563 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 32352 13073 16 0 211242 0 vsize: 845032 [startup+540.022 s] Raw data (loadavg): 1.00 0.89 0.49 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 50454 66 0 0 25 0 11 0 477180611 865312768 32578 4294967295 134512640 134569956 3221224400 3221214576 1131462696 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 32578 13073 16 0 211242 0 vsize: 845032 [startup+550.022 s] Raw data (loadavg): 1.00 0.89 0.50 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 51416 66 0 0 25 0 11 0 477180611 865312768 32775 4294967295 134512640 134569956 3221224400 3221214680 1131499996 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 32775 13073 16 0 211242 0 vsize: 845032 [startup+560.022 s] Raw data (loadavg): 1.00 0.90 0.50 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 52379 66 0 0 25 0 11 0 477180611 865312768 32852 4294967295 134512640 134569956 3221224400 3221214680 1131501676 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 32852 13073 16 0 211242 0 vsize: 845032 [startup+570.022 s] Raw data (loadavg): 1.00 0.90 0.51 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 53333 66 0 0 25 0 11 0 477180611 865312768 33023 4294967295 134512640 134569956 3221224400 3221214740 1080203719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 33023 13073 16 0 211242 0 vsize: 845032 [startup+580.021 s] Raw data (loadavg): 1.00 0.90 0.51 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 54299 66 0 0 25 0 11 0 477180611 865312768 33136 4294967295 134512640 134569956 3221224400 3221214568 1131621422 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 33136 13073 16 0 211242 0 vsize: 845032 [startup+590.022 s] Raw data (loadavg): 1.00 0.91 0.52 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 55255 66 0 0 25 0 11 0 477180611 865312768 33223 4294967295 134512640 134569956 3221224400 3221214680 1131278485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 33223 13073 16 0 211242 0 vsize: 845032 [startup+600.022 s] Raw data (loadavg): 1.00 0.91 0.52 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 56219 67 0 0 25 0 11 0 477180611 865312768 33344 4294967295 134512640 134569956 3221224400 3221214728 1131326445 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 33344 13073 16 0 211242 0 vsize: 845032 [startup+610.021 s] Raw data (loadavg): 1.00 0.91 0.53 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 57181 67 0 0 24 0 11 0 477180611 865312768 33443 4294967295 134512640 134569956 3221224400 3221214704 1131391684 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 33443 13073 16 0 211242 0 vsize: 845032 [startup+620.021 s] Raw data (loadavg): 1.00 0.91 0.53 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 58138 67 0 0 25 0 11 0 477180611 865312768 33518 4294967295 134512640 134569956 3221224400 3221214776 1131336536 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 33518 13073 16 0 211242 0 vsize: 845032 [startup+630.021 s] Raw data (loadavg): 1.00 0.92 0.54 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 59092 67 0 0 25 0 11 0 477180611 865312768 33655 4294967295 134512640 134569956 3221224400 3221214680 1131278759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 33655 13073 16 0 211242 0 vsize: 845032 [startup+640.022 s] Raw data (loadavg): 1.00 0.92 0.54 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 60046 67 0 0 25 0 11 0 477180611 865312768 33734 4294967295 134512640 134569956 3221224400 3221214776 1131336595 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 33734 13073 16 0 211242 0 vsize: 845032 [startup+650.021 s] Raw data (loadavg): 1.00 0.92 0.55 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 61013 67 0 0 25 0 11 0 477180611 865312768 33835 4294967295 134512640 134569956 3221224400 3221214008 1131640984 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 33835 13073 16 0 211242 0 vsize: 845032 [startup+660.021 s] Raw data (loadavg): 1.00 0.92 0.55 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 61982 67 0 0 25 0 11 0 477180611 865312768 33915 4294967295 134512640 134569956 3221224400 3221214484 1131511120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 33915 13073 16 0 211242 0 vsize: 845032 [startup+670.022 s] Raw data (loadavg): 1.00 0.92 0.55 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 62953 67 0 0 25 0 11 0 477180611 865312768 33951 4294967295 134512640 134569956 3221224400 3221214096 1131511121 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 33951 13073 16 0 211242 0 vsize: 845032 [startup+680.021 s] Raw data (loadavg): 1.00 0.93 0.56 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 63926 67 0 0 25 0 11 0 477180611 865312768 34130 4294967295 134512640 134569956 3221224400 3221214680 1131500067 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 34130 13073 16 0 211242 0 vsize: 845032 [startup+690.022 s] Raw data (loadavg): 1.00 0.93 0.56 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 64901 67 0 0 25 0 11 0 477180611 865312768 34280 4294967295 134512640 134569956 3221224400 3221214568 1131621217 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 34280 13073 16 0 211242 0 vsize: 845032 [startup+700.023 s] Raw data (loadavg): 1.00 0.93 0.57 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 65876 67 0 0 25 0 11 0 477180611 865312768 34435 4294967295 134512640 134569956 3221224400 3221214572 1131466739 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 34435 13073 16 0 211242 0 vsize: 845032 [startup+710.022 s] Raw data (loadavg): 1.00 0.93 0.57 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 66853 67 0 0 25 0 11 0 477180611 865312768 34520 4294967295 134512640 134569956 3221224400 3221214800 1131412079 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 34520 13073 16 0 211242 0 vsize: 845032 [startup+720.023 s] Raw data (loadavg): 1.00 0.93 0.57 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 67833 67 0 0 25 0 11 0 477180611 865312768 34561 4294967295 134512640 134569956 3221224400 3221214680 1131501781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 34561 13073 16 0 211242 0 vsize: 845032 [startup+730.023 s] Raw data (loadavg): 1.00 0.94 0.58 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 68811 67 0 0 25 0 11 0 477180611 865312768 34593 4294967295 134512640 134569956 3221224400 3221214736 1131385012 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 34593 13073 16 0 211242 0 vsize: 845032 [startup+740.023 s] Raw data (loadavg): 1.00 0.94 0.58 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 69791 67 0 0 25 0 11 0 477180611 865312768 34680 4294967295 134512640 134569956 3221224400 3221214704 1131391381 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 34680 13073 16 0 211242 0 vsize: 845032 [startup+750.023 s] Raw data (loadavg): 1.00 0.94 0.58 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 70777 67 0 0 25 0 11 0 477180611 865312768 34726 4294967295 134512640 134569956 3221224400 3221214528 1131361414 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 34726 13073 16 0 211242 0 vsize: 845032 [startup+760.023 s] Raw data (loadavg): 1.00 0.94 0.59 2/64 26509 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 71759 67 0 0 25 0 11 0 477180611 865312768 34760 4294967295 134512640 134569956 3221224400 3221214704 1131391289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 34760 13073 16 0 211242 0 vsize: 845032 [startup+770.024 s] Raw data (loadavg): 1.00 0.94 0.59 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 72740 67 0 0 25 0 11 0 477180611 865312768 34789 4294967295 134512640 134569956 3221224400 3221214296 1131637758 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 34789 13073 16 0 211242 0 vsize: 845032 [startup+780.024 s] Raw data (loadavg): 1.00 0.94 0.60 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 73722 67 0 0 25 0 11 0 477180611 865312768 34846 4294967295 134512640 134569956 3221224400 3221214680 1131501735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 34846 13073 16 0 211242 0 vsize: 845032 [startup+790.024 s] Raw data (loadavg): 1.00 0.94 0.60 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 74706 67 0 0 25 0 11 0 477180611 865312768 34871 4294967295 134512640 134569956 3221224400 3221214388 1085679264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 34871 13073 16 0 211242 0 vsize: 845032 [startup+800.024 s] Raw data (loadavg): 1.00 0.95 0.60 3/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 75686 67 0 0 25 0 11 0 477180611 865312768 34908 4294967295 134512640 134569956 3221224400 3221214776 1131337626 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 34908 13073 16 0 211242 0 vsize: 845032 [startup+810.024 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 76659 67 0 0 25 0 11 0 477180611 865312768 34960 4294967295 134512640 134569956 3221224400 3221214072 1131511096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 34960 13073 16 0 211242 0 vsize: 845032 [startup+820.024 s] Raw data (loadavg): 1.00 0.95 0.61 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 77624 67 0 0 25 0 11 0 477180611 865312768 35027 4294967295 134512640 134569956 3221224400 3221214528 1131621214 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 35027 13073 16 0 211242 0 vsize: 845032 [startup+830.023 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 78599 67 0 0 25 0 11 0 477180611 865312768 35063 4294967295 134512640 134569956 3221224400 3221214536 1131462851 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 35063 13073 16 0 211242 0 vsize: 845032 [startup+840.024 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 79571 67 0 0 25 0 11 0 477180611 865312768 35109 4294967295 134512640 134569956 3221224400 3221214596 1131511120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 35109 13073 16 0 211242 0 vsize: 845032 [startup+850.024 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 80557 67 0 0 25 0 11 0 477180611 865312768 35129 4294967295 134512640 134569956 3221224400 3221214600 1131510969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 35129 13073 16 0 211242 0 vsize: 845032 [startup+860.024 s] Raw data (loadavg): 1.00 0.95 0.63 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 81532 67 0 0 25 0 11 0 477180611 865312768 35177 4294967295 134512640 134569956 3221224400 3221214648 1131498730 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 35177 13073 16 0 211242 0 vsize: 845032 [startup+870.024 s] Raw data (loadavg): 1.00 0.95 0.63 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 82516 68 0 0 25 0 11 0 477180611 865312768 35245 4294967295 134512640 134569956 3221224400 3221214720 1131336871 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 35245 13073 16 0 211242 0 vsize: 845032 [startup+880.024 s] Raw data (loadavg): 1.00 0.95 0.64 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 83492 68 0 0 25 0 11 0 477180611 865312768 35318 4294967295 134512640 134569956 3221224400 3221214176 1085679379 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 35318 13073 16 0 211242 0 vsize: 845032 [startup+890.025 s] Raw data (loadavg): 1.00 0.95 0.64 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 84476 68 0 0 25 0 11 0 477180611 865312768 35358 4294967295 134512640 134569956 3221224400 3221214640 1131501679 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 35358 13073 16 0 211242 0 vsize: 845032 [startup+900.025 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 85443 68 0 0 25 0 11 0 477180611 865312768 35443 4294967295 134512640 134569956 3221224400 3221214528 1131622170 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 35443 13073 16 0 211242 0 vsize: 845032 [startup+910.024 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 86408 68 0 0 25 0 11 0 477180611 865312768 35498 4294967295 134512640 134569956 3221224400 3221214640 1131501679 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 35498 13073 16 0 211242 0 vsize: 845032 [startup+920.024 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 87369 68 0 0 25 0 11 0 477180611 865312768 35566 4294967295 134512640 134569956 3221224400 3221214528 1131621318 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 35566 13073 16 0 211242 0 vsize: 845032 [startup+930.023 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 88329 68 0 0 25 0 11 0 477180611 865312768 35651 4294967295 134512640 134569956 3221224400 3221214616 1131332641 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 35651 13073 16 0 211242 0 vsize: 845032 [startup+940.024 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 89288 68 0 0 25 0 11 0 477180611 865312768 35758 4294967295 134512640 134569956 3221224400 3221214616 1131326385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 35758 13073 16 0 211242 0 vsize: 845032 [startup+950.024 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 90244 68 0 0 25 0 11 0 477180611 865312768 35870 4294967295 134512640 134569956 3221224400 3221214528 1131622269 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 35870 13073 16 0 211242 0 vsize: 845032 [startup+960.024 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 91203 68 0 0 25 0 11 0 477180611 865312768 36019 4294967295 134512640 134569956 3221224400 3221214640 1131501792 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 36019 13073 16 0 211242 0 vsize: 845032 [startup+970.024 s] Raw data (loadavg): 1.00 0.96 0.66 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 92162 68 0 0 25 0 11 0 477180611 865312768 36139 4294967295 134512640 134569956 3221224400 3221214632 1131363048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 36139 13073 16 0 211242 0 vsize: 845032 [startup+980.024 s] Raw data (loadavg): 1.00 0.96 0.67 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 93120 68 0 0 25 0 11 0 477180611 865312768 36265 4294967295 134512640 134569956 3221224400 3221214640 1131501679 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 36265 13073 16 0 211242 0 vsize: 845032 [startup+990.024 s] Raw data (loadavg): 1.00 0.96 0.67 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 94067 68 0 0 25 0 11 0 477180611 865312768 36440 4294967295 134512640 134569956 3221224400 3221214560 1131620896 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 36440 13073 16 0 211242 0 vsize: 845032 [startup+1000.02 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 95025 68 0 0 25 0 11 0 477180611 865312768 36535 4294967295 134512640 134569956 3221224400 3221214672 1131501792 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 36535 13073 16 0 211242 0 vsize: 845032 [startup+1010.02 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 95974 68 0 0 25 0 11 0 477180611 865312768 36643 4294967295 134512640 134569956 3221224400 3221214072 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211258 36643 13073 16 0 211242 0 vsize: 845032 [startup+1020.02 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 96925 68 0 0 25 0 11 0 477180611 865312768 36811 4294967295 134512640 134569956 3221224400 3221214680 1131498940 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 36811 13073 16 0 211242 0 vsize: 845032 [startup+1030.02 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 97874 68 0 0 25 0 11 0 477180611 865312768 36975 4294967295 134512640 134569956 3221224400 3221214696 1131393123 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 36975 13073 16 0 211242 0 vsize: 845032 [startup+1040.02 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 98830 69 0 0 25 0 11 0 477180611 865312768 37184 4294967295 134512640 134569956 3221224400 3221214792 1131413070 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 37184 13073 16 0 211242 0 vsize: 845032 [startup+1050.02 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 99799 69 0 0 25 0 11 0 477180611 865312768 37353 4294967295 134512640 134569956 3221224400 3221214520 1131361414 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 37353 13073 16 0 211242 0 vsize: 845032 [startup+1060.02 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 100784 69 0 0 25 0 11 0 477180611 865312768 37393 4294967295 134512640 134569956 3221224400 3221214564 1131361004 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 37393 13073 16 0 211242 0 vsize: 845032 [startup+1070.02 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 101755 69 0 0 25 0 11 0 477180611 865312768 37463 4294967295 134512640 134569956 3221224400 3221214800 1131329248 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 37463 13073 16 0 211242 0 vsize: 845032 [startup+1080.03 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 102737 70 0 0 25 0 11 0 477180611 865312768 37581 4294967295 134512640 134569956 3221224400 3221214672 1131501785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 37581 13073 16 0 211242 0 vsize: 845032 [startup+1090.03 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 103710 70 0 0 25 0 11 0 477180611 865312768 37612 4294967295 134512640 134569956 3221224400 3221214560 1131621207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 37612 13073 16 0 211242 0 vsize: 845032 [startup+1100.03 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 104687 71 0 0 25 0 11 0 477180611 865312768 37661 4294967295 134512640 134569956 3221224400 3221213960 1131511148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 37661 13073 16 0 211242 0 vsize: 845032 [startup+1110.02 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 105659 71 0 0 25 0 11 0 477180611 865312768 37718 4294967295 134512640 134569956 3221224400 3221214696 1131392050 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 37718 13073 16 0 211242 0 vsize: 845032 [startup+1120.03 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 106625 71 0 0 25 0 11 0 477180611 865312768 37769 4294967295 134512640 134569956 3221224400 3221214560 1131621304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 37769 13073 16 0 211242 0 vsize: 845032 [startup+1130.03 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 26511 Raw data (stat): 26444 (java) S 26443 26298 26297 0 -1 0 18148 0 1 0 107598 72 0 0 25 0 11 0 477180611 865312768 37854 4294967295 134512640 134569956 3221224400 3221213584 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 37854 13073 16 0 211242 0 vsize: 845032 [startup+1140.03 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 108566 72 0 0 25 0 11 0 477180611 865312768 37999 4294967295 134512640 134569956 3221224400 3221214672 1131501702 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 37999 13073 16 0 211242 0 vsize: 845032 [startup+1150.03 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 109532 72 0 0 25 0 11 0 477180611 865312768 38085 4294967295 134512640 134569956 3221224400 3221214624 1131498730 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 38085 13073 16 0 211242 0 vsize: 845032 [startup+1160.03 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 110506 72 0 0 25 0 11 0 477180611 865312768 38170 4294967295 134512640 134569956 3221224400 3221214672 1131501676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 38170 13073 16 0 211242 0 vsize: 845032 [startup+1170.03 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 111474 72 0 0 25 0 11 0 477180611 865312768 38252 4294967295 134512640 134569956 3221224400 3221214696 1131393154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 38252 13073 16 0 211242 0 vsize: 845032 [startup+1180.03 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 112452 72 0 0 25 0 11 0 477180611 865312768 38345 4294967295 134512640 134569956 3221224400 3221214616 1131469216 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 38345 13073 16 0 211242 0 vsize: 845032 [startup+1190.03 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 113432 73 0 0 25 0 11 0 477180611 865312768 38383 4294967295 134512640 134569956 3221224400 3221214152 1131641003 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 38383 13073 16 0 211242 0 vsize: 845032 [startup+1200.03 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 114401 73 0 0 25 0 11 0 477180611 865312768 38442 4294967295 134512640 134569956 3221224400 3221214376 1085679533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 38442 13073 16 0 211242 0 vsize: 845032 [startup+1210.03 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 115375 73 0 0 25 0 11 0 477180611 865312768 38478 4294967295 134512640 134569956 3221224400 3221214792 1131411304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 38478 13073 16 0 211242 0 vsize: 845032 [startup+1220.03 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 116349 74 0 0 25 0 11 0 477180611 865312768 38544 4294967295 134512640 134569956 3221224400 3221214440 1131637906 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 38544 13073 16 0 211242 0 vsize: 845032 [startup+1230.03 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 117322 74 0 0 25 0 11 0 477180611 865312768 38585 4294967295 134512640 134569956 3221224400 3221214560 1131621304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 38585 13073 16 0 211242 0 vsize: 845032 [startup+1240.03 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 118287 74 0 0 25 0 11 0 477180611 865312768 38646 4294967295 134512640 134569956 3221224400 3221214560 1131620587 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 38646 13073 16 0 211242 0 vsize: 845032 [startup+1250.03 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 119245 74 0 0 25 0 11 0 477180611 865312768 38743 4294967295 134512640 134569956 3221224400 3221214644 1130885207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 38743 13073 16 0 211242 0 vsize: 845032 [startup+1260.03 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 26511 Raw data (stat): 26444 (java) R 26443 26298 26297 0 -1 0 18148 0 1 0 120215 75 0 0 25 0 11 0 477180611 865312768 38896 4294967295 134512640 134569956 3221224400 3221214648 1131220355 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211258 38896 13073 16 0 211242 0 vsize: 845032 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.14 s] Raw data (loadavg): 1.00 0.97 0.74 1/54 26513 Raw data (stat): 26444 (java) Z 26443 26298 26297 0 -1 1036 18148 26262 1 1 120217 83 6862 68 25 0 1 0 477180611 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): 1260.14 CPU time (s): 1272.32 CPU user time (s): 1270.8 CPU system time (s): 1.51877 CPU usage (%): 100.966 Max. virtual memory (Kb): 846536 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####