Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-p2756.opb |
MD5SUM | f2badf1ad4c3213045697b74fa812a03 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4605 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2166 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 321831 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 321831 |
Number of bits of the biggest sum of numbers | 19 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.07284 |
Number of variables | 2756 |
Total number of constraints | 3511 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 2976 |
Number of constraints which are nor clauses,nor cardinality constraints | 403 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 546 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-04-21 15:23:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17884 boxname=wulflinc4 idbench=1376 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: f2badf1ad4c3213045697b74fa812a03 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-p2756.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-p2756.opb IDLAUNCH: 17884 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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 : 2 cpu MHz : 451.169 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: 823368 kB Buffers: 22548 kB Cached: 167420 kB SwapCached: 364 kB Active: 23684 kB Inactive: 168808 kB HighTotal: 131008 kB HighFree: 99540 kB LowTotal: 903652 kB LowFree: 723828 kB SwapTotal: 2097136 kB SwapFree: 2096356 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6400 kB Slab: 13216 kB Committed_AS: 71676 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 15:43:51 (client local time) WITH STATUS 143 IN 1232.63 SECONDS stats: 17884 7 1232.63 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-p2756.opb c reading problem c [nbvar=2756] c [nbconstr=3511] c time 6.892 c #vars 2756 c #clauses 749 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 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=118390 c Current CPU time (ms) : 11.811 c starts : 1 c conflicts : 43 c decisions : 14723 c propagations : 24008 c inspects : 11014 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 43 c root simplifications : 13 c c CURRENT OPTIMUM=118122 c Current CPU time (ms) : 13.049 c starts : 2 c conflicts : 43 c decisions : 16394 c propagations : 26737 c inspects : 12650 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 43 c root simplifications : 14 c c CURRENT OPTIMUM=117930 c Current CPU time (ms) : 85.318 c starts : 3 c conflicts : 59 c decisions : 18112 c propagations : 29590 c inspects : 14729 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 59 c root simplifications : 15 c c CURRENT OPTIMUM=39742 c Current CPU time (ms) : 87.478 c starts : 4 c conflicts : 72 c decisions : 20677 c propagations : 33928 c inspects : 21094 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 72 c root simplifications : 16 c c CURRENT OPTIMUM=39056 c Current CPU time (ms) : 89.482 c starts : 5 c conflicts : 80 c decisions : 25098 c propagations : 39835 c inspects : 25969 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 80 c root simplifications : 17 c c CURRENT OPTIMUM=38455 c Current CPU time (ms) : 94.668 c starts : 6 c conflicts : 82 c decisions : 27677 c propagations : 43917 c inspects : 30096 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 82 c root simplifications : 18 c c CURRENT OPTIMUM=30973 c Current CPU time (ms) : 97.029 c starts : 7 c conflicts : 91 c decisions : 30195 c propagations : 47885 c inspects : 35525 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 91 c root simplifications : 19 c c CURRENT OPTIMUM=30841 c Current CPU time (ms) : 106.464 c starts : 8 c conflicts : 92 c decisions : 31704 c propagations : 50868 c inspects : 39080 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 92 c root simplifications : 20 c c CURRENT OPTIMUM=27756 c Current CPU time (ms) : 777.897 c starts : 10 c conflicts : 196 c decisions : 35533 c propagations : 57318 c inspects : 50211 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 196 c root simplifications : 22 c c CURRENT OPTIMUM=24699 c Current CPU time (ms) : 789.346 c starts : 11 c conflicts : 200 c decisions : 37887 c propagations : 61544 c inspects : 56272 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 200 c root simplifications : 23 c c CURRENT OPTIMUM=24630 c Current CPU time (ms) : 1108.864 c starts : 12 c conflicts : 219 c decisions : 42008 c propagations : 68025 c inspects : 65539 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 219 c root simplifications : 24 #### 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.85 0.97 0.96 2/54 9903 Raw data (stat): 9903 (runsolver) R 9902 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487905633 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.0001 s] Raw data (loadavg): 1.03 1.00 0.97 4/64 9913 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18103 0 1 0 737 47 0 0 25 0 11 0 487905633 866684928 21627 4294967295 134512640 134569956 3221224400 3221214704 1130909218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211593 21627 13073 16 0 211577 0 vsize: 846372 [startup+20.0014 s] Raw data (loadavg): 1.18 1.03 0.98 2/64 9915 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18115 3 1 0 1595 47 0 0 25 0 11 0 487905633 864546816 22272 4294967295 134512640 134569956 3221224400 3221214344 1131306351 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211071 22272 13073 16 0 211055 0 vsize: 844284 [startup+30.0018 s] Raw data (loadavg): 1.16 1.03 0.98 2/64 9915 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18116 3 1 0 2549 48 0 0 25 0 11 0 487905633 862142464 21823 4294967295 134512640 134569956 3221224400 3221214384 1131571773 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210484 21823 13073 16 0 210468 0 vsize: 841936 [startup+40.0021 s] Raw data (loadavg): 1.13 1.03 0.98 2/64 9915 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18116 3 1 0 3503 48 0 0 25 0 11 0 487905633 862142464 21991 4294967295 134512640 134569956 3221224400 3221214344 1131306387 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210484 21991 13073 16 0 210468 0 vsize: 841936 [startup+50.0029 s] Raw data (loadavg): 1.11 1.03 0.98 2/64 9915 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18116 3 1 0 4444 48 0 0 25 0 11 0 487905633 862142464 22184 4294967295 134512640 134569956 3221224400 3221214632 1131596714 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210484 22184 13073 16 0 210468 0 vsize: 841936 [startup+60.0023 s] Raw data (loadavg): 1.09 1.03 0.98 2/64 9915 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18116 3 1 0 5378 48 0 0 25 0 11 0 487905633 862142464 22366 4294967295 134512640 134569956 3221224400 3221214520 1131552138 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210484 22366 13073 16 0 210468 0 vsize: 841936 [startup+70.0037 s] Raw data (loadavg): 1.16 1.04 0.99 2/64 9915 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18116 3 1 0 6337 49 0 0 25 0 11 0 487905633 862142464 22803 4294967295 134512640 134569956 3221224400 3221214520 1131552333 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210484 22803 13073 16 0 210468 0 vsize: 841936 [startup+80.0045 s] Raw data (loadavg): 1.13 1.04 0.99 2/64 9915 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18116 3 1 0 7305 49 0 0 25 0 11 0 487905633 862142464 22865 4294967295 134512640 134569956 3221224400 3221214440 1131306317 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210484 22865 13073 16 0 210468 0 vsize: 841936 [startup+90.0039 s] Raw data (loadavg): 1.19 1.06 0.99 2/64 9917 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 8271 49 0 0 25 0 11 0 487905633 862142464 22963 4294967295 134512640 134569956 3221224400 3221214664 1131367419 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 22963 13073 16 0 210468 0 vsize: 841936 [startup+100.004 s] Raw data (loadavg): 1.16 1.05 0.99 2/64 9920 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 9233 50 0 0 25 0 11 0 487905633 862142464 23031 4294967295 134512640 134569956 3221224400 3221214536 1131335578 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23031 13073 16 0 210468 0 vsize: 841936 [startup+110.005 s] Raw data (loadavg): 1.14 1.05 0.99 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 10181 50 0 0 25 0 11 0 487905633 862142464 23155 4294967295 134512640 134569956 3221224400 3221214760 1131372731 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23155 13073 16 0 210468 0 vsize: 841936 [startup+120.005 s] Raw data (loadavg): 1.12 1.05 0.99 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 11137 50 0 0 25 0 11 0 487905633 862142464 23176 4294967295 134512640 134569956 3221224400 3221214440 1131306556 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23176 13073 16 0 210468 0 vsize: 841936 [startup+130.006 s] Raw data (loadavg): 1.10 1.05 0.99 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 12100 50 0 0 25 0 11 0 487905633 862142464 23230 4294967295 134512640 134569956 3221224400 3221214624 1131593270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23230 13073 16 0 210468 0 vsize: 841936 [startup+140.007 s] Raw data (loadavg): 1.08 1.05 0.99 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 13071 50 0 0 25 0 11 0 487905633 862142464 23426 4294967295 134512640 134569956 3221224400 3221214520 1131552548 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23426 13073 16 0 210468 0 vsize: 841936 [startup+150.007 s] Raw data (loadavg): 1.14 1.06 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 14052 50 0 0 25 0 11 0 487905633 862142464 23526 4294967295 134512640 134569956 3221224400 3221214440 1131306556 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23526 13073 16 0 210468 0 vsize: 841936 [startup+160.007 s] Raw data (loadavg): 1.12 1.06 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 15038 50 0 0 25 0 11 0 487905633 862142464 23703 4294967295 134512640 134569956 3221224400 3221214440 1131306317 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23703 13073 16 0 210468 0 vsize: 841936 [startup+170.008 s] Raw data (loadavg): 1.10 1.06 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 16035 50 0 0 25 0 11 0 487905633 862142464 23706 4294967295 134512640 134569956 3221224400 3221214440 1131306384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23706 13073 16 0 210468 0 vsize: 841936 [startup+180.009 s] Raw data (loadavg): 1.08 1.05 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 17032 50 0 0 25 0 11 0 487905633 862142464 23710 4294967295 134512640 134569956 3221224400 3221214440 1131307279 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23710 13073 16 0 210468 0 vsize: 841936 [startup+190.009 s] Raw data (loadavg): 1.07 1.05 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 18030 50 0 0 25 0 11 0 487905633 862142464 23715 4294967295 134512640 134569956 3221224400 3221214544 1131265606 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23715 13073 16 0 210468 0 vsize: 841936 [startup+200.01 s] Raw data (loadavg): 1.06 1.05 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 19026 50 0 0 25 0 11 0 487905633 862142464 23719 4294967295 134512640 134569956 3221224400 3221214624 1131593123 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23719 13073 16 0 210468 0 vsize: 841936 [startup+210.009 s] Raw data (loadavg): 1.05 1.05 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 20022 50 0 0 25 0 11 0 487905633 862142464 23721 4294967295 134512640 134569956 3221224400 3221214440 1131306387 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23721 13073 16 0 210468 0 vsize: 841936 [startup+220.01 s] Raw data (loadavg): 1.12 1.06 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 21020 50 0 0 25 0 11 0 487905633 862142464 23724 4294967295 134512640 134569956 3221224400 3221214432 1131306351 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23724 13073 16 0 210468 0 vsize: 841936 [startup+230.011 s] Raw data (loadavg): 1.10 1.06 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 22011 50 0 0 25 0 11 0 487905633 862142464 23728 4294967295 134512640 134569956 3221224400 3221214440 1131307279 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210484 23728 13073 16 0 210468 0 vsize: 841936 [startup+240.011 s] Raw data (loadavg): 1.09 1.06 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 23000 50 0 0 25 0 11 0 487905633 862142464 23736 4294967295 134512640 134569956 3221224400 3221214520 1131553401 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23736 13073 16 0 210468 0 vsize: 841936 [startup+250.012 s] Raw data (loadavg): 1.07 1.06 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 23990 51 0 0 25 0 11 0 487905633 862142464 23740 4294967295 134512640 134569956 3221224400 3221214592 1131465608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23740 13073 16 0 210468 0 vsize: 841936 [startup+260.013 s] Raw data (loadavg): 1.06 1.05 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 24978 51 0 0 25 0 11 0 487905633 862142464 23740 4294967295 134512640 134569956 3221224400 3221214632 1131596806 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23740 13073 16 0 210468 0 vsize: 841936 [startup+270.013 s] Raw data (loadavg): 1.05 1.05 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 25967 51 0 0 24 0 11 0 487905633 862142464 23800 4294967295 134512640 134569956 3221224400 3221214520 1131551986 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23800 13073 16 0 210468 0 vsize: 841936 [startup+280.015 s] Raw data (loadavg): 1.04 1.05 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 26959 51 0 0 25 0 11 0 487905633 862142464 23805 4294967295 134512640 134569956 3221224400 3221214520 1131551993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23805 13073 16 0 210468 0 vsize: 841936 [startup+290.015 s] Raw data (loadavg): 1.04 1.05 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 27954 51 0 0 25 0 11 0 487905633 862142464 23848 4294967295 134512640 134569956 3221224400 3221214520 1131552378 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23848 13073 16 0 210468 0 vsize: 841936 [startup+300.015 s] Raw data (loadavg): 1.03 1.05 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 28951 51 0 0 25 0 11 0 487905633 862142464 23853 4294967295 134512640 134569956 3221224400 3221214520 1131552363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23853 13073 16 0 210468 0 vsize: 841936 [startup+310.015 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 29949 51 0 0 25 0 11 0 487905633 862142464 23855 4294967295 134512640 134569956 3221224400 3221214520 1131552113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23855 13073 16 0 210468 0 vsize: 841936 [startup+320.017 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 30946 51 0 0 25 0 11 0 487905633 862142464 23860 4294967295 134512640 134569956 3221224400 3221214440 1131306387 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23860 13073 16 0 210468 0 vsize: 841936 [startup+330.017 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 31944 51 0 0 25 0 11 0 487905633 862142464 23863 4294967295 134512640 134569956 3221224400 3221214440 1131306387 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23863 13073 16 0 210468 0 vsize: 841936 [startup+340.018 s] Raw data (loadavg): 1.01 1.04 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 32942 51 0 0 25 0 11 0 487905633 862142464 23866 4294967295 134512640 134569956 3221224400 3221214624 1131593112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23866 13073 16 0 210468 0 vsize: 841936 [startup+350.019 s] Raw data (loadavg): 1.01 1.04 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 33939 51 0 0 25 0 11 0 487905633 862142464 23869 4294967295 134512640 134569956 3221224400 3221214440 1131306604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23869 13073 16 0 210468 0 vsize: 841936 [startup+360.018 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 34937 51 0 0 25 0 11 0 487905633 862142464 23872 4294967295 134512640 134569956 3221224400 3221214520 1131552354 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23872 13073 16 0 210468 0 vsize: 841936 [startup+370.02 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 35935 51 0 0 25 0 11 0 487905633 862142464 23874 4294967295 134512640 134569956 3221224400 3221214520 1131552389 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23874 13073 16 0 210468 0 vsize: 841936 [startup+380.02 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 36932 51 0 0 25 0 11 0 487905633 862142464 23876 4294967295 134512640 134569956 3221224400 3221214624 1131593104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23876 13073 16 0 210468 0 vsize: 841936 [startup+390.021 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 37930 51 0 0 25 0 11 0 487905633 862142464 23879 4294967295 134512640 134569956 3221224400 3221214440 1131306351 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23879 13073 16 0 210468 0 vsize: 841936 [startup+400.021 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 38927 51 0 0 25 0 11 0 487905633 862142464 23884 4294967295 134512640 134569956 3221224400 3221214520 1131552453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23884 13073 16 0 210468 0 vsize: 841936 [startup+410.021 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 39924 51 0 0 25 0 11 0 487905633 862142464 23885 4294967295 134512640 134569956 3221224400 3221214600 1131183129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23885 13073 16 0 210468 0 vsize: 841936 [startup+420.021 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 40921 51 0 0 25 0 11 0 487905633 862142464 23890 4294967295 134512640 134569956 3221224400 3221214440 1131306387 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23890 13073 16 0 210468 0 vsize: 841936 [startup+430.022 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 41918 51 0 0 25 0 11 0 487905633 862142464 23893 4294967295 134512640 134569956 3221224400 3221214624 1131593123 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23893 13073 16 0 210468 0 vsize: 841936 [startup+440.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 42916 51 0 0 25 0 11 0 487905633 862142464 23896 4294967295 134512640 134569956 3221224400 3221214632 1131596677 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23896 13073 16 0 210468 0 vsize: 841936 [startup+450.022 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 43913 51 0 0 25 0 11 0 487905633 862142464 23897 4294967295 134512640 134569956 3221224400 3221214520 1131551988 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23897 13073 16 0 210468 0 vsize: 841936 [startup+460.022 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 44910 51 0 0 25 0 11 0 487905633 862142464 23902 4294967295 134512640 134569956 3221224400 3221214632 1131596677 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23902 13073 16 0 210468 0 vsize: 841936 [startup+470.022 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 45907 51 0 0 25 0 11 0 487905633 862142464 23904 4294967295 134512640 134569956 3221224400 3221214520 1131552363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23904 13073 16 0 210468 0 vsize: 841936 [startup+480.023 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 46905 51 0 0 25 0 11 0 487905633 862142464 23908 4294967295 134512640 134569956 3221224400 3221214632 1131596753 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23908 13073 16 0 210468 0 vsize: 841936 [startup+490.024 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 47902 51 0 0 25 0 11 0 487905633 862142464 23909 4294967295 134512640 134569956 3221224400 3221214520 1131551986 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23909 13073 16 0 210468 0 vsize: 841936 [startup+500.025 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 48900 51 0 0 25 0 11 0 487905633 862142464 23912 4294967295 134512640 134569956 3221224400 3221214520 1131552401 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23912 13073 16 0 210468 0 vsize: 841936 [startup+510.024 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 49897 51 0 0 25 0 11 0 487905633 862142464 23917 4294967295 134512640 134569956 3221224400 3221214464 1131526593 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23917 13073 16 0 210468 0 vsize: 841936 [startup+520.025 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 50895 51 0 0 25 0 11 0 487905633 862142464 23920 4294967295 134512640 134569956 3221224400 3221214520 1131552536 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23920 13073 16 0 210468 0 vsize: 841936 [startup+530.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 51893 51 0 0 25 0 11 0 487905633 862142464 23922 4294967295 134512640 134569956 3221224400 3221214440 1131306351 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23922 13073 16 0 210468 0 vsize: 841936 [startup+540.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 52890 52 0 0 25 0 11 0 487905633 862142464 23927 4294967295 134512640 134569956 3221224400 3221214624 1131593125 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23927 13073 16 0 210468 0 vsize: 841936 [startup+550.027 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 53887 52 0 0 25 0 11 0 487905633 862142464 23928 4294967295 134512640 134569956 3221224400 3221214632 1131596792 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23928 13073 16 0 210468 0 vsize: 841936 [startup+560.028 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 54885 52 0 0 25 0 11 0 487905633 862142464 23930 4294967295 134512640 134569956 3221224400 3221214520 1131553401 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23930 13073 16 0 210468 0 vsize: 841936 [startup+570.029 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 55882 52 0 0 25 0 11 0 487905633 862142464 23932 4294967295 134512640 134569956 3221224400 3221214520 1131552012 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23932 13073 16 0 210468 0 vsize: 841936 [startup+580.029 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 56879 52 0 0 25 0 11 0 487905633 862142464 23938 4294967295 134512640 134569956 3221224400 3221214624 1131593260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23938 13073 16 0 210468 0 vsize: 841936 [startup+590.029 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 57876 52 0 0 25 0 11 0 487905633 862142464 23942 4294967295 134512640 134569956 3221224400 3221214624 1131593120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23942 13073 16 0 210468 0 vsize: 841936 [startup+600.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 58874 52 0 0 25 0 11 0 487905633 862142464 23947 4294967295 134512640 134569956 3221224400 3221214624 1131593104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23947 13073 16 0 210468 0 vsize: 841936 [startup+610.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 59871 52 0 0 25 0 11 0 487905633 862142464 23948 4294967295 134512640 134569956 3221224400 3221214600 1131183129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23948 13073 16 0 210468 0 vsize: 841936 [startup+620.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 60868 52 0 0 25 0 11 0 487905633 862142464 23954 4294967295 134512640 134569956 3221224400 3221214520 1131552354 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23954 13073 16 0 210468 0 vsize: 841936 [startup+630.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 61866 52 0 0 25 0 11 0 487905633 862142464 23955 4294967295 134512640 134569956 3221224400 3221214632 1131596677 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23955 13073 16 0 210468 0 vsize: 841936 [startup+640.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 62863 52 0 0 25 0 11 0 487905633 862142464 23961 4294967295 134512640 134569956 3221224400 3221214440 1131306387 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23961 13073 16 0 210468 0 vsize: 841936 [startup+650.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 63860 52 0 0 25 0 11 0 487905633 862142464 23963 4294967295 134512640 134569956 3221224400 3221214632 1131596784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23963 13073 16 0 210468 0 vsize: 841936 [startup+660.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 64857 52 0 0 25 0 11 0 487905633 862142464 23964 4294967295 134512640 134569956 3221224400 3221214632 1131525665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23964 13073 16 0 210468 0 vsize: 841936 [startup+670.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 65855 52 0 0 25 0 11 0 487905633 862142464 23969 4294967295 134512640 134569956 3221224400 3221214440 1131306604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23969 13073 16 0 210468 0 vsize: 841936 [startup+680.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 66853 52 0 0 25 0 11 0 487905633 862142464 23973 4294967295 134512640 134569956 3221224400 3221214520 1131554163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23973 13073 16 0 210468 0 vsize: 841936 [startup+690.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 67850 52 0 0 25 0 11 0 487905633 862142464 23976 4294967295 134512640 134569956 3221224400 3221214520 1131552342 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23976 13073 16 0 210468 0 vsize: 841936 [startup+700.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 68846 53 0 0 25 0 11 0 487905633 862142464 23982 4294967295 134512640 134569956 3221224400 3221214440 1131306314 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23982 13073 16 0 210468 0 vsize: 841936 [startup+710.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 69844 53 0 0 25 0 11 0 487905633 862142464 23983 4294967295 134512640 134569956 3221224400 3221214540 1131306176 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23983 13073 16 0 210468 0 vsize: 841936 [startup+720.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 70841 53 0 0 25 0 11 0 487905633 862142464 23986 4294967295 134512640 134569956 3221224400 3221214608 1131491569 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23986 13073 16 0 210468 0 vsize: 841936 [startup+730.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 71839 53 0 0 25 0 11 0 487905633 862142464 23988 4294967295 134512640 134569956 3221224400 3221214440 1131306351 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23988 13073 16 0 210468 0 vsize: 841936 [startup+740.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 72836 53 0 0 25 0 11 0 487905633 862142464 23992 4294967295 134512640 134569956 3221224400 3221214544 1131265599 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23992 13073 16 0 210468 0 vsize: 841936 [startup+750.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 73833 53 0 0 25 0 11 0 487905633 862142464 23993 4294967295 134512640 134569956 3221224400 3221214520 1131552504 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 23993 13073 16 0 210468 0 vsize: 841936 [startup+760.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 74830 53 0 0 25 0 11 0 487905633 862142464 24000 4294967295 134512640 134569956 3221224400 3221214440 1131306478 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24000 13073 16 0 210468 0 vsize: 841936 [startup+770.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9921 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 75828 53 0 0 25 0 11 0 487905633 862142464 24001 4294967295 134512640 134569956 3221224400 3221214440 1131306459 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210484 24001 13073 16 0 210468 0 vsize: 841936 [startup+780.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9922 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 76821 53 0 0 24 0 11 0 487905633 862142464 24005 4294967295 134512640 134569956 3221224400 3221214760 1131379432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24005 13073 16 0 210468 0 vsize: 841936 [startup+790.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 77805 53 0 0 25 0 11 0 487905633 862142464 24008 4294967295 134512640 134569956 3221224400 3221214760 1131371168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24008 13073 16 0 210468 0 vsize: 841936 [startup+800.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 78774 53 0 0 25 0 11 0 487905633 862142464 24014 4294967295 134512640 134569956 3221224400 3221214632 1131596809 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24014 13073 16 0 210468 0 vsize: 841936 [startup+810.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 79744 53 0 0 25 0 11 0 487905633 862142464 24017 4294967295 134512640 134569956 3221224400 3221214440 1131306298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24017 13073 16 0 210468 0 vsize: 841936 [startup+820.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 80714 53 0 0 25 0 11 0 487905633 862142464 24025 4294967295 134512640 134569956 3221224400 3221214520 1131552586 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24025 13073 16 0 210468 0 vsize: 841936 [startup+830.059 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 81685 53 0 0 25 0 11 0 487905633 862142464 24118 4294967295 134512640 134569956 3221224400 3221214544 1131265576 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24118 13073 16 0 210468 0 vsize: 841936 [startup+840.061 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 9923 Raw data (stat): 9903 (java) S 9902 5897 5896 0 -1 0 18117 3 1 0 82660 53 0 0 25 0 11 0 487905633 862142464 24173 4294967295 134512640 134569956 3221224400 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24173 13073 16 0 210468 0 vsize: 841936 [startup+850.064 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 83646 53 0 0 25 0 11 0 487905633 862142464 24401 4294967295 134512640 134569956 3221224400 3221214624 1131593130 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24401 13073 16 0 210468 0 vsize: 841936 [startup+860.064 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 84645 53 0 0 25 0 11 0 487905633 862142464 24401 4294967295 134512640 134569956 3221224400 3221214624 1131593142 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24401 13073 16 0 210468 0 vsize: 841936 [startup+870.065 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 85644 53 0 0 25 0 11 0 487905633 862142464 24401 4294967295 134512640 134569956 3221224400 3221214520 1131551983 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24401 13073 16 0 210468 0 vsize: 841936 [startup+880.066 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 86642 54 0 0 25 0 11 0 487905633 862142464 24401 4294967295 134512640 134569956 3221224400 3221214440 1131306307 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24401 13073 16 0 210468 0 vsize: 841936 [startup+890.066 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 87640 54 0 0 25 0 11 0 487905633 862142464 24401 4294967295 134512640 134569956 3221224400 3221214632 1131596708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24401 13073 16 0 210468 0 vsize: 841936 [startup+900.066 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 88638 54 0 0 25 0 11 0 487905633 862142464 24402 4294967295 134512640 134569956 3221224400 3221214624 1131593142 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24402 13073 16 0 210468 0 vsize: 841936 [startup+910.067 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 89637 54 0 0 25 0 11 0 487905633 862142464 24402 4294967295 134512640 134569956 3221224400 3221214440 1131306387 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24402 13073 16 0 210468 0 vsize: 841936 [startup+920.068 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 90634 54 0 0 25 0 11 0 487905633 862142464 24402 4294967295 134512640 134569956 3221224400 3221214440 1131306351 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24402 13073 16 0 210468 0 vsize: 841936 [startup+930.068 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 91632 54 0 0 25 0 11 0 487905633 862142464 24402 4294967295 134512640 134569956 3221224400 3221214632 1131596784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24402 13073 16 0 210468 0 vsize: 841936 [startup+940.068 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 92629 54 0 0 25 0 11 0 487905633 862142464 24402 4294967295 134512640 134569956 3221224400 3221214432 1131306189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24402 13073 16 0 210468 0 vsize: 841936 [startup+950.069 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 93626 54 0 0 25 0 11 0 487905633 862142464 24411 4294967295 134512640 134569956 3221224400 3221214440 1131306351 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24411 13073 16 0 210468 0 vsize: 841936 [startup+960.069 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 94624 54 0 0 25 0 11 0 487905633 862142464 24411 4294967295 134512640 134569956 3221224400 3221214440 1131306323 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24411 13073 16 0 210468 0 vsize: 841936 [startup+970.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 95623 54 0 0 25 0 11 0 487905633 862142464 24425 4294967295 134512640 134569956 3221224400 3221214520 1131553277 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24425 13073 16 0 210468 0 vsize: 841936 [startup+980.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 96622 54 0 0 25 0 11 0 487905633 862142464 24425 4294967295 134512640 134569956 3221224400 3221214624 1131593260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24425 13073 16 0 210468 0 vsize: 841936 [startup+990.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 97617 54 0 0 25 0 11 0 487905633 862142464 24426 4294967295 134512640 134569956 3221224400 3221214432 1131306240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24426 13073 16 0 210468 0 vsize: 841936 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 98608 54 0 0 25 0 11 0 487905633 862142464 24426 4294967295 134512640 134569956 3221224400 3221214520 1131552354 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24426 13073 16 0 210468 0 vsize: 841936 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 99600 54 0 0 25 0 11 0 487905633 862142464 24426 4294967295 134512640 134569956 3221224400 3221214440 1131306351 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24426 13073 16 0 210468 0 vsize: 841936 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 100589 54 0 0 25 0 11 0 487905633 862142464 24435 4294967295 134512640 134569956 3221224400 3221214440 1131306612 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24435 13073 16 0 210468 0 vsize: 841936 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 101579 54 0 0 25 0 11 0 487905633 862142464 24439 4294967295 134512640 134569956 3221224400 3221214760 1131371168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24439 13073 16 0 210468 0 vsize: 841936 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 102558 54 0 0 25 0 11 0 487905633 862142464 24484 4294967295 134512640 134569956 3221224400 3221214624 1131593160 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24484 13073 16 0 210468 0 vsize: 841936 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 103541 54 0 0 25 0 11 0 487905633 862142464 24484 4294967295 134512640 134569956 3221224400 3221214432 1131306380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24484 13073 16 0 210468 0 vsize: 841936 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 104522 54 0 0 25 0 11 0 487905633 862142464 24502 4294967295 134512640 134569956 3221224400 3221214520 1131554134 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24502 13073 16 0 210468 0 vsize: 841936 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 105507 54 0 0 25 0 11 0 487905633 862142464 24583 4294967295 134512640 134569956 3221224400 3221214432 1131306387 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24583 13073 16 0 210468 0 vsize: 841936 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18117 3 1 0 106501 55 0 0 25 0 11 0 487905633 862142464 24622 4294967295 134512640 134569956 3221224400 3221214520 1131554158 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24622 13073 16 0 210468 0 vsize: 841936 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 107494 55 0 0 24 0 11 0 487905633 862142464 24623 4294967295 134512640 134569956 3221224400 3221214624 1131593130 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24623 13073 16 0 210468 0 vsize: 841936 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9923 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 108482 55 0 0 24 0 11 0 487905633 862142464 24623 4294967295 134512640 134569956 3221224400 3221214632 1131596675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24623 13073 16 0 210468 0 vsize: 841936 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9924 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 109465 55 0 0 25 0 11 0 487905633 862142464 24623 4294967295 134512640 134569956 3221224400 3221214760 1131379904 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210484 24623 13073 16 0 210468 0 vsize: 841936 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9924 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 110443 55 0 0 25 0 11 0 487905633 862142464 24623 4294967295 134512640 134569956 3221224400 3221214624 1131593214 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24623 13073 16 0 210468 0 vsize: 841936 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9924 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 111418 55 0 0 24 0 11 0 487905633 862142464 24678 4294967295 134512640 134569956 3221224400 3221214520 1131551939 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24678 13073 16 0 210468 0 vsize: 841936 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9924 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 112401 55 0 0 25 0 11 0 487905633 862142464 24737 4294967295 134512640 134569956 3221224400 3221214432 1131306650 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 24737 13073 16 0 210468 0 vsize: 841936 [startup+1150.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9924 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 113384 55 0 0 25 0 11 0 487905633 862142464 24751 4294967295 134512640 134569956 3221224400 3221214520 1131552374 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210484 24751 13073 16 0 210468 0 vsize: 841936 [startup+1160.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9924 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 114372 56 0 0 25 0 11 0 487905633 862142464 24847 4294967295 134512640 134569956 3221224400 3221214456 1131664277 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210484 24847 13073 16 0 210468 0 vsize: 841936 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9924 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 115364 56 0 0 25 0 11 0 487905633 862142464 24865 4294967295 134512640 134569956 3221224400 3221214440 1131306317 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210484 24865 13073 16 0 210468 0 vsize: 841936 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9924 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 116357 57 0 0 25 0 11 0 487905633 862142464 24869 4294967295 134512640 134569956 3221224400 3221214624 1131593142 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210484 24869 13073 16 0 210468 0 vsize: 841936 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9924 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 117350 57 0 0 25 0 11 0 487905633 862142464 24880 4294967295 134512640 134569956 3221224400 3221214624 1131593214 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210484 24880 13073 16 0 210468 0 vsize: 841936 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9924 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 118343 58 0 0 25 0 11 0 487905633 862142464 24895 4294967295 134512640 134569956 3221224400 3221214520 1131554124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210484 24895 13073 16 0 210468 0 vsize: 841936 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9924 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 119335 58 0 0 25 0 11 0 487905633 862142464 24906 4294967295 134512640 134569956 3221224400 3221214440 1131306387 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210484 24906 13073 16 0 210468 0 vsize: 841936 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 9924 Raw data (stat): 9903 (java) R 9902 5897 5896 0 -1 0 18118 3 1 0 120329 58 0 0 25 0 11 0 487905633 862142464 24910 4294967295 134512640 134569956 3221224400 3221214440 1131306317 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210484 24910 13073 16 0 210468 0 vsize: 841936 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.15 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 9926 Raw data (stat): 9903 (java) Z 9902 5897 5896 0 -1 1036 18118 11209 1 0 120330 63 2833 35 25 0 1 0 487905633 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): 1220.15 CPU time (s): 1232.63 CPU user time (s): 1231.64 CPU system time (s): 0.992849 CPU usage (%): 101.023 Max. virtual memory (Kb): 846372 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####