Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen3.opb |
MD5SUM | 60f638829868e3a2820fb14a59c3225e |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 31460 |
Biggest coefficient in the objective function | 977797120 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 331425197400 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 977797120 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 331425197400 |
Number of bits of the biggest sum of numbers | 39 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.311952 |
Number of variables | 36360 |
Total number of constraints | 1503 |
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 | 1503 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 4060 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc12 THE 2005-05-25 11:56:04 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21220 boxname=wulflinc12 idbench=1208 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 60f638829868e3a2820fb14a59c3225e /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-degen3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-degen3.opb IDLAUNCH: 21220 /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: 355320 kB Buffers: 34440 kB Cached: 622760 kB SwapCached: 564 kB Active: 51144 kB Inactive: 608484 kB HighTotal: 131008 kB HighFree: 2492 kB LowTotal: 903652 kB LowFree: 352828 kB SwapTotal: 2097136 kB SwapFree: 2096076 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5680 kB Slab: 14000 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 12:16:56 (client local time) WITH STATUS 143 IN 1258.31 SECONDS stats: 21220 7 1258.31 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-degen3.opb c reading problem ... done. Time 380.28 ms. c #vars 36360 c #constraints 2220 c starts : 1 c conflicts : 57 c decisions : 10435 c propagations : 41629 c inspects : 172548 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 57 c root simplifications : 1 s UNKNOWN c Total CPU time (ms) : 1249.314 #### 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.86 0.97 0.99 2/54 11469 Raw data (stat): 11469 (runsolver) R 11468 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780458135 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0003 s] Raw data (loadavg): 0.88 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18007 0 1 0 875 41 0 0 25 0 10 0 780458135 853733376 19379 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208431 19379 13086 16 0 208415 0 vsize: 833724 [startup+20.0012 s] Raw data (loadavg): 0.90 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 1770 41 0 0 25 0 10 0 780458135 854147072 20032 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208532 20032 13086 16 0 208516 0 vsize: 834128 [startup+30.0015 s] Raw data (loadavg): 0.92 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 2659 41 0 0 25 0 10 0 780458135 854147072 20539 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208532 20539 13086 16 0 208516 0 vsize: 834128 [startup+40.0024 s] Raw data (loadavg): 0.93 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 3572 42 0 0 25 0 10 0 780458135 854777856 20940 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 20940 13086 16 0 208670 0 vsize: 834744 [startup+50.0044 s] Raw data (loadavg): 0.94 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 4492 42 0 0 25 0 10 0 780458135 854777856 21106 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 21106 13086 16 0 208670 0 vsize: 834744 [startup+60.0046 s] Raw data (loadavg): 0.95 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 5406 43 0 0 25 0 10 0 780458135 854777856 21241 4294967295 134512640 134569956 3221224368 3221214768 1131243079 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 21241 13086 16 0 208670 0 vsize: 834744 [startup+70.0061 s] Raw data (loadavg): 0.95 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 6333 43 0 0 25 0 10 0 780458135 854777856 21486 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 21486 13086 16 0 208670 0 vsize: 834744 [startup+80.0079 s] Raw data (loadavg): 0.96 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 7270 43 0 0 25 0 10 0 780458135 854777856 21589 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 21589 13086 16 0 208670 0 vsize: 834744 [startup+90.0087 s] Raw data (loadavg): 0.97 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 8211 43 0 0 25 0 10 0 780458135 854777856 21678 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 21678 13086 16 0 208670 0 vsize: 834744 [startup+100.01 s] Raw data (loadavg): 0.97 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 9151 44 0 0 25 0 10 0 780458135 854777856 21766 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 21766 13086 16 0 208670 0 vsize: 834744 [startup+110.113 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 10101 44 0 0 25 0 10 0 780458135 854777856 21849 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 21849 13086 16 0 208670 0 vsize: 834744 [startup+120.123 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 11046 44 0 0 25 0 10 0 780458135 854777856 21921 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 21921 13086 16 0 208670 0 vsize: 834744 [startup+130.124 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 11986 44 0 0 25 0 10 0 780458135 854777856 21995 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 21995 13086 16 0 208670 0 vsize: 834744 [startup+140.125 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 12927 45 0 0 25 0 10 0 780458135 854777856 22065 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 22065 13086 16 0 208670 0 vsize: 834744 [startup+150.127 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 13871 45 0 0 25 0 10 0 780458135 854777856 22128 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 22128 13086 16 0 208670 0 vsize: 834744 [startup+160.128 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 14811 46 0 0 25 0 10 0 780458135 854777856 22192 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 22192 13086 16 0 208670 0 vsize: 834744 [startup+170.131 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 15745 46 0 0 24 0 10 0 780458135 854777856 22254 4294967295 134512640 134569956 3221224368 3221213792 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 22254 13086 16 0 208670 0 vsize: 834744 [startup+180.132 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 16661 47 0 0 25 0 10 0 780458135 854777856 22310 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 22310 13086 16 0 208670 0 vsize: 834744 [startup+190.133 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 17584 47 0 0 25 0 10 0 780458135 854777856 22622 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 22622 13086 16 0 208670 0 vsize: 834744 [startup+200.134 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 18521 48 0 0 24 0 10 0 780458135 854777856 22678 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 22678 13086 16 0 208670 0 vsize: 834744 [startup+210.135 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 19462 48 0 0 25 0 10 0 780458135 854777856 22730 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 22730 13086 16 0 208670 0 vsize: 834744 [startup+220.136 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 20399 49 0 0 25 0 10 0 780458135 854777856 22783 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 22783 13086 16 0 208670 0 vsize: 834744 [startup+230.136 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 11478 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 21340 50 0 0 25 0 10 0 780458135 854777856 22832 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 22832 13086 16 0 208670 0 vsize: 834744 [startup+240.137 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 11479 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 22276 50 0 0 25 0 10 0 780458135 854777856 22883 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 22883 13086 16 0 208670 0 vsize: 834744 [startup+250.138 s] Raw data (loadavg): 1.14 1.00 1.00 2/63 11531 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 23212 52 0 0 25 0 10 0 780458135 854777856 22930 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 22930 13086 16 0 208670 0 vsize: 834744 [startup+260.139 s] Raw data (loadavg): 1.12 1.00 1.00 2/63 11531 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 24148 52 0 0 24 0 10 0 780458135 854777856 22978 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 22978 13086 16 0 208670 0 vsize: 834744 [startup+270.139 s] Raw data (loadavg): 1.10 1.00 1.00 2/63 11531 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 25087 53 0 0 25 0 10 0 780458135 854777856 23023 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 23023 13086 16 0 208670 0 vsize: 834744 [startup+280.14 s] Raw data (loadavg): 1.16 1.02 1.00 2/63 11531 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 26013 53 0 0 25 0 10 0 780458135 854777856 23069 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 23069 13086 16 0 208670 0 vsize: 834744 [startup+290.141 s] Raw data (loadavg): 1.13 1.02 1.00 2/63 11531 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 26936 53 0 0 25 0 10 0 780458135 854777856 23112 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 23112 13086 16 0 208670 0 vsize: 834744 [startup+300.142 s] Raw data (loadavg): 1.11 1.02 1.00 2/63 11531 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18009 0 1 0 27865 53 0 0 24 0 10 0 780458135 854777856 23285 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 23285 13086 16 0 208670 0 vsize: 834744 [startup+310.143 s] Raw data (loadavg): 1.17 1.03 1.01 2/63 11531 Raw data (stat): 11469 (java) S 11468 32284 32283 0 -1 0 18019 0 1 0 28761 54 0 0 25 0 10 0 780458135 854777856 23357 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 23357 13086 16 0 208670 0 vsize: 834744 [startup+320.145 s] Raw data (loadavg): 1.14 1.03 1.01 2/63 11533 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18019 0 1 0 29676 54 0 0 24 0 10 0 780458135 854777856 23392 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 23392 13086 16 0 208670 0 vsize: 834744 [startup+330.196 s] Raw data (loadavg): 1.12 1.03 1.01 4/63 11533 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18019 0 1 0 30597 54 0 0 24 0 10 0 780458135 855826432 23829 4294967295 134512640 134569956 3221224368 3221213288 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208942 23829 13086 16 0 208926 0 vsize: 835768 [startup+340.196 s] Raw data (loadavg): 1.10 1.03 1.00 2/63 11533 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18019 0 1 0 31489 54 0 0 25 0 10 0 780458135 855826432 23785 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208942 23785 13086 16 0 208926 0 vsize: 835768 [startup+350.197 s] Raw data (loadavg): 1.08 1.03 1.00 2/63 11533 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18019 0 1 0 32406 54 0 0 25 0 10 0 780458135 855826432 23816 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208942 23816 13086 16 0 208926 0 vsize: 835768 [startup+360.198 s] Raw data (loadavg): 1.07 1.02 1.00 2/63 11533 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18019 0 1 0 33339 54 0 0 25 0 10 0 780458135 855826432 23952 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208942 23952 13086 16 0 208926 0 vsize: 835768 [startup+370.199 s] Raw data (loadavg): 1.06 1.02 1.00 2/63 11533 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18020 0 1 0 34253 56 0 0 25 0 10 0 780458135 855826432 24889 4294967295 134512640 134569956 3221224368 3221214808 1131315898 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208942 24889 13086 16 0 208926 0 vsize: 835768 [startup+380.2 s] Raw data (loadavg): 1.05 1.02 1.00 2/63 11533 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18020 0 1 0 35097 62 0 0 25 0 10 0 780458135 855826432 32684 4294967295 134512640 134569956 3221224368 3221214256 1131260438 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208942 32684 13086 16 0 208926 0 vsize: 835768 [startup+390.202 s] Raw data (loadavg): 1.04 1.02 1.00 2/63 11533 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18042 0 1 0 36006 63 0 0 25 0 10 0 780458135 856481792 36050 4294967295 134512640 134569956 3221224368 3221214536 1131361044 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209102 36050 13086 16 0 209086 0 vsize: 836408 [startup+400.21 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 11534 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 36923 63 0 0 25 0 11 0 780458135 857010176 36064 4294967295 134512640 134569956 3221224368 3221214600 1131370747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36064 13086 16 0 209215 0 vsize: 836924 [startup+410.211 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 11534 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 37843 63 0 0 25 0 11 0 780458135 857010176 36064 4294967295 134512640 134569956 3221224368 3221214600 1131370555 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36064 13086 16 0 209215 0 vsize: 836924 [startup+420.212 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 11534 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 38756 64 0 0 24 0 11 0 780458135 857010176 36111 4294967295 134512640 134569956 3221224368 3221214504 1131266384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36111 13086 16 0 209215 0 vsize: 836924 [startup+430.213 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 11534 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 39721 64 0 0 25 0 11 0 780458135 857010176 36601 4294967295 134512640 134569956 3221224368 3221214672 1131381721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36601 13086 16 0 209215 0 vsize: 836924 [startup+440.214 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 11534 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 40715 64 0 0 25 0 11 0 780458135 857010176 36604 4294967295 134512640 134569956 3221224368 3221214600 1131370461 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36604 13086 16 0 209215 0 vsize: 836924 [startup+450.214 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 11534 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 41710 65 0 0 25 0 11 0 780458135 857010176 36607 4294967295 134512640 134569956 3221224368 3221214504 1131361193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36607 13086 16 0 209215 0 vsize: 836924 [startup+460.215 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 11534 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 42704 65 0 0 25 0 11 0 780458135 857010176 36611 4294967295 134512640 134569956 3221224368 3221214600 1131370860 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36611 13086 16 0 209215 0 vsize: 836924 [startup+470.217 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11534 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 43697 65 0 0 25 0 11 0 780458135 857010176 36614 4294967295 134512640 134569956 3221224368 3221214504 1131360993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36614 13086 16 0 209215 0 vsize: 836924 [startup+480.218 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11534 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 44692 65 0 0 25 0 11 0 780458135 857010176 36618 4294967295 134512640 134569956 3221224368 3221214672 1131381724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36618 13086 16 0 209215 0 vsize: 836924 [startup+490.218 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11534 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 45686 65 0 0 25 0 11 0 780458135 857010176 36622 4294967295 134512640 134569956 3221224368 3221214504 1131360913 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36622 13086 16 0 209215 0 vsize: 836924 [startup+500.22 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11534 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 46679 65 0 0 25 0 11 0 780458135 857010176 36624 4294967295 134512640 134569956 3221224368 3221214504 1131360953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36624 13086 16 0 209215 0 vsize: 836924 [startup+510.221 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11534 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 47672 66 0 0 25 0 11 0 780458135 857010176 36629 4294967295 134512640 134569956 3221224368 3221214616 1131259245 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36629 13086 16 0 209215 0 vsize: 836924 [startup+520.221 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11534 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 48665 66 0 0 25 0 11 0 780458135 857010176 36633 4294967295 134512640 134569956 3221224368 3221214668 1131259187 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36633 13086 16 0 209215 0 vsize: 836924 [startup+530.222 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11534 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 49658 66 0 0 25 0 11 0 780458135 857010176 36639 4294967295 134512640 134569956 3221224368 3221214504 1131265901 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36639 13086 16 0 209215 0 vsize: 836924 [startup+540.223 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11534 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 50651 67 0 0 25 0 11 0 780458135 857010176 36642 4294967295 134512640 134569956 3221224368 3221214600 1131370480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36642 13086 16 0 209215 0 vsize: 836924 [startup+550.224 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11534 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 51644 68 0 0 25 0 11 0 780458135 857010176 36646 4294967295 134512640 134569956 3221224368 3221214600 1131370938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36646 13086 16 0 209215 0 vsize: 836924 [startup+560.225 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 52637 69 0 0 25 0 11 0 780458135 857010176 36649 4294967295 134512640 134569956 3221224368 3221214600 1131370461 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36649 13086 16 0 209215 0 vsize: 836924 [startup+570.226 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 53631 69 0 0 25 0 11 0 780458135 857010176 36653 4294967295 134512640 134569956 3221224368 3221214596 1131361898 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36653 13086 16 0 209215 0 vsize: 836924 [startup+580.226 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18048 0 1 0 54626 69 0 0 25 0 11 0 780458135 857010176 36659 4294967295 134512640 134569956 3221224368 3221214600 1131370641 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36659 13086 16 0 209215 0 vsize: 836924 [startup+590.226 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18059 0 1 0 55605 70 0 0 25 0 11 0 780458135 857010176 36690 4294967295 134512640 134569956 3221224368 3221214576 1131439352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209231 36690 13086 16 0 209215 0 vsize: 836924 [startup+600.227 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18059 0 1 0 56605 70 0 0 25 0 11 0 780458135 857010176 36690 4294967295 134512640 134569956 3221224368 3221214560 1131408441 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209231 36690 13086 16 0 209215 0 vsize: 836924 [startup+610.228 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18059 0 1 0 57594 70 0 0 25 0 11 0 780458135 857010176 36692 4294967295 134512640 134569956 3221224368 3221214672 1131381724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36692 13086 16 0 209215 0 vsize: 836924 [startup+620.229 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18059 0 1 0 58576 70 0 0 25 0 11 0 780458135 857010176 36695 4294967295 134512640 134569956 3221224368 3221214504 1131360993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36695 13086 16 0 209215 0 vsize: 836924 [startup+630.23 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18059 0 1 0 59556 71 0 0 25 0 11 0 780458135 857010176 36698 4294967295 134512640 134569956 3221224368 3221214504 1131360993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36698 13086 16 0 209215 0 vsize: 836924 [startup+640.231 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18059 0 1 0 60538 71 0 0 25 0 11 0 780458135 857010176 36777 4294967295 134512640 134569956 3221224368 3221214672 1131381724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36777 13086 16 0 209215 0 vsize: 836924 [startup+650.231 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18059 0 1 0 61530 71 0 0 25 0 11 0 780458135 857010176 36781 4294967295 134512640 134569956 3221224368 3221214616 1131259221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209231 36781 13086 16 0 209215 0 vsize: 836924 [startup+660.231 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18060 0 1 0 62505 72 0 0 25 0 11 0 780458135 858058752 37149 4294967295 134512640 134569956 3221224368 3221214672 1131381724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209487 37149 13086 16 0 209471 0 vsize: 837948 [startup+670.231 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 63489 72 0 0 25 0 11 0 780458135 857010176 36804 4294967295 134512640 134569956 3221224368 3221214672 1131381724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36804 13086 16 0 209215 0 vsize: 836924 [startup+680.233 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 64474 72 0 0 25 0 11 0 780458135 857010176 36812 4294967295 134512640 134569956 3221224368 3221214600 1131370555 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36812 13086 16 0 209215 0 vsize: 836924 [startup+690.234 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 65459 73 0 0 25 0 11 0 780458135 857010176 36832 4294967295 134512640 134569956 3221224368 3221214504 1131361889 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36832 13086 16 0 209215 0 vsize: 836924 [startup+700.235 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 66447 73 0 0 25 0 11 0 780458135 857010176 36866 4294967295 134512640 134569956 3221224368 3221214672 1131383632 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36866 13086 16 0 209215 0 vsize: 836924 [startup+710.235 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 67434 73 0 0 25 0 11 0 780458135 857010176 36885 4294967295 134512640 134569956 3221224368 3221214504 1131360993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36885 13086 16 0 209215 0 vsize: 836924 [startup+720.235 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 68422 74 0 0 25 0 11 0 780458135 857010176 36902 4294967295 134512640 134569956 3221224368 3221214600 1131370470 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209231 36902 13086 16 0 209215 0 vsize: 836924 [startup+730.25 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 69402 74 0 0 25 0 11 0 780458135 857010176 36905 4294967295 134512640 134569956 3221224368 3221214672 1131383717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36905 13086 16 0 209215 0 vsize: 836924 [startup+740.25 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 70373 74 0 0 25 0 11 0 780458135 857010176 36926 4294967295 134512640 134569956 3221224368 3221214504 1131360995 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36926 13086 16 0 209215 0 vsize: 836924 [startup+750.252 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 71342 74 0 0 25 0 11 0 780458135 857010176 36927 4294967295 134512640 134569956 3221224368 3221214504 1131360845 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 36927 13086 16 0 209215 0 vsize: 836924 [startup+760.253 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 72322 75 0 0 25 0 11 0 780458135 857010176 37003 4294967295 134512640 134569956 3221224368 3221214760 1131368201 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37003 13086 16 0 209215 0 vsize: 836924 [startup+770.253 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) S 11468 32284 32283 0 -1 0 18061 0 1 0 73299 75 0 0 25 0 11 0 780458135 857010176 37090 4294967295 134512640 134569956 3221224368 3221213208 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37090 13086 16 0 209215 0 vsize: 836924 [startup+780.253 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 74280 76 0 0 25 0 11 0 780458135 857010176 37091 4294967295 134512640 134569956 3221224368 3221214504 1131360953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37091 13086 16 0 209215 0 vsize: 836924 [startup+790.255 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 75248 77 0 0 25 0 11 0 780458135 857010176 37093 4294967295 134512640 134569956 3221224368 3221214600 1131370635 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37093 13086 16 0 209215 0 vsize: 836924 [startup+800.255 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 76217 77 0 0 25 0 11 0 780458135 857010176 37094 4294967295 134512640 134569956 3221224368 3221214672 1131381785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37094 13086 16 0 209215 0 vsize: 836924 [startup+810.256 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 77187 77 0 0 25 0 11 0 780458135 857010176 37163 4294967295 134512640 134569956 3221224368 3221214600 1131370465 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37163 13086 16 0 209215 0 vsize: 836924 [startup+820.257 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 78146 78 0 0 25 0 11 0 780458135 857010176 37232 4294967295 134512640 134569956 3221224368 3221214504 1131361197 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37232 13086 16 0 209215 0 vsize: 836924 [startup+830.258 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 79122 78 0 0 25 0 11 0 780458135 857010176 37328 4294967295 134512640 134569956 3221224368 3221214504 1131361113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37328 13086 16 0 209215 0 vsize: 836924 [startup+840.258 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 80107 78 0 0 25 0 11 0 780458135 857010176 37430 4294967295 134512640 134569956 3221224368 3221214752 1131219655 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37430 13086 16 0 209215 0 vsize: 836924 [startup+850.261 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 81094 79 0 0 25 0 11 0 780458135 857010176 37501 4294967295 134512640 134569956 3221224368 3221214672 1131381724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37501 13086 16 0 209215 0 vsize: 836924 [startup+860.261 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 82078 79 0 0 25 0 11 0 780458135 857010176 37501 4294967295 134512640 134569956 3221224368 3221214504 1131360974 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37501 13086 16 0 209215 0 vsize: 836924 [startup+870.261 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 83062 79 0 0 25 0 11 0 780458135 857010176 37501 4294967295 134512640 134569956 3221224368 3221214600 1131370559 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209231 37501 13086 16 0 209215 0 vsize: 836924 [startup+880.262 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 84047 79 0 0 25 0 11 0 780458135 857010176 37502 4294967295 134512640 134569956 3221224368 3221214672 1131385297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37502 13086 16 0 209215 0 vsize: 836924 [startup+890.263 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 85030 80 0 0 25 0 11 0 780458135 857010176 37572 4294967295 134512640 134569956 3221224368 3221214672 1131381724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37572 13086 16 0 209215 0 vsize: 836924 [startup+900.264 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 86016 80 0 0 25 0 11 0 780458135 857010176 37575 4294967295 134512640 134569956 3221224368 3221214544 1131265973 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37575 13086 16 0 209215 0 vsize: 836924 [startup+910.265 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 86994 80 0 0 24 0 11 0 780458135 857010176 37576 4294967295 134512640 134569956 3221224368 3221214504 1131265929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37576 13086 16 0 209215 0 vsize: 836924 [startup+920.265 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 87974 81 0 0 24 0 11 0 780458135 857010176 37647 4294967295 134512640 134569956 3221224368 3221214504 1131360982 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37647 13086 16 0 209215 0 vsize: 836924 [startup+930.266 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 88940 81 0 0 25 0 11 0 780458135 857010176 37648 4294967295 134512640 134569956 3221224368 3221214672 1131381717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37648 13086 16 0 209215 0 vsize: 836924 [startup+940.267 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 89900 81 0 0 25 0 11 0 780458135 857010176 37717 4294967295 134512640 134569956 3221224368 3221214672 1131381785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37717 13086 16 0 209215 0 vsize: 836924 [startup+950.268 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 90864 82 0 0 25 0 11 0 780458135 857010176 37718 4294967295 134512640 134569956 3221224368 3221214504 1131360993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37718 13086 16 0 209215 0 vsize: 836924 [startup+960.269 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 91836 82 0 0 25 0 11 0 780458135 857010176 37955 4294967295 134512640 134569956 3221224368 3221214504 1131360953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37955 13086 16 0 209215 0 vsize: 836924 [startup+970.269 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 92813 82 0 0 25 0 11 0 780458135 857010176 37957 4294967295 134512640 134569956 3221224368 3221214504 1131360932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37957 13086 16 0 209215 0 vsize: 836924 [startup+980.269 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 93781 82 0 0 25 0 11 0 780458135 857010176 37957 4294967295 134512640 134569956 3221224368 3221214672 1131382547 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 37957 13086 16 0 209215 0 vsize: 836924 [startup+990.27 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 94756 83 0 0 25 0 11 0 780458135 857010176 38029 4294967295 134512640 134569956 3221224368 3221214504 1131360982 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38029 13086 16 0 209215 0 vsize: 836924 [startup+1000.27 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 95728 83 0 0 25 0 11 0 780458135 857010176 38098 4294967295 134512640 134569956 3221224368 3221214600 1131370533 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38098 13086 16 0 209215 0 vsize: 836924 [startup+1010.27 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) S 11468 32284 32283 0 -1 0 18061 0 1 0 96703 83 0 0 25 0 11 0 780458135 857010176 38166 4294967295 134512640 134569956 3221224368 3221213208 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38166 13086 16 0 209215 0 vsize: 836924 [startup+1020.27 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 97674 84 0 0 25 0 11 0 780458135 857010176 38166 4294967295 134512640 134569956 3221224368 3221214600 1131370645 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38166 13086 16 0 209215 0 vsize: 836924 [startup+1030.27 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 98647 84 0 0 25 0 11 0 780458135 857010176 38303 4294967295 134512640 134569956 3221224368 3221214672 1131381785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38303 13086 16 0 209215 0 vsize: 836924 [startup+1040.27 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 99626 84 0 0 25 0 11 0 780458135 857010176 38371 4294967295 134512640 134569956 3221224368 3221214504 1131360905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38371 13086 16 0 209215 0 vsize: 836924 [startup+1050.27 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 100608 84 0 0 25 0 11 0 780458135 857010176 38374 4294967295 134512640 134569956 3221224368 3221214600 1131370780 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38374 13086 16 0 209215 0 vsize: 836924 [startup+1060.28 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 101585 85 0 0 25 0 11 0 780458135 857010176 38374 4294967295 134512640 134569956 3221224368 3221214632 1131378697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38374 13086 16 0 209215 0 vsize: 836924 [startup+1070.28 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 102559 85 0 0 25 0 11 0 780458135 857010176 38442 4294967295 134512640 134569956 3221224368 3221214600 1131370633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38442 13086 16 0 209215 0 vsize: 836924 [startup+1080.28 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 103534 85 0 0 25 0 11 0 780458135 857010176 38442 4294967295 134512640 134569956 3221224368 3221214760 1131368201 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38442 13086 16 0 209215 0 vsize: 836924 [startup+1090.28 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 104504 86 0 0 24 0 11 0 780458135 857010176 38510 4294967295 134512640 134569956 3221224368 3221214504 1131360993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38510 13086 16 0 209215 0 vsize: 836924 [startup+1100.28 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 105453 86 0 0 25 0 11 0 780458135 857010176 38579 4294967295 134512640 134569956 3221224368 3221214504 1131360993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38579 13086 16 0 209215 0 vsize: 836924 [startup+1110.28 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 106404 86 0 0 25 0 11 0 780458135 857010176 38579 4294967295 134512640 134569956 3221224368 3221214672 1131381724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38579 13086 16 0 209215 0 vsize: 836924 [startup+1120.28 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 107363 87 0 0 25 0 11 0 780458135 857010176 38648 4294967295 134512640 134569956 3221224368 3221214600 1131370902 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38648 13086 16 0 209215 0 vsize: 836924 [startup+1130.28 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 108344 87 0 0 25 0 11 0 780458135 857010176 38969 4294967295 134512640 134569956 3221224368 3221214672 1131383717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38969 13086 16 0 209215 0 vsize: 836924 [startup+1140.28 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 109325 88 0 0 25 0 11 0 780458135 857010176 38969 4294967295 134512640 134569956 3221224368 3221214672 1131296435 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38969 13086 16 0 209215 0 vsize: 836924 [startup+1150.28 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 110297 88 0 0 25 0 11 0 780458135 857010176 38975 4294967295 134512640 134569956 3221224368 3221214504 1131361229 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38975 13086 16 0 209215 0 vsize: 836924 [startup+1160.28 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 111272 88 0 0 25 0 11 0 780458135 857010176 38978 4294967295 134512640 134569956 3221224368 3221214672 1131387801 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38978 13086 16 0 209215 0 vsize: 836924 [startup+1170.28 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 112243 89 0 0 25 0 11 0 780458135 857010176 38978 4294967295 134512640 134569956 3221224368 3221214600 1131370495 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 38978 13086 16 0 209215 0 vsize: 836924 [startup+1180.28 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 113210 89 0 0 25 0 11 0 780458135 857010176 39126 4294967295 134512640 134569956 3221224368 3221214600 1131370470 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 39126 13086 16 0 209215 0 vsize: 836924 [startup+1190.28 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 114183 89 0 0 25 0 11 0 780458135 857010176 39126 4294967295 134512640 134569956 3221224368 3221214504 1131265929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 39126 13086 16 0 209215 0 vsize: 836924 [startup+1200.28 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 115162 89 0 0 24 0 11 0 780458135 857010176 39197 4294967295 134512640 134569956 3221224368 3221214672 1131382715 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 39197 13086 16 0 209215 0 vsize: 836924 [startup+1210.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 116153 90 0 0 25 0 11 0 780458135 857010176 39268 4294967295 134512640 134569956 3221224368 3221214504 1131360953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 39268 13086 16 0 209215 0 vsize: 836924 [startup+1220.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 117146 90 0 0 25 0 11 0 780458135 857010176 39268 4294967295 134512640 134569956 3221224368 3221214600 1131370575 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 39268 13086 16 0 209215 0 vsize: 836924 [startup+1230.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 118135 90 0 0 25 0 11 0 780458135 857010176 39268 4294967295 134512640 134569956 3221224368 3221214504 1131266384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 39268 13086 16 0 209215 0 vsize: 836924 [startup+1240.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 119114 91 0 0 24 0 11 0 780458135 857010176 39281 4294967295 134512640 134569956 3221224368 3221214616 1131259200 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 39281 13086 16 0 209215 0 vsize: 836924 [startup+1250.29 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11536 Raw data (stat): 11469 (java) R 11468 32284 32283 0 -1 0 18061 0 1 0 120096 91 0 0 25 0 11 0 780458135 857010176 39282 4294967295 134512640 134569956 3221224368 3221214504 1131360993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209231 39282 13086 16 0 209215 0 vsize: 836924 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.39 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 11538 Raw data (stat): 11469 (java) Z 11468 32284 32283 0 -1 1036 18061 24767 1 0 120098 98 5563 69 25 0 1 0 780458135 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): 1250.39 CPU time (s): 1258.31 CPU user time (s): 1256.63 CPU system time (s): 1.68374 CPU usage (%): 100.634 Max. virtual memory (Kb): 837948 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####