Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran16x16.opb |
MD5SUM | 3d8e7805538589672f96799acf97ae3f |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10237643 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 7936 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1558042522197 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1558042522197 |
Number of bits of the biggest sum of numbers | 41 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1231.65 |
Number of variables | 7936 |
Total number of constraints | 288 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 288 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 480 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc12 THE 2005-04-21 22:00:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14322 boxname=wulflinc12 idbench=1102 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 3d8e7805538589672f96799acf97ae3f /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-ran16x16.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-ran16x16.opb IDLAUNCH: 14322 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 254024 kB Buffers: 33300 kB Cached: 725412 kB SwapCached: 508 kB Active: 142896 kB Inactive: 617880 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 253772 kB SwapTotal: 2097136 kB SwapFree: 2095888 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5276 kB Slab: 14252 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 22:20:48 (client local time) WITH STATUS 143 IN 1249.57 SECONDS stats: 14322 7 1249.57 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-ran16x16.opb c reading problem c [nbvar=7936] c [nbconstr=288] c time 23.144 c #vars 7936 c #clauses 321 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=12100225 c Current CPU time (ms) : 112.126 c starts : 1 c conflicts : 17 c decisions : 6787 c propagations : 32998 c inspects : 39418 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 17 c root simplifications : 14 #### 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.53 0.77 0.85 2/54 7275 Raw data (stat): 7275 (runsolver) R 7274 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490288497 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.0007 s] Raw data (loadavg): 0.60 0.77 0.85 2/63 7284 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 17981 0 1 0 880 44 0 0 25 0 10 0 490288497 854110208 19214 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208523 19214 13073 16 0 208507 0 vsize: 834092 [startup+20.0014 s] Raw data (loadavg): 0.66 0.78 0.85 3/63 7284 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18009 0 1 0 1771 44 0 0 25 0 10 0 490288497 854142976 19719 4294967295 134512640 134569956 3221224400 3221214464 1130883813 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208531 19719 13073 16 0 208515 0 vsize: 834124 [startup+30.0022 s] Raw data (loadavg): 0.94 0.84 0.87 3/64 7285 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18138 0 1 0 2370 46 0 0 25 0 11 0 490288497 871710720 25244 4294967295 134512640 134569956 3221224400 3221214680 1131285385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212820 25244 13073 16 0 212804 0 vsize: 851280 [startup+40.0023 s] Raw data (loadavg): 1.03 0.86 0.87 3/64 7285 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18139 0 1 0 3214 46 0 0 24 0 11 0 490288497 881594368 27528 4294967295 134512640 134569956 3221224400 3221214680 1131286514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 215233 27528 13073 16 0 215217 0 vsize: 860932 [startup+50.0031 s] Raw data (loadavg): 1.03 0.86 0.87 2/64 7285 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18140 0 1 0 4108 47 0 0 25 0 11 0 490288497 877985792 27010 4294967295 134512640 134569956 3221224400 3221214776 1131387464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 214352 27010 13073 16 0 214336 0 vsize: 857408 [startup+60.0044 s] Raw data (loadavg): 1.09 0.88 0.88 2/64 7287 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18140 0 1 0 5009 47 0 0 25 0 11 0 490288497 886984704 29346 4294967295 134512640 134569956 3221224400 3221214680 1131284972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216549 29346 13073 16 0 216533 0 vsize: 866196 [startup+70.0051 s] Raw data (loadavg): 1.16 0.90 0.89 2/64 7287 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18141 0 1 0 5978 47 0 0 25 0 11 0 490288497 873791488 26736 4294967295 134512640 134569956 3221224400 3221214480 1131278246 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213328 26736 13073 16 0 213312 0 vsize: 853312 [startup+80.0056 s] Raw data (loadavg): 1.13 0.91 0.89 2/64 7287 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18141 0 1 0 6963 47 0 0 25 0 11 0 490288497 873791488 26775 4294967295 134512640 134569956 3221224400 3221214680 1131285432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 26775 13073 16 0 213312 0 vsize: 853312 [startup+90.0072 s] Raw data (loadavg): 1.11 0.91 0.89 2/64 7287 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18141 0 1 0 7945 48 0 0 25 0 11 0 490288497 873791488 26802 4294967295 134512640 134569956 3221224400 3221214680 1131285385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 26802 13073 16 0 213312 0 vsize: 853312 [startup+100.008 s] Raw data (loadavg): 1.10 0.91 0.89 2/64 7287 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18141 0 1 0 8931 48 0 0 25 0 11 0 490288497 873791488 26848 4294967295 134512640 134569956 3221224400 3221214728 1131230208 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 26848 13073 16 0 213312 0 vsize: 853312 [startup+110.009 s] Raw data (loadavg): 1.08 0.91 0.89 2/64 7287 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18141 0 1 0 9917 49 0 0 25 0 11 0 490288497 873791488 26864 4294967295 134512640 134569956 3221224400 3221214680 1131285093 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 26864 13073 16 0 213312 0 vsize: 853312 [startup+120.01 s] Raw data (loadavg): 1.07 0.92 0.89 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18141 4 1 0 10877 49 0 0 24 0 11 0 490288497 873791488 26893 4294967295 134512640 134569956 3221224400 3221214680 1131285341 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 26893 13073 16 0 213312 0 vsize: 853312 [startup+130.01 s] Raw data (loadavg): 1.06 0.92 0.89 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18141 4 1 0 11840 49 0 0 25 0 11 0 490288497 873791488 26923 4294967295 134512640 134569956 3221224400 3221214680 1131284972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 26923 13073 16 0 213312 0 vsize: 853312 [startup+140.011 s] Raw data (loadavg): 1.05 0.92 0.89 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18141 4 1 0 12794 50 0 0 24 0 11 0 490288497 873791488 26934 4294967295 134512640 134569956 3221224400 3221214424 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 26934 13073 16 0 213312 0 vsize: 853312 [startup+150.012 s] Raw data (loadavg): 1.04 0.92 0.89 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18141 4 1 0 13773 50 0 0 25 0 11 0 490288497 873791488 27154 4294967295 134512640 134569956 3221224400 3221214648 1080204177 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27154 13073 16 0 213312 0 vsize: 853312 [startup+160.013 s] Raw data (loadavg): 1.03 0.92 0.89 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18141 4 1 0 14756 50 0 0 25 0 11 0 490288497 873791488 27160 4294967295 134512640 134569956 3221224400 3221214600 1131494515 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27160 13073 16 0 213312 0 vsize: 853312 [startup+170.013 s] Raw data (loadavg): 1.03 0.93 0.89 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 15726 50 0 0 24 0 11 0 490288497 873791488 27170 4294967295 134512640 134569956 3221224400 3221214732 1080203692 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27170 13073 16 0 213312 0 vsize: 853312 [startup+180.013 s] Raw data (loadavg): 1.02 0.93 0.90 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 16696 51 0 0 25 0 11 0 490288497 873791488 27171 4294967295 134512640 134569956 3221224400 3221214496 1131277935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27171 13073 16 0 213312 0 vsize: 853312 [startup+190.025 s] Raw data (loadavg): 1.02 0.93 0.90 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 17665 51 0 0 25 0 11 0 490288497 873791488 27172 4294967295 134512640 134569956 3221224400 3221214576 1131419385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27172 13073 16 0 213312 0 vsize: 853312 [startup+200.026 s] Raw data (loadavg): 1.02 0.93 0.90 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 18634 52 0 0 25 0 11 0 490288497 873791488 27172 4294967295 134512640 134569956 3221224400 3221214576 1131533102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27172 13073 16 0 213312 0 vsize: 853312 [startup+210.027 s] Raw data (loadavg): 1.01 0.93 0.90 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 19609 52 0 0 25 0 11 0 490288497 873791488 27335 4294967295 134512640 134569956 3221224400 3221214480 1131277716 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27335 13073 16 0 213312 0 vsize: 853312 [startup+220.028 s] Raw data (loadavg): 1.01 0.94 0.90 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 20597 52 0 0 25 0 11 0 490288497 873791488 27359 4294967295 134512640 134569956 3221224400 3221214576 1131533516 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27359 13073 16 0 213312 0 vsize: 853312 [startup+230.027 s] Raw data (loadavg): 1.01 0.94 0.90 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 21588 52 0 0 25 0 11 0 490288497 873791488 27360 4294967295 134512640 134569956 3221224400 3221214600 1131494524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27360 13073 16 0 213312 0 vsize: 853312 [startup+240.028 s] Raw data (loadavg): 1.01 0.94 0.90 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 22578 53 0 0 25 0 11 0 490288497 873791488 27490 4294967295 134512640 134569956 3221224400 3221214600 1131494524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27490 13073 16 0 213312 0 vsize: 853312 [startup+250.029 s] Raw data (loadavg): 1.00 0.94 0.90 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 23577 53 0 0 25 0 11 0 490288497 873791488 27490 4294967295 134512640 134569956 3221224400 3221214480 1131278134 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27490 13073 16 0 213312 0 vsize: 853312 [startup+260.03 s] Raw data (loadavg): 1.00 0.94 0.90 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 24576 53 0 0 25 0 11 0 490288497 873791488 27490 4294967295 134512640 134569956 3221224400 3221214600 1131494579 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213328 27490 13073 16 0 213312 0 vsize: 853312 [startup+270.03 s] Raw data (loadavg): 1.00 0.94 0.90 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 25574 53 0 0 25 0 11 0 490288497 873791488 27490 4294967295 134512640 134569956 3221224400 3221214584 1131531489 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27490 13073 16 0 213312 0 vsize: 853312 [startup+280.03 s] Raw data (loadavg): 1.00 0.94 0.91 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 26573 53 0 0 25 0 11 0 490288497 873791488 27490 4294967295 134512640 134569956 3221224400 3221214512 1131856483 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27490 13073 16 0 213312 0 vsize: 853312 [startup+290.031 s] Raw data (loadavg): 1.00 0.95 0.91 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 27571 54 0 0 25 0 11 0 490288497 873791488 27490 4294967295 134512640 134569956 3221224400 3221214576 1131533099 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213328 27490 13073 16 0 213312 0 vsize: 853312 [startup+300.032 s] Raw data (loadavg): 1.00 0.95 0.91 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 28570 54 0 0 25 0 11 0 490288497 873791488 27490 4294967295 134512640 134569956 3221224400 3221214496 1131278069 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27490 13073 16 0 213312 0 vsize: 853312 [startup+310.032 s] Raw data (loadavg): 1.00 0.95 0.91 2/64 7288 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 29559 54 0 0 25 0 11 0 490288497 873791488 27490 4294967295 134512640 134569956 3221224400 3221214600 1131423531 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27490 13073 16 0 213312 0 vsize: 853312 [startup+320.033 s] Raw data (loadavg): 1.00 0.95 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 30546 55 0 0 25 0 11 0 490288497 873791488 27490 4294967295 134512640 134569956 3221224400 3221214576 1131533102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213328 27490 13073 16 0 213312 0 vsize: 853312 [startup+330.033 s] Raw data (loadavg): 1.00 0.95 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 31539 55 0 0 25 0 11 0 490288497 873791488 27490 4294967295 134512640 134569956 3221224400 3221214576 1131533102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27490 13073 16 0 213312 0 vsize: 853312 [startup+340.033 s] Raw data (loadavg): 1.00 0.95 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 32530 55 0 0 25 0 11 0 490288497 873791488 27490 4294967295 134512640 134569956 3221224400 3221214576 1131533547 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27490 13073 16 0 213312 0 vsize: 853312 [startup+350.033 s] Raw data (loadavg): 1.00 0.95 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 33525 56 0 0 25 0 11 0 490288497 873791488 27547 4294967295 134512640 134569956 3221224400 3221214480 1131277880 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213328 27547 13073 16 0 213312 0 vsize: 853312 [startup+360.035 s] Raw data (loadavg): 1.00 0.95 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 34524 56 0 0 25 0 11 0 490288497 873791488 27547 4294967295 134512640 134569956 3221224400 3221214576 1131533184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27547 13073 16 0 213312 0 vsize: 853312 [startup+370.035 s] Raw data (loadavg): 1.00 0.95 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 35517 56 0 0 25 0 11 0 490288497 873791488 27547 4294967295 134512640 134569956 3221224400 3221214584 1131277846 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27547 13073 16 0 213312 0 vsize: 853312 [startup+380.035 s] Raw data (loadavg): 1.00 0.95 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 36512 56 0 0 25 0 11 0 490288497 873791488 27547 4294967295 134512640 134569956 3221224400 3221214576 1131533471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27547 13073 16 0 213312 0 vsize: 853312 [startup+390.036 s] Raw data (loadavg): 1.00 0.95 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 37509 56 0 0 25 0 11 0 490288497 873791488 27547 4294967295 134512640 134569956 3221224400 3221214680 1131848131 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27547 13073 16 0 213312 0 vsize: 853312 [startup+400.036 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 38504 57 0 0 25 0 11 0 490288497 873791488 27547 4294967295 134512640 134569956 3221224400 3221214576 1131277776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27547 13073 16 0 213312 0 vsize: 853312 [startup+410.037 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 39500 57 0 0 25 0 11 0 490288497 873791488 27547 4294967295 134512640 134569956 3221224400 3221214688 1131865085 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27547 13073 16 0 213312 0 vsize: 853312 [startup+420.039 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 40496 58 0 0 25 0 11 0 490288497 873791488 27547 4294967295 134512640 134569956 3221224400 3221214576 1131534150 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27547 13073 16 0 213312 0 vsize: 853312 [startup+430.038 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 41492 58 0 0 25 0 11 0 490288497 873791488 27600 4294967295 134512640 134569956 3221224400 3221214584 1131278055 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27600 13073 16 0 213312 0 vsize: 853312 [startup+440.039 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 42489 58 0 0 25 0 11 0 490288497 873791488 27607 4294967295 134512640 134569956 3221224400 3221214680 1131285341 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27607 13073 16 0 213312 0 vsize: 853312 [startup+450.054 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 43478 59 0 0 25 0 11 0 490288497 873791488 27607 4294967295 134512640 134569956 3221224400 3221214776 1131385564 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27607 13073 16 0 213312 0 vsize: 853312 [startup+460.06 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 44466 59 0 0 25 0 11 0 490288497 873791488 27607 4294967295 134512640 134569956 3221224400 3221214776 1131385499 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27607 13073 16 0 213312 0 vsize: 853312 [startup+470.06 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 45450 60 0 0 25 0 11 0 490288497 873791488 27607 4294967295 134512640 134569956 3221224400 3221214680 1131285385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27607 13073 16 0 213312 0 vsize: 853312 [startup+480.06 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 46442 60 0 0 25 0 11 0 490288497 873791488 27664 4294967295 134512640 134569956 3221224400 3221214680 1131285630 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27664 13073 16 0 213312 0 vsize: 853312 [startup+490.06 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 47435 60 0 0 25 0 11 0 490288497 873791488 27677 4294967295 134512640 134569956 3221224400 3221214680 1131285385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27677 13073 16 0 213312 0 vsize: 853312 [startup+500.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 48430 61 0 0 25 0 11 0 490288497 873791488 27681 4294967295 134512640 134569956 3221224400 3221214680 1131285337 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27681 13073 16 0 213312 0 vsize: 853312 [startup+510.062 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 49424 61 0 0 25 0 11 0 490288497 873791488 27684 4294967295 134512640 134569956 3221224400 3221214680 1131284961 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27684 13073 16 0 213312 0 vsize: 853312 [startup+520.063 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 50418 61 0 0 25 0 11 0 490288497 873791488 27704 4294967295 134512640 134569956 3221224400 3221214680 1131285451 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27704 13073 16 0 213312 0 vsize: 853312 [startup+530.062 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 51413 61 0 0 25 0 11 0 490288497 873791488 27709 4294967295 134512640 134569956 3221224400 3221214776 1131386592 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27709 13073 16 0 213312 0 vsize: 853312 [startup+540.064 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 52408 61 0 0 25 0 11 0 490288497 873791488 27710 4294967295 134512640 134569956 3221224400 3221214680 1131285385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27710 13073 16 0 213312 0 vsize: 853312 [startup+550.064 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 53403 61 0 0 25 0 11 0 490288497 873791488 27726 4294967295 134512640 134569956 3221224400 3221214680 1131285385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27726 13073 16 0 213312 0 vsize: 853312 [startup+560.065 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 54397 62 0 0 25 0 11 0 490288497 873791488 27727 4294967295 134512640 134569956 3221224400 3221214776 1131386732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27727 13073 16 0 213312 0 vsize: 853312 [startup+570.066 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 55392 62 0 0 25 0 11 0 490288497 873791488 27731 4294967295 134512640 134569956 3221224400 3221214680 1131284961 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27731 13073 16 0 213312 0 vsize: 853312 [startup+580.066 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 56387 62 0 0 25 0 11 0 490288497 873791488 27743 4294967295 134512640 134569956 3221224400 3221214680 1131285471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27743 13073 16 0 213312 0 vsize: 853312 [startup+590.066 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 57379 63 0 0 25 0 11 0 490288497 873791488 27762 4294967295 134512640 134569956 3221224400 3221214680 1131284969 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213328 27762 13073 16 0 213312 0 vsize: 853312 [startup+600.067 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 58373 63 0 0 25 0 11 0 490288497 873791488 27765 4294967295 134512640 134569956 3221224400 3221214632 1131285438 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27765 13073 16 0 213312 0 vsize: 853312 [startup+610.068 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 59366 63 0 0 25 0 11 0 490288497 873791488 27773 4294967295 134512640 134569956 3221224400 3221214632 1131285616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27773 13073 16 0 213312 0 vsize: 853312 [startup+620.068 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 60362 64 0 0 25 0 11 0 490288497 873791488 27789 4294967295 134512640 134569956 3221224400 3221214480 1131277889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213328 27789 13073 16 0 213312 0 vsize: 853312 [startup+630.068 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 61358 64 0 0 25 0 11 0 490288497 873791488 27789 4294967295 134512640 134569956 3221224400 3221214476 1131524457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213328 27789 13073 16 0 213312 0 vsize: 853312 [startup+640.069 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 62355 64 0 0 25 0 11 0 490288497 873791488 27791 4294967295 134512640 134569956 3221224400 3221214588 1131419360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27791 13073 16 0 213312 0 vsize: 853312 [startup+650.069 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 63349 64 0 0 25 0 11 0 490288497 873791488 27791 4294967295 134512640 134569956 3221224400 3221214592 1131865119 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27791 13073 16 0 213312 0 vsize: 853312 [startup+660.07 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 64340 65 0 0 25 0 11 0 490288497 873791488 27795 4294967295 134512640 134569956 3221224400 3221214632 1131285313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27795 13073 16 0 213312 0 vsize: 853312 [startup+670.07 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 65328 65 0 0 25 0 11 0 490288497 873791488 27796 4294967295 134512640 134569956 3221224400 3221214632 1131285341 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27796 13073 16 0 213312 0 vsize: 853312 [startup+680.07 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 66311 65 0 0 25 0 11 0 490288497 873791488 27852 4294967295 134512640 134569956 3221224400 3221214632 1131286223 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27852 13073 16 0 213312 0 vsize: 853312 [startup+690.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 67301 65 0 0 25 0 11 0 490288497 873791488 27893 4294967295 134512640 134569956 3221224400 3221214592 1131865115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27893 13073 16 0 213312 0 vsize: 853312 [startup+700.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 68293 66 0 0 25 0 11 0 490288497 873791488 27932 4294967295 134512640 134569956 3221224400 3221214648 1131435611 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27932 13073 16 0 213312 0 vsize: 853312 [startup+710.073 s] Raw data (loadavg): 1.08 0.99 0.91 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 69285 66 0 0 25 0 11 0 490288497 873791488 27933 4294967295 134512640 134569956 3221224400 3221214480 1131534382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213328 27933 13073 16 0 213312 0 vsize: 853312 [startup+720.073 s] Raw data (loadavg): 1.14 1.00 0.92 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 70275 66 0 0 25 0 11 0 490288497 873791488 27954 4294967295 134512640 134569956 3221224400 3221214592 1131865100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27954 13073 16 0 213312 0 vsize: 853312 [startup+730.072 s] Raw data (loadavg): 1.19 1.02 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 71263 66 0 0 25 0 11 0 490288497 873791488 27954 4294967295 134512640 134569956 3221224400 3221214728 1131385499 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27954 13073 16 0 213312 0 vsize: 853312 [startup+740.073 s] Raw data (loadavg): 1.16 1.02 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 72248 67 0 0 25 0 11 0 490288497 873791488 27968 4294967295 134512640 134569956 3221224400 3221214680 1131285616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 27968 13073 16 0 213312 0 vsize: 853312 [startup+750.074 s] Raw data (loadavg): 1.14 1.02 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 73224 67 0 0 25 0 11 0 490288497 873791488 28042 4294967295 134512640 134569956 3221224400 3221214776 1131392657 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28042 13073 16 0 213312 0 vsize: 853312 [startup+760.074 s] Raw data (loadavg): 1.12 1.02 0.93 2/64 7290 Raw data (stat): 7275 (java) S 7274 25285 25284 0 -1 0 18142 4 1 0 74208 67 0 0 25 0 11 0 490288497 873791488 28139 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28139 13073 16 0 213312 0 vsize: 853312 [startup+770.075 s] Raw data (loadavg): 1.10 1.02 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 75201 68 0 0 25 0 11 0 490288497 873791488 28200 4294967295 134512640 134569956 3221224400 3221214728 1131386341 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28200 13073 16 0 213312 0 vsize: 853312 [startup+780.075 s] Raw data (loadavg): 1.08 1.01 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 76196 68 0 0 25 0 11 0 490288497 873791488 28209 4294967295 134512640 134569956 3221224400 3221214632 1131286303 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28209 13073 16 0 213312 0 vsize: 853312 [startup+790.075 s] Raw data (loadavg): 1.07 1.01 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 77188 70 0 0 25 0 11 0 490288497 873791488 28217 4294967295 134512640 134569956 3221224400 3221214728 1131392729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28217 13073 16 0 213312 0 vsize: 853312 [startup+800.076 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 78183 70 0 0 25 0 11 0 490288497 873791488 28218 4294967295 134512640 134569956 3221224400 3221214728 1131385564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213328 28218 13073 16 0 213312 0 vsize: 853312 [startup+810.078 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 79177 70 0 0 25 0 11 0 490288497 873791488 28236 4294967295 134512640 134569956 3221224400 3221214488 1131277932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28236 13073 16 0 213312 0 vsize: 853312 [startup+820.078 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 80175 70 0 0 25 0 11 0 490288497 873791488 28246 4294967295 134512640 134569956 3221224400 3221214480 1131278656 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28246 13073 16 0 213312 0 vsize: 853312 [startup+830.078 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 81172 70 0 0 25 0 11 0 490288497 873791488 28246 4294967295 134512640 134569956 3221224400 3221214476 1131524384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28246 13073 16 0 213312 0 vsize: 853312 [startup+840.079 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 82170 71 0 0 25 0 11 0 490288497 873791488 28247 4294967295 134512640 134569956 3221224400 3221214480 1131533471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28247 13073 16 0 213312 0 vsize: 853312 [startup+850.08 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 83168 71 0 0 25 0 11 0 490288497 873791488 28248 4294967295 134512640 134569956 3221224400 3221214592 1131865072 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28248 13073 16 0 213312 0 vsize: 853312 [startup+860.08 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 84165 71 0 0 25 0 11 0 490288497 873791488 28265 4294967295 134512640 134569956 3221224400 3221214592 1131865085 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213328 28265 13073 16 0 213312 0 vsize: 853312 [startup+870.082 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 85162 71 0 0 25 0 11 0 490288497 873791488 28265 4294967295 134512640 134569956 3221224400 3221214480 1131533102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28265 13073 16 0 213312 0 vsize: 853312 [startup+880.082 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 86158 71 0 0 25 0 11 0 490288497 873791488 28265 4294967295 134512640 134569956 3221224400 3221214584 1131848138 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28265 13073 16 0 213312 0 vsize: 853312 [startup+890.083 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 87155 72 0 0 25 0 11 0 490288497 873791488 28265 4294967295 134512640 134569956 3221224400 3221214480 1131533102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28265 13073 16 0 213312 0 vsize: 853312 [startup+900.083 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 88151 72 0 0 25 0 11 0 490288497 873791488 28265 4294967295 134512640 134569956 3221224400 3221214584 1131848131 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28265 13073 16 0 213312 0 vsize: 853312 [startup+910.085 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 89149 73 0 0 25 0 11 0 490288497 873791488 28299 4294967295 134512640 134569956 3221224400 3221214480 1131533558 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28299 13073 16 0 213312 0 vsize: 853312 [startup+920.085 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 90146 73 0 0 25 0 11 0 490288497 873791488 28299 4294967295 134512640 134569956 3221224400 3221214480 1131277776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28299 13073 16 0 213312 0 vsize: 853312 [startup+930.086 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 91142 73 0 0 25 0 11 0 490288497 873791488 28299 4294967295 134512640 134569956 3221224400 3221214480 1131277935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28299 13073 16 0 213312 0 vsize: 853312 [startup+940.087 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 92138 74 0 0 25 0 11 0 490288497 873791488 28299 4294967295 134512640 134569956 3221224400 3221214480 1131533583 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28299 13073 16 0 213312 0 vsize: 853312 [startup+950.087 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 93135 74 0 0 25 0 11 0 490288497 873791488 28299 4294967295 134512640 134569956 3221224400 3221214488 1131278090 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213328 28299 13073 16 0 213312 0 vsize: 853312 [startup+960.088 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 94132 74 0 0 25 0 11 0 490288497 873791488 28299 4294967295 134512640 134569956 3221224400 3221214480 1131533155 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28299 13073 16 0 213312 0 vsize: 853312 [startup+970.089 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 95129 74 0 0 25 0 11 0 490288497 873791488 28336 4294967295 134512640 134569956 3221224400 3221214488 1131277781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213328 28336 13073 16 0 213312 0 vsize: 853312 [startup+980.089 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 96126 75 0 0 25 0 11 0 490288497 873791488 28336 4294967295 134512640 134569956 3221224400 3221214584 1131848131 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28336 13073 16 0 213312 0 vsize: 853312 [startup+990.091 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 97122 75 0 0 25 0 11 0 490288497 873791488 28336 4294967295 134512640 134569956 3221224400 3221214592 1131865087 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28336 13073 16 0 213312 0 vsize: 853312 [startup+1000.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 98119 75 0 0 25 0 11 0 490288497 873791488 28336 4294967295 134512640 134569956 3221224400 3221214480 1131278005 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28336 13073 16 0 213312 0 vsize: 853312 [startup+1010.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 99116 75 0 0 25 0 11 0 490288497 873791488 28336 4294967295 134512640 134569956 3221224400 3221214584 1131848131 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28336 13073 16 0 213312 0 vsize: 853312 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 100112 76 0 0 25 0 11 0 490288497 873791488 28336 4294967295 134512640 134569956 3221224400 3221214488 1131277935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28336 13073 16 0 213312 0 vsize: 853312 [startup+1030.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 101110 76 0 0 25 0 11 0 490288497 873791488 28374 4294967295 134512640 134569956 3221224400 3221214592 1131865119 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28374 13073 16 0 213312 0 vsize: 853312 [startup+1040.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 102107 76 0 0 25 0 11 0 490288497 873791488 28374 4294967295 134512640 134569956 3221224400 3221214480 1131277875 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28374 13073 16 0 213312 0 vsize: 853312 [startup+1050.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 103103 77 0 0 25 0 11 0 490288497 873791488 28374 4294967295 134512640 134569956 3221224400 3221214480 1131533128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28374 13073 16 0 213312 0 vsize: 853312 [startup+1060.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 104099 77 0 0 25 0 11 0 490288497 873791488 28374 4294967295 134512640 134569956 3221224400 3221214480 1131533102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28374 13073 16 0 213312 0 vsize: 853312 [startup+1070.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 105096 77 0 0 25 0 11 0 490288497 873791488 28374 4294967295 134512640 134569956 3221224400 3221214480 1131533561 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213328 28374 13073 16 0 213312 0 vsize: 853312 [startup+1080.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 106092 78 0 0 25 0 11 0 490288497 873791488 28374 4294967295 134512640 134569956 3221224400 3221214488 1131278086 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28374 13073 16 0 213312 0 vsize: 853312 [startup+1090.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 107089 79 0 0 25 0 11 0 490288497 873791488 28412 4294967295 134512640 134569956 3221224400 3221214592 1131865076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28412 13073 16 0 213312 0 vsize: 853312 [startup+1100.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 108087 79 0 0 25 0 11 0 490288497 873791488 28412 4294967295 134512640 134569956 3221224400 3221214480 1131535222 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28412 13073 16 0 213312 0 vsize: 853312 [startup+1110.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 109083 79 0 0 25 0 11 0 490288497 873791488 28412 4294967295 134512640 134569956 3221224400 3221214592 1131865089 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28412 13073 16 0 213312 0 vsize: 853312 [startup+1120.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 110079 80 0 0 25 0 11 0 490288497 873791488 28412 4294967295 134512640 134569956 3221224400 3221214592 1131865108 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28412 13073 16 0 213312 0 vsize: 853312 [startup+1130.11 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 111077 80 0 0 25 0 11 0 490288497 873791488 28412 4294967295 134512640 134569956 3221224400 3221214584 1131848128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28412 13073 16 0 213312 0 vsize: 853312 [startup+1140.11 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 112073 81 0 0 25 0 11 0 490288497 873791488 28412 4294967295 134512640 134569956 3221224400 3221214480 1131533102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28412 13073 16 0 213312 0 vsize: 853312 [startup+1150.11 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 113070 82 0 0 25 0 11 0 490288497 873791488 28450 4294967295 134512640 134569956 3221224400 3221214480 1131535216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28450 13073 16 0 213312 0 vsize: 853312 [startup+1160.11 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 114067 82 0 0 25 0 11 0 490288497 873791488 28450 4294967295 134512640 134569956 3221224400 3221214504 1131423531 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28450 13073 16 0 213312 0 vsize: 853312 [startup+1170.11 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 115062 82 0 0 25 0 11 0 490288497 873791488 28450 4294967295 134512640 134569956 3221224400 3221214480 1131277935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28450 13073 16 0 213312 0 vsize: 853312 [startup+1180.11 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 116058 83 0 0 25 0 11 0 490288497 873791488 28450 4294967295 134512640 134569956 3221224400 3221214480 1131533561 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28450 13073 16 0 213312 0 vsize: 853312 [startup+1190.11 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 117055 83 0 0 25 0 11 0 490288497 873791488 28450 4294967295 134512640 134569956 3221224400 3221214480 1131533561 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28450 13073 16 0 213312 0 vsize: 853312 [startup+1200.11 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 118052 83 0 0 25 0 11 0 490288497 873791488 28450 4294967295 134512640 134569956 3221224400 3221214584 1131848131 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28450 13073 16 0 213312 0 vsize: 853312 [startup+1210.11 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 119049 83 0 0 25 0 11 0 490288497 873791488 28484 4294967295 134512640 134569956 3221224400 3221214480 1131277912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28484 13073 16 0 213312 0 vsize: 853312 [startup+1220.11 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 7290 Raw data (stat): 7275 (java) R 7274 25285 25284 0 -1 0 18142 4 1 0 120048 83 0 0 25 0 11 0 490288497 873791488 28491 4294967295 134512640 134569956 3221224400 3221214592 1131865076 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213328 28491 13073 16 0 213312 0 vsize: 853312 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.18 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 7292 Raw data (stat): 7275 (java) Z 7274 25285 25284 0 -1 1036 18142 32275 1 0 120048 89 4720 98 25 0 1 0 490288497 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1220.18 CPU time (s): 1249.57 CPU user time (s): 1247.7 CPU system time (s): 1.87771 CPU usage (%): 102.409 Max. virtual memory (Kb): 866196 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####