Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-harp2.opb |
MD5SUM | ede9b90804f45c5dc7aa110230ebb14b |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -61747740 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2993 |
Biggest coefficient in the objective function | 17006200 |
Number of bits for the biggest coefficient in the objective function | 25 |
Sum of the numbers in the objective function | 4415092451 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 4208540000 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 46909379837 |
Number of bits of the biggest sum of numbers | 36 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1295.64 |
Number of variables | 2993 |
Total number of constraints | 3105 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 3066 |
Number of constraints which are nor clauses,nor cardinality constraints | 39 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 73 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc19 THE 2005-04-21 13:53:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18456 boxname=wulflinc19 idbench=1420 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: ede9b90804f45c5dc7aa110230ebb14b /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-harp2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-harp2.opb IDLAUNCH: 18456 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 762408 kB Buffers: 21468 kB Cached: 226380 kB SwapCached: 556 kB Active: 35512 kB Inactive: 214348 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 762156 kB SwapTotal: 2097892 kB SwapFree: 2096388 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5164 kB Slab: 16684 kB Committed_AS: 63820 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 14:13:37 (client local time) WITH STATUS 143 IN 1240.26 SECONDS stats: 18456 7 1240.26 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-harp2.opb c reading problem c [nbvar=2993] c [nbconstr=3105] c time 6.672 c #vars 2993 c #clauses 185 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=-146 c Current CPU time (ms) : 7.447 c starts : 1 c conflicts : 0 c decisions : 1272 c propagations : 2993 c inspects : 1067 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 c c CURRENT OPTIMUM=-340504 c Current CPU time (ms) : 8.861 c starts : 2 c conflicts : 0 c decisions : 2543 c propagations : 4788 c inspects : 1703 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 2 c c CURRENT OPTIMUM=-553262 c Current CPU time (ms) : 12.862 c starts : 3 c conflicts : 1 c decisions : 3814 c propagations : 6587 c inspects : 2373 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1 c root simplifications : 3 c c CURRENT OPTIMUM=-117364281 c Current CPU time (ms) : 14.214 c starts : 4 c conflicts : 3 c decisions : 4017 c propagations : 8502 c inspects : 3489 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 3 c root simplifications : 4 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.94 0.91 2/55 1545 Raw data (stat): 1545 (runsolver) R 1544 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545583883 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0002 s] Raw data (loadavg): 1.03 0.97 0.92 2/65 1557 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18040 4 1 0 774 42 0 0 25 0 11 0 545583883 858374144 20096 4294967295 134512640 134569956 3221224400 3221214688 1131298617 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209564 20096 13073 16 0 209548 0 vsize: 838256 [startup+20.0009 s] Raw data (loadavg): 1.17 1.01 0.93 2/65 1559 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 1542 42 0 0 25 0 11 0 545583883 865579008 22706 4294967295 134512640 134569956 3221224400 3221214576 1131588868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211323 22706 13073 16 0 211307 0 vsize: 845292 [startup+30.0021 s] Raw data (loadavg): 1.15 1.01 0.93 2/65 1559 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 2497 42 0 0 25 0 11 0 545583883 865546240 22978 4294967295 134512640 134569956 3221224400 3221214632 1131536633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 22978 13073 16 0 211299 0 vsize: 845260 [startup+40.0014 s] Raw data (loadavg): 1.12 1.00 0.93 2/65 1559 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 3449 43 0 0 25 0 11 0 545583883 865546240 23179 4294967295 134512640 134569956 3221224400 3221214592 1131586515 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211315 23179 13073 16 0 211299 0 vsize: 845260 [startup+50.0023 s] Raw data (loadavg): 1.10 1.00 0.93 2/65 1559 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 4414 43 0 0 25 0 11 0 545583883 865546240 23180 4294967295 134512640 134569956 3221224400 3221214576 1131589018 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 23180 13073 16 0 211299 0 vsize: 845260 [startup+60.0025 s] Raw data (loadavg): 1.09 1.00 0.93 2/65 1559 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 5372 44 0 0 24 0 11 0 545583883 865546240 23180 4294967295 134512640 134569956 3221224400 3221214552 1131482950 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 23180 13073 16 0 211299 0 vsize: 845260 [startup+70.0029 s] Raw data (loadavg): 1.07 1.00 0.93 2/65 1559 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 6325 44 0 0 25 0 11 0 545583883 865546240 23333 4294967295 134512640 134569956 3221224400 3221214604 1131516531 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211315 23333 13073 16 0 211299 0 vsize: 845260 [startup+80.0038 s] Raw data (loadavg): 1.06 1.00 0.93 2/65 1559 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 7275 44 0 0 25 0 11 0 545583883 865546240 23795 4294967295 134512640 134569956 3221224400 3221214576 1131588226 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 23795 13073 16 0 211299 0 vsize: 845260 [startup+90.004 s] Raw data (loadavg): 1.05 1.00 0.93 2/65 1559 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 8241 45 0 0 25 0 11 0 545583883 865546240 24005 4294967295 134512640 134569956 3221224400 3221214424 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 24005 13073 16 0 211299 0 vsize: 845260 [startup+100.004 s] Raw data (loadavg): 1.04 1.00 0.93 2/65 1559 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 9212 46 0 0 25 0 11 0 545583883 865546240 24005 4294967295 134512640 134569956 3221224400 3221214272 1080217364 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 24005 13073 16 0 211299 0 vsize: 845260 [startup+110.005 s] Raw data (loadavg): 1.04 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 10180 46 0 0 24 0 11 0 545583883 865546240 24005 4294967295 134512640 134569956 3221224400 3221214336 1080217001 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 24005 13073 16 0 211299 0 vsize: 845260 [startup+120.006 s] Raw data (loadavg): 1.03 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 11159 46 0 0 25 0 11 0 545583883 865546240 24262 4294967295 134512640 134569956 3221224400 3221214480 1131482832 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 24262 13073 16 0 211299 0 vsize: 845260 [startup+130.007 s] Raw data (loadavg): 1.02 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 12149 46 0 0 25 0 11 0 545583883 865546240 24346 4294967295 134512640 134569956 3221224400 3221214480 1131481595 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 24346 13073 16 0 211299 0 vsize: 845260 [startup+140.008 s] Raw data (loadavg): 1.02 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 13145 46 0 0 25 0 11 0 545583883 865546240 24422 4294967295 134512640 134569956 3221224400 3221214552 1131516702 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 24422 13073 16 0 211299 0 vsize: 845260 [startup+150.008 s] Raw data (loadavg): 1.02 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 14141 46 0 0 25 0 11 0 545583883 865546240 24422 4294967295 134512640 134569956 3221224400 3221214304 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 24422 13073 16 0 211299 0 vsize: 845260 [startup+160.008 s] Raw data (loadavg): 1.01 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 15133 47 0 0 25 0 11 0 545583883 865546240 24422 4294967295 134512640 134569956 3221224400 3221214576 1131284628 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 24422 13073 16 0 211299 0 vsize: 845260 [startup+170.01 s] Raw data (loadavg): 1.01 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 16114 47 0 0 25 0 11 0 545583883 865546240 24422 4294967295 134512640 134569956 3221224400 3221214680 1131408385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 24422 13073 16 0 211299 0 vsize: 845260 [startup+180.01 s] Raw data (loadavg): 1.01 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 17083 47 0 0 25 0 11 0 545583883 865546240 24422 4294967295 134512640 134569956 3221224400 3221214668 1080203692 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211315 24422 13073 16 0 211299 0 vsize: 845260 [startup+190.01 s] Raw data (loadavg): 1.01 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 18040 48 0 0 25 0 11 0 545583883 865546240 24422 4294967295 134512640 134569956 3221224400 3221214480 1131380643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 24422 13073 16 0 211299 0 vsize: 845260 [startup+200.011 s] Raw data (loadavg): 1.01 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 19005 48 0 0 25 0 11 0 545583883 865546240 24556 4294967295 134512640 134569956 3221224400 3221214496 1131373900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 24556 13073 16 0 211299 0 vsize: 845260 [startup+210.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 19973 48 0 0 25 0 11 0 545583883 865546240 24787 4294967295 134512640 134569956 3221224400 3221214680 1131409731 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 24787 13073 16 0 211299 0 vsize: 845260 [startup+220.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 20960 49 0 0 25 0 11 0 545583883 865546240 24936 4294967295 134512640 134569956 3221224400 3221214768 1131346979 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 24936 13073 16 0 211299 0 vsize: 845260 [startup+230.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 21944 49 0 0 25 0 11 0 545583883 865546240 24947 4294967295 134512640 134569956 3221224400 3221214272 1080217376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 24947 13073 16 0 211299 0 vsize: 845260 [startup+240.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 22925 49 0 0 25 0 11 0 545583883 865546240 24947 4294967295 134512640 134569956 3221224400 3221214400 1131532158 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 24947 13073 16 0 211299 0 vsize: 845260 [startup+250.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 23904 49 0 0 25 0 11 0 545583883 865546240 24947 4294967295 134512640 134569956 3221224400 3221214676 1131461697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 24947 13073 16 0 211299 0 vsize: 845260 [startup+260.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 24874 50 0 0 25 0 11 0 545583883 865546240 25027 4294967295 134512640 134569956 3221224400 3221214768 1131346979 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 25027 13073 16 0 211299 0 vsize: 845260 [startup+270.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 25849 50 0 0 25 0 11 0 545583883 865546240 25177 4294967295 134512640 134569956 3221224400 3221214680 1131299213 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 25177 13073 16 0 211299 0 vsize: 845260 [startup+280.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 26827 50 0 0 25 0 11 0 545583883 865546240 25177 4294967295 134512640 134569956 3221224400 3221214764 1131303776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 25177 13073 16 0 211299 0 vsize: 845260 [startup+290.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 27801 51 0 0 24 0 11 0 545583883 865546240 25267 4294967295 134512640 134569956 3221224400 3221214680 1131299109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 25267 13073 16 0 211299 0 vsize: 845260 [startup+300.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 28780 51 0 0 25 0 11 0 545583883 865546240 25346 4294967295 134512640 134569956 3221224400 3221214400 1131531834 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 25346 13073 16 0 211299 0 vsize: 845260 [startup+310.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 29758 51 0 0 25 0 11 0 545583883 865546240 25424 4294967295 134512640 134569956 3221224400 3221214552 1131516587 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 25424 13073 16 0 211299 0 vsize: 845260 [startup+320.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 30737 52 0 0 25 0 11 0 545583883 865546240 25500 4294967295 134512640 134569956 3221224400 3221214680 1131298617 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 25500 13073 16 0 211299 0 vsize: 845260 [startup+330.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 31717 52 0 0 25 0 11 0 545583883 865546240 25576 4294967295 134512640 134569956 3221224400 3221214680 1131299504 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 25576 13073 16 0 211299 0 vsize: 845260 [startup+340.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 32691 52 0 0 25 0 11 0 545583883 865546240 25656 4294967295 134512640 134569956 3221224400 3221214680 1131298794 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 25656 13073 16 0 211299 0 vsize: 845260 [startup+350.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 33667 53 0 0 25 0 11 0 545583883 865546240 25732 4294967295 134512640 134569956 3221224400 3221214768 1131348729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 25732 13073 16 0 211299 0 vsize: 845260 [startup+360.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 34645 53 0 0 25 0 11 0 545583883 865546240 25735 4294967295 134512640 134569956 3221224400 3221214608 1131459519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 25735 13073 16 0 211299 0 vsize: 845260 [startup+370.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 35628 53 0 0 25 0 11 0 545583883 865546240 25892 4294967295 134512640 134569956 3221224400 3221214680 1131299205 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 25892 13073 16 0 211299 0 vsize: 845260 [startup+380.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 36613 53 0 0 25 0 11 0 545583883 865546240 25893 4294967295 134512640 134569956 3221224400 3221214480 1131381237 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211315 25893 13073 16 0 211299 0 vsize: 845260 [startup+390.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 37597 54 0 0 25 0 11 0 545583883 865546240 25968 4294967295 134512640 134569956 3221224400 3221214680 1131298794 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 25968 13073 16 0 211299 0 vsize: 845260 [startup+400.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1562 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 38581 54 0 0 25 0 11 0 545583883 865546240 26045 4294967295 134512640 134569956 3221224400 3221214680 1131299095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 26045 13073 16 0 211299 0 vsize: 845260 [startup+410.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 1564 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 39556 54 0 0 24 0 11 0 545583883 865546240 26046 4294967295 134512640 134569956 3221224400 3221214680 1131298644 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 26046 13073 16 0 211299 0 vsize: 845260 [startup+420.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/68 1567 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 40532 55 0 0 25 0 11 0 545583883 865546240 26122 4294967295 134512640 134569956 3221224400 3221214400 1131531715 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211315 26122 13073 16 0 211299 0 vsize: 845260 [startup+430.022 s] Raw data (loadavg): 1.07 1.02 0.94 2/65 1617 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 41505 60 0 0 25 0 11 0 545583883 865546240 26125 4294967295 134512640 134569956 3221224400 3221214680 1131311861 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 26125 13073 16 0 211299 0 vsize: 845260 [startup+440.022 s] Raw data (loadavg): 1.06 1.02 0.94 2/65 1617 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 42482 60 0 0 24 0 11 0 545583883 865546240 26351 4294967295 134512640 134569956 3221224400 3221214360 1080019747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 26351 13073 16 0 211299 0 vsize: 845260 [startup+450.023 s] Raw data (loadavg): 1.05 1.01 0.94 2/65 1617 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 43470 60 0 0 25 0 11 0 545583883 865546240 26354 4294967295 134512640 134569956 3221224400 3221214656 1131303931 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 26354 13073 16 0 211299 0 vsize: 845260 [startup+460.024 s] Raw data (loadavg): 1.04 1.01 0.94 2/65 1617 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 44454 60 0 0 25 0 11 0 545583883 865546240 26431 4294967295 134512640 134569956 3221224400 3221214680 1131408817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 26431 13073 16 0 211299 0 vsize: 845260 [startup+470.025 s] Raw data (loadavg): 1.04 1.01 0.94 2/65 1617 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 45442 61 0 0 25 0 11 0 545583883 865546240 26434 4294967295 134512640 134569956 3221224400 3221214480 1131481896 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 26434 13073 16 0 211299 0 vsize: 845260 [startup+480.025 s] Raw data (loadavg): 1.03 1.01 0.94 2/65 1617 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 46414 61 0 0 25 0 11 0 545583883 865546240 26509 4294967295 134512640 134569956 3221224400 3221214768 1131348328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 26509 13073 16 0 211299 0 vsize: 845260 [startup+490.026 s] Raw data (loadavg): 1.02 1.01 0.94 2/65 1617 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 47393 61 0 0 25 0 11 0 545583883 865546240 26510 4294967295 134512640 134569956 3221224400 3221214608 1131459678 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 26510 13073 16 0 211299 0 vsize: 845260 [startup+500.027 s] Raw data (loadavg): 1.02 1.01 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 48369 62 0 0 25 0 11 0 545583883 865546240 26511 4294967295 134512640 134569956 3221224400 3221214680 1131299217 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 26511 13073 16 0 211299 0 vsize: 845260 [startup+510.028 s] Raw data (loadavg): 1.02 1.01 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 49350 62 0 0 25 0 11 0 545583883 865546240 26737 4294967295 134512640 134569956 3221224400 3221214680 1131298615 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 26737 13073 16 0 211299 0 vsize: 845260 [startup+520.03 s] Raw data (loadavg): 1.01 1.01 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 50339 62 0 0 25 0 11 0 545583883 865546240 26738 4294967295 134512640 134569956 3221224400 3221214360 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 26738 13073 16 0 211299 0 vsize: 845260 [startup+530.047 s] Raw data (loadavg): 1.01 1.01 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 51314 63 0 0 25 0 11 0 545583883 865546240 26813 4294967295 134512640 134569956 3221224400 3221214768 1131351373 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 26813 13073 16 0 211299 0 vsize: 845260 [startup+540.047 s] Raw data (loadavg): 1.01 1.01 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 52290 63 0 0 25 0 11 0 545583883 865546240 26814 4294967295 134512640 134569956 3221224400 3221214680 1131299118 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 26814 13073 16 0 211299 0 vsize: 845260 [startup+550.048 s] Raw data (loadavg): 1.01 1.00 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 53265 63 0 0 25 0 11 0 545583883 865546240 26816 4294967295 134512640 134569956 3221224400 3221214608 1131459511 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 26816 13073 16 0 211299 0 vsize: 845260 [startup+560.049 s] Raw data (loadavg): 1.01 1.00 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 54230 64 0 0 25 0 11 0 545583883 865546240 27046 4294967295 134512640 134569956 3221224400 3221214680 1131299279 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 27046 13073 16 0 211299 0 vsize: 845260 [startup+570.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 55190 64 0 0 25 0 11 0 545583883 865546240 27047 4294967295 134512640 134569956 3221224400 3221214680 1131299039 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 27047 13073 16 0 211299 0 vsize: 845260 [startup+580.051 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 56142 64 0 0 25 0 11 0 545583883 865546240 27049 4294967295 134512640 134569956 3221224400 3221214680 1131299159 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 27049 13073 16 0 211299 0 vsize: 845260 [startup+590.052 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 57098 65 0 0 25 0 11 0 545583883 865546240 27317 4294967295 134512640 134569956 3221224400 3221214680 1131311861 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 27317 13073 16 0 211299 0 vsize: 845260 [startup+600.052 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 58071 65 0 0 25 0 11 0 545583883 865546240 27617 4294967295 134512640 134569956 3221224400 3221214680 1131299061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 27617 13073 16 0 211299 0 vsize: 845260 [startup+610.053 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 59060 66 0 0 25 0 11 0 545583883 865546240 27633 4294967295 134512640 134569956 3221224400 3221214680 1131298582 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 27633 13073 16 0 211299 0 vsize: 845260 [startup+620.054 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 60048 66 0 0 25 0 11 0 545583883 865546240 27634 4294967295 134512640 134569956 3221224400 3221214760 1131194300 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 27634 13073 16 0 211299 0 vsize: 845260 [startup+630.055 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 61036 66 0 0 25 0 11 0 545583883 865546240 27716 4294967295 134512640 134569956 3221224400 3221214608 1131459257 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 27716 13073 16 0 211299 0 vsize: 845260 [startup+640.054 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 62025 67 0 0 25 0 11 0 545583883 865546240 27718 4294967295 134512640 134569956 3221224400 3221214680 1131299901 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 27718 13073 16 0 211299 0 vsize: 845260 [startup+650.056 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 63013 67 0 0 24 0 11 0 545583883 865546240 27722 4294967295 134512640 134569956 3221224400 3221214680 1131299182 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 27722 13073 16 0 211299 0 vsize: 845260 [startup+660.056 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 64002 67 0 0 25 0 11 0 545583883 865546240 27728 4294967295 134512640 134569956 3221224400 3221214400 1131532095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 27728 13073 16 0 211299 0 vsize: 845260 [startup+670.057 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 64991 68 0 0 25 0 11 0 545583883 865546240 27806 4294967295 134512640 134569956 3221224400 3221214424 1131636604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 27806 13073 16 0 211299 0 vsize: 845260 [startup+680.058 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 65969 68 0 0 25 0 11 0 545583883 865546240 27806 4294967295 134512640 134569956 3221224400 3221214680 1131299061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 27806 13073 16 0 211299 0 vsize: 845260 [startup+690.058 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 66944 69 0 0 25 0 11 0 545583883 865546240 27807 4294967295 134512640 134569956 3221224400 3221214768 1131348784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 27807 13073 16 0 211299 0 vsize: 845260 [startup+700.058 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1619 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 67924 69 0 0 25 0 11 0 545583883 865546240 27885 4294967295 134512640 134569956 3221224400 3221214680 1131298849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 27885 13073 16 0 211299 0 vsize: 845260 [startup+710.059 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1621 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 68910 69 0 0 25 0 11 0 545583883 865546240 28037 4294967295 134512640 134569956 3221224400 3221214680 1131299147 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28037 13073 16 0 211299 0 vsize: 845260 [startup+720.061 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1621 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 69899 70 0 0 25 0 11 0 545583883 865546240 28040 4294967295 134512640 134569956 3221224400 3221214680 1131299155 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28040 13073 16 0 211299 0 vsize: 845260 [startup+730.062 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1621 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 70889 70 0 0 25 0 11 0 545583883 865546240 28044 4294967295 134512640 134569956 3221224400 3221214768 1131348638 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28044 13073 16 0 211299 0 vsize: 845260 [startup+740.062 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1621 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 71878 70 0 0 25 0 11 0 545583883 865546240 28045 4294967295 134512640 134569956 3221224400 3221214400 1131532298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28045 13073 16 0 211299 0 vsize: 845260 [startup+750.063 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1621 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 72869 71 0 0 25 0 11 0 545583883 865546240 28120 4294967295 134512640 134569956 3221224400 3221214332 1080217184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28120 13073 16 0 211299 0 vsize: 845260 [startup+760.064 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1621 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 73847 71 0 0 25 0 11 0 545583883 865546240 28123 4294967295 134512640 134569956 3221224400 3221214768 1131351220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28123 13073 16 0 211299 0 vsize: 845260 [startup+770.066 s] Raw data (loadavg): 1.00 1.00 0.94 2/65 1621 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 74823 71 0 0 25 0 11 0 545583883 865546240 28123 4294967295 134512640 134569956 3221224400 3221214680 1131299061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28123 13073 16 0 211299 0 vsize: 845260 [startup+780.067 s] Raw data (loadavg): 1.07 1.02 0.94 2/65 1621 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 75804 71 0 0 25 0 11 0 545583883 865546240 28201 4294967295 134512640 134569956 3221224400 3221214680 1131298837 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28201 13073 16 0 211299 0 vsize: 845260 [startup+790.067 s] Raw data (loadavg): 1.06 1.02 0.94 2/65 1621 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 76791 72 0 0 25 0 11 0 545583883 865546240 28352 4294967295 134512640 134569956 3221224400 3221214680 1131298981 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28352 13073 16 0 211299 0 vsize: 845260 [startup+800.067 s] Raw data (loadavg): 1.05 1.01 0.94 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 77773 72 0 0 24 0 11 0 545583883 865546240 28352 4294967295 134512640 134569956 3221224400 3221214680 1131299205 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28352 13073 16 0 211299 0 vsize: 845260 [startup+810.068 s] Raw data (loadavg): 1.04 1.01 0.94 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 78751 72 0 0 25 0 11 0 545583883 865546240 28353 4294967295 134512640 134569956 3221224400 3221214680 1131298794 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28353 13073 16 0 211299 0 vsize: 845260 [startup+820.069 s] Raw data (loadavg): 1.04 1.01 0.94 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 79713 72 0 0 25 0 11 0 545583883 865546240 28357 4294967295 134512640 134569956 3221224400 3221214680 1131299039 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28357 13073 16 0 211299 0 vsize: 845260 [startup+830.07 s] Raw data (loadavg): 1.03 1.01 0.94 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 80673 73 0 0 25 0 11 0 545583883 865546240 28586 4294967295 134512640 134569956 3221224400 3221214768 1131348449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28586 13073 16 0 211299 0 vsize: 845260 [startup+840.071 s] Raw data (loadavg): 1.10 1.03 0.95 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 81645 73 0 0 25 0 11 0 545583883 865546240 28590 4294967295 134512640 134569956 3221224400 3221214680 1131298661 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28590 13073 16 0 211299 0 vsize: 845260 [startup+850.071 s] Raw data (loadavg): 1.09 1.03 0.95 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 82623 73 0 0 25 0 11 0 545583883 865546240 28813 4294967295 134512640 134569956 3221224400 3221214768 1131349812 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28813 13073 16 0 211299 0 vsize: 845260 [startup+860.072 s] Raw data (loadavg): 1.07 1.02 0.95 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 83615 73 0 0 25 0 11 0 545583883 865546240 28889 4294967295 134512640 134569956 3221224400 3221214760 1131194300 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28889 13073 16 0 211299 0 vsize: 845260 [startup+870.074 s] Raw data (loadavg): 1.06 1.02 0.95 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 84605 74 0 0 25 0 11 0 545583883 865546240 28890 4294967295 134512640 134569956 3221224400 3221214760 1131194233 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28890 13073 16 0 211299 0 vsize: 845260 [startup+880.075 s] Raw data (loadavg): 1.05 1.02 0.95 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 85593 74 0 0 25 0 11 0 545583883 865546240 28895 4294967295 134512640 134569956 3221224400 3221214680 1131299079 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28895 13073 16 0 211299 0 vsize: 845260 [startup+890.075 s] Raw data (loadavg): 1.04 1.02 0.95 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 86583 74 0 0 25 0 11 0 545583883 865546240 28970 4294967295 134512640 134569956 3221224400 3221214680 1131299079 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28970 13073 16 0 211299 0 vsize: 845260 [startup+900.076 s] Raw data (loadavg): 1.04 1.02 0.95 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 87579 74 0 0 25 0 11 0 545583883 865546240 28977 4294967295 134512640 134569956 3221224400 3221214400 1131531932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28977 13073 16 0 211299 0 vsize: 845260 [startup+910.076 s] Raw data (loadavg): 1.03 1.02 0.95 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 88568 75 0 0 25 0 11 0 545583883 865546240 28985 4294967295 134512640 134569956 3221224400 3221214680 1131299213 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28985 13073 16 0 211299 0 vsize: 845260 [startup+920.077 s] Raw data (loadavg): 1.03 1.02 0.95 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 89558 75 0 0 25 0 11 0 545583883 865546240 28987 4294967295 134512640 134569956 3221224400 3221214768 1131348784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28987 13073 16 0 211299 0 vsize: 845260 [startup+930.078 s] Raw data (loadavg): 1.02 1.02 0.95 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 90547 75 0 0 25 0 11 0 545583883 865546240 28988 4294967295 134512640 134569956 3221224400 3221214768 1131348724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 28988 13073 16 0 211299 0 vsize: 845260 [startup+940.078 s] Raw data (loadavg): 1.02 1.02 0.95 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 91541 75 0 0 25 0 11 0 545583883 865546240 29064 4294967295 134512640 134569956 3221224400 3221214480 1131381122 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211315 29064 13073 16 0 211299 0 vsize: 845260 [startup+950.079 s] Raw data (loadavg): 1.01 1.02 0.95 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 92532 75 0 0 25 0 11 0 545583883 865546240 29067 4294967295 134512640 134569956 3221224400 3221214768 1131348784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29067 13073 16 0 211299 0 vsize: 845260 [startup+960.079 s] Raw data (loadavg): 1.01 1.02 0.95 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 93511 75 0 0 24 0 11 0 545583883 865546240 29068 4294967295 134512640 134569956 3221224400 3221214768 1131348616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29068 13073 16 0 211299 0 vsize: 845260 [startup+970.08 s] Raw data (loadavg): 1.01 1.01 0.95 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 94489 75 0 0 25 0 11 0 545583883 865546240 29071 4294967295 134512640 134569956 3221224400 3221214768 1131348784 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211315 29071 13073 16 0 211299 0 vsize: 845260 [startup+980.081 s] Raw data (loadavg): 1.08 1.03 0.95 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 95467 76 0 0 24 0 11 0 545583883 865546240 29154 4294967295 134512640 134569956 3221224400 3221214680 1131298998 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29154 13073 16 0 211299 0 vsize: 845260 [startup+990.081 s] Raw data (loadavg): 1.07 1.03 0.95 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 96455 76 0 0 25 0 11 0 545583883 865546240 29303 4294967295 134512640 134569956 3221224400 3221214680 1131299061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29303 13073 16 0 211299 0 vsize: 845260 [startup+1000.08 s] Raw data (loadavg): 1.06 1.03 0.95 2/65 1623 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 97451 76 0 0 25 0 11 0 545583883 865546240 29305 4294967295 134512640 134569956 3221224400 3221214680 1131299237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29305 13073 16 0 211299 0 vsize: 845260 [startup+1010.08 s] Raw data (loadavg): 1.05 1.03 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 98440 77 0 0 25 0 11 0 545583883 865546240 29306 4294967295 134512640 134569956 3221224400 3221214680 1131299061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29306 13073 16 0 211299 0 vsize: 845260 [startup+1020.08 s] Raw data (loadavg): 1.04 1.03 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 99428 77 0 0 25 0 11 0 545583883 865546240 29310 4294967295 134512640 134569956 3221224400 3221214760 1131194300 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29310 13073 16 0 211299 0 vsize: 845260 [startup+1030.08 s] Raw data (loadavg): 1.03 1.02 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 100419 77 0 0 25 0 11 0 545583883 865546240 29314 4294967295 134512640 134569956 3221224400 3221214680 1131299029 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29314 13073 16 0 211299 0 vsize: 845260 [startup+1040.08 s] Raw data (loadavg): 1.03 1.02 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 101414 77 0 0 25 0 11 0 545583883 865546240 29390 4294967295 134512640 134569956 3221224400 3221214304 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29390 13073 16 0 211299 0 vsize: 845260 [startup+1050.08 s] Raw data (loadavg): 1.02 1.02 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 102406 78 0 0 25 0 11 0 545583883 865546240 29390 4294967295 134512640 134569956 3221224400 3221214680 1131298837 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29390 13073 16 0 211299 0 vsize: 845260 [startup+1060.08 s] Raw data (loadavg): 1.02 1.02 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 103386 78 0 0 25 0 11 0 545583883 865546240 29393 4294967295 134512640 134569956 3221224400 3221214760 1131194300 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29393 13073 16 0 211299 0 vsize: 845260 [startup+1070.09 s] Raw data (loadavg): 1.02 1.02 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 104364 79 0 0 25 0 11 0 545583883 865546240 29393 4294967295 134512640 134569956 3221224400 3221214680 1131298675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29393 13073 16 0 211299 0 vsize: 845260 [startup+1080.09 s] Raw data (loadavg): 1.01 1.02 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 105341 79 0 0 25 0 11 0 545583883 865546240 29467 4294967295 134512640 134569956 3221224400 3221214768 1131348328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29467 13073 16 0 211299 0 vsize: 845260 [startup+1090.09 s] Raw data (loadavg): 1.01 1.02 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 106330 79 0 0 25 0 11 0 545583883 865546240 29618 4294967295 134512640 134569956 3221224400 3221214680 1131299109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29618 13073 16 0 211299 0 vsize: 845260 [startup+1100.09 s] Raw data (loadavg): 1.01 1.02 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 107325 80 0 0 25 0 11 0 545583883 865546240 29624 4294967295 134512640 134569956 3221224400 3221214760 1131194247 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29624 13073 16 0 211299 0 vsize: 845260 [startup+1110.09 s] Raw data (loadavg): 1.01 1.02 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 108310 80 0 0 25 0 11 0 545583883 865546240 29633 4294967295 134512640 134569956 3221224400 3221214680 1131299118 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29633 13073 16 0 211299 0 vsize: 845260 [startup+1120.09 s] Raw data (loadavg): 1.00 1.02 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 109289 80 0 0 25 0 11 0 545583883 865546240 29634 4294967295 134512640 134569956 3221224400 3221214680 1131299279 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29634 13073 16 0 211299 0 vsize: 845260 [startup+1130.09 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 110260 81 0 0 25 0 11 0 545583883 865546240 29635 4294967295 134512640 134569956 3221224400 3221214680 1131298867 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29635 13073 16 0 211299 0 vsize: 845260 [startup+1140.09 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 111224 82 0 0 25 0 11 0 545583883 865546240 29709 4294967295 134512640 134569956 3221224400 3221214768 1131348308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29709 13073 16 0 211299 0 vsize: 845260 [startup+1150.09 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 1625 Raw data (stat): 1545 (java) S 1544 22929 22928 0 -1 0 18084 4 1 0 112193 82 0 0 25 0 11 0 545583883 865546240 29858 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 29858 13073 16 0 211299 0 vsize: 845260 [startup+1160.09 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 113163 82 0 0 25 0 11 0 545583883 865546240 30007 4294967295 134512640 134569956 3221224400 3221214680 1131298971 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 30007 13073 16 0 211299 0 vsize: 845260 [startup+1170.09 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 114150 82 0 0 25 0 11 0 545583883 865546240 30155 4294967295 134512640 134569956 3221224400 3221214768 1131346979 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 30155 13073 16 0 211299 0 vsize: 845260 [startup+1180.1 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 115145 83 0 0 24 0 11 0 545583883 865546240 30155 4294967295 134512640 134569956 3221224400 3221214768 1131348002 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 30155 13073 16 0 211299 0 vsize: 845260 [startup+1190.1 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 116134 83 0 0 25 0 11 0 545583883 865546240 30156 4294967295 134512640 134569956 3221224400 3221214764 1131312957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 30156 13073 16 0 211299 0 vsize: 845260 [startup+1200.1 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 117122 84 0 0 25 0 11 0 545583883 865546240 30159 4294967295 134512640 134569956 3221224400 3221214680 1131299039 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 30159 13073 16 0 211299 0 vsize: 845260 [startup+1210.1 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 118111 84 0 0 25 0 11 0 545583883 865546240 30164 4294967295 134512640 134569956 3221224400 3221214680 1131298661 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 30164 13073 16 0 211299 0 vsize: 845260 [startup+1220.1 s] Raw data (loadavg): 1.00 1.01 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 119107 85 0 0 25 0 11 0 545583883 865546240 30239 4294967295 134512640 134569956 3221224400 3221214680 1131299279 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 30239 13073 16 0 211299 0 vsize: 845260 [startup+1230.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/65 1625 Raw data (stat): 1545 (java) R 1544 22929 22928 0 -1 0 18084 4 1 0 120104 85 0 0 25 0 11 0 545583883 865546240 30239 4294967295 134512640 134569956 3221224400 3221214668 1080204298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211315 30239 13073 16 0 211299 0 vsize: 845260 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.2 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 1627 Raw data (stat): 1545 (java) Z 1544 22929 22928 0 -1 1036 18084 16561 1 0 120108 91 3779 46 25 0 1 0 545583883 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): 1230.2 CPU time (s): 1240.26 CPU user time (s): 1238.88 CPU system time (s): 1.38179 CPU usage (%): 100.818 Max. virtual memory (Kb): 845292 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####