Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb |
MD5SUM | a89f4ed95903fddf213992506514bcf0 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 906 |
Biggest coefficient in the objective function | 553 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 2526 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 553 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2526 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04184 |
Number of variables | 906 |
Total number of constraints | 1944 |
Number of constraints which are clauses | 852 |
Number of constraints which are cardinality constraints (but not clauses) | 1092 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 18 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc28 THE 2005-04-13 18:20:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3339 boxname=wulflinc28 idbench=371 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: a89f4ed95903fddf213992506514bcf0 /oldhome/oroussel/tmp/wulflinc28/normalized-10:20:4.5:0.95:98.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-10:20:4.5:0.95:98.opb IDLAUNCH: 3339 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 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 : 3 cpu MHz : 451.077 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: 914048 kB Buffers: 33724 kB Cached: 51136 kB SwapCached: 4 kB Active: 45252 kB Inactive: 42424 kB HighTotal: 131008 kB HighFree: 76328 kB LowTotal: 903652 kB LowFree: 837720 kB SwapTotal: 2097640 kB SwapFree: 2097636 kB Dirty: 36 kB Writeback: 0 kB Mapped: 6920 kB Slab: 27368 kB Committed_AS: 63480 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 18:41:08 (client local time) WITH STATUS 143 IN SECONDS stats: 3339 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc28/normalized-10:20:4.5:0.95:98.opb c reading problem c [nbvar=906] c [nbconstr=1944] c time 2.45 c #vars 906 c #clauses 1039 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=25 c Current CPU time (ms) : 2.807 c starts : 1 c conflicts : 0 c decisions : 364 c propagations : 906 c inspects : 1686 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=20 c Current CPU time (ms) : 29.146 c starts : 2 c conflicts : 17 c decisions : 1227 c propagations : 2810 c inspects : 11862 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 17 c root simplifications : 3 c c CURRENT OPTIMUM=17 c Current CPU time (ms) : 91.422 c starts : 3 c conflicts : 36 c decisions : 2192 c propagations : 4741 c inspects : 36791 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 36 c root simplifications : 5 c c CURRENT OPTIMUM=15 c Current CPU time (ms) : 804.99 c starts : 4 c conflicts : 56 c decisions : 8334 c propagations : 17040 c inspects : 327805 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 56 c root simplifications : 19 #### 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.92 0.98 0.99 2/54 11663 Raw data (stat): 11663 (runsolver) R 11662 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 478070294 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.99981 s] Raw data (loadavg): 0.93 0.98 0.99 2/64 11674 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18073 3 1 0 684 43 0 0 25 0 11 0 478070294 861229056 20808 4294967295 134512640 134569956 3221224400 3221214896 1130916390 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210261 20808 13073 16 0 210245 0 vsize: 841044 [startup+20.0009 s] Raw data (loadavg): 0.94 0.98 0.99 2/64 11674 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 1620 43 0 0 25 0 11 0 478070294 860364800 20914 4294967295 134512640 134569956 3221224400 3221214680 1131210733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210050 20914 13073 16 0 210034 0 vsize: 840200 [startup+30.0015 s] Raw data (loadavg): 0.95 0.98 0.99 2/64 11675 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 2562 44 0 0 25 0 11 0 478070294 860364800 20933 4294967295 134512640 134569956 3221224400 3221214680 1131210373 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210050 20933 13073 16 0 210034 0 vsize: 840200 [startup+40.0022 s] Raw data (loadavg): 0.96 0.98 0.99 2/64 11675 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 3502 45 0 0 25 0 11 0 478070294 860020736 21369 4294967295 134512640 134569956 3221224400 3221214776 1131252603 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 21369 13073 16 0 209950 0 vsize: 839864 [startup+50.0025 s] Raw data (loadavg): 0.96 0.98 0.99 2/64 11675 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 4492 45 0 0 25 0 11 0 478070294 860020736 21375 4294967295 134512640 134569956 3221224400 3221214680 1131210865 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 21375 13073 16 0 209950 0 vsize: 839864 [startup+60.0027 s] Raw data (loadavg): 0.97 0.98 0.99 2/64 11675 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 5449 45 0 0 25 0 11 0 478070294 860020736 21394 4294967295 134512640 134569956 3221224400 3221214680 1131210625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 21394 13073 16 0 209950 0 vsize: 839864 [startup+70.0033 s] Raw data (loadavg): 0.97 0.98 0.99 2/64 11675 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 6400 46 0 0 25 0 11 0 478070294 860020736 21397 4294967295 134512640 134569956 3221224400 3221214776 1131253718 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 21397 13073 16 0 209950 0 vsize: 839864 [startup+80.0035 s] Raw data (loadavg): 0.98 0.98 0.99 2/64 11675 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 7350 46 0 0 25 0 11 0 478070294 860020736 21589 4294967295 134512640 134569956 3221224400 3221214776 1131253745 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 21589 13073 16 0 209950 0 vsize: 839864 [startup+90.0047 s] Raw data (loadavg): 0.98 0.98 0.99 2/64 11675 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 8339 46 0 0 25 0 11 0 478070294 860020736 21775 4294967295 134512640 134569956 3221224400 3221213924 1077094255 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 21775 13073 16 0 209950 0 vsize: 839864 [startup+100.005 s] Raw data (loadavg): 1.06 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 9328 46 0 0 25 0 11 0 478070294 860020736 21782 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 21782 13073 16 0 209950 0 vsize: 839864 [startup+110.006 s] Raw data (loadavg): 1.05 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 10316 47 0 0 25 0 11 0 478070294 860020736 21788 4294967295 134512640 134569956 3221224400 3221214680 1131210380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 21788 13073 16 0 209950 0 vsize: 839864 [startup+120.007 s] Raw data (loadavg): 1.04 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 11306 47 0 0 25 0 11 0 478070294 860020736 21830 4294967295 134512640 134569956 3221224400 3221214680 1131210797 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 21830 13073 16 0 209950 0 vsize: 839864 [startup+130.007 s] Raw data (loadavg): 1.03 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 12301 48 0 0 25 0 11 0 478070294 860020736 21836 4294967295 134512640 134569956 3221224400 3221214680 1131211656 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 21836 13073 16 0 209950 0 vsize: 839864 [startup+140.009 s] Raw data (loadavg): 1.03 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 13288 48 0 0 25 0 11 0 478070294 860020736 21836 4294967295 134512640 134569956 3221224400 3221214680 1131210797 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 21836 13073 16 0 209950 0 vsize: 839864 [startup+150.009 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 14273 48 0 0 25 0 11 0 478070294 860020736 21836 4294967295 134512640 134569956 3221224400 3221214772 1131210348 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 21836 13073 16 0 209950 0 vsize: 839864 [startup+160.008 s] Raw data (loadavg): 1.09 1.02 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 15257 49 0 0 25 0 11 0 478070294 860020736 21969 4294967295 134512640 134569956 3221224400 3221214776 1131252634 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 21969 13073 16 0 209950 0 vsize: 839864 [startup+170.009 s] Raw data (loadavg): 1.08 1.02 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18074 3 1 0 16251 49 0 0 25 0 11 0 478070294 860020736 21972 4294967295 134512640 134569956 3221224400 3221214680 1131211007 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 21972 13073 16 0 209950 0 vsize: 839864 [startup+180.009 s] Raw data (loadavg): 1.07 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 17240 49 0 0 25 0 11 0 478070294 860020736 21975 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 21975 13073 16 0 209950 0 vsize: 839864 [startup+190.01 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 18224 50 0 0 25 0 11 0 478070294 860020736 21978 4294967295 134512640 134569956 3221224400 3221214776 1131252451 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 21978 13073 16 0 209950 0 vsize: 839864 [startup+200.01 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 19208 50 0 0 25 0 11 0 478070294 860020736 21984 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 21984 13073 16 0 209950 0 vsize: 839864 [startup+210.01 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 20199 50 0 0 25 0 11 0 478070294 860020736 22057 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22057 13073 16 0 209950 0 vsize: 839864 [startup+220.011 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 21193 50 0 0 25 0 11 0 478070294 860020736 22061 4294967295 134512640 134569956 3221224400 3221214680 1131210369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22061 13073 16 0 209950 0 vsize: 839864 [startup+230.011 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 22181 51 0 0 24 0 11 0 478070294 860020736 22063 4294967295 134512640 134569956 3221224400 3221214680 1131211628 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22063 13073 16 0 209950 0 vsize: 839864 [startup+240.012 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 23169 51 0 0 25 0 11 0 478070294 860020736 22065 4294967295 134512640 134569956 3221224400 3221214776 1131252453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22065 13073 16 0 209950 0 vsize: 839864 [startup+250.012 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 24159 51 0 0 25 0 11 0 478070294 860020736 22153 4294967295 134512640 134569956 3221224400 3221214680 1131210733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22153 13073 16 0 209950 0 vsize: 839864 [startup+260.013 s] Raw data (loadavg): 1.10 1.02 1.01 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 25154 52 0 0 25 0 11 0 478070294 860020736 22155 4294967295 134512640 134569956 3221224400 3221214776 1131253788 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22155 13073 16 0 209950 0 vsize: 839864 [startup+270.014 s] Raw data (loadavg): 1.08 1.02 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 26150 52 0 0 25 0 11 0 478070294 860020736 22157 4294967295 134512640 134569956 3221224400 3221214680 1131210476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22157 13073 16 0 209950 0 vsize: 839864 [startup+280.014 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 27139 52 0 0 25 0 11 0 478070294 860020736 22158 4294967295 134512640 134569956 3221224400 3221214680 1131210651 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22158 13073 16 0 209950 0 vsize: 839864 [startup+290.015 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 28130 53 0 0 25 0 11 0 478070294 860020736 22159 4294967295 134512640 134569956 3221224400 3221214776 1131255845 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22159 13073 16 0 209950 0 vsize: 839864 [startup+300.015 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 29123 53 0 0 25 0 11 0 478070294 860020736 22196 4294967295 134512640 134569956 3221224400 3221214680 1131211053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22196 13073 16 0 209950 0 vsize: 839864 [startup+310.014 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 30117 54 0 0 25 0 11 0 478070294 860020736 22199 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22199 13073 16 0 209950 0 vsize: 839864 [startup+320.015 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 31102 54 0 0 25 0 11 0 478070294 860020736 22202 4294967295 134512640 134569956 3221224400 3221214680 1131210870 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22202 13073 16 0 209950 0 vsize: 839864 [startup+330.016 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 32077 55 0 0 25 0 11 0 478070294 860020736 22203 4294967295 134512640 134569956 3221224400 3221214680 1131210380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22203 13073 16 0 209950 0 vsize: 839864 [startup+340.016 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 33052 55 0 0 25 0 11 0 478070294 860020736 22300 4294967295 134512640 134569956 3221224400 3221214680 1131210733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22300 13073 16 0 209950 0 vsize: 839864 [startup+350.016 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 34038 55 0 0 25 0 11 0 478070294 860020736 22459 4294967295 134512640 134569956 3221224400 3221214776 1131256940 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22459 13073 16 0 209950 0 vsize: 839864 [startup+360.017 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 35031 55 0 0 25 0 11 0 478070294 860020736 22469 4294967295 134512640 134569956 3221224400 3221214680 1131210493 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22469 13073 16 0 209950 0 vsize: 839864 [startup+370.017 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 36023 56 0 0 25 0 11 0 478070294 860020736 22478 4294967295 134512640 134569956 3221224400 3221214776 1131252634 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22478 13073 16 0 209950 0 vsize: 839864 [startup+380.017 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 37011 56 0 0 25 0 11 0 478070294 860020736 22485 4294967295 134512640 134569956 3221224400 3221214680 1131210797 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22485 13073 16 0 209950 0 vsize: 839864 [startup+390.018 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 37999 57 0 0 25 0 11 0 478070294 860020736 22500 4294967295 134512640 134569956 3221224400 3221214776 1131252699 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22500 13073 16 0 209950 0 vsize: 839864 [startup+400.018 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 38991 57 0 0 25 0 11 0 478070294 860020736 22543 4294967295 134512640 134569956 3221224400 3221214776 1131254646 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22543 13073 16 0 209950 0 vsize: 839864 [startup+410.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 39986 57 0 0 25 0 11 0 478070294 860020736 22546 4294967295 134512640 134569956 3221224400 3221214776 1131252634 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22546 13073 16 0 209950 0 vsize: 839864 [startup+420.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 40978 58 0 0 25 0 11 0 478070294 860020736 22548 4294967295 134512640 134569956 3221224400 3221214680 1131210493 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22548 13073 16 0 209950 0 vsize: 839864 [startup+430.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 41964 58 0 0 25 0 11 0 478070294 860020736 22551 4294967295 134512640 134569956 3221224400 3221214776 1131253652 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22551 13073 16 0 209950 0 vsize: 839864 [startup+440.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 42950 59 0 0 25 0 11 0 478070294 860020736 22637 4294967295 134512640 134569956 3221224400 3221214680 1131210451 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22637 13073 16 0 209950 0 vsize: 839864 [startup+450.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 43942 59 0 0 25 0 11 0 478070294 860020736 22687 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22687 13073 16 0 209950 0 vsize: 839864 [startup+460.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 44938 59 0 0 25 0 11 0 478070294 860020736 22688 4294967295 134512640 134569956 3221224400 3221214680 1131211632 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22688 13073 16 0 209950 0 vsize: 839864 [startup+470.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 45934 60 0 0 25 0 11 0 478070294 860020736 22692 4294967295 134512640 134569956 3221224400 3221214776 1131253770 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22692 13073 16 0 209950 0 vsize: 839864 [startup+480.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 46924 60 0 0 25 0 11 0 478070294 860020736 22693 4294967295 134512640 134569956 3221224400 3221214680 1131210567 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22693 13073 16 0 209950 0 vsize: 839864 [startup+490.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 47912 60 0 0 25 0 11 0 478070294 860020736 22694 4294967295 134512640 134569956 3221224400 3221214680 1131210401 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22694 13073 16 0 209950 0 vsize: 839864 [startup+500.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 48901 61 0 0 25 0 11 0 478070294 860020736 22728 4294967295 134512640 134569956 3221224400 3221213784 1079753249 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22728 13073 16 0 209950 0 vsize: 839864 [startup+510.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 49897 61 0 0 25 0 11 0 478070294 860020736 22732 4294967295 134512640 134569956 3221224400 3221214680 1131210401 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22732 13073 16 0 209950 0 vsize: 839864 [startup+520.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 50892 61 0 0 25 0 11 0 478070294 860020736 22737 4294967295 134512640 134569956 3221224400 3221214776 1131256970 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22737 13073 16 0 209950 0 vsize: 839864 [startup+530.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 51883 62 0 0 25 0 11 0 478070294 860020736 22740 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22740 13073 16 0 209950 0 vsize: 839864 [startup+540.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 52872 62 0 0 25 0 11 0 478070294 860020736 22742 4294967295 134512640 134569956 3221224400 3221214776 1131257991 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22742 13073 16 0 209950 0 vsize: 839864 [startup+550.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 53862 63 0 0 25 0 11 0 478070294 860020736 22769 4294967295 134512640 134569956 3221224400 3221214680 1131210373 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22769 13073 16 0 209950 0 vsize: 839864 [startup+560.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 54856 63 0 0 25 0 11 0 478070294 860020736 22784 4294967295 134512640 134569956 3221224400 3221214680 1131210365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22784 13073 16 0 209950 0 vsize: 839864 [startup+570.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 55853 64 0 0 25 0 11 0 478070294 860020736 22787 4294967295 134512640 134569956 3221224400 3221214776 1131257033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22787 13073 16 0 209950 0 vsize: 839864 [startup+580.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 56847 64 0 0 25 0 11 0 478070294 860020736 22789 4294967295 134512640 134569956 3221224400 3221214776 1131257033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22789 13073 16 0 209950 0 vsize: 839864 [startup+590.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 57836 64 0 0 25 0 11 0 478070294 860020736 22790 4294967295 134512640 134569956 3221224400 3221214680 1131211649 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22790 13073 16 0 209950 0 vsize: 839864 [startup+600.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 58825 64 0 0 25 0 11 0 478070294 860020736 22796 4294967295 134512640 134569956 3221224400 3221214680 1131210573 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22796 13073 16 0 209950 0 vsize: 839864 [startup+610.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 59815 65 0 0 25 0 11 0 478070294 860020736 22843 4294967295 134512640 134569956 3221224400 3221214680 1131211663 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22843 13073 16 0 209950 0 vsize: 839864 [startup+620.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 60811 65 0 0 25 0 11 0 478070294 860020736 22845 4294967295 134512640 134569956 3221224400 3221214776 1131252627 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22845 13073 16 0 209950 0 vsize: 839864 [startup+630.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 61807 66 0 0 25 0 11 0 478070294 860020736 22848 4294967295 134512640 134569956 3221224400 3221214776 1131252451 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22848 13073 16 0 209950 0 vsize: 839864 [startup+640.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 62799 66 0 0 25 0 11 0 478070294 860020736 22849 4294967295 134512640 134569956 3221224400 3221214680 1131210870 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22849 13073 16 0 209950 0 vsize: 839864 [startup+650.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 63790 66 0 0 18 0 11 0 478070294 860020736 22850 4294967295 134512640 134569956 3221224400 3221214776 1131252627 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22850 13073 16 0 209950 0 vsize: 839864 [startup+660.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 64781 66 0 0 25 0 11 0 478070294 860020736 22857 4294967295 134512640 134569956 3221224400 3221214680 1131210401 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22857 13073 16 0 209950 0 vsize: 839864 [startup+670.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 65777 67 0 0 25 0 11 0 478070294 860020736 22873 4294967295 134512640 134569956 3221224400 3221214776 1131256970 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22873 13073 16 0 209950 0 vsize: 839864 [startup+680.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 66773 67 0 0 25 0 11 0 478070294 860020736 22875 4294967295 134512640 134569956 3221224400 3221214680 1131211530 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22875 13073 16 0 209950 0 vsize: 839864 [startup+690.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 67768 67 0 0 25 0 11 0 478070294 860020736 22877 4294967295 134512640 134569956 3221224400 3221214772 1131210348 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22877 13073 16 0 209950 0 vsize: 839864 [startup+700.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 68758 68 0 0 25 0 11 0 478070294 860020736 22878 4294967295 134512640 134569956 3221224400 3221214776 1131257889 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22878 13073 16 0 209950 0 vsize: 839864 [startup+710.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 69747 68 0 0 25 0 11 0 478070294 860020736 22878 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22878 13073 16 0 209950 0 vsize: 839864 [startup+720.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 70738 68 0 0 25 0 11 0 478070294 860020736 22912 4294967295 134512640 134569956 3221224400 3221214776 1131252634 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22912 13073 16 0 209950 0 vsize: 839864 [startup+730.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 71734 68 0 0 25 0 11 0 478070294 860020736 22925 4294967295 134512640 134569956 3221224400 3221214680 1131210733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209966 22925 13073 16 0 209950 0 vsize: 839864 [startup+740.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 72730 69 0 0 25 0 11 0 478070294 860020736 22927 4294967295 134512640 134569956 3221224400 3221214680 1131210401 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 22927 13073 16 0 209950 0 vsize: 839864 [startup+750.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 73717 69 0 0 25 0 11 0 478070294 860020736 22929 4294967295 134512640 134569956 3221224400 3221214772 1131211843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 22929 13073 16 0 209950 0 vsize: 839864 [startup+760.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 74701 69 0 0 25 0 11 0 478070294 860020736 22929 4294967295 134512640 134569956 3221224400 3221214680 1131210417 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 22929 13073 16 0 209950 0 vsize: 839864 [startup+770.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 75685 69 0 0 25 0 11 0 478070294 860020736 23105 4294967295 134512640 134569956 3221224400 3221214776 1131252592 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23105 13073 16 0 209950 0 vsize: 839864 [startup+780.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 76679 69 0 0 25 0 11 0 478070294 860020736 23181 4294967295 134512640 134569956 3221224400 3221214776 1131253612 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23181 13073 16 0 209950 0 vsize: 839864 [startup+790.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 77676 69 0 0 25 0 11 0 478070294 860020736 23183 4294967295 134512640 134569956 3221224400 3221214680 1131210669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23183 13073 16 0 209950 0 vsize: 839864 [startup+800.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11676 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 78672 69 0 0 25 0 11 0 478070294 860020736 23185 4294967295 134512640 134569956 3221224400 3221214680 1131211557 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23185 13073 16 0 209950 0 vsize: 839864 [startup+810.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 79665 69 0 0 25 0 11 0 478070294 860020736 23186 4294967295 134512640 134569956 3221224400 3221214776 1131253759 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23186 13073 16 0 209950 0 vsize: 839864 [startup+820.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 80656 69 0 0 25 0 11 0 478070294 860020736 23186 4294967295 134512640 134569956 3221224400 3221214680 1131210733 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23186 13073 16 0 209950 0 vsize: 839864 [startup+830.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 81646 69 0 0 25 0 11 0 478070294 860020736 23199 4294967295 134512640 134569956 3221224400 3221214776 1131253840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23199 13073 16 0 209950 0 vsize: 839864 [startup+840.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 82640 69 0 0 25 0 11 0 478070294 860020736 23232 4294967295 134512640 134569956 3221224400 3221214680 1131210563 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23232 13073 16 0 209950 0 vsize: 839864 [startup+850.03 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 83637 69 0 0 25 0 11 0 478070294 860020736 23234 4294967295 134512640 134569956 3221224400 3221214776 1131252666 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23234 13073 16 0 209950 0 vsize: 839864 [startup+860.03 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 84629 69 0 0 25 0 11 0 478070294 860020736 23236 4294967295 134512640 134569956 3221224400 3221214680 1131210719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23236 13073 16 0 209950 0 vsize: 839864 [startup+870.03 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 85615 69 0 0 25 0 11 0 478070294 860020736 23237 4294967295 134512640 134569956 3221224400 3221214680 1131211271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23237 13073 16 0 209950 0 vsize: 839864 [startup+880.03 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 86591 69 0 0 24 0 11 0 478070294 860020736 23237 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23237 13073 16 0 209950 0 vsize: 839864 [startup+890.03 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 87573 69 0 0 25 0 11 0 478070294 860020736 23467 4294967295 134512640 134569956 3221224400 3221214776 1131252634 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23467 13073 16 0 209950 0 vsize: 839864 [startup+900.03 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 88564 69 0 0 25 0 11 0 478070294 860020736 23548 4294967295 134512640 134569956 3221224400 3221214680 1131211632 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23548 13073 16 0 209950 0 vsize: 839864 [startup+910.03 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 89561 69 0 0 25 0 11 0 478070294 860020736 23551 4294967295 134512640 134569956 3221224400 3221214772 1131210348 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23551 13073 16 0 209950 0 vsize: 839864 [startup+920.031 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 90557 69 0 0 25 0 11 0 478070294 860020736 23553 4294967295 134512640 134569956 3221224400 3221214776 1131252634 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23553 13073 16 0 209950 0 vsize: 839864 [startup+930.031 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 91553 69 0 0 25 0 11 0 478070294 860020736 23556 4294967295 134512640 134569956 3221224400 3221214824 1131423388 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23556 13073 16 0 209950 0 vsize: 839864 [startup+940.031 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 92545 69 0 0 25 0 11 0 478070294 860020736 23556 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23556 13073 16 0 209950 0 vsize: 839864 [startup+950.031 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 93535 70 0 0 25 0 11 0 478070294 860020736 23569 4294967295 134512640 134569956 3221224400 3221214680 1131211290 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23569 13073 16 0 209950 0 vsize: 839864 [startup+960.031 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 94528 70 0 0 25 0 11 0 478070294 860020736 23591 4294967295 134512640 134569956 3221224400 3221214680 1131210401 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23591 13073 16 0 209950 0 vsize: 839864 [startup+970.032 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 95525 70 0 0 25 0 11 0 478070294 860020736 23596 4294967295 134512640 134569956 3221224400 3221214680 1131210432 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23596 13073 16 0 209950 0 vsize: 839864 [startup+980.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 96522 70 0 0 25 0 11 0 478070294 860020736 23597 4294967295 134512640 134569956 3221224400 3221214680 1131210884 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23597 13073 16 0 209950 0 vsize: 839864 [startup+990.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 97517 70 0 0 18 0 11 0 478070294 860020736 23599 4294967295 134512640 134569956 3221224400 3221214680 1131210380 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23599 13073 16 0 209950 0 vsize: 839864 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 98508 70 0 0 25 0 11 0 478070294 860020736 23600 4294967295 134512640 134569956 3221224400 3221214680 1131211573 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23600 13073 16 0 209950 0 vsize: 839864 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 99497 70 0 0 25 0 11 0 478070294 860020736 23612 4294967295 134512640 134569956 3221224400 3221214776 1131257033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23612 13073 16 0 209950 0 vsize: 839864 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 100488 70 0 0 25 0 11 0 478070294 860020736 23637 4294967295 134512640 134569956 3221224400 3221214680 1131210373 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23637 13073 16 0 209950 0 vsize: 839864 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 101483 70 0 0 25 0 11 0 478070294 860020736 23676 4294967295 134512640 134569956 3221224400 3221214776 1131256913 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23676 13073 16 0 209950 0 vsize: 839864 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 102480 70 0 0 25 0 11 0 478070294 860020736 23678 4294967295 134512640 134569956 3221224400 3221214680 1131211538 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23678 13073 16 0 209950 0 vsize: 839864 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 103476 70 0 0 25 0 11 0 478070294 860020736 23679 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23679 13073 16 0 209950 0 vsize: 839864 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 104470 70 0 0 25 0 11 0 478070294 860020736 23681 4294967295 134512640 134569956 3221224400 3221214680 1131211598 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23681 13073 16 0 209950 0 vsize: 839864 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 105459 70 0 0 25 0 11 0 478070294 860020736 23682 4294967295 134512640 134569956 3221224400 3221214776 1131253840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23682 13073 16 0 209950 0 vsize: 839864 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 106449 71 0 0 25 0 11 0 478070294 860020736 23730 4294967295 134512640 134569956 3221224400 3221214680 1131211011 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23730 13073 16 0 209950 0 vsize: 839864 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 107440 71 0 0 25 0 11 0 478070294 860020736 23757 4294967295 134512640 134569956 3221224400 3221214680 1131211834 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23757 13073 16 0 209950 0 vsize: 839864 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 108437 71 0 0 25 0 11 0 478070294 860020736 23765 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23765 13073 16 0 209950 0 vsize: 839864 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 109433 71 0 0 25 0 11 0 478070294 860020736 23767 4294967295 134512640 134569956 3221224400 3221214776 1131252627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23767 13073 16 0 209950 0 vsize: 839864 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 110430 71 0 0 25 0 11 0 478070294 860020736 23769 4294967295 134512640 134569956 3221224400 3221214680 1131211573 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23769 13073 16 0 209950 0 vsize: 839864 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 111423 71 0 0 25 0 11 0 478070294 860020736 23770 4294967295 134512640 134569956 3221224400 3221214776 1131253745 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23770 13073 16 0 209950 0 vsize: 839864 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 112413 71 0 0 25 0 11 0 478070294 860020736 23770 4294967295 134512640 134569956 3221224400 3221214776 1131253763 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23770 13073 16 0 209950 0 vsize: 839864 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 113402 71 0 0 25 0 11 0 478070294 860020736 23783 4294967295 134512640 134569956 3221224400 3221214680 1131210511 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23783 13073 16 0 209950 0 vsize: 839864 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 114397 71 0 0 25 0 11 0 478070294 860020736 23825 4294967295 134512640 134569956 3221224400 3221214680 1131210444 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23825 13073 16 0 209950 0 vsize: 839864 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 115394 71 0 0 25 0 11 0 478070294 860020736 23827 4294967295 134512640 134569956 3221224400 3221214776 1131252699 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23827 13073 16 0 209950 0 vsize: 839864 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 116391 71 0 0 25 0 11 0 478070294 860020736 23829 4294967295 134512640 134569956 3221224400 3221214776 1131254736 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23829 13073 16 0 209950 0 vsize: 839864 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 117387 72 0 0 25 0 11 0 478070294 860020736 23832 4294967295 134512640 134569956 3221224400 3221214776 1131253903 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23832 13073 16 0 209950 0 vsize: 839864 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 118377 72 0 0 25 0 11 0 478070294 860020736 23833 4294967295 134512640 134569956 3221224400 3221214680 1131210781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23833 13073 16 0 209950 0 vsize: 839864 [startup+1210.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 119366 72 0 0 25 0 11 0 478070294 860020736 23834 4294967295 134512640 134569956 3221224400 3221214680 1131211267 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23834 13073 16 0 209950 0 vsize: 839864 [startup+1220.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11677 Raw data (stat): 11663 (java) R 11662 10614 10613 0 -1 0 18075 3 1 0 120355 72 0 0 25 0 11 0 478070294 860020736 23869 4294967295 134512640 134569956 3221224400 3221214680 1131210845 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209966 23869 13073 16 0 209950 0 vsize: 839864 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.1 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 11679 Raw data (stat): 11663 (java) Z 11662 10614 10613 0 -1 1036 18075 4085 1 0 120356 72 1295 20 25 0 1 0 478070294 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1220.1 CPU time (s): 1217.46 CPU user time (s): 1216.53 CPU system time (s): 0.935857 CPU usage (%): 99.7838 Max. virtual memory (Kb): 841044 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####