Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb |
MD5SUM | b2d6fc6e4e4b51f8b59d0f4ed12a9f74 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 2678 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2678 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2678 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 2678 |
Total number of constraints | 6689 |
Number of constraints which are clauses | 6689 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc19 THE 2005-04-13 16:57:13 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1899 boxname=wulflinc19 idbench=211 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: b2d6fc6e4e4b51f8b59d0f4ed12a9f74 /oldhome/oroussel/tmp/wulflinc19/normalized-par32-5-c.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc19/normalized-par32-5-c.opb IDLAUNCH: 1899 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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: 912852 kB Buffers: 31064 kB Cached: 57280 kB SwapCached: 56 kB Active: 40044 kB Inactive: 51284 kB HighTotal: 131008 kB HighFree: 69720 kB LowTotal: 903652 kB LowFree: 843132 kB SwapTotal: 2097892 kB SwapFree: 2097836 kB Dirty: 36 kB Writeback: 0 kB Mapped: 7028 kB Slab: 24964 kB Committed_AS: 63708 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 17:17:46 (client local time) WITH STATUS 143 IN SECONDS stats: 1899 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc19/normalized-par32-5-c.opb c reading problem c [nbvar=2678] c [nbconstr=6689] c time 6.978 c #vars 2678 c #clauses 6689 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.92 0.98 0.93 2/55 23982 Raw data (stat): 23982 (runsolver) R 23981 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477559857 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0003 s] Raw data (loadavg): 1.09 1.02 0.94 4/65 23992 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18062 0 1 0 770 41 0 0 25 0 11 0 477559857 859004928 20045 4294967295 134512640 134569956 3221224416 3221213840 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209718 20045 13073 16 0 209702 0 vsize: 838872 [startup+20.0379 s] Raw data (loadavg): 1.15 1.03 0.95 2/65 23992 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 1729 41 0 0 25 0 11 0 477559857 858374144 21115 4294967295 134512640 134569956 3221224416 3221214880 1131339872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 21115 13073 16 0 209548 0 vsize: 838256 [startup+30.0391 s] Raw data (loadavg): 1.13 1.03 0.95 2/65 23992 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 2702 41 0 0 25 0 11 0 477559857 858374144 21285 4294967295 134512640 134569956 3221224416 3221214880 1131339969 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 21285 13073 16 0 209548 0 vsize: 838256 [startup+40.0385 s] Raw data (loadavg): 1.11 1.03 0.95 2/65 23992 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 3679 41 0 0 25 0 11 0 477559857 858374144 21491 4294967295 134512640 134569956 3221224416 3221214760 1131350864 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 21491 13073 16 0 209548 0 vsize: 838256 [startup+50.0394 s] Raw data (loadavg): 1.09 1.03 0.95 2/65 23992 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 4657 42 0 0 25 0 11 0 477559857 858374144 21589 4294967295 134512640 134569956 3221224416 3221214760 1131350795 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 21589 13073 16 0 209548 0 vsize: 838256 [startup+60.0396 s] Raw data (loadavg): 1.08 1.03 0.95 2/65 23992 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 5636 42 0 0 25 0 11 0 477559857 858374144 22056 4294967295 134512640 134569956 3221224416 3221214720 1131514893 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 22056 13073 16 0 209548 0 vsize: 838256 [startup+70.04 s] Raw data (loadavg): 1.06 1.03 0.95 2/65 23992 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 6623 42 0 0 25 0 11 0 477559857 858374144 22056 4294967295 134512640 134569956 3221224416 3221214880 1131339967 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 22056 13073 16 0 209548 0 vsize: 838256 [startup+80.0408 s] Raw data (loadavg): 1.05 1.02 0.95 2/65 23992 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 7610 42 0 0 25 0 11 0 477559857 858374144 22062 4294967295 134512640 134569956 3221224416 3221214720 1131444068 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 22062 13073 16 0 209548 0 vsize: 838256 [startup+90.041 s] Raw data (loadavg): 1.05 1.02 0.95 2/65 23992 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 8595 42 0 0 25 0 11 0 477559857 858374144 22064 4294967295 134512640 134569956 3221224416 3221214880 1131339884 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 22064 13073 16 0 209548 0 vsize: 838256 [startup+100.041 s] Raw data (loadavg): 1.04 1.02 0.95 2/65 23992 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 9580 42 0 0 25 0 11 0 477559857 858374144 22083 4294967295 134512640 134569956 3221224416 3221214760 1131349996 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 22083 13073 16 0 209548 0 vsize: 838256 [startup+110.042 s] Raw data (loadavg): 1.03 1.02 0.95 2/65 23992 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 10563 42 0 0 25 0 11 0 477559857 858374144 22178 4294967295 134512640 134569956 3221224416 3221214760 1131350854 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 22178 13073 16 0 209548 0 vsize: 838256 [startup+120.042 s] Raw data (loadavg): 1.03 1.02 0.95 2/65 23992 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 11548 42 0 0 25 0 11 0 477559857 858374144 22307 4294967295 134512640 134569956 3221224416 3221214760 1131349996 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 22307 13073 16 0 209548 0 vsize: 838256 [startup+130.043 s] Raw data (loadavg): 1.02 1.02 0.95 2/65 23992 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 12532 42 0 0 25 0 11 0 477559857 858374144 22385 4294967295 134512640 134569956 3221224416 3221214784 1131220735 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 22385 13073 16 0 209548 0 vsize: 838256 [startup+140.044 s] Raw data (loadavg): 1.02 1.02 0.95 2/65 23992 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 13517 42 0 0 25 0 11 0 477559857 858374144 22558 4294967295 134512640 134569956 3221224416 3221214880 1131339895 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 22558 13073 16 0 209548 0 vsize: 838256 [startup+150.045 s] Raw data (loadavg): 1.02 1.02 0.95 2/65 23992 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 14502 42 0 0 25 0 11 0 477559857 858374144 22639 4294967295 134512640 134569956 3221224416 3221214880 1131339967 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 22639 13073 16 0 209548 0 vsize: 838256 [startup+160.045 s] Raw data (loadavg): 1.01 1.02 0.95 2/65 23992 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 15486 42 0 0 25 0 11 0 477559857 858374144 22793 4294967295 134512640 134569956 3221224416 3221214776 1131379219 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209564 22793 13073 16 0 209548 0 vsize: 838256 [startup+170.045 s] Raw data (loadavg): 1.01 1.02 0.95 2/65 23992 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 16471 42 0 0 25 0 11 0 477559857 858374144 22929 4294967295 134512640 134569956 3221224416 3221214880 1131340163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 22929 13073 16 0 209548 0 vsize: 838256 [startup+180.045 s] Raw data (loadavg): 1.09 1.03 0.95 2/65 24045 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 17443 52 0 0 25 0 11 0 477559857 858374144 23140 4294967295 134512640 134569956 3221224416 3221214760 1131349960 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 23140 13073 16 0 209548 0 vsize: 838256 [startup+190.045 s] Raw data (loadavg): 1.07 1.03 0.95 2/65 24045 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 18429 52 0 0 25 0 11 0 477559857 858374144 23322 4294967295 134512640 134569956 3221224416 3221214856 1131435633 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 23322 13073 16 0 209548 0 vsize: 838256 [startup+200.046 s] Raw data (loadavg): 1.06 1.03 0.95 2/65 24045 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 19410 52 0 0 25 0 11 0 477559857 858374144 23438 4294967295 134512640 134569956 3221224416 3221214880 1131339952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 23438 13073 16 0 209548 0 vsize: 838256 [startup+210.047 s] Raw data (loadavg): 1.05 1.03 0.95 2/65 24045 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 20397 52 0 0 25 0 11 0 477559857 858374144 23585 4294967295 134512640 134569956 3221224416 3221214736 1131173465 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 23585 13073 16 0 209548 0 vsize: 838256 [startup+220.046 s] Raw data (loadavg): 1.04 1.03 0.95 2/65 24045 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 21384 52 0 0 25 0 11 0 477559857 858374144 23764 4294967295 134512640 134569956 3221224416 3221214880 1131339872 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209564 23764 13073 16 0 209548 0 vsize: 838256 [startup+230.048 s] Raw data (loadavg): 1.04 1.03 0.95 2/65 24045 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 22371 52 0 0 25 0 11 0 477559857 858374144 23845 4294967295 134512640 134569956 3221224416 3221214880 1131340163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 23845 13073 16 0 209548 0 vsize: 838256 [startup+240.048 s] Raw data (loadavg): 1.03 1.02 0.95 2/65 24047 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 23358 52 0 0 25 0 11 0 477559857 858374144 24002 4294967295 134512640 134569956 3221224416 3221214880 1131339964 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 24002 13073 16 0 209548 0 vsize: 838256 [startup+250.048 s] Raw data (loadavg): 1.02 1.02 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 24343 52 0 0 25 0 11 0 477559857 858374144 24176 4294967295 134512640 134569956 3221224416 3221214720 1131514796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 24176 13073 16 0 209548 0 vsize: 838256 [startup+260.049 s] Raw data (loadavg): 1.02 1.02 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 25329 52 0 0 25 0 11 0 477559857 858374144 24421 4294967295 134512640 134569956 3221224416 3221214760 1131349988 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 24421 13073 16 0 209548 0 vsize: 838256 [startup+270.049 s] Raw data (loadavg): 1.02 1.02 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 26315 52 0 0 25 0 11 0 477559857 858374144 24490 4294967295 134512640 134569956 3221224416 3221214760 1131350775 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 24490 13073 16 0 209548 0 vsize: 838256 [startup+280.05 s] Raw data (loadavg): 1.01 1.02 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 27301 52 0 0 25 0 11 0 477559857 858374144 24621 4294967295 134512640 134569956 3221224416 3221214712 1131504685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209564 24621 13073 16 0 209548 0 vsize: 838256 [startup+290.05 s] Raw data (loadavg): 1.01 1.02 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 28287 52 0 0 25 0 11 0 477559857 858374144 24685 4294967295 134512640 134569956 3221224416 3221214760 1131350777 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 24685 13073 16 0 209548 0 vsize: 838256 [startup+300.051 s] Raw data (loadavg): 1.01 1.02 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 29273 52 0 0 25 0 11 0 477559857 858374144 24812 4294967295 134512640 134569956 3221224416 3221214880 1131340163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 24812 13073 16 0 209548 0 vsize: 838256 [startup+310.051 s] Raw data (loadavg): 1.01 1.02 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 30259 52 0 0 25 0 11 0 477559857 858374144 24899 4294967295 134512640 134569956 3221224416 3221214880 1131339964 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 24899 13073 16 0 209548 0 vsize: 838256 [startup+320.051 s] Raw data (loadavg): 1.01 1.02 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 31245 52 0 0 25 0 11 0 477559857 858374144 24994 4294967295 134512640 134569956 3221224416 3221214880 1131339969 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 24994 13073 16 0 209548 0 vsize: 838256 [startup+330.051 s] Raw data (loadavg): 1.00 1.02 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 32229 52 0 0 25 0 11 0 477559857 858374144 25244 4294967295 134512640 134569956 3221224416 3221214760 1131352081 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 25244 13073 16 0 209548 0 vsize: 838256 [startup+340.052 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 33215 52 0 0 25 0 11 0 477559857 858374144 25392 4294967295 134512640 134569956 3221224416 3221214880 1131339895 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 25392 13073 16 0 209548 0 vsize: 838256 [startup+350.053 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 34192 52 0 0 24 0 11 0 477559857 858374144 25679 4294967295 134512640 134569956 3221224416 3221214880 1131339872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 25679 13073 16 0 209548 0 vsize: 838256 [startup+360.054 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 35179 52 0 0 25 0 11 0 477559857 858374144 25828 4294967295 134512640 134569956 3221224416 3221214896 1131184985 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 25828 13073 16 0 209548 0 vsize: 838256 [startup+370.054 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 36167 52 0 0 25 0 11 0 477559857 858374144 26051 4294967295 134512640 134569956 3221224416 3221214720 1131514801 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 26051 13073 16 0 209548 0 vsize: 838256 [startup+380.055 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 37154 52 0 0 25 0 11 0 477559857 858374144 26143 4294967295 134512640 134569956 3221224416 3221214776 1131449217 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 26143 13073 16 0 209548 0 vsize: 838256 [startup+390.055 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 38140 52 0 0 25 0 11 0 477559857 858374144 26330 4294967295 134512640 134569956 3221224416 3221214792 1131415458 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 26330 13073 16 0 209548 0 vsize: 838256 [startup+400.054 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 39127 52 0 0 25 0 11 0 477559857 858374144 26502 4294967295 134512640 134569956 3221224416 3221214880 1131339964 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 26502 13073 16 0 209548 0 vsize: 838256 [startup+410.055 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 40115 52 0 0 25 0 11 0 477559857 858374144 26654 4294967295 134512640 134569956 3221224416 3221214880 1131339872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 26654 13073 16 0 209548 0 vsize: 838256 [startup+420.056 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 41102 52 0 0 25 0 11 0 477559857 858374144 26827 4294967295 134512640 134569956 3221224416 3221214880 1131339884 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209564 26827 13073 16 0 209548 0 vsize: 838256 [startup+430.056 s] Raw data (loadavg): 1.08 1.02 0.96 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 42089 52 0 0 25 0 11 0 477559857 858374144 26919 4294967295 134512640 134569956 3221224416 3221214872 1131467137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 26919 13073 16 0 209548 0 vsize: 838256 [startup+440.056 s] Raw data (loadavg): 1.07 1.02 0.96 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 43075 52 0 0 25 0 11 0 477559857 858374144 27158 4294967295 134512640 134569956 3221224416 3221214760 1131349967 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 27158 13073 16 0 209548 0 vsize: 838256 [startup+450.056 s] Raw data (loadavg): 1.06 1.02 0.96 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 44062 52 0 0 25 0 11 0 477559857 858374144 27291 4294967295 134512640 134569956 3221224416 3221214880 1131339967 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 27291 13073 16 0 209548 0 vsize: 838256 [startup+460.056 s] Raw data (loadavg): 1.05 1.02 0.96 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 45049 53 0 0 25 0 11 0 477559857 858374144 27463 4294967295 134512640 134569956 3221224416 3221214880 1131339872 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209564 27463 13073 16 0 209548 0 vsize: 838256 [startup+470.056 s] Raw data (loadavg): 1.04 1.02 0.96 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 46029 53 0 0 24 0 11 0 477559857 858374144 27703 4294967295 134512640 134569956 3221224416 3221214880 1131339884 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 27703 13073 16 0 209548 0 vsize: 838256 [startup+480.057 s] Raw data (loadavg): 1.03 1.02 0.96 2/65 24049 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 47016 53 0 0 25 0 11 0 477559857 858374144 27847 4294967295 134512640 134569956 3221224416 3221214880 1131339969 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 27847 13073 16 0 209548 0 vsize: 838256 [startup+490.058 s] Raw data (loadavg): 1.03 1.02 0.96 2/65 24051 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 48003 53 0 0 25 0 11 0 477559857 858374144 28028 4294967295 134512640 134569956 3221224416 3221214736 1131173465 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 28028 13073 16 0 209548 0 vsize: 838256 [startup+500.057 s] Raw data (loadavg): 1.02 1.02 0.96 2/65 24051 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 48991 53 0 0 25 0 11 0 477559857 858374144 28102 4294967295 134512640 134569956 3221224416 3221214880 1131340163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 28102 13073 16 0 209548 0 vsize: 838256 [startup+510.059 s] Raw data (loadavg): 1.02 1.01 0.96 2/65 24051 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 49977 53 0 0 25 0 11 0 477559857 858374144 28345 4294967295 134512640 134569956 3221224416 3221214880 1131339895 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209564 28345 13073 16 0 209548 0 vsize: 838256 [startup+520.058 s] Raw data (loadavg): 1.02 1.01 0.96 2/65 24051 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 50958 53 0 0 25 0 11 0 477559857 858374144 28498 4294967295 134512640 134569956 3221224416 3221214880 1131339978 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 28498 13073 16 0 209548 0 vsize: 838256 [startup+530.059 s] Raw data (loadavg): 1.01 1.01 0.96 2/65 24051 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 51945 53 0 0 25 0 11 0 477559857 858374144 28654 4294967295 134512640 134569956 3221224416 3221214760 1131350864 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 28654 13073 16 0 209548 0 vsize: 838256 [startup+540.059 s] Raw data (loadavg): 1.01 1.01 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 52932 54 0 0 25 0 11 0 477559857 858374144 28813 4294967295 134512640 134569956 3221224416 3221214760 1131349904 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209564 28813 13073 16 0 209548 0 vsize: 838256 [startup+550.059 s] Raw data (loadavg): 1.01 1.01 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 53919 54 0 0 25 0 11 0 477559857 858374144 29032 4294967295 134512640 134569956 3221224416 3221214904 1131505609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 29032 13073 16 0 209548 0 vsize: 838256 [startup+560.059 s] Raw data (loadavg): 1.01 1.01 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 54905 54 0 0 25 0 11 0 477559857 858374144 29209 4294967295 134512640 134569956 3221224416 3221214880 1131339884 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 29209 13073 16 0 209548 0 vsize: 838256 [startup+570.059 s] Raw data (loadavg): 1.00 1.01 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 55890 54 0 0 25 0 11 0 477559857 858374144 29494 4294967295 134512640 134569956 3221224416 3221214880 1131339964 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 29494 13073 16 0 209548 0 vsize: 838256 [startup+580.06 s] Raw data (loadavg): 1.00 1.01 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 56875 54 0 0 25 0 11 0 477559857 858374144 29655 4294967295 134512640 134569956 3221224416 3221214776 1131382054 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209564 29655 13073 16 0 209548 0 vsize: 838256 [startup+590.06 s] Raw data (loadavg): 1.00 1.01 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 57861 54 0 0 25 0 11 0 477559857 858374144 29804 4294967295 134512640 134569956 3221224416 3221214880 1131339872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 29804 13073 16 0 209548 0 vsize: 838256 [startup+600.059 s] Raw data (loadavg): 1.00 1.01 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 58848 54 0 0 25 0 11 0 477559857 858374144 29899 4294967295 134512640 134569956 3221224416 3221214680 1131210935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209564 29899 13073 16 0 209548 0 vsize: 838256 [startup+610.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 59834 54 0 0 25 0 11 0 477559857 858374144 29987 4294967295 134512640 134569956 3221224416 3221214760 1131349979 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 29987 13073 16 0 209548 0 vsize: 838256 [startup+620.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 60820 54 0 0 25 0 11 0 477559857 858374144 30124 4294967295 134512640 134569956 3221224416 3221214880 1131339964 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 30124 13073 16 0 209548 0 vsize: 838256 [startup+630.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 61800 54 0 0 25 0 11 0 477559857 858374144 30399 4294967295 134512640 134569956 3221224416 3221214720 1131514784 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 30399 13073 16 0 209548 0 vsize: 838256 [startup+640.058 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 62786 54 0 0 25 0 11 0 477559857 858374144 30546 4294967295 134512640 134569956 3221224416 3221214880 1131339895 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 30546 13073 16 0 209548 0 vsize: 838256 [startup+650.058 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 63772 54 0 0 25 0 11 0 477559857 858374144 30678 4294967295 134512640 134569956 3221224416 3221214788 1080203664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 30678 13073 16 0 209548 0 vsize: 838256 [startup+660.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 64758 54 0 0 25 0 11 0 477559857 858374144 30935 4294967295 134512640 134569956 3221224416 3221214760 1131350771 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 30935 13073 16 0 209548 0 vsize: 838256 [startup+670.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 65744 54 0 0 25 0 11 0 477559857 858374144 31123 4294967295 134512640 134569956 3221224416 3221214880 1131340153 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 31123 13073 16 0 209548 0 vsize: 838256 [startup+680.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 66731 54 0 0 25 0 11 0 477559857 858374144 31231 4294967295 134512640 134569956 3221224416 3221214856 1131399561 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 31231 13073 16 0 209548 0 vsize: 838256 [startup+690.058 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 67717 54 0 0 25 0 11 0 477559857 858374144 31370 4294967295 134512640 134569956 3221224416 3221214680 1131209965 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209564 31370 13073 16 0 209548 0 vsize: 838256 [startup+700.058 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 68696 54 0 0 25 0 11 0 477559857 858374144 31741 4294967295 134512640 134569956 3221224416 3221214760 1131350883 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 31741 13073 16 0 209548 0 vsize: 838256 [startup+710.058 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 69683 54 0 0 25 0 11 0 477559857 858374144 31978 4294967295 134512640 134569956 3221224416 3221214760 1131350876 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 31978 13073 16 0 209548 0 vsize: 838256 [startup+720.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 70671 54 0 0 25 0 11 0 477559857 858374144 32066 4294967295 134512640 134569956 3221224416 3221214760 1131349926 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 32066 13073 16 0 209548 0 vsize: 838256 [startup+730.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 71658 54 0 0 25 0 11 0 477559857 858374144 32301 4294967295 134512640 134569956 3221224416 3221214760 1131349953 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 32301 13073 16 0 209548 0 vsize: 838256 [startup+740.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 72639 54 0 0 25 0 11 0 477559857 858374144 32679 4294967295 134512640 134569956 3221224416 3221214640 1131508595 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 32679 13073 16 0 209548 0 vsize: 838256 [startup+750.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 73627 55 0 0 25 0 11 0 477559857 858374144 32784 4294967295 134512640 134569956 3221224416 3221214776 1131448581 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 32784 13073 16 0 209548 0 vsize: 838256 [startup+760.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 74615 55 0 0 25 0 11 0 477559857 858374144 32784 4294967295 134512640 134569956 3221224416 3221214856 1131401123 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 32784 13073 16 0 209548 0 vsize: 838256 [startup+770.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 75602 55 0 0 25 0 11 0 477559857 858374144 32861 4294967295 134512640 134569956 3221224416 3221214880 1131339967 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 32861 13073 16 0 209548 0 vsize: 838256 [startup+780.061 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 76579 55 0 0 25 0 11 0 477559857 858374144 33178 4294967295 134512640 134569956 3221224416 3221214760 1131349977 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 33178 13073 16 0 209548 0 vsize: 838256 [startup+790.061 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 77565 55 0 0 25 0 11 0 477559857 858374144 33367 4294967295 134512640 134569956 3221224416 3221214784 1131210427 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 33367 13073 16 0 209548 0 vsize: 838256 [startup+800.061 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 78549 55 0 0 25 0 11 0 477559857 858374144 33451 4294967295 134512640 134569956 3221224416 3221214760 1131349908 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 33451 13073 16 0 209548 0 vsize: 838256 [startup+810.061 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 79532 55 0 0 25 0 11 0 477559857 858374144 33596 4294967295 134512640 134569956 3221224416 3221214760 1131349904 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 33596 13073 16 0 209548 0 vsize: 838256 [startup+820.061 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 80515 55 0 0 25 0 11 0 477559857 858374144 33764 4294967295 134512640 134569956 3221224416 3221214772 1131373577 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 33764 13073 16 0 209548 0 vsize: 838256 [startup+830.062 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24053 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 81499 55 0 0 25 0 11 0 477559857 858374144 33858 4294967295 134512640 134569956 3221224416 3221214760 1131349926 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 33858 13073 16 0 209548 0 vsize: 838256 [startup+840.062 s] Raw data (loadavg): 1.08 1.02 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 82476 55 0 0 25 0 11 0 477559857 858374144 34002 4294967295 134512640 134569956 3221224416 3221214784 1131210126 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 34002 13073 16 0 209548 0 vsize: 838256 [startup+850.061 s] Raw data (loadavg): 1.07 1.02 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 83460 55 0 0 25 0 11 0 477559857 858374144 34157 4294967295 134512640 134569956 3221224416 3221214880 1131339964 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 34157 13073 16 0 209548 0 vsize: 838256 [startup+860.062 s] Raw data (loadavg): 1.06 1.01 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 84445 55 0 0 25 0 11 0 477559857 858374144 34217 4294967295 134512640 134569956 3221224416 3221214880 1131339952 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209564 34217 13073 16 0 209548 0 vsize: 838256 [startup+870.062 s] Raw data (loadavg): 1.05 1.01 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 85430 55 0 0 25 0 11 0 477559857 858374144 34344 4294967295 134512640 134569956 3221224416 3221214880 1131340163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 34344 13073 16 0 209548 0 vsize: 838256 [startup+880.062 s] Raw data (loadavg): 1.04 1.01 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 86415 55 0 0 25 0 11 0 477559857 858374144 34521 4294967295 134512640 134569956 3221224416 3221214880 1131339952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 34521 13073 16 0 209548 0 vsize: 838256 [startup+890.063 s] Raw data (loadavg): 1.03 1.01 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 87393 55 0 0 25 0 11 0 477559857 858374144 34746 4294967295 134512640 134569956 3221224416 3221214680 1131210320 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 34746 13073 16 0 209548 0 vsize: 838256 [startup+900.063 s] Raw data (loadavg): 1.03 1.01 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 88377 55 0 0 25 0 11 0 477559857 858374144 34948 4294967295 134512640 134569956 3221224416 3221214852 1131372640 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 34948 13073 16 0 209548 0 vsize: 838256 [startup+910.063 s] Raw data (loadavg): 1.02 1.01 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 89362 55 0 0 25 0 11 0 477559857 858374144 35159 4294967295 134512640 134569956 3221224416 3221214880 1131339872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 35159 13073 16 0 209548 0 vsize: 838256 [startup+920.063 s] Raw data (loadavg): 1.02 1.01 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 90347 55 0 0 25 0 11 0 477559857 858374144 35302 4294967295 134512640 134569956 3221224416 3221214880 1131339872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 35302 13073 16 0 209548 0 vsize: 838256 [startup+930.064 s] Raw data (loadavg): 1.02 1.01 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 91326 55 0 0 25 0 11 0 477559857 858374144 35535 4294967295 134512640 134569956 3221224416 3221214856 1131401741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 35535 13073 16 0 209548 0 vsize: 838256 [startup+940.063 s] Raw data (loadavg): 1.01 1.01 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 92311 55 0 0 25 0 11 0 477559857 858374144 35748 4294967295 134512640 134569956 3221224416 3221214880 1131339967 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 35748 13073 16 0 209548 0 vsize: 838256 [startup+950.064 s] Raw data (loadavg): 1.01 1.01 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 93296 55 0 0 25 0 11 0 477559857 858374144 35927 4294967295 134512640 134569956 3221224416 3221214892 1130885154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 35927 13073 16 0 209548 0 vsize: 838256 [startup+960.064 s] Raw data (loadavg): 1.01 1.00 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 94282 55 0 0 25 0 11 0 477559857 858374144 36162 4294967295 134512640 134569956 3221224416 3221214880 1131339872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 36162 13073 16 0 209548 0 vsize: 838256 [startup+970.064 s] Raw data (loadavg): 1.01 1.00 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 95267 55 0 0 25 0 11 0 477559857 858374144 36321 4294967295 134512640 134569956 3221224416 3221214880 1131339884 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 36321 13073 16 0 209548 0 vsize: 838256 [startup+980.064 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 96245 55 0 0 25 0 11 0 477559857 858374144 36616 4294967295 134512640 134569956 3221224416 3221214880 1131340153 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 36616 13073 16 0 209548 0 vsize: 838256 [startup+990.064 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 97231 55 0 0 25 0 11 0 477559857 858374144 36868 4294967295 134512640 134569956 3221224416 3221214856 1131401018 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209564 36868 13073 16 0 209548 0 vsize: 838256 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18065 0 1 0 98216 55 0 0 25 0 11 0 477559857 858374144 37030 4294967295 134512640 134569956 3221224416 3221214856 1131435622 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 37030 13073 16 0 209548 0 vsize: 838256 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 99193 55 0 0 25 0 11 0 477559857 858374144 37334 4294967295 134512640 134569956 3221224416 3221214880 1131339872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 37334 13073 16 0 209548 0 vsize: 838256 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 100179 55 0 0 25 0 11 0 477559857 858374144 37551 4294967295 134512640 134569956 3221224416 3221214880 1131339969 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 37551 13073 16 0 209548 0 vsize: 838256 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24055 Raw data (stat): 23982 (java) S 23981 22929 22928 0 -1 0 18066 0 1 0 101158 55 0 0 25 0 11 0 477559857 858374144 37707 4294967295 134512640 134569956 3221224416 3221213560 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 37707 13073 16 0 209548 0 vsize: 838256 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 102144 55 0 0 25 0 11 0 477559857 858374144 37836 4294967295 134512640 134569956 3221224416 3221214896 1131184985 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 37836 13073 16 0 209548 0 vsize: 838256 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 103129 55 0 0 25 0 11 0 477559857 858374144 37923 4294967295 134512640 134569956 3221224416 3221214680 1131209921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 37923 13073 16 0 209548 0 vsize: 838256 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 104115 55 0 0 25 0 11 0 477559857 858374144 38094 4294967295 134512640 134569956 3221224416 3221214760 1131350775 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 38094 13073 16 0 209548 0 vsize: 838256 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 105093 55 0 0 25 0 11 0 477559857 858374144 38270 4294967295 134512640 134569956 3221224416 3221214880 1131339884 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 38270 13073 16 0 209548 0 vsize: 838256 [startup+1080.07 s] Raw data (loadavg): 1.07 1.02 0.97 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 106078 55 0 0 25 0 11 0 477559857 858374144 38478 4294967295 134512640 134569956 3221224416 3221214784 1131210507 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 38478 13073 16 0 209548 0 vsize: 838256 [startup+1090.07 s] Raw data (loadavg): 1.06 1.02 0.97 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 107064 56 0 0 25 0 11 0 477559857 858374144 38625 4294967295 134512640 134569956 3221224416 3221214760 1131350777 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209564 38625 13073 16 0 209548 0 vsize: 838256 [startup+1100.07 s] Raw data (loadavg): 1.05 1.01 0.97 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 108042 56 0 0 25 0 11 0 477559857 858374144 38795 4294967295 134512640 134569956 3221224416 3221214876 1131372690 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 38795 13073 16 0 209548 0 vsize: 838256 [startup+1110.07 s] Raw data (loadavg): 1.04 1.01 0.97 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 109028 56 0 0 25 0 11 0 477559857 858374144 39002 4294967295 134512640 134569956 3221224416 3221214880 1131339872 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209564 39002 13073 16 0 209548 0 vsize: 838256 [startup+1120.07 s] Raw data (loadavg): 1.04 1.01 0.97 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 110013 56 0 0 25 0 11 0 477559857 858374144 39159 4294967295 134512640 134569956 3221224416 3221214760 1131349996 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 39159 13073 16 0 209548 0 vsize: 838256 [startup+1130.07 s] Raw data (loadavg): 1.03 1.01 0.97 2/65 24055 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 110991 56 0 0 25 0 11 0 477559857 858374144 39384 4294967295 134512640 134569956 3221224416 3221214760 1131349996 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 39384 13073 16 0 209548 0 vsize: 838256 [startup+1140.07 s] Raw data (loadavg): 1.02 1.01 0.97 2/65 24057 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 111977 56 0 0 25 0 11 0 477559857 858374144 39511 4294967295 134512640 134569956 3221224416 3221214880 1131339967 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 39511 13073 16 0 209548 0 vsize: 838256 [startup+1150.07 s] Raw data (loadavg): 1.02 1.01 0.97 2/65 24057 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 112963 56 0 0 25 0 11 0 477559857 858374144 39672 4294967295 134512640 134569956 3221224416 3221214848 1131491804 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 39672 13073 16 0 209548 0 vsize: 838256 [startup+1160.07 s] Raw data (loadavg): 1.02 1.01 0.97 2/65 24057 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 113942 56 0 0 25 0 11 0 477559857 858374144 39933 4294967295 134512640 134569956 3221224416 3221214720 1131514799 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209564 39933 13073 16 0 209548 0 vsize: 838256 [startup+1170.07 s] Raw data (loadavg): 1.01 1.01 0.97 2/65 24057 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 114927 56 0 0 25 0 11 0 477559857 858374144 40157 4294967295 134512640 134569956 3221224416 3221214880 1131340163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 40157 13073 16 0 209548 0 vsize: 838256 [startup+1180.07 s] Raw data (loadavg): 1.01 1.01 0.97 2/65 24057 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 115913 56 0 0 25 0 11 0 477559857 858374144 40315 4294967295 134512640 134569956 3221224416 3221214880 1131339964 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 40315 13073 16 0 209548 0 vsize: 838256 [startup+1190.07 s] Raw data (loadavg): 1.01 1.01 0.97 2/65 24057 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 116891 56 0 0 25 0 11 0 477559857 858374144 40540 4294967295 134512640 134569956 3221224416 3221214760 1131349973 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 40540 13073 16 0 209548 0 vsize: 838256 [startup+1200.07 s] Raw data (loadavg): 1.01 1.00 0.97 2/65 24057 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 117876 57 0 0 25 0 11 0 477559857 858374144 40719 4294967295 134512640 134569956 3221224416 3221214880 1131340153 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 40719 13073 16 0 209548 0 vsize: 838256 [startup+1210.07 s] Raw data (loadavg): 1.01 1.00 0.97 2/65 24057 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 118863 57 0 0 25 0 11 0 477559857 858374144 40820 4294967295 134512640 134569956 3221224416 3221214760 1131349932 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 40820 13073 16 0 209548 0 vsize: 838256 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 24057 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 119848 57 0 0 25 0 11 0 477559857 858374144 41006 4294967295 134512640 134569956 3221224416 3221214880 1131339905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 41006 13073 16 0 209548 0 vsize: 838256 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/65 24057 Raw data (stat): 23982 (java) R 23981 22929 22928 0 -1 0 18066 0 1 0 120827 57 0 0 25 0 11 0 477559857 858374144 41298 4294967295 134512640 134569956 3221224416 3221214720 1131514796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209564 41298 13073 16 0 209548 0 vsize: 838256 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.18 s] Raw data (loadavg): 1.00 1.00 0.97 1/55 24059 Raw data (stat): 23982 (java) Z 23981 22929 22928 0 -1 1036 18066 21804 1 0 120830 57 1877 52 25 0 1 0 477559857 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1230.18 CPU time (s): 1228.18 CPU user time (s): 1227.08 CPU system time (s): 1.10083 CPU usage (%): 99.837 Max. virtual memory (Kb): 838872 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####