Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb |
MD5SUM | da4cd22fd601b0d838453ba86be8f9aa |
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 | 46 |
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 | 6.73997 |
Number of variables | 3038 |
Total number of constraints | 2160 |
Number of constraints which are clauses | 2070 |
Number of constraints which are cardinality constraints (but not clauses) | 90 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 45 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc12 THE 2005-05-25 04:47:18 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20467 boxname=wulflinc12 idbench=57 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: da4cd22fd601b0d838453ba86be8f9aa /oldhome/oroussel/tmp/wulflinc12/normalized-fpga45_45_sat_pb.cnf.cr.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc12/normalized-fpga45_45_sat_pb.cnf.cr.opb IDLAUNCH: 20467 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 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.091 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: 446288 kB Buffers: 38172 kB Cached: 529128 kB SwapCached: 568 kB Active: 121284 kB Inactive: 448472 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 446036 kB SwapTotal: 2097136 kB SwapFree: 2096076 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5676 kB Slab: 12892 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 05:07:40 (client local time) WITH STATUS 143 IN 1214.6 SECONDS stats: 20467 7 1214.6 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc12/normalized-fpga45_45_sat_pb.cnf.cr.opb c reading problem ... done. Time 6.609 ms. c #vars 3038 c #constraints 2160 c starts : 1 c conflicts : 72 c decisions : 6326 c propagations : 22121 c inspects : 26589 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 71 c root simplifications : 1 s UNKNOWN c Total CPU time (ms) : 1215.559 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.97 0.93 2/54 8197 Raw data (stat): 8197 (runsolver) R 8196 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777885242 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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 s] Raw data (loadavg): 0.93 0.97 0.93 2/63 8206 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 17954 0 87 0 474 45 0 0 25 0 10 0 777885242 855392256 20025 4294967295 134512640 134569956 3221224368 3221214108 1130915517 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208836 20025 13086 16 0 208820 0 vsize: 835344 [startup+19.9998 s] Raw data (loadavg): 0.94 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 17999 0 87 0 1338 45 0 0 25 0 11 0 777885242 857862144 22970 4294967295 134512640 134569956 3221224368 3221214736 1131369521 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209439 22970 13086 16 0 209423 0 vsize: 837756 [startup+30.0006 s] Raw data (loadavg): 0.95 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18000 0 87 0 2313 45 0 0 25 0 11 0 777885242 858910720 24026 4294967295 134512640 134569956 3221224368 3221214496 1131442360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24026 13086 16 0 209679 0 vsize: 838780 [startup+40.0004 s] Raw data (loadavg): 0.96 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 3286 46 0 0 25 0 11 0 777885242 858910720 24031 4294967295 134512640 134569956 3221224368 3221214512 1131381159 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24031 13086 16 0 209679 0 vsize: 838780 [startup+50.0013 s] Raw data (loadavg): 0.97 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 4265 46 0 0 25 0 11 0 777885242 858910720 24035 4294967295 134512640 134569956 3221224368 3221214584 1131335845 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 24035 13086 16 0 209679 0 vsize: 838780 [startup+60.0011 s] Raw data (loadavg): 0.97 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 5245 46 0 0 25 0 11 0 777885242 858910720 24040 4294967295 134512640 134569956 3221224368 3221214496 1131443304 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24040 13086 16 0 209679 0 vsize: 838780 [startup+70.0009 s] Raw data (loadavg): 0.97 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 6231 46 0 0 25 0 11 0 777885242 858910720 24040 4294967295 134512640 134569956 3221224368 3221214536 1131175769 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24040 13086 16 0 209679 0 vsize: 838780 [startup+80.0017 s] Raw data (loadavg): 0.98 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 7209 46 0 0 25 0 11 0 777885242 858910720 24040 4294967295 134512640 134569956 3221224368 3221214616 1131337187 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24040 13086 16 0 209679 0 vsize: 838780 [startup+90.0016 s] Raw data (loadavg): 0.98 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 8186 46 0 0 25 0 11 0 777885242 858910720 24040 4294967295 134512640 134569956 3221224368 3221214496 1131442377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24040 13086 16 0 209679 0 vsize: 838780 [startup+100.002 s] Raw data (loadavg): 0.98 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 9172 46 0 0 25 0 11 0 777885242 858910720 24040 4294967295 134512640 134569956 3221224368 3221214512 1131259311 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24040 13086 16 0 209679 0 vsize: 838780 [startup+110.003 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 10150 46 0 0 25 0 11 0 777885242 858910720 24040 4294967295 134512640 134569956 3221224368 3221214560 1131339476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24040 13086 16 0 209679 0 vsize: 838780 [startup+120.003 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 11127 46 0 0 25 0 11 0 777885242 858910720 24040 4294967295 134512640 134569956 3221224368 3221214520 1131259563 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24040 13086 16 0 209679 0 vsize: 838780 [startup+130.003 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 12112 46 0 0 25 0 11 0 777885242 858910720 24040 4294967295 134512640 134569956 3221224368 3221214520 1131259232 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24040 13086 16 0 209679 0 vsize: 838780 [startup+140.003 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 13088 46 0 0 25 0 11 0 777885242 858910720 24424 4294967295 134512640 134569956 3221224368 3221214584 1131335882 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24424 13086 16 0 209679 0 vsize: 838780 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 14078 46 0 0 25 0 11 0 777885242 858910720 24524 4294967295 134512640 134569956 3221224368 3221214496 1131444065 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24524 13086 16 0 209679 0 vsize: 838780 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 15072 46 0 0 25 0 11 0 777885242 858910720 24556 4294967295 134512640 134569956 3221224368 3221214584 1131335918 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24556 13086 16 0 209679 0 vsize: 838780 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 16063 46 0 0 25 0 11 0 777885242 858910720 24556 4294967295 134512640 134569956 3221224368 3221214616 1131337187 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24556 13086 16 0 209679 0 vsize: 838780 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 17056 46 0 0 24 0 11 0 777885242 858910720 24630 4294967295 134512640 134569956 3221224368 3221214496 1131444067 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24630 13086 16 0 209679 0 vsize: 838780 [startup+190.004 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 18051 46 0 0 25 0 11 0 777885242 858910720 24663 4294967295 134512640 134569956 3221224368 3221214512 1131259272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24663 13086 16 0 209679 0 vsize: 838780 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 19044 46 0 0 25 0 11 0 777885242 858910720 24663 4294967295 134512640 134569956 3221224368 3221214560 1131339131 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24663 13086 16 0 209679 0 vsize: 838780 [startup+210.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 20040 46 0 0 25 0 11 0 777885242 858910720 24663 4294967295 134512640 134569956 3221224368 3221214520 1131259311 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24663 13086 16 0 209679 0 vsize: 838780 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 21034 46 0 0 25 0 11 0 777885242 858910720 24697 4294967295 134512640 134569956 3221224368 3221214496 1131442462 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24697 13086 16 0 209679 0 vsize: 838780 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 22028 46 0 0 25 0 11 0 777885242 858910720 24697 4294967295 134512640 134569956 3221224368 3221214584 1131335890 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24697 13086 16 0 209679 0 vsize: 838780 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 23023 46 0 0 25 0 11 0 777885242 858910720 24700 4294967295 134512640 134569956 3221224368 3221214584 1131335902 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24700 13086 16 0 209679 0 vsize: 838780 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 24017 46 0 0 25 0 11 0 777885242 858910720 24732 4294967295 134512640 134569956 3221224368 3221214636 1131314596 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24732 13086 16 0 209679 0 vsize: 838780 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 25012 47 0 0 25 0 11 0 777885242 858910720 24732 4294967295 134512640 134569956 3221224368 3221214520 1131442370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24732 13086 16 0 209679 0 vsize: 838780 [startup+270.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 26007 47 0 0 25 0 11 0 777885242 858910720 24732 4294967295 134512640 134569956 3221224368 3221214544 1131259151 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24732 13086 16 0 209679 0 vsize: 838780 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 27000 47 0 0 25 0 11 0 777885242 858910720 24764 4294967295 134512640 134569956 3221224368 3221214560 1131175804 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24764 13086 16 0 209679 0 vsize: 838780 [startup+290.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 27995 47 0 0 25 0 11 0 777885242 858910720 24764 4294967295 134512640 134569956 3221224368 3221214584 1131339137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24764 13086 16 0 209679 0 vsize: 838780 [startup+300.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 28989 47 0 0 25 0 11 0 777885242 858910720 24764 4294967295 134512640 134569956 3221224368 3221214608 1131335836 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24764 13086 16 0 209679 0 vsize: 838780 [startup+310.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 29985 47 0 0 25 0 11 0 777885242 858910720 24797 4294967295 134512640 134569956 3221224368 3221214520 1131442462 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24797 13086 16 0 209679 0 vsize: 838780 [startup+320.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 30978 47 0 0 25 0 11 0 777885242 858910720 24797 4294967295 134512640 134569956 3221224368 3221214608 1131335821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24797 13086 16 0 209679 0 vsize: 838780 [startup+330.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 31972 47 0 0 25 0 11 0 777885242 858910720 24797 4294967295 134512640 134569956 3221224368 3221214632 1131494943 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24797 13086 16 0 209679 0 vsize: 838780 [startup+340.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 32967 47 0 0 25 0 11 0 777885242 858910720 24829 4294967295 134512640 134569956 3221224368 3221214544 1131259154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24829 13086 16 0 209679 0 vsize: 838780 [startup+350.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 33961 47 0 0 25 0 11 0 777885242 858910720 24829 4294967295 134512640 134569956 3221224368 3221214520 1131441975 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24829 13086 16 0 209679 0 vsize: 838780 [startup+360.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 34957 47 0 0 25 0 11 0 777885242 858910720 24829 4294967295 134512640 134569956 3221224368 3221214584 1131339131 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24829 13086 16 0 209679 0 vsize: 838780 [startup+370.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 35949 47 0 0 25 0 11 0 777885242 858910720 24861 4294967295 134512640 134569956 3221224368 3221214556 1130885150 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24861 13086 16 0 209679 0 vsize: 838780 [startup+380.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 36943 47 0 0 25 0 11 0 777885242 858910720 24861 4294967295 134512640 134569956 3221224368 3221214640 1131337312 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24861 13086 16 0 209679 0 vsize: 838780 [startup+390.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 37938 47 0 0 25 0 11 0 777885242 858910720 24861 4294967295 134512640 134569956 3221224368 3221214556 1130885154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24861 13086 16 0 209679 0 vsize: 838780 [startup+400.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 38932 47 0 0 25 0 11 0 777885242 858910720 24894 4294967295 134512640 134569956 3221224368 3221214536 1131260047 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24894 13086 16 0 209679 0 vsize: 838780 [startup+410.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 39925 47 0 0 25 0 11 0 777885242 858910720 24894 4294967295 134512640 134569956 3221224368 3221214608 1131335871 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24894 13086 16 0 209679 0 vsize: 838780 [startup+420.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 40921 47 0 0 25 0 11 0 777885242 858910720 24894 4294967295 134512640 134569956 3221224368 3221214636 1131281248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24894 13086 16 0 209679 0 vsize: 838780 [startup+430.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 41915 47 0 0 25 0 11 0 777885242 858910720 24926 4294967295 134512640 134569956 3221224368 3221214632 1131495032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24926 13086 16 0 209679 0 vsize: 838780 [startup+440.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 42908 47 0 0 25 0 11 0 777885242 858910720 24926 4294967295 134512640 134569956 3221224368 3221214520 1131441977 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24926 13086 16 0 209679 0 vsize: 838780 [startup+450.023 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 43904 47 0 0 25 0 11 0 777885242 858910720 24926 4294967295 134512640 134569956 3221224368 3221214376 1078033516 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24926 13086 16 0 209679 0 vsize: 838780 [startup+460.023 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 44897 47 0 0 25 0 11 0 777885242 858910720 24957 4294967295 134512640 134569956 3221224368 3221214636 1131314560 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24957 13086 16 0 209679 0 vsize: 838780 [startup+470.023 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 45893 48 0 0 25 0 11 0 777885242 858910720 24957 4294967295 134512640 134569956 3221224368 3221214632 1131494981 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24957 13086 16 0 209679 0 vsize: 838780 [startup+480.024 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 46886 48 0 0 25 0 11 0 777885242 858910720 24957 4294967295 134512640 134569956 3221224368 3221214536 1131259311 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24957 13086 16 0 209679 0 vsize: 838780 [startup+490.024 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 47879 48 0 0 25 0 11 0 777885242 858910720 24988 4294967295 134512640 134569956 3221224368 3221214520 1131442377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24988 13086 16 0 209679 0 vsize: 838780 [startup+500.025 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 48874 48 0 0 25 0 11 0 777885242 858910720 24988 4294967295 134512640 134569956 3221224368 3221214520 1131442377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24988 13086 16 0 209679 0 vsize: 838780 [startup+510.025 s] Raw data (loadavg): 0.99 0.97 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 49868 48 0 0 25 0 11 0 777885242 858910720 24988 4294967295 134512640 134569956 3221224368 3221214608 1131335824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 24988 13086 16 0 209679 0 vsize: 838780 [startup+520.026 s] Raw data (loadavg): 1.07 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 50861 48 0 0 25 0 11 0 777885242 858910720 25019 4294967295 134512640 134569956 3221224368 3221214504 1131365577 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25019 13086 16 0 209679 0 vsize: 838780 [startup+530.026 s] Raw data (loadavg): 1.06 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 51857 48 0 0 25 0 11 0 777885242 858910720 25019 4294967295 134512640 134569956 3221224368 3221214608 1131335884 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25019 13086 16 0 209679 0 vsize: 838780 [startup+540.027 s] Raw data (loadavg): 1.05 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 52850 48 0 0 25 0 11 0 777885242 858910720 25019 4294967295 134512640 134569956 3221224368 3221214584 1131339056 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25019 13086 16 0 209679 0 vsize: 838780 [startup+550.028 s] Raw data (loadavg): 1.04 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 53846 48 0 0 25 0 11 0 777885242 858910720 25052 4294967295 134512640 134569956 3221224368 3221214544 1131259325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25052 13086 16 0 209679 0 vsize: 838780 [startup+560.028 s] Raw data (loadavg): 1.04 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 54839 49 0 0 25 0 11 0 777885242 858910720 25052 4294967295 134512640 134569956 3221224368 3221214640 1131337187 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25052 13086 16 0 209679 0 vsize: 838780 [startup+570.028 s] Raw data (loadavg): 1.03 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 55833 49 0 0 25 0 11 0 777885242 858910720 25084 4294967295 134512640 134569956 3221224368 3221214520 1131442444 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25084 13086 16 0 209679 0 vsize: 838780 [startup+580.028 s] Raw data (loadavg): 1.03 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 56829 49 0 0 25 0 11 0 777885242 858910720 25084 4294967295 134512640 134569956 3221224368 3221214520 1131442440 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25084 13086 16 0 209679 0 vsize: 838780 [startup+590.028 s] Raw data (loadavg): 1.02 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 57822 49 0 0 25 0 11 0 777885242 858910720 25084 4294967295 134512640 134569956 3221224368 3221214536 1131259311 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25084 13086 16 0 209679 0 vsize: 838780 [startup+600.03 s] Raw data (loadavg): 1.02 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 58815 49 0 0 25 0 11 0 777885242 858910720 25116 4294967295 134512640 134569956 3221224368 3221214616 1131281329 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25116 13086 16 0 209679 0 vsize: 838780 [startup+610.03 s] Raw data (loadavg): 1.01 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 59811 49 0 0 25 0 11 0 777885242 858910720 25116 4294967295 134512640 134569956 3221224368 3221214520 1131443331 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25116 13086 16 0 209679 0 vsize: 838780 [startup+620.03 s] Raw data (loadavg): 1.01 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 60805 49 0 0 25 0 11 0 777885242 858910720 25116 4294967295 134512640 134569956 3221224368 3221214520 1131441975 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25116 13086 16 0 209679 0 vsize: 838780 [startup+630.03 s] Raw data (loadavg): 1.01 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 61801 49 0 0 25 0 11 0 777885242 858910720 25116 4294967295 134512640 134569956 3221224368 3221214544 1131259061 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25116 13086 16 0 209679 0 vsize: 838780 [startup+640.03 s] Raw data (loadavg): 1.01 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 62794 49 0 0 25 0 11 0 777885242 858910720 25147 4294967295 134512640 134569956 3221224368 3221214544 1131259081 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25147 13086 16 0 209679 0 vsize: 838780 [startup+650.032 s] Raw data (loadavg): 1.01 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 63787 49 0 0 25 0 11 0 777885242 858910720 25147 4294967295 134512640 134569956 3221224368 3221214588 1130885147 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25147 13086 16 0 209679 0 vsize: 838780 [startup+660.032 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 64783 49 0 0 25 0 11 0 777885242 858910720 25178 4294967295 134512640 134569956 3221224368 3221214520 1131442444 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25178 13086 16 0 209679 0 vsize: 838780 [startup+670.031 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 65776 49 0 0 25 0 11 0 777885242 858910720 25178 4294967295 134512640 134569956 3221224368 3221214536 1131259272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25178 13086 16 0 209679 0 vsize: 838780 [startup+680.032 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 66772 49 0 0 25 0 11 0 777885242 858910720 25178 4294967295 134512640 134569956 3221224368 3221214520 1131442597 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25178 13086 16 0 209679 0 vsize: 838780 [startup+690.032 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 67765 49 0 0 25 0 11 0 777885242 858910720 25210 4294967295 134512640 134569956 3221224368 3221214640 1131337161 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25210 13086 16 0 209679 0 vsize: 838780 [startup+700.033 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 68758 50 0 0 25 0 11 0 777885242 858910720 25210 4294967295 134512640 134569956 3221224368 3221214640 1131337187 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25210 13086 16 0 209679 0 vsize: 838780 [startup+710.033 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 69754 50 0 0 25 0 11 0 777885242 858910720 25210 4294967295 134512640 134569956 3221224368 3221214632 1131495067 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25210 13086 16 0 209679 0 vsize: 838780 [startup+720.034 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 70748 50 0 0 25 0 11 0 777885242 858910720 25243 4294967295 134512640 134569956 3221224368 3221214536 1131259311 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25243 13086 16 0 209679 0 vsize: 838780 [startup+730.034 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 71741 50 0 0 25 0 11 0 777885242 858910720 25243 4294967295 134512640 134569956 3221224368 3221214608 1131335890 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25243 13086 16 0 209679 0 vsize: 838780 [startup+740.034 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 72737 50 0 0 25 0 11 0 777885242 858910720 25243 4294967295 134512640 134569956 3221224368 3221214640 1131337184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25243 13086 16 0 209679 0 vsize: 838780 [startup+750.035 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 73729 50 0 0 25 0 11 0 777885242 858910720 25274 4294967295 134512640 134569956 3221224368 3221214520 1131442336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25274 13086 16 0 209679 0 vsize: 838780 [startup+760.036 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 8207 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 74723 50 0 0 25 0 11 0 777885242 858910720 25274 4294967295 134512640 134569956 3221224368 3221214520 1131442440 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25274 13086 16 0 209679 0 vsize: 838780 [startup+770.037 s] Raw data (loadavg): 1.08 1.00 0.94 3/67 8248 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 75717 50 0 0 25 0 11 0 777885242 858910720 25274 4294967295 134512640 134569956 3221224368 3221214536 1131259272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25274 13086 16 0 209679 0 vsize: 838780 [startup+780.039 s] Raw data (loadavg): 1.07 1.00 0.94 2/64 8260 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 76709 50 0 0 25 0 11 0 777885242 858910720 25306 4294967295 134512640 134569956 3221224368 3221214520 1131441975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25306 13086 16 0 209679 0 vsize: 838780 [startup+790.039 s] Raw data (loadavg): 1.06 1.00 0.94 2/64 8260 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 77701 51 0 0 25 0 11 0 777885242 858910720 25306 4294967295 134512640 134569956 3221224368 3221214608 1131335918 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25306 13086 16 0 209679 0 vsize: 838780 [startup+800.04 s] Raw data (loadavg): 1.05 1.00 0.94 2/64 8260 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 78696 51 0 0 25 0 11 0 777885242 858910720 25306 4294967295 134512640 134569956 3221224368 3221214616 1131281299 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25306 13086 16 0 209679 0 vsize: 838780 [startup+810.041 s] Raw data (loadavg): 1.04 1.00 0.94 2/64 8260 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 79688 51 0 0 25 0 11 0 777885242 858910720 25337 4294967295 134512640 134569956 3221224368 3221214520 1131443149 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25337 13086 16 0 209679 0 vsize: 838780 [startup+820.041 s] Raw data (loadavg): 1.03 1.00 0.94 2/64 8260 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 80680 51 0 0 25 0 11 0 777885242 858910720 25337 4294967295 134512640 134569956 3221224368 3221214608 1131335896 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25337 13086 16 0 209679 0 vsize: 838780 [startup+830.042 s] Raw data (loadavg): 1.03 1.00 0.94 2/64 8260 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 81676 52 0 0 25 0 11 0 777885242 858910720 25337 4294967295 134512640 134569956 3221224368 3221214536 1131260019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25337 13086 16 0 209679 0 vsize: 838780 [startup+840.042 s] Raw data (loadavg): 1.02 1.00 0.94 2/64 8260 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 82668 52 0 0 25 0 11 0 777885242 858910720 25382 4294967295 134512640 134569956 3221224368 3221214520 1131442384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25382 13086 16 0 209679 0 vsize: 838780 [startup+850.043 s] Raw data (loadavg): 1.02 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 83661 52 0 0 25 0 11 0 777885242 858910720 25382 4294967295 134512640 134569956 3221224368 3221214608 1131335824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25382 13086 16 0 209679 0 vsize: 838780 [startup+860.043 s] Raw data (loadavg): 1.02 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 84657 52 0 0 25 0 11 0 777885242 858910720 25382 4294967295 134512640 134569956 3221224368 3221214520 1131441975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25382 13086 16 0 209679 0 vsize: 838780 [startup+870.044 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 85649 52 0 0 25 0 11 0 777885242 858910720 25417 4294967295 134512640 134569956 3221224368 3221214544 1131259272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25417 13086 16 0 209679 0 vsize: 838780 [startup+880.044 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 86642 53 0 0 24 0 11 0 777885242 858910720 25417 4294967295 134512640 134569956 3221224368 3221214544 1131259272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25417 13086 16 0 209679 0 vsize: 838780 [startup+890.045 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 87638 53 0 0 25 0 11 0 777885242 858910720 25417 4294967295 134512640 134569956 3221224368 3221214544 1131259360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25417 13086 16 0 209679 0 vsize: 838780 [startup+900.046 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 88630 53 0 0 25 0 11 0 777885242 858910720 25450 4294967295 134512640 134569956 3221224368 3221214520 1131441975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25450 13086 16 0 209679 0 vsize: 838780 [startup+910.046 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 89625 53 0 0 25 0 11 0 777885242 858910720 25450 4294967295 134512640 134569956 3221224368 3221214636 1131339516 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25450 13086 16 0 209679 0 vsize: 838780 [startup+920.047 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 90618 54 0 0 25 0 11 0 777885242 858910720 25450 4294967295 134512640 134569956 3221224368 3221214544 1131260047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25450 13086 16 0 209679 0 vsize: 838780 [startup+930.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 91611 54 0 0 25 0 11 0 777885242 858910720 25484 4294967295 134512640 134569956 3221224368 3221214632 1131495028 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25484 13086 16 0 209679 0 vsize: 838780 [startup+940.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 92606 54 0 0 25 0 11 0 777885242 858910720 25484 4294967295 134512640 134569956 3221224368 3221214640 1131337228 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25484 13086 16 0 209679 0 vsize: 838780 [startup+950.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 93599 54 0 0 25 0 11 0 777885242 858910720 25517 4294967295 134512640 134569956 3221224368 3221214556 1130885243 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25517 13086 16 0 209679 0 vsize: 838780 [startup+960.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 94592 54 0 0 25 0 11 0 777885242 858910720 25517 4294967295 134512640 134569956 3221224368 3221214520 1131442462 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25517 13086 16 0 209679 0 vsize: 838780 [startup+970.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 95588 55 0 0 25 0 11 0 777885242 858910720 25517 4294967295 134512640 134569956 3221224368 3221214584 1131339108 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25517 13086 16 0 209679 0 vsize: 838780 [startup+980.051 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 96581 55 0 0 25 0 11 0 777885242 858910720 25550 4294967295 134512640 134569956 3221224368 3221214584 1131339104 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25550 13086 16 0 209679 0 vsize: 838780 [startup+990.052 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 97574 55 0 0 25 0 11 0 777885242 858910720 25550 4294967295 134512640 134569956 3221224368 3221214616 1131338975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25550 13086 16 0 209679 0 vsize: 838780 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 98569 56 0 0 25 0 11 0 777885242 858910720 25550 4294967295 134512640 134569956 3221224368 3221214536 1131259272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25550 13086 16 0 209679 0 vsize: 838780 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 99562 56 0 0 25 0 11 0 777885242 858910720 25583 4294967295 134512640 134569956 3221224368 3221214544 1131259311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25583 13086 16 0 209679 0 vsize: 838780 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 100554 56 0 0 25 0 11 0 777885242 858910720 25583 4294967295 134512640 134569956 3221224368 3221214584 1131339108 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25583 13086 16 0 209679 0 vsize: 838780 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 101550 56 0 0 25 0 11 0 777885242 858910720 25583 4294967295 134512640 134569956 3221224368 3221214544 1131259311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25583 13086 16 0 209679 0 vsize: 838780 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 102542 57 0 0 25 0 11 0 777885242 858910720 25616 4294967295 134512640 134569956 3221224368 3221214632 1131494919 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25616 13086 16 0 209679 0 vsize: 838780 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 103535 57 0 0 25 0 11 0 777885242 858910720 25616 4294967295 134512640 134569956 3221224368 3221214640 1131337228 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25616 13086 16 0 209679 0 vsize: 838780 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 104531 57 0 0 25 0 11 0 777885242 858910720 25616 4294967295 134512640 134569956 3221224368 3221214584 1131339503 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25616 13086 16 0 209679 0 vsize: 838780 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8262 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 105523 58 0 0 25 0 11 0 777885242 858910720 25649 4294967295 134512640 134569956 3221224368 3221214616 1131281329 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25649 13086 16 0 209679 0 vsize: 838780 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8264 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 106518 58 0 0 25 0 11 0 777885242 858910720 25649 4294967295 134512640 134569956 3221224368 3221214560 1131175787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25649 13086 16 0 209679 0 vsize: 838780 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8264 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 107512 59 0 0 25 0 11 0 777885242 858910720 25649 4294967295 134512640 134569956 3221224368 3221214520 1131441975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25649 13086 16 0 209679 0 vsize: 838780 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8264 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 108504 59 0 0 25 0 11 0 777885242 858910720 25682 4294967295 134512640 134569956 3221224368 3221214640 1131337136 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25682 13086 16 0 209679 0 vsize: 838780 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8264 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 109497 60 0 0 24 0 11 0 777885242 858910720 25682 4294967295 134512640 134569956 3221224368 3221214584 1131339131 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25682 13086 16 0 209679 0 vsize: 838780 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8264 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 110492 60 0 0 25 0 11 0 777885242 858910720 25682 4294967295 134512640 134569956 3221224368 3221214536 1131259272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209695 25682 13086 16 0 209679 0 vsize: 838780 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8264 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 111485 60 0 0 25 0 11 0 777885242 858910720 25714 4294967295 134512640 134569956 3221224368 3221214608 1131335890 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25714 13086 16 0 209679 0 vsize: 838780 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8264 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 112481 60 0 0 25 0 11 0 777885242 858910720 25714 4294967295 134512640 134569956 3221224368 3221214632 1131494919 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25714 13086 16 0 209679 0 vsize: 838780 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8264 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 113474 61 0 0 25 0 11 0 777885242 858910720 25714 4294967295 134512640 134569956 3221224368 3221214544 1131259272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25714 13086 16 0 209679 0 vsize: 838780 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8264 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 114466 62 0 0 25 0 11 0 777885242 858910720 25745 4294967295 134512640 134569956 3221224368 3221214536 1131259272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25745 13086 16 0 209679 0 vsize: 838780 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8264 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 115461 62 0 0 25 0 11 0 777885242 858910720 25745 4294967295 134512640 134569956 3221224368 3221214520 1131441975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25745 13086 16 0 209679 0 vsize: 838780 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8264 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 116452 62 0 0 25 0 11 0 777885242 858910720 25745 4294967295 134512640 134569956 3221224368 3221214616 1131281329 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25745 13086 16 0 209679 0 vsize: 838780 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8264 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 117443 63 0 0 25 0 11 0 777885242 858910720 25776 4294967295 134512640 134569956 3221224368 3221214584 1131339482 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25776 13086 16 0 209679 0 vsize: 838780 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8264 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 118435 63 0 0 25 0 11 0 777885242 858910720 25776 4294967295 134512640 134569956 3221224368 3221214520 1131442103 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25776 13086 16 0 209679 0 vsize: 838780 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8264 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 119427 63 0 0 25 0 11 0 777885242 858910720 25807 4294967295 134512640 134569956 3221224368 3221214636 1131338953 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25807 13086 16 0 209679 0 vsize: 838780 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 8264 Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 120419 63 0 0 25 0 11 0 777885242 858910720 25807 4294967295 134512640 134569956 3221224368 3221214520 1131441975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209695 25807 13086 16 0 209679 0 vsize: 838780 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.17 s] Raw data (loadavg): 1.00 1.00 0.94 1/54 8266 Raw data (stat): 8197 (java) Z 8196 32284 32283 0 -1 1036 18001 6271 88 0 120424 63 955 15 25 0 1 0 777885242 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1220.17 CPU time (s): 1214.6 CPU user time (s): 1213.8 CPU system time (s): 0.796878 CPU usage (%): 99.5433 Max. virtual memory (Kb): 838780 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####