Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0548.opb |
MD5SUM | 6f47095f2d417d23ced995954e641689 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 15249 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 416 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 96797 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 96797 |
Number of bits of the biggest sum of numbers | 17 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1236.38 |
Number of variables | 548 |
Total number of constraints | 724 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 550 |
Number of constraints which are nor clauses,nor cardinality constraints | 134 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 143 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-04-21 17:25:36 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17156 boxname=wulflinc2 idbench=1320 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 6f47095f2d417d23ced995954e641689 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p0548.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p0548.opb IDLAUNCH: 17156 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 906616 kB Buffers: 17812 kB Cached: 87256 kB SwapCached: 3324 kB Active: 38540 kB Inactive: 71308 kB HighTotal: 131008 kB HighFree: 44996 kB LowTotal: 903652 kB LowFree: 861620 kB SwapTotal: 2097136 kB SwapFree: 2092928 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5108 kB Slab: 12576 kB Committed_AS: 71784 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 17:46:18 (client local time) WITH STATUS 143 IN 1252.63 SECONDS stats: 17156 7 1252.63 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p0548.opb c reading problem c [nbvar=548] c [nbconstr=724] c time 1.716 c #vars 548 c #clauses 166 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=40874 c Current CPU time (ms) : 5.913 c starts : 1 c conflicts : 15 c decisions : 770 c propagations : 1431 c inspects : 1258 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 15 c root simplifications : 3 c c CURRENT OPTIMUM=39754 c Current CPU time (ms) : 13.482 c starts : 3 c conflicts : 123 c decisions : 1572 c propagations : 3052 c inspects : 10316 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 123 c root simplifications : 5 c c CURRENT OPTIMUM=28989 c Current CPU time (ms) : 14.785 c starts : 4 c conflicts : 124 c decisions : 1930 c propagations : 3606 c inspects : 15531 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 124 c root simplifications : 6 c c CURRENT OPTIMUM=11893 c Current CPU time (ms) : 40.088 c starts : 6 c conflicts : 230 c decisions : 2678 c propagations : 6680 c inspects : 47154 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 230 c root simplifications : 8 #### 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.91 0.95 0.90 2/54 2110 Raw data (stat): 2110 (runsolver) R 2109 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488644917 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+9.99951 s] Raw data (loadavg): 1.16 1.00 0.92 3/64 2121 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18071 3 1 0 497 42 0 0 25 0 11 0 488644917 868429824 22082 4294967295 134512640 134569956 3221224400 3221214664 1131215792 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212019 22082 13073 16 0 212003 0 vsize: 848076 [startup+20.001 s] Raw data (loadavg): 1.14 1.00 0.92 3/64 2123 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 1423 42 0 0 25 0 11 0 488644917 862187520 21416 4294967295 134512640 134569956 3221224400 3221214704 1131243657 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 21416 13073 16 0 210479 0 vsize: 841980 [startup+30.0012 s] Raw data (loadavg): 1.11 1.00 0.92 2/64 2123 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 2355 43 0 0 25 0 11 0 488644917 862351360 21834 4294967295 134512640 134569956 3221224400 3221214808 1130917357 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210535 21834 13073 16 0 210519 0 vsize: 842140 [startup+40.0014 s] Raw data (loadavg): 1.10 1.00 0.92 2/64 2123 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 3286 43 0 0 25 0 11 0 488644917 862187520 22434 4294967295 134512640 134569956 3221224400 3221214400 1131533483 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 22434 13073 16 0 210479 0 vsize: 841980 [startup+50.0026 s] Raw data (loadavg): 1.08 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 4220 43 0 0 25 0 11 0 488644917 862187520 22434 4294967295 134512640 134569956 3221224400 3221214880 1131632849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 22434 13073 16 0 210479 0 vsize: 841980 [startup+60.0024 s] Raw data (loadavg): 1.07 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 5149 43 0 0 25 0 11 0 488644917 862187520 22802 4294967295 134512640 134569956 3221224400 3221214608 1131383543 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 22802 13073 16 0 210479 0 vsize: 841980 [startup+70.0026 s] Raw data (loadavg): 1.06 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 6101 43 0 0 25 0 11 0 488644917 862187520 22952 4294967295 134512640 134569956 3221224400 3221214816 1131409216 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 22952 13073 16 0 210479 0 vsize: 841980 [startup+80.003 s] Raw data (loadavg): 1.05 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 7056 43 0 0 25 0 11 0 488644917 862187520 23274 4294967295 134512640 134569956 3221224400 3221214596 1080204206 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 23274 13073 16 0 210479 0 vsize: 841980 [startup+90.0034 s] Raw data (loadavg): 1.04 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 8022 43 0 0 25 0 11 0 488644917 862187520 23378 4294967295 134512640 134569956 3221224400 3221214552 1131568450 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 23378 13073 16 0 210479 0 vsize: 841980 [startup+100.004 s] Raw data (loadavg): 1.03 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 8993 44 0 0 25 0 11 0 488644917 862187520 23464 4294967295 134512640 134569956 3221224400 3221214892 1131237484 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 23464 13073 16 0 210479 0 vsize: 841980 [startup+110.004 s] Raw data (loadavg): 1.03 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 9961 44 0 0 25 0 11 0 488644917 862187520 23536 4294967295 134512640 134569956 3221224400 3221214680 1131243808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 23536 13073 16 0 210479 0 vsize: 841980 [startup+120.005 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 10931 44 0 0 25 0 11 0 488644917 862187520 23618 4294967295 134512640 134569956 3221224400 3221214800 1131219386 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 23618 13073 16 0 210479 0 vsize: 841980 [startup+130.005 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 11909 44 0 0 25 0 11 0 488644917 862187520 23726 4294967295 134512640 134569956 3221224400 3221214552 1131567937 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 23726 13073 16 0 210479 0 vsize: 841980 [startup+140.006 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 12890 44 0 0 25 0 11 0 488644917 862187520 23788 4294967295 134512640 134569956 3221224400 3221214800 1131218587 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 23788 13073 16 0 210479 0 vsize: 841980 [startup+150.007 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 13870 44 0 0 25 0 11 0 488644917 862187520 23847 4294967295 134512640 134569956 3221224400 3221214800 1131218953 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 23847 13073 16 0 210479 0 vsize: 841980 [startup+160.006 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 14844 45 0 0 25 0 11 0 488644917 862187520 23871 4294967295 134512640 134569956 3221224400 3221214896 1131227850 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 23871 13073 16 0 210479 0 vsize: 841980 [startup+170.006 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 15810 45 0 0 25 0 11 0 488644917 862187520 23959 4294967295 134512640 134569956 3221224400 3221214896 1131227736 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 23959 13073 16 0 210479 0 vsize: 841980 [startup+180.006 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 16782 45 0 0 25 0 11 0 488644917 862187520 24005 4294967295 134512640 134569956 3221224400 3221214608 1131382484 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 24005 13073 16 0 210479 0 vsize: 841980 [startup+190.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) S 2109 20937 20936 0 -1 0 18074 3 1 0 17750 45 0 0 25 0 11 0 488644917 862187520 24177 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 24177 13073 16 0 210479 0 vsize: 841980 [startup+200.011 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 18726 45 0 0 24 0 11 0 488644917 862187520 24268 4294967295 134512640 134569956 3221224400 3221214800 1131219044 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 24268 13073 16 0 210479 0 vsize: 841980 [startup+210.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 19699 45 0 0 24 0 11 0 488644917 862187520 24319 4294967295 134512640 134569956 3221224400 3221214896 1131227717 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 24319 13073 16 0 210479 0 vsize: 841980 [startup+220.018 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) S 2109 20937 20936 0 -1 0 18074 3 1 0 20673 46 0 0 25 0 11 0 488644917 862187520 24395 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 24395 13073 16 0 210479 0 vsize: 841980 [startup+230.018 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 21645 46 0 0 25 0 11 0 488644917 862187520 24476 4294967295 134512640 134569956 3221224400 3221214760 1131044787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 24476 13073 16 0 210479 0 vsize: 841980 [startup+240.019 s] Raw data (loadavg): 1.08 1.02 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 22619 46 0 0 25 0 11 0 488644917 862187520 24582 4294967295 134512640 134569956 3221224400 3221214552 1131567730 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 24582 13073 16 0 210479 0 vsize: 841980 [startup+250.019 s] Raw data (loadavg): 1.07 1.02 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 23594 46 0 0 25 0 11 0 488644917 862187520 24664 4294967295 134512640 134569956 3221224400 3221214800 1131299196 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 24664 13073 16 0 210479 0 vsize: 841980 [startup+260.02 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 24570 46 0 0 25 0 11 0 488644917 862187520 24726 4294967295 134512640 134569956 3221224400 3221214696 1131437935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 24726 13073 16 0 210479 0 vsize: 841980 [startup+270.02 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 25543 47 0 0 25 0 11 0 488644917 862187520 24803 4294967295 134512640 134569956 3221224400 3221214800 1131219494 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 24803 13073 16 0 210479 0 vsize: 841980 [startup+280.02 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 26520 47 0 0 25 0 11 0 488644917 862187520 24847 4294967295 134512640 134569956 3221224400 3221214800 1131218893 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 24847 13073 16 0 210479 0 vsize: 841980 [startup+290.021 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 27491 47 0 0 25 0 11 0 488644917 862187520 24893 4294967295 134512640 134569956 3221224400 3221214960 1131455507 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 24893 13073 16 0 210479 0 vsize: 841980 [startup+300.022 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 28465 47 0 0 25 0 11 0 488644917 862187520 24990 4294967295 134512640 134569956 3221224400 3221214800 1131218444 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 24990 13073 16 0 210479 0 vsize: 841980 [startup+310.021 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 29450 48 0 0 25 0 11 0 488644917 862187520 25074 4294967295 134512640 134569956 3221224400 3221214800 1131218535 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25074 13073 16 0 210479 0 vsize: 841980 [startup+320.023 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 30438 48 0 0 24 0 11 0 488644917 862187520 25097 4294967295 134512640 134569956 3221224400 3221214800 1131218813 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25097 13073 16 0 210479 0 vsize: 841980 [startup+330.023 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 31423 49 0 0 25 0 11 0 488644917 862187520 25116 4294967295 134512640 134569956 3221224400 3221214608 1131385276 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25116 13073 16 0 210479 0 vsize: 841980 [startup+340.024 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 32404 49 0 0 25 0 11 0 488644917 862187520 25140 4294967295 134512640 134569956 3221224400 3221214800 1131218657 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25140 13073 16 0 210479 0 vsize: 841980 [startup+350.024 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 33383 49 0 0 25 0 11 0 488644917 862187520 25195 4294967295 134512640 134569956 3221224400 3221214800 1131219396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25195 13073 16 0 210479 0 vsize: 841980 [startup+360.024 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 34362 50 0 0 25 0 11 0 488644917 862187520 25242 4294967295 134512640 134569956 3221224400 3221214800 1131218935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25242 13073 16 0 210479 0 vsize: 841980 [startup+370.025 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 35340 50 0 0 25 0 11 0 488644917 862187520 25278 4294967295 134512640 134569956 3221224400 3221214840 1131184640 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25278 13073 16 0 210479 0 vsize: 841980 [startup+380.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 36320 50 0 0 25 0 11 0 488644917 862187520 25348 4294967295 134512640 134569956 3221224400 3221214840 1131184640 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25348 13073 16 0 210479 0 vsize: 841980 [startup+390.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 37306 51 0 0 25 0 11 0 488644917 862187520 25392 4294967295 134512640 134569956 3221224400 3221214840 1131184724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25392 13073 16 0 210479 0 vsize: 841980 [startup+400.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 38291 51 0 0 25 0 11 0 488644917 862187520 25442 4294967295 134512640 134569956 3221224400 3221214800 1131218429 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25442 13073 16 0 210479 0 vsize: 841980 [startup+410.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 39273 51 0 0 25 0 11 0 488644917 862187520 25477 4294967295 134512640 134569956 3221224400 3221214800 1131218437 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25477 13073 16 0 210479 0 vsize: 841980 [startup+420.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 40253 52 0 0 25 0 11 0 488644917 862187520 25536 4294967295 134512640 134569956 3221224400 3221214804 1080203719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25536 13073 16 0 210479 0 vsize: 841980 [startup+430.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 41233 52 0 0 25 0 11 0 488644917 862187520 25592 4294967295 134512640 134569956 3221224400 3221214800 1131219416 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25592 13073 16 0 210479 0 vsize: 841980 [startup+440.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 42216 52 0 0 25 0 11 0 488644917 862187520 25644 4294967295 134512640 134569956 3221224400 3221214896 1131227908 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25644 13073 16 0 210479 0 vsize: 841980 [startup+450.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 43198 53 0 0 25 0 11 0 488644917 862187520 25692 4294967295 134512640 134569956 3221224400 3221214800 1131219658 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25692 13073 16 0 210479 0 vsize: 841980 [startup+460.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 44177 53 0 0 25 0 11 0 488644917 862187520 25740 4294967295 134512640 134569956 3221224400 3221214800 1131219112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25740 13073 16 0 210479 0 vsize: 841980 [startup+470.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 45156 53 0 0 25 0 11 0 488644917 862187520 25778 4294967295 134512640 134569956 3221224400 3221214800 1131218444 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25778 13073 16 0 210479 0 vsize: 841980 [startup+480.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 46132 54 0 0 24 0 11 0 488644917 862187520 25854 4294967295 134512640 134569956 3221224400 3221214896 1131228604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25854 13073 16 0 210479 0 vsize: 841980 [startup+490.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 47110 55 0 0 25 0 11 0 488644917 862187520 25900 4294967295 134512640 134569956 3221224400 3221214840 1131184665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25900 13073 16 0 210479 0 vsize: 841980 [startup+500.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 48086 55 0 0 25 0 11 0 488644917 862187520 25956 4294967295 134512640 134569956 3221224400 3221214840 1131184640 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 25956 13073 16 0 210479 0 vsize: 841980 [startup+510.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 49064 55 0 0 24 0 11 0 488644917 862187520 26035 4294967295 134512640 134569956 3221224400 3221214840 1131184665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26035 13073 16 0 210479 0 vsize: 841980 [startup+520.032 s] Raw data (loadavg): 1.07 1.02 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 50044 56 0 0 25 0 11 0 488644917 862187520 26077 4294967295 134512640 134569956 3221224400 3221214800 1131218463 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26077 13073 16 0 210479 0 vsize: 841980 [startup+530.032 s] Raw data (loadavg): 1.06 1.02 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 51024 56 0 0 25 0 11 0 488644917 862187520 26117 4294967295 134512640 134569956 3221224400 3221214880 1131632849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26117 13073 16 0 210479 0 vsize: 841980 [startup+540.034 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 52000 56 0 0 25 0 11 0 488644917 862187520 26188 4294967295 134512640 134569956 3221224400 3221214800 1131218494 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26188 13073 16 0 210479 0 vsize: 841980 [startup+550.033 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 52977 57 0 0 25 0 11 0 488644917 862187520 26263 4294967295 134512640 134569956 3221224400 3221214800 1131218429 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26263 13073 16 0 210479 0 vsize: 841980 [startup+560.034 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 53949 58 0 0 25 0 11 0 488644917 862187520 26329 4294967295 134512640 134569956 3221224400 3221214608 1131384808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26329 13073 16 0 210479 0 vsize: 841980 [startup+570.035 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 54916 58 0 0 25 0 11 0 488644917 862187520 26403 4294967295 134512640 134569956 3221224400 3221214800 1131218843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26403 13073 16 0 210479 0 vsize: 841980 [startup+580.034 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 55886 59 0 0 25 0 11 0 488644917 862187520 26448 4294967295 134512640 134569956 3221224400 3221214840 1131184640 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26448 13073 16 0 210479 0 vsize: 841980 [startup+590.036 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 56859 59 0 0 25 0 11 0 488644917 862187520 26612 4294967295 134512640 134569956 3221224400 3221214840 1131184637 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26612 13073 16 0 210479 0 vsize: 841980 [startup+600.036 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 57840 59 0 0 25 0 11 0 488644917 862187520 26653 4294967295 134512640 134569956 3221224400 3221214608 1131384928 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26653 13073 16 0 210479 0 vsize: 841980 [startup+610.035 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 58825 60 0 0 25 0 11 0 488644917 862187520 26705 4294967295 134512640 134569956 3221224400 3221214800 1131218441 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26705 13073 16 0 210479 0 vsize: 841980 [startup+620.037 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 59809 60 0 0 25 0 11 0 488644917 862187520 26739 4294967295 134512640 134569956 3221224400 3221214800 1131218429 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26739 13073 16 0 210479 0 vsize: 841980 [startup+630.037 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 60794 61 0 0 25 0 11 0 488644917 862187520 26770 4294967295 134512640 134569956 3221224400 3221214800 1131218433 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 26770 13073 16 0 210479 0 vsize: 841980 [startup+640.038 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 61775 61 0 0 25 0 11 0 488644917 862187520 26804 4294967295 134512640 134569956 3221224400 3221214608 1131387106 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26804 13073 16 0 210479 0 vsize: 841980 [startup+650.038 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 62755 61 0 0 25 0 11 0 488644917 862187520 26827 4294967295 134512640 134569956 3221224400 3221214892 1131561347 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26827 13073 16 0 210479 0 vsize: 841980 [startup+660.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 63734 62 0 0 25 0 11 0 488644917 862187520 26876 4294967295 134512640 134569956 3221224400 3221214896 1131227794 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26876 13073 16 0 210479 0 vsize: 841980 [startup+670.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 64719 62 0 0 25 0 11 0 488644917 862187520 26916 4294967295 134512640 134569956 3221224400 3221214840 1131184827 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26916 13073 16 0 210479 0 vsize: 841980 [startup+680.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 65708 62 0 0 25 0 11 0 488644917 862187520 26958 4294967295 134512640 134569956 3221224400 3221214800 1131218543 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26958 13073 16 0 210479 0 vsize: 841980 [startup+690.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 66698 63 0 0 25 0 11 0 488644917 862187520 26972 4294967295 134512640 134569956 3221224400 3221214892 1131219667 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26972 13073 16 0 210479 0 vsize: 841980 [startup+700.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 67688 63 0 0 25 0 11 0 488644917 862187520 26982 4294967295 134512640 134569956 3221224400 3221214840 1131184814 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26982 13073 16 0 210479 0 vsize: 841980 [startup+710.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 68675 64 0 0 25 0 11 0 488644917 862187520 26997 4294967295 134512640 134569956 3221224400 3221214540 1131531536 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 26997 13073 16 0 210479 0 vsize: 841980 [startup+720.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 69661 65 0 0 24 0 11 0 488644917 862187520 27011 4294967295 134512640 134569956 3221224400 3221214800 1131219044 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27011 13073 16 0 210479 0 vsize: 841980 [startup+730.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 70647 65 0 0 25 0 11 0 488644917 862187520 27037 4294967295 134512640 134569956 3221224400 3221214896 1131227717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27037 13073 16 0 210479 0 vsize: 841980 [startup+740.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 71631 66 0 0 25 0 11 0 488644917 862187520 27053 4294967295 134512640 134569956 3221224400 3221214800 1131218651 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27053 13073 16 0 210479 0 vsize: 841980 [startup+750.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 72610 66 0 0 24 0 11 0 488644917 862187520 27092 4294967295 134512640 134569956 3221224400 3221214840 1131184657 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27092 13073 16 0 210479 0 vsize: 841980 [startup+760.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 73591 67 0 0 25 0 11 0 488644917 862187520 27133 4294967295 134512640 134569956 3221224400 3221214892 1131184884 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27133 13073 16 0 210479 0 vsize: 841980 [startup+770.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 74572 67 0 0 25 0 11 0 488644917 862187520 27205 4294967295 134512640 134569956 3221224400 3221214800 1131219107 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27205 13073 16 0 210479 0 vsize: 841980 [startup+780.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 75557 68 0 0 25 0 11 0 488644917 862187520 27266 4294967295 134512640 134569956 3221224400 3221214800 1131218523 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27266 13073 16 0 210479 0 vsize: 841980 [startup+790.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 76541 68 0 0 25 0 11 0 488644917 862187520 27284 4294967295 134512640 134569956 3221224400 3221214800 1131218928 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27284 13073 16 0 210479 0 vsize: 841980 [startup+800.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 77526 68 0 0 25 0 11 0 488644917 862187520 27320 4294967295 134512640 134569956 3221224400 3221214288 1131533680 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27320 13073 16 0 210479 0 vsize: 841980 [startup+810.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 78511 69 0 0 25 0 11 0 488644917 862187520 27347 4294967295 134512640 134569956 3221224400 3221214896 1131227556 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27347 13073 16 0 210479 0 vsize: 841980 [startup+820.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 79493 69 0 0 25 0 11 0 488644917 862187520 27422 4294967295 134512640 134569956 3221224400 3221214800 1131218843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27422 13073 16 0 210479 0 vsize: 841980 [startup+830.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 80476 69 0 0 25 0 11 0 488644917 862187520 27456 4294967295 134512640 134569956 3221224400 3221214800 1131219060 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27456 13073 16 0 210479 0 vsize: 841980 [startup+840.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 81456 70 0 0 25 0 11 0 488644917 862187520 27502 4294967295 134512640 134569956 3221224400 3221214800 1131218876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27502 13073 16 0 210479 0 vsize: 841980 [startup+850.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 82436 70 0 0 25 0 11 0 488644917 862187520 27554 4294967295 134512640 134569956 3221224400 3221214840 1131184747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27554 13073 16 0 210479 0 vsize: 841980 [startup+860.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 83419 70 0 0 25 0 11 0 488644917 862187520 27614 4294967295 134512640 134569956 3221224400 3221214892 1131219667 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27614 13073 16 0 210479 0 vsize: 841980 [startup+870.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 84400 71 0 0 25 0 11 0 488644917 862187520 27650 4294967295 134512640 134569956 3221224400 3221214800 1131218531 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27650 13073 16 0 210479 0 vsize: 841980 [startup+880.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 85380 72 0 0 25 0 11 0 488644917 862187520 27711 4294967295 134512640 134569956 3221224400 3221214840 1131184665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 27711 13073 16 0 210479 0 vsize: 841980 [startup+890.046 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 86360 72 0 0 25 0 11 0 488644917 862187520 27764 4294967295 134512640 134569956 3221224400 3221214728 1131335059 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27764 13073 16 0 210479 0 vsize: 841980 [startup+900.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 87344 73 0 0 25 0 11 0 488644917 862187520 27808 4294967295 134512640 134569956 3221224400 3221214800 1131219381 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27808 13073 16 0 210479 0 vsize: 841980 [startup+910.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 88327 73 0 0 25 0 11 0 488644917 862187520 27847 4294967295 134512640 134569956 3221224400 3221214896 1131227840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27847 13073 16 0 210479 0 vsize: 841980 [startup+920.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 89309 73 0 0 25 0 11 0 488644917 862187520 27883 4294967295 134512640 134569956 3221224400 3221214892 1131237481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27883 13073 16 0 210479 0 vsize: 841980 [startup+930.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 90290 74 0 0 25 0 11 0 488644917 862187520 27905 4294967295 134512640 134569956 3221224400 3221214800 1131218843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27905 13073 16 0 210479 0 vsize: 841980 [startup+940.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 91271 74 0 0 25 0 11 0 488644917 862187520 27950 4294967295 134512640 134569956 3221224400 3221214800 1131219281 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27950 13073 16 0 210479 0 vsize: 841980 [startup+950.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 92252 75 0 0 24 0 11 0 488644917 862187520 27990 4294967295 134512640 134569956 3221224400 3221214800 1131219466 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 27990 13073 16 0 210479 0 vsize: 841980 [startup+960.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 93235 75 0 0 25 0 11 0 488644917 862187520 28026 4294967295 134512640 134569956 3221224400 3221214840 1131184759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28026 13073 16 0 210479 0 vsize: 841980 [startup+970.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 94217 75 0 0 25 0 11 0 488644917 862187520 28079 4294967295 134512640 134569956 3221224400 3221214800 1131218811 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28079 13073 16 0 210479 0 vsize: 841980 [startup+980.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 95199 76 0 0 25 0 11 0 488644917 862187520 28109 4294967295 134512640 134569956 3221224400 3221214840 1131184685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28109 13073 16 0 210479 0 vsize: 841980 [startup+990.052 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 96182 76 0 0 25 0 11 0 488644917 862187520 28155 4294967295 134512640 134569956 3221224400 3221214896 1131228008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28155 13073 16 0 210479 0 vsize: 841980 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 97164 77 0 0 25 0 11 0 488644917 862187520 28216 4294967295 134512640 134569956 3221224400 3221214840 1131184640 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28216 13073 16 0 210479 0 vsize: 841980 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 98147 77 0 0 25 0 11 0 488644917 862187520 28256 4294967295 134512640 134569956 3221224400 3221214800 1131218543 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28256 13073 16 0 210479 0 vsize: 841980 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 99129 77 0 0 25 0 11 0 488644917 862187520 28295 4294967295 134512640 134569956 3221224400 3221214800 1131219503 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28295 13073 16 0 210479 0 vsize: 841980 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 100109 77 0 0 25 0 11 0 488644917 862187520 28329 4294967295 134512640 134569956 3221224400 3221214840 1131184849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210495 28329 13073 16 0 210479 0 vsize: 841980 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 101089 77 0 0 25 0 11 0 488644917 862187520 28385 4294967295 134512640 134569956 3221224400 3221214800 1131218466 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28385 13073 16 0 210479 0 vsize: 841980 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 102071 78 0 0 25 0 11 0 488644917 862187520 28433 4294967295 134512640 134569956 3221224400 3221214800 1131219440 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28433 13073 16 0 210479 0 vsize: 841980 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 103052 78 0 0 25 0 11 0 488644917 862187520 28456 4294967295 134512640 134569956 3221224400 3221214800 1131218523 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28456 13073 16 0 210479 0 vsize: 841980 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 104034 78 0 0 25 0 11 0 488644917 862187520 28505 4294967295 134512640 134569956 3221224400 3221214840 1131184637 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28505 13073 16 0 210479 0 vsize: 841980 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 105013 79 0 0 24 0 11 0 488644917 862187520 28547 4294967295 134512640 134569956 3221224400 3221214872 1131237565 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28547 13073 16 0 210479 0 vsize: 841980 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 105994 79 0 0 25 0 11 0 488644917 862187520 28604 4294967295 134512640 134569956 3221224400 3221214800 1131218876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28604 13073 16 0 210479 0 vsize: 841980 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 106971 79 0 0 25 0 11 0 488644917 862187520 28651 4294967295 134512640 134569956 3221224400 3221214800 1131218813 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28651 13073 16 0 210479 0 vsize: 841980 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 107945 80 0 0 25 0 11 0 488644917 862187520 28723 4294967295 134512640 134569956 3221224400 3221214800 1131218843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28723 13073 16 0 210479 0 vsize: 841980 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 108920 80 0 0 25 0 11 0 488644917 862187520 28804 4294967295 134512640 134569956 3221224400 3221214800 1131218876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28804 13073 16 0 210479 0 vsize: 841980 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 109899 80 0 0 25 0 11 0 488644917 862187520 28863 4294967295 134512640 134569956 3221224400 3221214840 1131184661 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28863 13073 16 0 210479 0 vsize: 841980 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 110879 80 0 0 25 0 11 0 488644917 862187520 28944 4294967295 134512640 134569956 3221224400 3221214840 1131184773 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28944 13073 16 0 210479 0 vsize: 841980 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 111861 81 0 0 24 0 11 0 488644917 862187520 28986 4294967295 134512640 134569956 3221224400 3221214840 1131184637 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 28986 13073 16 0 210479 0 vsize: 841980 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) S 2109 20937 20936 0 -1 0 18075 3 1 0 112846 81 0 0 25 0 11 0 488644917 862187520 29019 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 29019 13073 16 0 210479 0 vsize: 841980 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 113828 81 0 0 25 0 11 0 488644917 862187520 29066 4294967295 134512640 134569956 3221224400 3221214552 1131568725 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 29066 13073 16 0 210479 0 vsize: 841980 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 114809 82 0 0 25 0 11 0 488644917 862187520 29089 4294967295 134512640 134569956 3221224400 3221214896 1131227861 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 29089 13073 16 0 210479 0 vsize: 841980 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 115787 82 0 0 25 0 11 0 488644917 862187520 29126 4294967295 134512640 134569956 3221224400 3221214800 1131219503 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 29126 13073 16 0 210479 0 vsize: 841980 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 116768 83 0 0 25 0 11 0 488644917 862187520 29173 4294967295 134512640 134569956 3221224400 3221214800 1131218649 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 29173 13073 16 0 210479 0 vsize: 841980 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 117752 83 0 0 25 0 11 0 488644917 862187520 29242 4294967295 134512640 134569956 3221224400 3221214800 1131218843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 29242 13073 16 0 210479 0 vsize: 841980 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 118735 83 0 0 25 0 11 0 488644917 862187520 29270 4294967295 134512640 134569956 3221224400 3221214896 1131227937 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 29270 13073 16 0 210479 0 vsize: 841980 [startup+1230.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 119717 83 0 0 25 0 11 0 488644917 862187520 29292 4294967295 134512640 134569956 3221224400 3221214800 1131218935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 29292 13073 16 0 210479 0 vsize: 841980 [startup+1240.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 2124 Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 120696 84 0 0 25 0 11 0 488644917 862187520 29344 4294967295 134512640 134569956 3221224400 3221214892 1131184620 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210495 29344 13073 16 0 210479 0 vsize: 841980 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.16 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 2126 Raw data (stat): 2110 (java) Z 2109 20937 20936 0 -1 1036 18075 19394 1 0 120700 89 4404 67 25 0 1 0 488644917 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): 1240.16 CPU time (s): 1252.63 CPU user time (s): 1251.06 CPU system time (s): 1.57176 CPU usage (%): 101.005 Max. virtual memory (Kb): 848076 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####