Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb |
MD5SUM | 159220fb0573bb17ad11cefe6a440cec |
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 | 11 |
Number of bits of the biggest sum of numbers | 4 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.040992 |
Number of variables | 120 |
Total number of constraints | 106 |
Number of constraints which are clauses | 88 |
Number of constraints which are cardinality constraints (but not clauses) | 18 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 5 |
Maximum length of a constraint | 10 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-04-13 15:52:16 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=207 boxname=wulflinc31 idbench=23 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 159220fb0573bb17ad11cefe6a440cec /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_8_sat_pb.cnf.cr.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_8_sat_pb.cnf.cr.opb IDLAUNCH: 207 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 937536 kB Buffers: 32860 kB Cached: 26044 kB SwapCached: 392 kB Active: 27844 kB Inactive: 34284 kB HighTotal: 131008 kB HighFree: 100716 kB LowTotal: 903652 kB LowFree: 836820 kB SwapTotal: 2097892 kB SwapFree: 2097452 kB Dirty: 16 kB Writeback: 0 kB Mapped: 6832 kB Slab: 29492 kB Committed_AS: 63488 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 16:13:42 (client local time) WITH STATUS 143 IN SECONDS stats: 207 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_8_sat_pb.cnf.cr.opb c reading problem c [nbvar=120] c [nbconstr=106] c time 1.872 c #vars 120 c #clauses 106 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.33 0.08 0.02 2/54 23220 Raw data (stat): 23220 (runsolver) R 23219 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477164091 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.0056 s] Raw data (loadavg): 0.44 0.11 0.03 1/54 23220 Raw data (stat): 23220 (java) D 23219 23176 23175 0 -1 0 593 0 14 0 0 2 0 0 18 0 1 0 477164091 11960320 431 4294967295 134512640 134569956 3221224400 3221214924 1080152000 0 0 7 0 3222515881 0 0 17 0 0 0 Raw data (statm): 2920 431 1782 16 0 2904 0 vsize: 11680 [startup+23.3863 s] Raw data (loadavg): 0.52 0.14 0.04 1/63 23229 Raw data (stat): 23220 (java) D 23219 23176 23175 0 -1 0 2797 0 69 0 46 9 0 0 20 0 10 0 477164091 852508672 2684 4294967295 134512640 134569956 3221224400 3221206660 1085782085 0 4 3 23756 3222515881 0 0 17 0 0 0 Raw data (statm): 208132 2684 13073 16 0 208116 0 vsize: 832528 [startup+33.3923 s] Raw data (loadavg): 0.76 0.20 0.06 4/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 8041 0 79 0 395 27 0 0 25 0 11 0 477164091 869019648 11818 4294967295 134512640 134569956 3221224400 3221214444 1130908320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212163 11818 13073 16 0 212147 0 vsize: 848652 [startup+43.4001 s] Raw data (loadavg): 1.10 0.29 0.10 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18010 0 79 0 966 51 0 0 25 0 11 0 477164091 868839424 22453 4294967295 134512640 134569956 3221224400 3221214840 1131160466 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 22453 13073 16 0 212103 0 vsize: 848476 [startup+53.4006 s] Raw data (loadavg): 1.08 0.31 0.10 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18010 0 79 0 1940 51 0 0 25 0 11 0 477164091 868839424 22922 4294967295 134512640 134569956 3221224400 3221214288 1131495696 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 22922 13073 16 0 212103 0 vsize: 848476 [startup+63.4047 s] Raw data (loadavg): 1.07 0.33 0.11 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 2909 51 0 0 25 0 11 0 477164091 868839424 23316 4294967295 134512640 134569956 3221224400 3221214784 1131357790 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 23316 13073 16 0 212103 0 vsize: 848476 [startup+73.4046 s] Raw data (loadavg): 1.06 0.36 0.12 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 3875 51 0 0 25 0 11 0 477164091 868839424 23614 4294967295 134512640 134569956 3221224400 3221214240 1131495414 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 23614 13073 16 0 212103 0 vsize: 848476 [startup+83.4056 s] Raw data (loadavg): 1.05 0.38 0.13 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 4843 51 0 0 25 0 11 0 477164091 868839424 23871 4294967295 134512640 134569956 3221224400 3221214440 1131423612 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 23871 13073 16 0 212103 0 vsize: 848476 [startup+93.4054 s] Raw data (loadavg): 1.04 0.40 0.14 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 5822 51 0 0 25 0 11 0 477164091 868839424 24050 4294967295 134512640 134569956 3221224400 3221213968 1131423693 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 24050 13073 16 0 212103 0 vsize: 848476 [startup+103.406 s] Raw data (loadavg): 1.04 0.42 0.15 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 6791 51 0 0 25 0 11 0 477164091 868839424 24131 4294967295 134512640 134569956 3221224400 3221214136 1131423564 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 24131 13073 16 0 212103 0 vsize: 848476 [startup+113.407 s] Raw data (loadavg): 1.03 0.43 0.16 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 7770 51 0 0 25 0 11 0 477164091 868839424 24172 4294967295 134512640 134569956 3221224400 3221214544 1131437564 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 24172 13073 16 0 212103 0 vsize: 848476 [startup+123.407 s] Raw data (loadavg): 1.02 0.45 0.17 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 8750 51 0 0 25 0 11 0 477164091 868839424 24251 4294967295 134512640 134569956 3221224400 3221214680 1131199780 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 24251 13073 16 0 212103 0 vsize: 848476 [startup+133.408 s] Raw data (loadavg): 1.02 0.47 0.17 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 9719 51 0 0 25 0 11 0 477164091 868839424 24379 4294967295 134512640 134569956 3221224400 3221214784 1131358972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 24379 13073 16 0 212103 0 vsize: 848476 [startup+143.409 s] Raw data (loadavg): 1.02 0.49 0.18 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 10699 51 0 0 25 0 11 0 477164091 868839424 24435 4294967295 134512640 134569956 3221224400 3221214096 1131495696 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 24435 13073 16 0 212103 0 vsize: 848476 [startup+153.41 s] Raw data (loadavg): 1.01 0.50 0.19 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 11678 52 0 0 25 0 11 0 477164091 868839424 24479 4294967295 134512640 134569956 3221224400 3221214304 1131423572 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 24479 13073 16 0 212103 0 vsize: 848476 [startup+163.41 s] Raw data (loadavg): 1.01 0.52 0.20 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 12657 52 0 0 25 0 11 0 477164091 868839424 24542 4294967295 134512640 134569956 3221224400 3221214448 1131425467 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 24542 13073 16 0 212103 0 vsize: 848476 [startup+173.409 s] Raw data (loadavg): 1.01 0.54 0.21 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 13636 52 0 0 25 0 11 0 477164091 868839424 24611 4294967295 134512640 134569956 3221224400 3221214516 1131437540 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 24611 13073 16 0 212103 0 vsize: 848476 [startup+183.411 s] Raw data (loadavg): 1.01 0.55 0.21 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 14616 52 0 0 25 0 11 0 477164091 868839424 24651 4294967295 134512640 134569956 3221224400 3221213968 1085679272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 24651 13073 16 0 212103 0 vsize: 848476 [startup+193.411 s] Raw data (loadavg): 1.01 0.56 0.22 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 15594 52 0 0 25 0 11 0 477164091 868839424 24734 4294967295 134512640 134569956 3221224400 3221213968 1085679305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 24734 13073 16 0 212103 0 vsize: 848476 [startup+203.415 s] Raw data (loadavg): 1.00 0.58 0.23 2/64 23230 Raw data (stat): 23220 (java) S 23219 23176 23175 0 -1 0 18011 0 79 0 16568 52 0 0 25 0 11 0 477164091 868839424 24781 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 24781 13073 16 0 212103 0 vsize: 848476 [startup+213.416 s] Raw data (loadavg): 1.00 0.59 0.24 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 17543 52 0 0 25 0 11 0 477164091 868839424 24862 4294967295 134512640 134569956 3221224400 3221214952 1131166681 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 24862 13073 16 0 212103 0 vsize: 848476 [startup+223.415 s] Raw data (loadavg): 1.00 0.60 0.25 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 18522 52 0 0 25 0 11 0 477164091 868839424 24898 4294967295 134512640 134569956 3221224400 3221214408 1131437522 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 24898 13073 16 0 212103 0 vsize: 848476 [startup+233.416 s] Raw data (loadavg): 1.00 0.62 0.25 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 19491 52 0 0 25 0 11 0 477164091 868839424 24999 4294967295 134512640 134569956 3221224400 3221213632 1085679358 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 24999 13073 16 0 212103 0 vsize: 848476 [startup+243.416 s] Raw data (loadavg): 1.00 0.63 0.26 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 20459 52 0 0 25 0 11 0 477164091 868839424 25065 4294967295 134512640 134569956 3221224400 3221214760 1131359412 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 25065 13073 16 0 212103 0 vsize: 848476 [startup+253.417 s] Raw data (loadavg): 1.00 0.64 0.27 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 21426 52 0 0 25 0 11 0 477164091 868839424 25156 4294967295 134512640 134569956 3221224400 3221214448 1131425211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 25156 13073 16 0 212103 0 vsize: 848476 [startup+263.417 s] Raw data (loadavg): 1.00 0.65 0.28 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 22394 52 0 0 25 0 11 0 477164091 868839424 25244 4294967295 134512640 134569956 3221224400 3221214360 1131423612 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 25244 13073 16 0 212103 0 vsize: 848476 [startup+273.417 s] Raw data (loadavg): 1.00 0.66 0.28 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 23373 52 0 0 25 0 11 0 477164091 868839424 25275 4294967295 134512640 134569956 3221224400 3221214512 1131273413 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 25275 13073 16 0 212103 0 vsize: 848476 [startup+283.418 s] Raw data (loadavg): 1.00 0.67 0.29 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 24351 52 0 0 25 0 11 0 477164091 868839424 25350 4294967295 134512640 134569956 3221224400 3221214664 1131180470 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 25350 13073 16 0 212103 0 vsize: 848476 [startup+293.417 s] Raw data (loadavg): 1.00 0.68 0.30 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 25340 52 0 0 25 0 11 0 477164091 868839424 25383 4294967295 134512640 134569956 3221224400 3221214616 1131425248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 25383 13073 16 0 212103 0 vsize: 848476 [startup+303.417 s] Raw data (loadavg): 1.00 0.69 0.30 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 26319 52 0 0 25 0 11 0 477164091 868839424 25446 4294967295 134512640 134569956 3221224400 3221214416 1131423572 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 25446 13073 16 0 212103 0 vsize: 848476 [startup+313.419 s] Raw data (loadavg): 1.00 0.70 0.31 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 27298 52 0 0 25 0 11 0 477164091 868839424 25501 4294967295 134512640 134569956 3221224400 3221214636 1131423632 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 25501 13073 16 0 212103 0 vsize: 848476 [startup+323.419 s] Raw data (loadavg): 1.00 0.71 0.32 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 28277 52 0 0 25 0 11 0 477164091 868839424 25558 4294967295 134512640 134569956 3221224400 3221214664 1131180385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 25558 13073 16 0 212103 0 vsize: 848476 [startup+333.419 s] Raw data (loadavg): 1.00 0.72 0.32 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 29256 52 0 0 25 0 11 0 477164091 868839424 25609 4294967295 134512640 134569956 3221224400 3221214184 1131437471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 25609 13073 16 0 212103 0 vsize: 848476 [startup+343.42 s] Raw data (loadavg): 1.00 0.73 0.33 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 30236 52 0 0 25 0 11 0 477164091 868839424 25663 4294967295 134512640 134569956 3221224400 3221213856 1131423601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 25663 13073 16 0 212103 0 vsize: 848476 [startup+353.424 s] Raw data (loadavg): 1.00 0.74 0.34 2/64 23230 Raw data (stat): 23220 (java) S 23219 23176 23175 0 -1 0 18011 0 79 0 31212 52 0 0 25 0 11 0 477164091 868839424 25715 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 25715 13073 16 0 212103 0 vsize: 848476 [startup+363.424 s] Raw data (loadavg): 1.00 0.75 0.35 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 32175 52 0 0 25 0 11 0 477164091 868839424 25832 4294967295 134512640 134569956 3221224400 3221213664 1131423697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 25832 13073 16 0 212103 0 vsize: 848476 [startup+373.424 s] Raw data (loadavg): 1.00 0.75 0.35 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 33144 52 0 0 25 0 11 0 477164091 868839424 25918 4294967295 134512640 134569956 3221224400 3221214760 1131357463 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 25918 13073 16 0 212103 0 vsize: 848476 [startup+383.425 s] Raw data (loadavg): 1.00 0.76 0.36 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 34125 52 0 0 25 0 11 0 477164091 868839424 25975 4294967295 134512640 134569956 3221224400 3221214384 1085679753 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 25975 13073 16 0 212103 0 vsize: 848476 [startup+393.425 s] Raw data (loadavg): 1.00 0.77 0.37 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 35106 52 0 0 25 0 11 0 477164091 868839424 26043 4294967295 134512640 134569956 3221224400 3221214728 1131425475 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 26043 13073 16 0 212103 0 vsize: 848476 [startup+403.426 s] Raw data (loadavg): 1.00 0.78 0.37 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 36086 52 0 0 25 0 11 0 477164091 868839424 26093 4294967295 134512640 134569956 3221224400 3221214760 1131357734 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 26093 13073 16 0 212103 0 vsize: 848476 [startup+413.426 s] Raw data (loadavg): 1.00 0.78 0.38 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 37077 52 0 0 25 0 11 0 477164091 868839424 26119 4294967295 134512640 134569956 3221224400 3221214688 1131437532 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 26119 13073 16 0 212103 0 vsize: 848476 [startup+423.426 s] Raw data (loadavg): 1.00 0.79 0.38 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 38059 52 0 0 25 0 11 0 477164091 868839424 26165 4294967295 134512640 134569956 3221224400 3221214504 1131425287 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 26165 13073 16 0 212103 0 vsize: 848476 [startup+433.427 s] Raw data (loadavg): 1.00 0.80 0.39 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 39032 52 0 0 25 0 11 0 477164091 868839424 26235 4294967295 134512640 134569956 3221224400 3221214352 1131437564 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 26235 13073 16 0 212103 0 vsize: 848476 [startup+443.428 s] Raw data (loadavg): 1.00 0.80 0.39 2/64 23230 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 40014 52 0 0 25 0 11 0 477164091 868839424 26287 4294967295 134512640 134569956 3221224400 3221214920 1131595619 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 26287 13073 16 0 212103 0 vsize: 848476 [startup+453.43 s] Raw data (loadavg): 1.16 0.84 0.41 3/69 23282 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 41002 53 0 0 25 0 11 0 477164091 868839424 26318 4294967295 134512640 134569956 3221224400 3221214296 1131437584 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 26318 13073 16 0 212103 0 vsize: 848476 [startup+463.43 s] Raw data (loadavg): 1.36 0.90 0.43 2/64 23283 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 41974 54 0 0 25 0 11 0 477164091 868839424 26387 4294967295 134512640 134569956 3221224400 3221214664 1131180252 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 26387 13073 16 0 212103 0 vsize: 848476 [startup+473.43 s] Raw data (loadavg): 1.30 0.90 0.44 2/64 23283 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 42955 54 0 0 25 0 11 0 477164091 868839424 26432 4294967295 134512640 134569956 3221224400 3221214552 1085679290 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 26432 13073 16 0 212103 0 vsize: 848476 [startup+483.43 s] Raw data (loadavg): 1.25 0.90 0.45 2/64 23283 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 43937 55 0 0 25 0 11 0 477164091 868839424 26485 4294967295 134512640 134569956 3221224400 3221214688 1131437417 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 26485 13073 16 0 212103 0 vsize: 848476 [startup+493.43 s] Raw data (loadavg): 1.21 0.90 0.45 2/64 23283 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 44910 55 0 0 24 0 11 0 477164091 868839424 26553 4294967295 134512640 134569956 3221224400 3221214936 1131590995 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 26553 13073 16 0 212103 0 vsize: 848476 [startup+503.431 s] Raw data (loadavg): 1.18 0.91 0.46 2/64 23283 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 45893 55 0 0 25 0 11 0 477164091 868839424 26615 4294967295 134512640 134569956 3221224400 3221214328 1085679741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 26615 13073 16 0 212103 0 vsize: 848476 [startup+513.43 s] Raw data (loadavg): 1.15 0.91 0.46 2/64 23283 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 46859 55 0 0 25 0 11 0 477164091 868839424 26700 4294967295 134512640 134569956 3221224400 3221214932 1131166630 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 26700 13073 16 0 212103 0 vsize: 848476 [startup+523.43 s] Raw data (loadavg): 1.13 0.91 0.47 2/64 23283 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 47842 56 0 0 25 0 11 0 477164091 868839424 26742 4294967295 134512640 134569956 3221224400 3221214760 1131360402 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 26742 13073 16 0 212103 0 vsize: 848476 [startup+533.431 s] Raw data (loadavg): 1.11 0.91 0.47 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 48824 57 0 0 25 0 11 0 477164091 868839424 26786 4294967295 134512640 134569956 3221224400 3221213888 1131423608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 26786 13073 16 0 212103 0 vsize: 848476 [startup+543.431 s] Raw data (loadavg): 1.09 0.92 0.48 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 49799 57 0 0 25 0 11 0 477164091 868839424 26846 4294967295 134512640 134569956 3221224400 3221214584 1131423469 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 26846 13073 16 0 212103 0 vsize: 848476 [startup+553.432 s] Raw data (loadavg): 1.08 0.92 0.48 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 50774 57 0 0 24 0 11 0 477164091 868839424 26905 4294967295 134512640 134569956 3221224400 3221214760 1131359366 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 26905 13073 16 0 212103 0 vsize: 848476 [startup+563.433 s] Raw data (loadavg): 1.06 0.92 0.49 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 51749 57 0 0 25 0 11 0 477164091 868839424 26965 4294967295 134512640 134569956 3221224400 3221214752 1131169294 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 26965 13073 16 0 212103 0 vsize: 848476 [startup+573.433 s] Raw data (loadavg): 1.05 0.92 0.49 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 52731 57 0 0 25 0 11 0 477164091 868839424 27015 4294967295 134512640 134569956 3221224400 3221214160 1131495698 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 27015 13073 16 0 212103 0 vsize: 848476 [startup+583.433 s] Raw data (loadavg): 1.05 0.92 0.50 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 53715 58 0 0 25 0 11 0 477164091 868839424 27056 4294967295 134512640 134569956 3221224400 3221214048 1085679434 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 27056 13073 16 0 212103 0 vsize: 848476 [startup+593.434 s] Raw data (loadavg): 1.04 0.93 0.50 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 54698 58 0 0 25 0 11 0 477164091 868839424 27091 4294967295 134512640 134569956 3221224400 3221214472 1131423580 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 27091 13073 16 0 212103 0 vsize: 848476 [startup+603.435 s] Raw data (loadavg): 1.03 0.93 0.51 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 55681 58 0 0 25 0 11 0 477164091 868839424 27127 4294967295 134512640 134569956 3221224400 3221214664 1131180345 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 27127 13073 16 0 212103 0 vsize: 848476 [startup+613.435 s] Raw data (loadavg): 1.03 0.93 0.51 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 56655 58 0 0 25 0 11 0 477164091 868839424 27182 4294967295 134512640 134569956 3221224400 3221214216 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 27182 13073 16 0 212103 0 vsize: 848476 [startup+623.435 s] Raw data (loadavg): 1.02 0.93 0.52 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 57637 59 0 0 25 0 11 0 477164091 868839424 27223 4294967295 134512640 134569956 3221224400 3221214272 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 27223 13073 16 0 212103 0 vsize: 848476 [startup+633.435 s] Raw data (loadavg): 1.02 0.93 0.52 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 58610 59 0 0 25 0 11 0 477164091 868839424 27281 4294967295 134512640 134569956 3221224400 3221214580 1131423627 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 27281 13073 16 0 212103 0 vsize: 848476 [startup+643.435 s] Raw data (loadavg): 1.02 0.94 0.53 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 59583 59 0 0 25 0 11 0 477164091 868839424 27349 4294967295 134512640 134569956 3221224400 3221214792 1131214593 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 27349 13073 16 0 212103 0 vsize: 848476 [startup+653.436 s] Raw data (loadavg): 1.01 0.94 0.53 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 60556 60 0 0 25 0 11 0 477164091 868839424 27407 4294967295 134512640 134569956 3221224400 3221214760 1131359644 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 27407 13073 16 0 212103 0 vsize: 848476 [startup+663.436 s] Raw data (loadavg): 1.01 0.94 0.54 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 61529 60 0 0 25 0 11 0 477164091 868839424 27462 4294967295 134512640 134569956 3221224400 3221214064 1131530135 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 27462 13073 16 0 212103 0 vsize: 848476 [startup+673.436 s] Raw data (loadavg): 1.01 0.94 0.54 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 62494 60 0 0 24 0 11 0 477164091 868839424 27538 4294967295 134512640 134569956 3221224400 3221214552 1131608610 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 27538 13073 16 0 212103 0 vsize: 848476 [startup+683.437 s] Raw data (loadavg): 1.01 0.94 0.54 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 63475 60 0 0 25 0 11 0 477164091 868839424 27576 4294967295 134512640 134569956 3221224400 3221213936 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 27576 13073 16 0 212103 0 vsize: 848476 [startup+693.437 s] Raw data (loadavg): 1.00 0.94 0.55 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 64457 61 0 0 25 0 11 0 477164091 868839424 27623 4294967295 134512640 134569956 3221224400 3221213880 1131495628 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 27623 13073 16 0 212103 0 vsize: 848476 [startup+703.438 s] Raw data (loadavg): 1.00 0.94 0.55 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 65431 61 0 0 25 0 11 0 477164091 868839424 27695 4294967295 134512640 134569956 3221224400 3221214360 1131423633 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 27695 13073 16 0 212103 0 vsize: 848476 [startup+713.439 s] Raw data (loadavg): 1.00 0.95 0.56 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 66406 61 0 0 25 0 11 0 477164091 868839424 27749 4294967295 134512640 134569956 3221224400 3221214760 1131357734 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 27749 13073 16 0 212103 0 vsize: 848476 [startup+723.439 s] Raw data (loadavg): 1.00 0.95 0.56 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 67379 61 0 0 25 0 11 0 477164091 868839424 27825 4294967295 134512640 134569956 3221224400 3221214680 1131530133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 27825 13073 16 0 212103 0 vsize: 848476 [startup+733.439 s] Raw data (loadavg): 1.00 0.95 0.56 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 68354 61 0 0 25 0 11 0 477164091 868839424 27890 4294967295 134512640 134569956 3221224400 3221214664 1131180345 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 27890 13073 16 0 212103 0 vsize: 848476 [startup+743.439 s] Raw data (loadavg): 1.00 0.95 0.57 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 69329 62 0 0 25 0 11 0 477164091 868839424 27972 4294967295 134512640 134569956 3221224400 3221214024 1085679293 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 27972 13073 16 0 212103 0 vsize: 848476 [startup+753.439 s] Raw data (loadavg): 1.00 0.95 0.57 2/64 23285 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 70297 62 0 0 25 0 11 0 477164091 868839424 28054 4294967295 134512640 134569956 3221224400 3221214072 1131437417 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 28054 13073 16 0 212103 0 vsize: 848476 [startup+763.439 s] Raw data (loadavg): 1.00 0.95 0.58 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 71265 63 0 0 25 0 11 0 477164091 868839424 28137 4294967295 134512640 134569956 3221224400 3221214672 1131301298 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 28137 13073 16 0 212103 0 vsize: 848476 [startup+773.439 s] Raw data (loadavg): 1.00 0.95 0.58 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 72227 63 0 0 25 0 11 0 477164091 868839424 28211 4294967295 134512640 134569956 3221224400 3221214128 1131437357 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 28211 13073 16 0 212103 0 vsize: 848476 [startup+783.44 s] Raw data (loadavg): 1.00 0.95 0.58 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 73197 63 0 0 25 0 11 0 477164091 868839424 28294 4294967295 134512640 134569956 3221224400 3221214352 1131437564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 28294 13073 16 0 212103 0 vsize: 848476 [startup+793.44 s] Raw data (loadavg): 1.00 0.95 0.59 3/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 74169 64 0 0 25 0 11 0 477164091 868839424 28376 4294967295 134512640 134569956 3221224400 3221214760 1131359679 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 28376 13073 16 0 212103 0 vsize: 848476 [startup+803.441 s] Raw data (loadavg): 1.00 0.95 0.59 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 75136 64 0 0 25 0 11 0 477164091 868839424 28479 4294967295 134512640 134569956 3221224400 3221214336 1131425333 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 28479 13073 16 0 212103 0 vsize: 848476 [startup+813.442 s] Raw data (loadavg): 1.00 0.96 0.60 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 76111 64 0 0 25 0 11 0 477164091 868839424 28551 4294967295 134512640 134569956 3221224400 3221213992 1085679482 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 28551 13073 16 0 212103 0 vsize: 848476 [startup+823.442 s] Raw data (loadavg): 1.00 0.96 0.60 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 77080 65 0 0 25 0 11 0 477164091 868839424 28626 4294967295 134512640 134569956 3221224400 3221214664 1131180385 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 28626 13073 16 0 212103 0 vsize: 848476 [startup+833.443 s] Raw data (loadavg): 1.00 0.96 0.60 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 78057 65 0 0 25 0 11 0 477164091 868839424 28691 4294967295 134512640 134569956 3221224400 3221214760 1131358920 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 28691 13073 16 0 212103 0 vsize: 848476 [startup+843.443 s] Raw data (loadavg): 1.00 0.96 0.61 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 79028 65 0 0 25 0 11 0 477164091 868839424 28745 4294967295 134512640 134569956 3221224400 3221214472 1131423626 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 28745 13073 16 0 212103 0 vsize: 848476 [startup+853.443 s] Raw data (loadavg): 1.00 0.96 0.61 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 80000 65 0 0 25 0 11 0 477164091 868839424 28809 4294967295 134512640 134569956 3221224400 3221214760 1131357494 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 28809 13073 16 0 212103 0 vsize: 848476 [startup+863.444 s] Raw data (loadavg): 1.00 0.96 0.62 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 80972 65 0 0 25 0 11 0 477164091 868839424 28879 4294967295 134512640 134569956 3221224400 3221214176 1131530133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 28879 13073 16 0 212103 0 vsize: 848476 [startup+873.443 s] Raw data (loadavg): 1.00 0.96 0.62 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 81940 66 0 0 24 0 11 0 477164091 868839424 28956 4294967295 134512640 134569956 3221224400 3221214664 1131180385 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 28956 13073 16 0 212103 0 vsize: 848476 [startup+883.444 s] Raw data (loadavg): 1.00 0.96 0.62 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 82914 66 0 0 25 0 11 0 477164091 868839424 29025 4294967295 134512640 134569956 3221224400 3221214352 1131437512 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 29025 13073 16 0 212103 0 vsize: 848476 [startup+893.444 s] Raw data (loadavg): 1.00 0.96 0.63 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 83888 67 0 0 25 0 11 0 477164091 868839424 29085 4294967295 134512640 134569956 3221224400 3221214664 1131180345 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 29085 13073 16 0 212103 0 vsize: 848476 [startup+903.445 s] Raw data (loadavg): 1.00 0.96 0.63 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 84862 67 0 0 25 0 11 0 477164091 868839424 29152 4294967295 134512640 134569956 3221224400 3221214272 1085679446 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 29152 13073 16 0 212103 0 vsize: 848476 [startup+913.445 s] Raw data (loadavg): 1.00 0.97 0.64 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 85837 67 0 0 25 0 11 0 477164091 868839424 29209 4294967295 134512640 134569956 3221224400 3221214688 1131437532 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 29209 13073 16 0 212103 0 vsize: 848476 [startup+923.445 s] Raw data (loadavg): 1.00 0.97 0.64 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 86815 68 0 0 25 0 11 0 477164091 868839424 29259 4294967295 134512640 134569956 3221224400 3221214688 1131437564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 29259 13073 16 0 212103 0 vsize: 848476 [startup+933.446 s] Raw data (loadavg): 1.00 0.97 0.64 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 87799 68 0 0 25 0 11 0 477164091 868839424 29295 4294967295 134512640 134569956 3221224400 3221214920 1131595613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 29295 13073 16 0 212103 0 vsize: 848476 [startup+943.446 s] Raw data (loadavg): 1.00 0.97 0.65 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 88777 68 0 0 25 0 11 0 477164091 868839424 29340 4294967295 134512640 134569956 3221224400 3221214048 1131495628 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 29340 13073 16 0 212103 0 vsize: 848476 [startup+953.447 s] Raw data (loadavg): 1.00 0.97 0.65 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 89760 69 0 0 25 0 11 0 477164091 868839424 29373 4294967295 134512640 134569956 3221224400 3221213656 1131495602 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 29373 13073 16 0 212103 0 vsize: 848476 [startup+963.447 s] Raw data (loadavg): 1.00 0.97 0.65 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 90732 69 0 0 25 0 11 0 477164091 868839424 29452 4294967295 134512640 134569956 3221224400 3221214048 1131495406 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 29452 13073 16 0 212103 0 vsize: 848476 [startup+973.447 s] Raw data (loadavg): 1.00 0.97 0.65 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 91709 69 0 0 25 0 11 0 477164091 868839424 29506 4294967295 134512640 134569956 3221224400 3221214672 1131202140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 29506 13073 16 0 212103 0 vsize: 848476 [startup+983.448 s] Raw data (loadavg): 1.00 0.97 0.66 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 92685 69 0 0 25 0 11 0 477164091 868839424 29551 4294967295 134512640 134569956 3221224400 3221213968 1131423481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 29551 13073 16 0 212103 0 vsize: 848476 [startup+993.448 s] Raw data (loadavg): 1.00 0.97 0.66 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 93656 70 0 0 25 0 11 0 477164091 868839424 29617 4294967295 134512640 134569956 3221224400 3221214156 1131530121 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 29617 13073 16 0 212103 0 vsize: 848476 [startup+1003.45 s] Raw data (loadavg): 1.00 0.97 0.66 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 94627 70 0 0 25 0 11 0 477164091 868839424 29686 4294967295 134512640 134569956 3221224400 3221214632 1131437345 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 29686 13073 16 0 212103 0 vsize: 848476 [startup+1013.45 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 95609 70 0 0 25 0 11 0 477164091 868839424 29733 4294967295 134512640 134569956 3221224400 3221214504 1131425300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 29733 13073 16 0 212103 0 vsize: 848476 [startup+1023.45 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 96585 70 0 0 25 0 11 0 477164091 868839424 29779 4294967295 134512640 134569956 3221224400 3221214132 1131423632 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 29779 13073 16 0 212103 0 vsize: 848476 [startup+1033.45 s] Raw data (loadavg): 1.00 0.97 0.67 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 97568 70 0 0 25 0 11 0 477164091 868839424 29821 4294967295 134512640 134569956 3221224400 3221214024 1131423693 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 29821 13073 16 0 212103 0 vsize: 848476 [startup+1043.45 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 98543 70 0 0 25 0 11 0 477164091 868839424 29871 4294967295 134512640 134569956 3221224400 3221214520 1131437471 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 29871 13073 16 0 212103 0 vsize: 848476 [startup+1053.45 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 99513 70 0 0 25 0 11 0 477164091 868839424 29945 4294967295 134512640 134569956 3221224400 3221214468 1131423632 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 29945 13073 16 0 212103 0 vsize: 848476 [startup+1063.45 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 100490 71 0 0 25 0 11 0 477164091 868839424 30001 4294967295 134512640 134569956 3221224400 3221214232 1131530133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 30001 13073 16 0 212103 0 vsize: 848476 [startup+1073.45 s] Raw data (loadavg): 1.00 0.97 0.68 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 101472 71 0 0 25 0 11 0 477164091 868839424 30033 4294967295 134512640 134569956 3221224400 3221213944 1131423572 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 30033 13073 16 0 212103 0 vsize: 848476 [startup+1083.45 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 102454 72 0 0 25 0 11 0 477164091 868839424 30080 4294967295 134512640 134569956 3221224400 3221214560 1131425253 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 30080 13073 16 0 212103 0 vsize: 848476 [startup+1093.45 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 103431 72 0 0 25 0 11 0 477164091 868839424 30119 4294967295 134512640 134569956 3221224400 3221214132 1085616768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 30119 13073 16 0 212103 0 vsize: 848476 [startup+1103.45 s] Raw data (loadavg): 1.00 0.97 0.69 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 104407 72 0 0 25 0 11 0 477164091 868839424 30181 4294967295 134512640 134569956 3221224400 3221214512 1131273257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 30181 13073 16 0 212103 0 vsize: 848476 [startup+1113.45 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 105383 72 0 0 25 0 11 0 477164091 868839424 30248 4294967295 134512640 134569956 3221224400 3221214936 1131533395 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 30248 13073 16 0 212103 0 vsize: 848476 [startup+1123.45 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 106360 73 0 0 25 0 11 0 477164091 868839424 30303 4294967295 134512640 134569956 3221224400 3221214272 1085679446 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 30303 13073 16 0 212103 0 vsize: 848476 [startup+1133.45 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 107332 73 0 0 25 0 11 0 477164091 868839424 30352 4294967295 134512640 134569956 3221224400 3221213936 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 30352 13073 16 0 212103 0 vsize: 848476 [startup+1143.45 s] Raw data (loadavg): 1.00 0.97 0.70 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 108302 73 0 0 25 0 11 0 477164091 868839424 30419 4294967295 134512640 134569956 3221224400 3221214292 1131530144 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 30419 13073 16 0 212103 0 vsize: 848476 [startup+1153.45 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 109278 74 0 0 25 0 11 0 477164091 868839424 30465 4294967295 134512640 134569956 3221224400 3221214760 1131359412 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 30465 13073 16 0 212103 0 vsize: 848476 [startup+1163.46 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 110254 74 0 0 25 0 11 0 477164091 868839424 30519 4294967295 134512640 134569956 3221224400 3221214792 1131208305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 30519 13073 16 0 212103 0 vsize: 848476 [startup+1173.46 s] Raw data (loadavg): 1.00 0.97 0.71 2/64 23287 Raw data (stat): 23220 (java) S 23219 23176 23175 0 -1 0 18011 0 79 0 111230 74 0 0 25 0 11 0 477164091 868839424 30571 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 30571 13073 16 0 212103 0 vsize: 848476 [startup+1183.46 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 112206 74 0 0 25 0 11 0 477164091 868839424 30630 4294967295 134512640 134569956 3221224400 3221214248 1131423633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 30630 13073 16 0 212103 0 vsize: 848476 [startup+1193.46 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 113177 74 0 0 25 0 11 0 477164091 868839424 30688 4294967295 134512640 134569956 3221224400 3221214760 1131359606 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 30688 13073 16 0 212103 0 vsize: 848476 [startup+1203.46 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 114159 74 0 0 25 0 11 0 477164091 868839424 30726 4294967295 134512640 134569956 3221224400 3221213688 1131423633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 30726 13073 16 0 212103 0 vsize: 848476 [startup+1213.46 s] Raw data (loadavg): 1.00 0.97 0.72 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 115146 74 0 0 25 0 11 0 477164091 868839424 30742 4294967295 134512640 134569956 3221224400 3221214192 1131423633 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212119 30742 13073 16 0 212103 0 vsize: 848476 [startup+1223.46 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 116133 74 0 0 25 0 11 0 477164091 868839424 30762 4294967295 134512640 134569956 3221224400 3221214688 1131437578 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 30762 13073 16 0 212103 0 vsize: 848476 [startup+1233.46 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 117120 74 0 0 25 0 11 0 477164091 868839424 30792 4294967295 134512640 134569956 3221224400 3221214664 1131181236 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 30792 13073 16 0 212103 0 vsize: 848476 [startup+1243.46 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 118093 74 0 0 25 0 11 0 477164091 868839424 30864 4294967295 134512640 134569956 3221224400 3221213576 1085679272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 30864 13073 16 0 212103 0 vsize: 848476 [startup+1253.46 s] Raw data (loadavg): 1.00 0.97 0.73 2/64 23287 Raw data (stat): 23220 (java) S 23219 23176 23175 0 -1 0 18011 0 79 0 119072 74 0 0 25 0 11 0 477164091 868839424 30899 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 30899 13073 16 0 212103 0 vsize: 848476 [startup+1263.46 s] Raw data (loadavg): 1.00 0.97 0.74 2/64 23287 Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 120046 74 0 0 25 0 11 0 477164091 868839424 30943 4294967295 134512640 134569956 3221224400 3221214192 1131423633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212119 30943 13073 16 0 212103 0 vsize: 848476 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1263.59 s] Raw data (loadavg): 1.00 0.97 0.74 1/54 23289 Raw data (stat): 23220 (java) Z 23219 23176 23175 0 -1 1036 18011 17376 79 1 120051 74 3920 48 25 0 1 0 477164091 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): 1263.58 CPU time (s): 1240.96 CPU user time (s): 1239.72 CPU system time (s): 1.23881 CPU usage (%): 98.2096 Max. virtual memory (Kb): 848652 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####