Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb |
MD5SUM | d4fd8917eebbcee2e1b2df9714e1fab8 |
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.59276 |
Number of variables | 1733 |
Total number of constraints | 1256 |
Number of constraints which are clauses | 1188 |
Number of constraints which are cardinality constraints (but not clauses) | 68 |
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 wulflinc11 THE 2005-04-13 15:53:30 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=441 boxname=wulflinc11 idbench=49 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: d4fd8917eebbcee2e1b2df9714e1fab8 /oldhome/oroussel/tmp/wulflinc11/normalized-fpga35_33_sat_pb.cnf.cr.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-fpga35_33_sat_pb.cnf.cr.opb IDLAUNCH: 441 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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: 930392 kB Buffers: 32464 kB Cached: 47332 kB SwapCached: 4932 kB Active: 47100 kB Inactive: 40516 kB HighTotal: 131008 kB HighFree: 79408 kB LowTotal: 903652 kB LowFree: 850984 kB SwapTotal: 2097136 kB SwapFree: 2092204 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6924 kB Slab: 11100 kB Committed_AS: 63488 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 16:14:33 (client local time) WITH STATUS 143 IN SECONDS stats: 441 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc11/normalized-fpga35_33_sat_pb.cnf.cr.opb c reading problem c [nbvar=1733] c [nbconstr=1256] c time 3.892 c #vars 1733 c #clauses 1256 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.80 0.26 0.09 2/54 32711 Raw data (stat): 32711 (runsolver) R 32710 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 418958740 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0014 s] Raw data (loadavg): 0.99 0.32 0.11 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18101 0 1 0 674 43 0 0 25 0 11 0 418958740 864378880 21715 4294967295 134512640 134569956 3221224400 3221214608 1131388452 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211030 21715 13073 16 0 211014 0 vsize: 844120 [startup+20.0022 s] Raw data (loadavg): 0.99 0.34 0.12 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18101 0 1 0 1594 43 0 0 25 0 11 0 418958740 865792000 22904 4294967295 134512640 134569956 3221224400 3221214800 1131430493 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211375 22904 13073 16 0 211359 0 vsize: 845500 [startup+30.0025 s] Raw data (loadavg): 1.07 0.38 0.13 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18102 0 1 0 2509 43 0 0 25 0 11 0 418958740 865792000 23207 4294967295 134512640 134569956 3221224400 3221214840 1131302143 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211375 23207 13073 16 0 211359 0 vsize: 845500 [startup+40.0037 s] Raw data (loadavg): 1.06 0.40 0.14 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 3444 44 0 0 25 0 11 0 418958740 861597696 22925 4294967295 134512640 134569956 3221224400 3221214728 1131362937 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 22925 13073 16 0 210335 0 vsize: 841404 [startup+50.0045 s] Raw data (loadavg): 1.05 0.42 0.15 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 4398 44 0 0 25 0 11 0 418958740 861597696 23079 4294967295 134512640 134569956 3221224400 3221214576 1131613274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 23079 13073 16 0 210335 0 vsize: 841404 [startup+60.0053 s] Raw data (loadavg): 1.04 0.43 0.16 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 5368 45 0 0 25 0 11 0 418958740 861597696 23154 4294967295 134512640 134569956 3221224400 3221214680 1131512300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 23154 13073 16 0 210335 0 vsize: 841404 [startup+70.006 s] Raw data (loadavg): 1.03 0.45 0.17 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 6319 45 0 0 25 0 11 0 418958740 861597696 23260 4294967295 134512640 134569956 3221224400 3221214576 1131615127 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 23260 13073 16 0 210335 0 vsize: 841404 [startup+80.0073 s] Raw data (loadavg): 1.03 0.47 0.18 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 7271 45 0 0 25 0 11 0 418958740 861597696 23353 4294967295 134512640 134569956 3221224400 3221214728 1131406458 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 23353 13073 16 0 210335 0 vsize: 841404 [startup+90.0076 s] Raw data (loadavg): 1.02 0.49 0.18 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 8195 46 0 0 25 0 11 0 418958740 861597696 23549 4294967295 134512640 134569956 3221224400 3221214648 1131389240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 23549 13073 16 0 210335 0 vsize: 841404 [startup+100.008 s] Raw data (loadavg): 1.02 0.50 0.19 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 9159 46 0 0 25 0 11 0 418958740 861597696 23752 4294967295 134512640 134569956 3221224400 3221214576 1131614217 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 23752 13073 16 0 210335 0 vsize: 841404 [startup+110.009 s] Raw data (loadavg): 1.02 0.52 0.20 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 10124 46 0 0 25 0 11 0 418958740 861597696 23962 4294967295 134512640 134569956 3221224400 3221214840 1131301937 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 23962 13073 16 0 210335 0 vsize: 841404 [startup+120.01 s] Raw data (loadavg): 1.01 0.54 0.21 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 11091 46 0 0 25 0 11 0 418958740 861597696 24080 4294967295 134512640 134569956 3221224400 3221214576 1131613396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 24080 13073 16 0 210335 0 vsize: 841404 [startup+130.01 s] Raw data (loadavg): 1.01 0.55 0.22 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 12056 46 0 0 25 0 11 0 418958740 861597696 24203 4294967295 134512640 134569956 3221224400 3221214800 1131428503 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 24203 13073 16 0 210335 0 vsize: 841404 [startup+140.01 s] Raw data (loadavg): 1.01 0.56 0.22 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 13025 46 0 0 25 0 11 0 418958740 861597696 24348 4294967295 134512640 134569956 3221224400 3221214576 1131613488 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 24348 13073 16 0 210335 0 vsize: 841404 [startup+150.011 s] Raw data (loadavg): 1.01 0.58 0.23 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 14004 46 0 0 25 0 11 0 418958740 861597696 24486 4294967295 134512640 134569956 3221224400 3221214680 1131308317 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 24486 13073 16 0 210335 0 vsize: 841404 [startup+160.012 s] Raw data (loadavg): 1.00 0.59 0.24 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 14988 46 0 0 25 0 11 0 418958740 861597696 24547 4294967295 134512640 134569956 3221224400 3221214680 1131510351 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 24547 13073 16 0 210335 0 vsize: 841404 [startup+170.015 s] Raw data (loadavg): 1.00 0.60 0.25 2/64 32721 Raw data (stat): 32711 (java) S 32710 32461 32460 0 -1 0 18104 0 1 0 15971 46 0 0 25 0 11 0 418958740 861597696 24596 4294967295 134512640 134569956 3221224400 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 24596 13073 16 0 210335 0 vsize: 841404 [startup+180.016 s] Raw data (loadavg): 1.00 0.62 0.26 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 16950 46 0 0 25 0 11 0 418958740 861597696 24692 4294967295 134512640 134569956 3221224400 3221214788 1080204256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 24692 13073 16 0 210335 0 vsize: 841404 [startup+190.017 s] Raw data (loadavg): 1.00 0.63 0.26 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 17909 46 0 0 25 0 11 0 418958740 861597696 24748 4294967295 134512640 134569956 3221224400 3221214752 1131216003 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 24748 13073 16 0 210335 0 vsize: 841404 [startup+200.018 s] Raw data (loadavg): 1.00 0.64 0.27 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 18869 46 0 0 25 0 11 0 418958740 861597696 24814 4294967295 134512640 134569956 3221224400 3221214776 1131343856 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 24814 13073 16 0 210335 0 vsize: 841404 [startup+210.018 s] Raw data (loadavg): 1.00 0.65 0.28 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 19803 46 0 0 25 0 11 0 418958740 861597696 24948 4294967295 134512640 134569956 3221224400 3221214712 1131336010 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 24948 13073 16 0 210335 0 vsize: 841404 [startup+220.02 s] Raw data (loadavg): 1.00 0.66 0.29 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 20724 46 0 0 25 0 11 0 418958740 861597696 25010 4294967295 134512640 134569956 3221224400 3221214800 1131430416 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 25010 13073 16 0 210335 0 vsize: 841404 [startup+230.019 s] Raw data (loadavg): 1.00 0.67 0.29 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 21626 47 0 0 25 0 11 0 418958740 861597696 25192 4294967295 134512640 134569956 3221224400 3221214888 1131570243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 25192 13073 16 0 210335 0 vsize: 841404 [startup+240.02 s] Raw data (loadavg): 1.00 0.68 0.30 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 22544 47 0 0 25 0 11 0 418958740 861597696 25628 4294967295 134512640 134569956 3221224400 3221214800 1131427887 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 25628 13073 16 0 210335 0 vsize: 841404 [startup+250.021 s] Raw data (loadavg): 1.00 0.69 0.31 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 23474 47 0 0 25 0 11 0 418958740 861597696 25801 4294967295 134512640 134569956 3221224400 3221214840 1131302157 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 25801 13073 16 0 210335 0 vsize: 841404 [startup+260.023 s] Raw data (loadavg): 1.00 0.70 0.31 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 24409 47 0 0 25 0 11 0 418958740 861597696 26106 4294967295 134512640 134569956 3221224400 3221214600 1131463491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 26106 13073 16 0 210335 0 vsize: 841404 [startup+270.023 s] Raw data (loadavg): 1.00 0.71 0.32 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 25360 47 0 0 25 0 11 0 418958740 861597696 26223 4294967295 134512640 134569956 3221224400 3221214888 1131569710 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 26223 13073 16 0 210335 0 vsize: 841404 [startup+280.023 s] Raw data (loadavg): 1.00 0.72 0.33 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 26306 47 0 0 25 0 11 0 418958740 861597696 26356 4294967295 134512640 134569956 3221224400 3221214728 1131407877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 26356 13073 16 0 210335 0 vsize: 841404 [startup+290.024 s] Raw data (loadavg): 1.00 0.73 0.33 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 27238 47 0 0 25 0 11 0 418958740 861597696 26490 4294967295 134512640 134569956 3221224400 3221214800 1131426431 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 26490 13073 16 0 210335 0 vsize: 841404 [startup+300.025 s] Raw data (loadavg): 1.00 0.74 0.34 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 28158 47 0 0 25 0 11 0 418958740 861597696 26574 4294967295 134512640 134569956 3221224400 3221214680 1131263914 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 26574 13073 16 0 210335 0 vsize: 841404 [startup+310.026 s] Raw data (loadavg): 1.00 0.75 0.35 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 29055 47 0 0 25 0 11 0 418958740 861597696 26865 4294967295 134512640 134569956 3221224400 3221214776 1131342988 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 26865 13073 16 0 210335 0 vsize: 841404 [startup+320.026 s] Raw data (loadavg): 1.00 0.75 0.35 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 29968 47 0 0 25 0 11 0 418958740 861597696 27081 4294967295 134512640 134569956 3221224400 3221214680 1131263717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 27081 13073 16 0 210335 0 vsize: 841404 [startup+330.027 s] Raw data (loadavg): 1.00 0.76 0.36 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 30873 47 0 0 25 0 11 0 418958740 861597696 27515 4294967295 134512640 134569956 3221224400 3221214680 1131264167 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 27515 13073 16 0 210335 0 vsize: 841404 [startup+340.028 s] Raw data (loadavg): 1.00 0.77 0.37 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 31777 47 0 0 25 0 11 0 418958740 861597696 27777 4294967295 134512640 134569956 3221224400 3221214800 1131429181 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 27777 13073 16 0 210335 0 vsize: 841404 [startup+350.029 s] Raw data (loadavg): 1.00 0.78 0.37 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 32693 47 0 0 25 0 11 0 418958740 861597696 27991 4294967295 134512640 134569956 3221224400 3221214776 1131341770 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 27991 13073 16 0 210335 0 vsize: 841404 [startup+360.031 s] Raw data (loadavg): 1.00 0.78 0.38 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 33601 48 0 0 25 0 11 0 418958740 861597696 28189 4294967295 134512640 134569956 3221224400 3221214776 1131342960 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 28189 13073 16 0 210335 0 vsize: 841404 [startup+370.031 s] Raw data (loadavg): 1.00 0.79 0.38 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 34519 48 0 0 25 0 11 0 418958740 861597696 28498 4294967295 134512640 134569956 3221224400 3221214680 1131264167 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 28498 13073 16 0 210335 0 vsize: 841404 [startup+380.031 s] Raw data (loadavg): 1.00 0.80 0.39 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 35445 48 0 0 25 0 11 0 418958740 861597696 28801 4294967295 134512640 134569956 3221224400 3221214776 1131343006 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 28801 13073 16 0 210335 0 vsize: 841404 [startup+390.031 s] Raw data (loadavg): 1.00 0.80 0.40 2/64 32721 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 36374 48 0 0 25 0 11 0 418958740 861597696 28962 4294967295 134512640 134569956 3221224400 3221214752 1131215817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 28962 13073 16 0 210335 0 vsize: 841404 [startup+400.035 s] Raw data (loadavg): 1.08 0.83 0.41 2/66 302 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 37326 49 0 0 25 0 11 0 418958740 861597696 29059 4294967295 134512640 134569956 3221224400 3221214680 1131264391 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 29059 13073 16 0 210335 0 vsize: 841404 [startup+410.036 s] Raw data (loadavg): 1.07 0.83 0.41 2/64 308 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 38247 50 0 0 25 0 11 0 418958740 861597696 29219 4294967295 134512640 134569956 3221224400 3221214648 1131635548 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 29219 13073 16 0 210335 0 vsize: 841404 [startup+420.036 s] Raw data (loadavg): 1.06 0.84 0.42 2/64 308 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 39189 50 0 0 25 0 11 0 418958740 861597696 29432 4294967295 134512640 134569956 3221224400 3221214680 1131512401 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 29432 13073 16 0 210335 0 vsize: 841404 [startup+430.037 s] Raw data (loadavg): 1.05 0.84 0.42 2/64 308 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 40140 50 0 0 25 0 11 0 418958740 861597696 29832 4294967295 134512640 134569956 3221224400 3221214576 1131614347 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 29832 13073 16 0 210335 0 vsize: 841404 [startup+440.037 s] Raw data (loadavg): 1.04 0.85 0.43 2/64 308 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 41090 51 0 0 25 0 11 0 418958740 861597696 30164 4294967295 134512640 134569956 3221224400 3221214576 1131613008 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 30164 13073 16 0 210335 0 vsize: 841404 [startup+450.037 s] Raw data (loadavg): 1.03 0.85 0.44 2/64 308 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 42036 51 0 0 25 0 11 0 418958740 861597696 30480 4294967295 134512640 134569956 3221224400 3221214736 1131307002 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 30480 13073 16 0 210335 0 vsize: 841404 [startup+460.038 s] Raw data (loadavg): 1.03 0.85 0.44 2/64 308 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 42993 51 0 0 25 0 11 0 418958740 861597696 30648 4294967295 134512640 134569956 3221224400 3221214656 1131310291 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 30648 13073 16 0 210335 0 vsize: 841404 [startup+470.039 s] Raw data (loadavg): 1.02 0.86 0.45 2/64 308 Raw data (stat): 32711 (java) S 32710 32461 32460 0 -1 0 18104 0 1 0 43952 51 0 0 25 0 11 0 418958740 861597696 30803 4294967295 134512640 134569956 3221224400 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 30803 13073 16 0 210335 0 vsize: 841404 [startup+480.039 s] Raw data (loadavg): 1.02 0.86 0.45 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 44902 52 0 0 25 0 11 0 418958740 861597696 31032 4294967295 134512640 134569956 3221224400 3221214680 1131512311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 31032 13073 16 0 210335 0 vsize: 841404 [startup+490.039 s] Raw data (loadavg): 1.02 0.87 0.46 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 45851 52 0 0 25 0 11 0 418958740 861597696 31264 4294967295 134512640 134569956 3221224400 3221214680 1131264604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 31264 13073 16 0 210335 0 vsize: 841404 [startup+500.041 s] Raw data (loadavg): 1.01 0.87 0.46 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 46800 52 0 0 25 0 11 0 418958740 861597696 31405 4294967295 134512640 134569956 3221224400 3221214712 1131336067 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 31405 13073 16 0 210335 0 vsize: 841404 [startup+510.041 s] Raw data (loadavg): 1.01 0.87 0.47 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 47749 53 0 0 25 0 11 0 418958740 861597696 31571 4294967295 134512640 134569956 3221224400 3221214728 1131362939 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 31571 13073 16 0 210335 0 vsize: 841404 [startup+520.041 s] Raw data (loadavg): 1.01 0.88 0.47 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 48701 53 0 0 25 0 11 0 418958740 861597696 31611 4294967295 134512640 134569956 3221224400 3221214888 1131570243 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 31611 13073 16 0 210335 0 vsize: 841404 [startup+530.04 s] Raw data (loadavg): 1.01 0.88 0.48 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 49654 53 0 0 25 0 11 0 418958740 861597696 31700 4294967295 134512640 134569956 3221224400 3221214576 1131616322 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 31700 13073 16 0 210335 0 vsize: 841404 [startup+540.042 s] Raw data (loadavg): 1.00 0.89 0.48 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 50610 54 0 0 25 0 11 0 418958740 861597696 31910 4294967295 134512640 134569956 3221224400 3221214728 1131362960 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 31910 13073 16 0 210335 0 vsize: 841404 [startup+550.042 s] Raw data (loadavg): 1.00 0.89 0.49 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 51569 54 0 0 25 0 11 0 418958740 861597696 32129 4294967295 134512640 134569956 3221224400 3221214576 1131615109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 32129 13073 16 0 210335 0 vsize: 841404 [startup+560.043 s] Raw data (loadavg): 1.00 0.89 0.49 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 52537 54 0 0 25 0 11 0 418958740 861597696 32384 4294967295 134512640 134569956 3221224400 3221214216 1085679747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 32384 13073 16 0 210335 0 vsize: 841404 [startup+570.043 s] Raw data (loadavg): 1.00 0.89 0.50 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 53506 54 0 0 25 0 11 0 418958740 861597696 32496 4294967295 134512640 134569956 3221224400 3221214472 1131502477 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 32496 13073 16 0 210335 0 vsize: 841404 [startup+580.043 s] Raw data (loadavg): 1.00 0.90 0.50 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 54475 55 0 0 25 0 11 0 418958740 861597696 32573 4294967295 134512640 134569956 3221224400 3221214792 1131430328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 32573 13073 16 0 210335 0 vsize: 841404 [startup+590.044 s] Raw data (loadavg): 1.00 0.90 0.51 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 55441 55 0 0 25 0 11 0 418958740 861597696 32630 4294967295 134512640 134569956 3221224400 3221214000 1085679372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 32630 13073 16 0 210335 0 vsize: 841404 [startup+600.044 s] Raw data (loadavg): 1.00 0.90 0.51 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 56415 56 0 0 25 0 11 0 418958740 861597696 32668 4294967295 134512640 134569956 3221224400 3221214720 1131408043 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 32668 13073 16 0 210335 0 vsize: 841404 [startup+610.046 s] Raw data (loadavg): 1.00 0.91 0.52 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 57374 56 0 0 25 0 11 0 418958740 861597696 32730 4294967295 134512640 134569956 3221224400 3221214656 1131264167 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 32730 13073 16 0 210335 0 vsize: 841404 [startup+620.045 s] Raw data (loadavg): 1.00 0.91 0.52 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 58328 56 0 0 25 0 11 0 418958740 861597696 32807 4294967295 134512640 134569956 3221224400 3221214792 1131430463 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 32807 13073 16 0 210335 0 vsize: 841404 [startup+630.045 s] Raw data (loadavg): 1.00 0.91 0.53 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 59289 56 0 0 25 0 11 0 418958740 861597696 32879 4294967295 134512640 134569956 3221224400 3221214528 1131381714 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 32879 13073 16 0 210335 0 vsize: 841404 [startup+640.046 s] Raw data (loadavg): 1.00 0.91 0.53 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 60234 57 0 0 25 0 11 0 418958740 861597696 33027 4294967295 134512640 134569956 3221224400 3221214368 1076461301 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 33027 13073 16 0 210335 0 vsize: 841404 [startup+650.046 s] Raw data (loadavg): 1.00 0.92 0.54 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 61187 57 0 0 25 0 11 0 418958740 861597696 33152 4294967295 134512640 134569956 3221224400 3221214568 1131612648 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 33152 13073 16 0 210335 0 vsize: 841404 [startup+660.047 s] Raw data (loadavg): 1.00 0.92 0.54 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 62142 57 0 0 25 0 11 0 418958740 861597696 33286 4294967295 134512640 134569956 3221224400 3221214416 1078032738 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 33286 13073 16 0 210335 0 vsize: 841404 [startup+670.047 s] Raw data (loadavg): 1.00 0.92 0.55 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 63101 57 0 0 25 0 11 0 418958740 861597696 33394 4294967295 134512640 134569956 3221224400 3221214568 1131294421 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 33394 13073 16 0 210335 0 vsize: 841404 [startup+680.048 s] Raw data (loadavg): 1.00 0.92 0.55 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 64054 58 0 0 25 0 11 0 418958740 861597696 33517 4294967295 134512640 134569956 3221224400 3221214568 1131613271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 33517 13073 16 0 210335 0 vsize: 841404 [startup+690.049 s] Raw data (loadavg): 1.07 0.94 0.56 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 65018 58 0 0 25 0 11 0 418958740 861597696 33633 4294967295 134512640 134569956 3221224400 3221214568 1131614378 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 33633 13073 16 0 210335 0 vsize: 841404 [startup+700.049 s] Raw data (loadavg): 1.06 0.94 0.56 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 65989 59 0 0 25 0 11 0 418958740 861597696 33720 4294967295 134512640 134569956 3221224400 3221214672 1131510305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 33720 13073 16 0 210335 0 vsize: 841404 [startup+710.05 s] Raw data (loadavg): 1.05 0.94 0.57 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 66962 59 0 0 25 0 11 0 418958740 861597696 33802 4294967295 134512640 134569956 3221224400 3221214752 1131342912 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 33802 13073 16 0 210335 0 vsize: 841404 [startup+720.051 s] Raw data (loadavg): 1.04 0.94 0.57 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 67928 59 0 0 25 0 11 0 418958740 861597696 33888 4294967295 134512640 134569956 3221224400 3221214672 1131510215 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 33888 13073 16 0 210335 0 vsize: 841404 [startup+730.051 s] Raw data (loadavg): 1.04 0.94 0.58 2/64 310 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 68902 60 0 0 25 0 11 0 418958740 861597696 33948 4294967295 134512640 134569956 3221224400 3221214648 1131310337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 33948 13073 16 0 210335 0 vsize: 841404 [startup+740.052 s] Raw data (loadavg): 1.03 0.95 0.58 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 69871 61 0 0 25 0 11 0 418958740 861597696 34013 4294967295 134512640 134569956 3221224400 3221214792 1131429842 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 34013 13073 16 0 210335 0 vsize: 841404 [startup+750.053 s] Raw data (loadavg): 1.02 0.95 0.58 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 70840 61 0 0 25 0 11 0 418958740 861597696 34084 4294967295 134512640 134569956 3221224400 3221214672 1131510317 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 34084 13073 16 0 210335 0 vsize: 841404 [startup+760.053 s] Raw data (loadavg): 1.02 0.95 0.59 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 71808 61 0 0 25 0 11 0 418958740 861597696 34167 4294967295 134512640 134569956 3221224400 3221214568 1131294615 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 34167 13073 16 0 210335 0 vsize: 841404 [startup+770.054 s] Raw data (loadavg): 1.02 0.95 0.59 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 72777 62 0 0 25 0 11 0 418958740 861597696 34250 4294967295 134512640 134569956 3221224400 3221214568 1131294615 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 34250 13073 16 0 210335 0 vsize: 841404 [startup+780.054 s] Raw data (loadavg): 1.01 0.95 0.60 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 73745 62 0 0 25 0 11 0 418958740 861597696 34309 4294967295 134512640 134569956 3221224400 3221214672 1131510215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 34309 13073 16 0 210335 0 vsize: 841404 [startup+790.055 s] Raw data (loadavg): 1.01 0.95 0.60 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 74713 62 0 0 25 0 11 0 418958740 861597696 34396 4294967295 134512640 134569956 3221224400 3221214568 1131614394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 34396 13073 16 0 210335 0 vsize: 841404 [startup+800.055 s] Raw data (loadavg): 1.01 0.95 0.60 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 75680 62 0 0 25 0 11 0 418958740 861597696 34478 4294967295 134512640 134569956 3221224400 3221214672 1131510220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 34478 13073 16 0 210335 0 vsize: 841404 [startup+810.056 s] Raw data (loadavg): 1.01 0.95 0.61 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 76653 63 0 0 25 0 11 0 418958740 861597696 34543 4294967295 134512640 134569956 3221224400 3221214672 1131512303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 34543 13073 16 0 210335 0 vsize: 841404 [startup+820.056 s] Raw data (loadavg): 1.01 0.95 0.61 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 77620 63 0 0 25 0 11 0 418958740 861597696 34617 4294967295 134512640 134569956 3221224400 3221214568 1131614261 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 34617 13073 16 0 210335 0 vsize: 841404 [startup+830.056 s] Raw data (loadavg): 1.00 0.95 0.62 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 78595 63 0 0 25 0 11 0 418958740 861597696 34677 4294967295 134512640 134569956 3221224400 3221214568 1131614232 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210351 34677 13073 16 0 210335 0 vsize: 841404 [startup+840.057 s] Raw data (loadavg): 1.00 0.96 0.62 2/64 312 Raw data (stat): 32711 (java) S 32710 32461 32460 0 -1 0 18104 0 1 0 79563 64 0 0 25 0 11 0 418958740 861597696 34759 4294967295 134512640 134569956 3221224400 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 34759 13073 16 0 210335 0 vsize: 841404 [startup+850.057 s] Raw data (loadavg): 1.00 0.96 0.62 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 80528 64 0 0 24 0 11 0 418958740 861597696 34845 4294967295 134512640 134569956 3221224400 3221214568 1131294470 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 34845 13073 16 0 210335 0 vsize: 841404 [startup+860.058 s] Raw data (loadavg): 1.00 0.96 0.63 2/64 312 Raw data (stat): 32711 (java) S 32710 32461 32460 0 -1 0 18104 0 1 0 81500 65 0 0 25 0 11 0 418958740 861597696 34913 4294967295 134512640 134569956 3221224400 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 34913 13073 16 0 210335 0 vsize: 841404 [startup+870.059 s] Raw data (loadavg): 1.00 0.96 0.63 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 82465 65 0 0 24 0 11 0 418958740 861597696 35001 4294967295 134512640 134569956 3221224400 3221214568 1131294643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 35001 13073 16 0 210335 0 vsize: 841404 [startup+880.06 s] Raw data (loadavg): 1.00 0.96 0.63 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 83438 65 0 0 25 0 11 0 418958740 861597696 35039 4294967295 134512640 134569956 3221224400 3221214648 1131310333 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 35039 13073 16 0 210335 0 vsize: 841404 [startup+890.061 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 84399 66 0 0 24 0 11 0 418958740 861597696 35140 4294967295 134512640 134569956 3221224400 3221214568 1131295141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 35140 13073 16 0 210335 0 vsize: 841404 [startup+900.062 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 85372 66 0 0 25 0 11 0 418958740 861597696 35210 4294967295 134512640 134569956 3221224400 3221214640 1131552323 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 35210 13073 16 0 210335 0 vsize: 841404 [startup+910.062 s] Raw data (loadavg): 1.00 0.96 0.64 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 86345 66 0 0 25 0 11 0 418958740 861597696 35274 4294967295 134512640 134569956 3221224400 3221214568 1131294643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 35274 13073 16 0 210335 0 vsize: 841404 [startup+920.063 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 87314 67 0 0 25 0 11 0 418958740 861597696 35357 4294967295 134512640 134569956 3221224400 3221214568 1131613047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 35357 13073 16 0 210335 0 vsize: 841404 [startup+930.063 s] Raw data (loadavg): 1.00 0.96 0.65 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 88283 67 0 0 25 0 11 0 418958740 861597696 35440 4294967295 134512640 134569956 3221224400 3221214672 1131512303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 35440 13073 16 0 210335 0 vsize: 841404 [startup+940.063 s] Raw data (loadavg): 1.00 0.97 0.65 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 89249 67 0 0 25 0 11 0 418958740 861597696 35522 4294967295 134512640 134569956 3221224400 3221214568 1131614323 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 35522 13073 16 0 210335 0 vsize: 841404 [startup+950.064 s] Raw data (loadavg): 1.00 0.97 0.66 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 90219 67 0 0 25 0 11 0 418958740 861597696 35601 4294967295 134512640 134569956 3221224400 3221214408 1131635534 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 35601 13073 16 0 210335 0 vsize: 841404 [startup+960.065 s] Raw data (loadavg): 1.00 0.97 0.66 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 91184 68 0 0 25 0 11 0 418958740 861597696 35698 4294967295 134512640 134569956 3221224400 3221214568 1131294671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 35698 13073 16 0 210335 0 vsize: 841404 [startup+970.066 s] Raw data (loadavg): 1.00 0.97 0.66 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 92152 68 0 0 25 0 11 0 418958740 861597696 35723 4294967295 134512640 134569956 3221224400 3221214656 1131264303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 35723 13073 16 0 210335 0 vsize: 841404 [startup+980.066 s] Raw data (loadavg): 1.00 0.97 0.66 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 93121 68 0 0 25 0 11 0 418958740 861597696 35803 4294967295 134512640 134569956 3221224400 3221214568 1131294390 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 35803 13073 16 0 210335 0 vsize: 841404 [startup+990.067 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 94084 68 0 0 25 0 11 0 418958740 861597696 35891 4294967295 134512640 134569956 3221224400 3221214568 1131613283 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 35891 13073 16 0 210335 0 vsize: 841404 [startup+1000.07 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 95052 69 0 0 25 0 11 0 418958740 861597696 35964 4294967295 134512640 134569956 3221224400 3221214392 1078128033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 35964 13073 16 0 210335 0 vsize: 841404 [startup+1010.07 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 96022 69 0 0 25 0 11 0 418958740 861597696 36035 4294967295 134512640 134569956 3221224400 3221214568 1131615130 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 36035 13073 16 0 210335 0 vsize: 841404 [startup+1020.07 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 96991 70 0 0 25 0 11 0 418958740 861597696 36114 4294967295 134512640 134569956 3221224400 3221214728 1131306789 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 36114 13073 16 0 210335 0 vsize: 841404 [startup+1030.07 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 97960 70 0 0 25 0 11 0 418958740 861597696 36191 4294967295 134512640 134569956 3221224400 3221214568 1131615123 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 36191 13073 16 0 210335 0 vsize: 841404 [startup+1040.07 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 98924 70 0 0 25 0 11 0 418958740 861597696 36273 4294967295 134512640 134569956 3221224400 3221214568 1131615130 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 36273 13073 16 0 210335 0 vsize: 841404 [startup+1050.07 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 99893 70 0 0 25 0 11 0 418958740 861597696 36366 4294967295 134512640 134569956 3221224400 3221214568 1131294428 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 36366 13073 16 0 210335 0 vsize: 841404 [startup+1060.07 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 100860 70 0 0 25 0 11 0 418958740 861597696 36399 4294967295 134512640 134569956 3221224400 3221214568 1131294939 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 36399 13073 16 0 210335 0 vsize: 841404 [startup+1070.07 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 101821 71 0 0 25 0 11 0 418958740 861597696 36492 4294967295 134512640 134569956 3221224400 3221214568 1131294971 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 36492 13073 16 0 210335 0 vsize: 841404 [startup+1080.07 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 102788 71 0 0 25 0 11 0 418958740 861597696 36571 4294967295 134512640 134569956 3221224400 3221214568 1131294615 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 36571 13073 16 0 210335 0 vsize: 841404 [startup+1090.07 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 103749 72 0 0 24 0 11 0 418958740 861597696 36684 4294967295 134512640 134569956 3221224400 3221214672 1131512326 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 36684 13073 16 0 210335 0 vsize: 841404 [startup+1100.07 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 104723 72 0 0 25 0 11 0 418958740 861597696 36762 4294967295 134512640 134569956 3221224400 3221214672 1131512307 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 36762 13073 16 0 210335 0 vsize: 841404 [startup+1110.07 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 105692 72 0 0 25 0 11 0 418958740 861597696 36835 4294967295 134512640 134569956 3221224400 3221214720 1131406055 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 36835 13073 16 0 210335 0 vsize: 841404 [startup+1120.08 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 106656 72 0 0 25 0 11 0 418958740 861597696 36931 4294967295 134512640 134569956 3221224400 3221214568 1131612641 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 36931 13073 16 0 210335 0 vsize: 841404 [startup+1130.08 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 107625 73 0 0 25 0 11 0 418958740 861597696 37009 4294967295 134512640 134569956 3221224400 3221214480 1131536481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 37009 13073 16 0 210335 0 vsize: 841404 [startup+1140.08 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 108588 73 0 0 24 0 11 0 418958740 861597696 37092 4294967295 134512640 134569956 3221224400 3221214608 1131251985 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 37092 13073 16 0 210335 0 vsize: 841404 [startup+1150.08 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 109555 74 0 0 25 0 11 0 418958740 861597696 37131 4294967295 134512640 134569956 3221224400 3221214568 1131294615 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 37131 13073 16 0 210335 0 vsize: 841404 [startup+1160.08 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 110521 74 0 0 25 0 11 0 418958740 861597696 37214 4294967295 134512640 134569956 3221224400 3221214568 1131294643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 37214 13073 16 0 210335 0 vsize: 841404 [startup+1170.08 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 312 Raw data (stat): 32711 (java) S 32710 32461 32460 0 -1 0 18104 0 1 0 111484 74 0 0 25 0 11 0 418958740 861597696 37292 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 37292 13073 16 0 210335 0 vsize: 841404 [startup+1180.08 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 112448 74 0 0 25 0 11 0 418958740 861597696 37383 4294967295 134512640 134569956 3221224400 3221214568 1131294615 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 37383 13073 16 0 210335 0 vsize: 841404 [startup+1190.08 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 113417 75 0 0 25 0 11 0 418958740 861597696 37468 4294967295 134512640 134569956 3221224400 3221214572 1131536327 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 37468 13073 16 0 210335 0 vsize: 841404 [startup+1200.08 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 114384 75 0 0 25 0 11 0 418958740 861597696 37536 4294967295 134512640 134569956 3221224400 3221214672 1131512397 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 37536 13073 16 0 210335 0 vsize: 841404 [startup+1210.08 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 115352 75 0 0 25 0 11 0 418958740 861597696 37625 4294967295 134512640 134569956 3221224400 3221214792 1131428494 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 37625 13073 16 0 210335 0 vsize: 841404 [startup+1220.08 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 116315 76 0 0 25 0 11 0 418958740 861597696 37721 4294967295 134512640 134569956 3221224400 3221214672 1131510208 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 37721 13073 16 0 210335 0 vsize: 841404 [startup+1230.08 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 117283 76 0 0 25 0 11 0 418958740 861597696 37790 4294967295 134512640 134569956 3221224400 3221214568 1131613358 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 37790 13073 16 0 210335 0 vsize: 841404 [startup+1240.08 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 118249 77 0 0 25 0 11 0 418958740 861597696 37841 4294967295 134512640 134569956 3221224400 3221214672 1131510357 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 37841 13073 16 0 210335 0 vsize: 841404 [startup+1250.08 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 119210 77 0 0 25 0 11 0 418958740 861597696 37934 4294967295 134512640 134569956 3221224400 3221214672 1131510208 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 37934 13073 16 0 210335 0 vsize: 841404 [startup+1260.08 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 312 Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 120175 77 0 0 25 0 11 0 418958740 861597696 38013 4294967295 134512640 134569956 3221224400 3221214568 1131294504 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210351 38013 13073 16 0 210335 0 vsize: 841404 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.35 s] Raw data (loadavg): 1.00 0.97 0.74 1/54 314 Raw data (stat): 32711 (java) Z 32710 32461 32460 0 -1 1036 18104 26861 1 1 120193 85 6807 68 25 0 1 0 418958740 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.35 CPU time (s): 1271.55 CPU user time (s): 1270.01 CPU system time (s): 1.53577 CPU usage (%): 100.888 Max. virtual memory (Kb): 845500 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####