Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8d1.opb |
MD5SUM | f5ae067eec5cb4736f6ec50c87e4a015 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 343 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1060 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1060 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1060 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.05184 |
Number of variables | 1060 |
Total number of constraints | 3737 |
Number of constraints which are clauses | 3737 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-04-13 16:36:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1557 boxname=wulflinc17 idbench=173 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: f5ae067eec5cb4736f6ec50c87e4a015 /oldhome/oroussel/tmp/wulflinc17/normalized-ii8d1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-ii8d1.opb IDLAUNCH: 1557 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 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: 865128 kB Buffers: 32760 kB Cached: 102360 kB SwapCached: 2376 kB Active: 44272 kB Inactive: 96176 kB HighTotal: 131008 kB HighFree: 25060 kB LowTotal: 903652 kB LowFree: 840068 kB SwapTotal: 2097892 kB SwapFree: 2095516 kB Dirty: 36 kB Writeback: 0 kB Mapped: 7036 kB Slab: 23448 kB Committed_AS: 63672 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 16:57:20 (client local time) WITH STATUS 143 IN SECONDS stats: 1557 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc17/normalized-ii8d1.opb c reading problem c [nbvar=1060] c [nbconstr=3737] c time 3.553 c #vars 1060 c #clauses 3737 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=481 c Current CPU time (ms) : 7.593 c starts : 1 c conflicts : 42 c decisions : 273 c propagations : 4699 c inspects : 11611 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 42 c root simplifications : 1 c c CURRENT OPTIMUM=480 c Current CPU time (ms) : 8.232 c starts : 2 c conflicts : 42 c decisions : 486 c propagations : 5759 c inspects : 14655 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 42 c root simplifications : 2 c c CURRENT OPTIMUM=468 c Current CPU time (ms) : 11.317 c starts : 3 c conflicts : 50 c decisions : 815 c propagations : 7036 c inspects : 18386 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 50 c root simplifications : 3 c c CURRENT OPTIMUM=377 c Current CPU time (ms) : 14.609 c starts : 4 c conflicts : 77 c decisions : 1405 c propagations : 11099 c inspects : 29990 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 1 c learned clauses : 77 c root simplifications : 4 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.98 0.90 1/55 21784 Raw data (stat): 21784 (runsolver) R 21783 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477448321 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 1.17 1.03 0.92 2/65 21796 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18069 4 1 0 746 42 0 0 25 0 11 0 477448321 863010816 21486 4294967295 134512640 134569956 3221224416 3221214768 1131342802 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210696 21486 13073 16 0 210680 0 vsize: 842784 [startup+20.0006 s] Raw data (loadavg): 1.14 1.03 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18070 4 1 0 1680 43 0 0 25 0 11 0 477448321 858767360 21079 4294967295 134512640 134569956 3221224416 3221214696 1080203665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 21079 13073 16 0 209644 0 vsize: 838640 [startup+30.0016 s] Raw data (loadavg): 1.12 1.03 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18070 4 1 0 2600 43 0 0 25 0 11 0 477448321 858767360 21199 4294967295 134512640 134569956 3221224416 3221214704 1131329253 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 21199 13073 16 0 209644 0 vsize: 838640 [startup+40.0012 s] Raw data (loadavg): 1.10 1.03 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18070 4 1 0 3515 43 0 0 25 0 11 0 477448321 858767360 21327 4294967295 134512640 134569956 3221224416 3221214912 1131294165 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 21327 13073 16 0 209644 0 vsize: 838640 [startup+50.0014 s] Raw data (loadavg): 1.08 1.03 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18070 4 1 0 4462 43 0 0 25 0 11 0 477448321 858767360 22011 4294967295 134512640 134569956 3221224416 3221214768 1131341161 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 22011 13073 16 0 209644 0 vsize: 838640 [startup+60.0015 s] Raw data (loadavg): 1.07 1.03 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18070 4 1 0 5435 43 0 0 25 0 11 0 477448321 858767360 22087 4294967295 134512640 134569956 3221224416 3221214656 1131384021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 22087 13073 16 0 209644 0 vsize: 838640 [startup+70.002 s] Raw data (loadavg): 1.06 1.03 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18070 4 1 0 6409 43 0 0 25 0 11 0 477448321 858767360 22150 4294967295 134512640 134569956 3221224416 3221214768 1131341994 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 22150 13073 16 0 209644 0 vsize: 838640 [startup+80.0023 s] Raw data (loadavg): 1.05 1.02 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18070 4 1 0 7382 43 0 0 25 0 11 0 477448321 858767360 22229 4294967295 134512640 134569956 3221224416 3221214688 1131363733 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 22229 13073 16 0 209644 0 vsize: 838640 [startup+90.0021 s] Raw data (loadavg): 1.04 1.02 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18070 4 1 0 8356 44 0 0 25 0 11 0 477448321 858767360 22303 4294967295 134512640 134569956 3221224416 3221214864 1131150912 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 22303 13073 16 0 209644 0 vsize: 838640 [startup+100.003 s] Raw data (loadavg): 1.03 1.02 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18070 4 1 0 9325 44 0 0 25 0 11 0 477448321 858767360 22371 4294967295 134512640 134569956 3221224416 3221214768 1131341932 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 22371 13073 16 0 209644 0 vsize: 838640 [startup+110.004 s] Raw data (loadavg): 1.03 1.02 0.92 2/65 21798 Raw data (stat): 21784 (java) S 21783 20838 20837 0 -1 0 18070 4 1 0 10294 44 0 0 25 0 11 0 477448321 858767360 22411 4294967295 134512640 134569956 3221224416 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 22411 13073 16 0 209644 0 vsize: 838640 [startup+120.004 s] Raw data (loadavg): 1.02 1.02 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18070 4 1 0 11261 44 0 0 25 0 11 0 477448321 858767360 22501 4294967295 134512640 134569956 3221224416 3221214816 1131206189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 22501 13073 16 0 209644 0 vsize: 838640 [startup+130.005 s] Raw data (loadavg): 1.02 1.02 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18070 4 1 0 12233 44 0 0 25 0 11 0 477448321 858767360 22608 4294967295 134512640 134569956 3221224416 3221214704 1131354352 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 22608 13073 16 0 209644 0 vsize: 838640 [startup+140.005 s] Raw data (loadavg): 1.02 1.02 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18070 4 1 0 13211 44 0 0 25 0 11 0 477448321 858767360 22658 4294967295 134512640 134569956 3221224416 3221214864 1131150912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 22658 13073 16 0 209644 0 vsize: 838640 [startup+150.006 s] Raw data (loadavg): 1.01 1.02 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 14185 44 0 0 25 0 11 0 477448321 858767360 22744 4294967295 134512640 134569956 3221224416 3221214520 1131265205 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 22744 13073 16 0 209644 0 vsize: 838640 [startup+160.006 s] Raw data (loadavg): 1.01 1.02 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 15168 44 0 0 25 0 11 0 477448321 858767360 22761 4294967295 134512640 134569956 3221224416 3221214864 1131150912 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 22761 13073 16 0 209644 0 vsize: 838640 [startup+170.006 s] Raw data (loadavg): 1.01 1.02 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 16142 44 0 0 24 0 11 0 477448321 858767360 22798 4294967295 134512640 134569956 3221224416 3221214816 1131205841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 22798 13073 16 0 209644 0 vsize: 838640 [startup+180.007 s] Raw data (loadavg): 1.01 1.01 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 17119 44 0 0 25 0 11 0 477448321 858767360 22827 4294967295 134512640 134569956 3221224416 3221214612 1131291308 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 22827 13073 16 0 209644 0 vsize: 838640 [startup+190.007 s] Raw data (loadavg): 1.01 1.01 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 18098 44 0 0 25 0 11 0 477448321 858767360 22902 4294967295 134512640 134569956 3221224416 3221214592 1131523957 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 22902 13073 16 0 209644 0 vsize: 838640 [startup+200.007 s] Raw data (loadavg): 1.00 1.01 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 19077 44 0 0 25 0 11 0 477448321 858767360 22940 4294967295 134512640 134569956 3221224416 3221214692 1080204290 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 22940 13073 16 0 209644 0 vsize: 838640 [startup+210.007 s] Raw data (loadavg): 1.00 1.01 0.92 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 20052 44 0 0 25 0 11 0 477448321 858767360 22956 4294967295 134512640 134569956 3221224416 3221214912 1131294574 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 22956 13073 16 0 209644 0 vsize: 838640 [startup+220.008 s] Raw data (loadavg): 1.16 1.04 0.93 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 21030 44 0 0 25 0 11 0 477448321 858767360 23021 4294967295 134512640 134569956 3221224416 3221214592 1131526805 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23021 13073 16 0 209644 0 vsize: 838640 [startup+230.008 s] Raw data (loadavg): 1.13 1.04 0.93 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 22008 44 0 0 25 0 11 0 477448321 858767360 23066 4294967295 134512640 134569956 3221224416 3221214832 1131333505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23066 13073 16 0 209644 0 vsize: 838640 [startup+240.008 s] Raw data (loadavg): 1.11 1.04 0.93 2/65 21798 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 22989 44 0 0 25 0 11 0 477448321 858767360 23104 4294967295 134512640 134569956 3221224416 3221214816 1131206160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23104 13073 16 0 209644 0 vsize: 838640 [startup+250.009 s] Raw data (loadavg): 1.09 1.04 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 23968 44 0 0 25 0 11 0 477448321 858767360 23124 4294967295 134512640 134569956 3221224416 3221214856 1131250361 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23124 13073 16 0 209644 0 vsize: 838640 [startup+260.009 s] Raw data (loadavg): 1.08 1.04 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 24940 44 0 0 25 0 11 0 477448321 858767360 23150 4294967295 134512640 134569956 3221224416 3221214768 1131341734 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23150 13073 16 0 209644 0 vsize: 838640 [startup+270.009 s] Raw data (loadavg): 1.07 1.03 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 25914 45 0 0 25 0 11 0 477448321 858767360 23229 4294967295 134512640 134569956 3221224416 3221214696 1131560105 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23229 13073 16 0 209644 0 vsize: 838640 [startup+280.01 s] Raw data (loadavg): 1.06 1.03 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 26893 45 0 0 25 0 11 0 477448321 858767360 23243 4294967295 134512640 134569956 3221224416 3221214864 1131150912 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23243 13073 16 0 209644 0 vsize: 838640 [startup+290.01 s] Raw data (loadavg): 1.05 1.03 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 27871 45 0 0 25 0 11 0 477448321 858767360 23295 4294967295 134512640 134569956 3221224416 3221214816 1131206335 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23295 13073 16 0 209644 0 vsize: 838640 [startup+300.011 s] Raw data (loadavg): 1.04 1.03 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 28845 45 0 0 25 0 11 0 477448321 858767360 23343 4294967295 134512640 134569956 3221224416 3221214864 1131151047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23343 13073 16 0 209644 0 vsize: 838640 [startup+310.012 s] Raw data (loadavg): 1.03 1.03 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 29823 45 0 0 25 0 11 0 477448321 858767360 23387 4294967295 134512640 134569956 3221224416 3221214704 1131329087 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23387 13073 16 0 209644 0 vsize: 838640 [startup+320.011 s] Raw data (loadavg): 1.03 1.03 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 30800 45 0 0 25 0 11 0 477448321 858767360 23439 4294967295 134512640 134569956 3221224416 3221214632 1131380061 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23439 13073 16 0 209644 0 vsize: 838640 [startup+330.012 s] Raw data (loadavg): 1.02 1.03 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 31777 45 0 0 25 0 11 0 477448321 858767360 23460 4294967295 134512640 134569956 3221224416 3221214752 1131265154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23460 13073 16 0 209644 0 vsize: 838640 [startup+340.012 s] Raw data (loadavg): 1.02 1.02 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 32752 45 0 0 25 0 11 0 477448321 858767360 23492 4294967295 134512640 134569956 3221224416 3221214696 1131560088 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23492 13073 16 0 209644 0 vsize: 838640 [startup+350.012 s] Raw data (loadavg): 1.02 1.02 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 33726 45 0 0 25 0 11 0 477448321 858767360 23538 4294967295 134512640 134569956 3221224416 3221214600 1131265205 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23538 13073 16 0 209644 0 vsize: 838640 [startup+360.013 s] Raw data (loadavg): 1.01 1.02 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 34702 45 0 0 25 0 11 0 477448321 858767360 23591 4294967295 134512640 134569956 3221224416 3221214720 1131306370 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23591 13073 16 0 209644 0 vsize: 838640 [startup+370.013 s] Raw data (loadavg): 1.01 1.02 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 35679 45 0 0 25 0 11 0 477448321 858767360 23656 4294967295 134512640 134569956 3221224416 3221214816 1131205808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23656 13073 16 0 209644 0 vsize: 838640 [startup+380.013 s] Raw data (loadavg): 1.01 1.02 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 36655 45 0 0 25 0 11 0 477448321 858767360 23715 4294967295 134512640 134569956 3221224416 3221214696 1131558023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23715 13073 16 0 209644 0 vsize: 838640 [startup+390.013 s] Raw data (loadavg): 1.01 1.02 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18071 4 1 0 37633 45 0 0 25 0 11 0 477448321 858767360 23751 4294967295 134512640 134569956 3221224416 3221214864 1131151047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 23751 13073 16 0 209644 0 vsize: 838640 [startup+400.014 s] Raw data (loadavg): 1.00 1.02 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 38608 45 0 0 25 0 11 0 477448321 858767360 23807 4294967295 134512640 134569956 3221224416 3221214600 1131265307 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 23807 13073 16 0 209644 0 vsize: 838640 [startup+410.016 s] Raw data (loadavg): 1.00 1.02 0.93 3/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 39585 45 0 0 24 0 11 0 477448321 858767360 23874 4294967295 134512640 134569956 3221224416 3221214592 1131523957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 23874 13073 16 0 209644 0 vsize: 838640 [startup+420.016 s] Raw data (loadavg): 1.00 1.02 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 40563 46 0 0 25 0 11 0 477448321 858767360 23903 4294967295 134512640 134569956 3221224416 3221214816 1131206058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 23903 13073 16 0 209644 0 vsize: 838640 [startup+430.017 s] Raw data (loadavg): 1.00 1.02 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 41540 46 0 0 25 0 11 0 477448321 858767360 23919 4294967295 134512640 134569956 3221224416 3221214864 1131150912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 23919 13073 16 0 209644 0 vsize: 838640 [startup+440.017 s] Raw data (loadavg): 1.00 1.02 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 42516 46 0 0 25 0 11 0 477448321 858767360 23983 4294967295 134512640 134569956 3221224416 3221214864 1131150912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 23983 13073 16 0 209644 0 vsize: 838640 [startup+450.018 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 43496 47 0 0 25 0 11 0 477448321 858767360 24022 4294967295 134512640 134569956 3221224416 3221214864 1131151014 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 24022 13073 16 0 209644 0 vsize: 838640 [startup+460.018 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 44476 47 0 0 25 0 11 0 477448321 858767360 24077 4294967295 134512640 134569956 3221224416 3221214816 1131206105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 24077 13073 16 0 209644 0 vsize: 838640 [startup+470.019 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 45456 47 0 0 25 0 11 0 477448321 858767360 24137 4294967295 134512640 134569956 3221224416 3221214768 1131342802 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 24137 13073 16 0 209644 0 vsize: 838640 [startup+480.02 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 46441 47 0 0 25 0 11 0 477448321 858767360 24142 4294967295 134512640 134569956 3221224416 3221214816 1131206604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 24142 13073 16 0 209644 0 vsize: 838640 [startup+490.021 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 47419 48 0 0 25 0 11 0 477448321 858767360 24156 4294967295 134512640 134569956 3221224416 3221214864 1131150912 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 24156 13073 16 0 209644 0 vsize: 838640 [startup+500.021 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 48396 48 0 0 25 0 11 0 477448321 858767360 24159 4294967295 134512640 134569956 3221224416 3221214696 1131560083 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 24159 13073 16 0 209644 0 vsize: 838640 [startup+510.021 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 49361 48 0 0 25 0 11 0 477448321 858767360 24204 4294967295 134512640 134569956 3221224416 3221214696 1131560083 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 24204 13073 16 0 209644 0 vsize: 838640 [startup+520.021 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 50326 48 0 0 25 0 11 0 477448321 858767360 24253 4294967295 134512640 134569956 3221224416 3221214600 1131265446 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 24253 13073 16 0 209644 0 vsize: 838640 [startup+530.021 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 51290 49 0 0 25 0 11 0 477448321 858767360 24263 4294967295 134512640 134569956 3221224416 3221214864 1131150963 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 24263 13073 16 0 209644 0 vsize: 838640 [startup+540.021 s] Raw data (loadavg): 1.00 1.01 0.93 2/65 21800 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 52258 49 0 0 25 0 11 0 477448321 858767360 24367 4294967295 134512640 134569956 3221224416 3221214864 1131150912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 24367 13073 16 0 209644 0 vsize: 838640 [startup+550.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 53222 50 0 0 24 0 11 0 477448321 858767360 24481 4294967295 134512640 134569956 3221224416 3221214600 1131265205 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 24481 13073 16 0 209644 0 vsize: 838640 [startup+560.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 54192 50 0 0 25 0 11 0 477448321 858767360 24556 4294967295 134512640 134569956 3221224416 3221214600 1131265236 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 24556 13073 16 0 209644 0 vsize: 838640 [startup+570.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 55171 50 0 0 24 0 11 0 477448321 858767360 24614 4294967295 134512640 134569956 3221224416 3221214816 1131205708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 24614 13073 16 0 209644 0 vsize: 838640 [startup+580.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 56142 50 0 0 24 0 11 0 477448321 858767360 24621 4294967295 134512640 134569956 3221224416 3221214816 1131206105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 24621 13073 16 0 209644 0 vsize: 838640 [startup+590.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 57116 51 0 0 25 0 11 0 477448321 858767360 24692 4294967295 134512640 134569956 3221224416 3221214656 1131384130 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 24692 13073 16 0 209644 0 vsize: 838640 [startup+600.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 58085 51 0 0 25 0 11 0 477448321 858767360 24748 4294967295 134512640 134569956 3221224416 3221214720 1131306475 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 24748 13073 16 0 209644 0 vsize: 838640 [startup+610.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 59051 52 0 0 25 0 11 0 477448321 858767360 24757 4294967295 134512640 134569956 3221224416 3221214816 1131205710 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 24757 13073 16 0 209644 0 vsize: 838640 [startup+620.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 60014 52 0 0 25 0 11 0 477448321 858767360 24806 4294967295 134512640 134569956 3221224416 3221214864 1131150963 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 24806 13073 16 0 209644 0 vsize: 838640 [startup+630.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 60970 53 0 0 24 0 11 0 477448321 858767360 24899 4294967295 134512640 134569956 3221224416 3221214768 1131340986 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 24899 13073 16 0 209644 0 vsize: 838640 [startup+640.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 61923 53 0 0 24 0 11 0 477448321 858767360 25007 4294967295 134512640 134569956 3221224416 3221214592 1131526094 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25007 13073 16 0 209644 0 vsize: 838640 [startup+650.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 62887 53 0 0 25 0 11 0 477448321 858767360 25115 4294967295 134512640 134569956 3221224416 3221214816 1131206121 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25115 13073 16 0 209644 0 vsize: 838640 [startup+660.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 63852 54 0 0 25 0 11 0 477448321 858767360 25235 4294967295 134512640 134569956 3221224416 3221214816 1131205781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25235 13073 16 0 209644 0 vsize: 838640 [startup+670.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 64817 54 0 0 25 0 11 0 477448321 858767360 25319 4294967295 134512640 134569956 3221224416 3221214816 1131206008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25319 13073 16 0 209644 0 vsize: 838640 [startup+680.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 65791 54 0 0 25 0 11 0 477448321 858767360 25377 4294967295 134512640 134569956 3221224416 3221214816 1131206008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25377 13073 16 0 209644 0 vsize: 838640 [startup+690.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 66767 55 0 0 24 0 11 0 477448321 858767360 25477 4294967295 134512640 134569956 3221224416 3221214816 1131206058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25477 13073 16 0 209644 0 vsize: 838640 [startup+700.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 67752 55 0 0 25 0 11 0 477448321 858767360 25499 4294967295 134512640 134569956 3221224416 3221214864 1131150912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25499 13073 16 0 209644 0 vsize: 838640 [startup+710.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 68736 55 0 0 25 0 11 0 477448321 858767360 25530 4294967295 134512640 134569956 3221224416 3221214816 1131206058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25530 13073 16 0 209644 0 vsize: 838640 [startup+720.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 69719 56 0 0 25 0 11 0 477448321 858767360 25561 4294967295 134512640 134569956 3221224416 3221214816 1131206105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25561 13073 16 0 209644 0 vsize: 838640 [startup+730.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 70702 56 0 0 25 0 11 0 477448321 858767360 25593 4294967295 134512640 134569956 3221224416 3221214816 1131205841 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25593 13073 16 0 209644 0 vsize: 838640 [startup+740.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 71684 57 0 0 24 0 11 0 477448321 858767360 25624 4294967295 134512640 134569956 3221224416 3221214832 1131290057 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25624 13073 16 0 209644 0 vsize: 838640 [startup+750.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 72664 57 0 0 25 0 11 0 477448321 858767360 25634 4294967295 134512640 134569956 3221224416 3221214688 1131363943 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25634 13073 16 0 209644 0 vsize: 838640 [startup+760.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 73638 57 0 0 24 0 11 0 477448321 858767360 25643 4294967295 134512640 134569956 3221224416 3221214688 1131366545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25643 13073 16 0 209644 0 vsize: 838640 [startup+770.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 74614 58 0 0 25 0 11 0 477448321 858767360 25685 4294967295 134512640 134569956 3221224416 3221214912 1131295168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 25685 13073 16 0 209644 0 vsize: 838640 [startup+780.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 75587 58 0 0 25 0 11 0 477448321 858767360 25764 4294967295 134512640 134569956 3221224416 3221214832 1131333505 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25764 13073 16 0 209644 0 vsize: 838640 [startup+790.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 76563 58 0 0 25 0 11 0 477448321 858767360 25809 4294967295 134512640 134569956 3221224416 3221214816 1131206736 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25809 13073 16 0 209644 0 vsize: 838640 [startup+800.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 77542 59 0 0 25 0 11 0 477448321 858767360 25865 4294967295 134512640 134569956 3221224416 3221214764 1131306227 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25865 13073 16 0 209644 0 vsize: 838640 [startup+810.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 78522 59 0 0 25 0 11 0 477448321 858767360 25898 4294967295 134512640 134569956 3221224416 3221214592 1131523966 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25898 13073 16 0 209644 0 vsize: 838640 [startup+820.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 79500 59 0 0 25 0 11 0 477448321 858767360 25938 4294967295 134512640 134569956 3221224416 3221214688 1131365697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25938 13073 16 0 209644 0 vsize: 838640 [startup+830.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 80481 59 0 0 25 0 11 0 477448321 858767360 25965 4294967295 134512640 134569956 3221224416 3221214608 1131404808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 25965 13073 16 0 209644 0 vsize: 838640 [startup+840.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21802 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 81462 60 0 0 25 0 11 0 477448321 858767360 26058 4294967295 134512640 134569956 3221224416 3221214768 1131341773 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26058 13073 16 0 209644 0 vsize: 838640 [startup+850.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 82450 60 0 0 25 0 11 0 477448321 858767360 26081 4294967295 134512640 134569956 3221224416 3221214912 1131294329 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26081 13073 16 0 209644 0 vsize: 838640 [startup+860.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 83434 60 0 0 24 0 11 0 477448321 858767360 26107 4294967295 134512640 134569956 3221224416 3221214688 1131366534 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26107 13073 16 0 209644 0 vsize: 838640 [startup+870.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 84420 61 0 0 25 0 11 0 477448321 858767360 26112 4294967295 134512640 134569956 3221224416 3221214588 1079721456 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26112 13073 16 0 209644 0 vsize: 838640 [startup+880.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 85404 61 0 0 25 0 11 0 477448321 858767360 26117 4294967295 134512640 134569956 3221224416 3221214912 1131294343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26117 13073 16 0 209644 0 vsize: 838640 [startup+890.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 86387 61 0 0 25 0 11 0 477448321 858767360 26177 4294967295 134512640 134569956 3221224416 3221214692 1080204290 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26177 13073 16 0 209644 0 vsize: 838640 [startup+900.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 87371 62 0 0 25 0 11 0 477448321 858767360 26194 4294967295 134512640 134569956 3221224416 3221214608 1131406576 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26194 13073 16 0 209644 0 vsize: 838640 [startup+910.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 88353 62 0 0 25 0 11 0 477448321 858767360 26222 4294967295 134512640 134569956 3221224416 3221214864 1131150963 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26222 13073 16 0 209644 0 vsize: 838640 [startup+920.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 89335 63 0 0 25 0 11 0 477448321 858767360 26275 4294967295 134512640 134569956 3221224416 3221214400 1080217237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26275 13073 16 0 209644 0 vsize: 838640 [startup+930.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 90318 63 0 0 25 0 11 0 477448321 858767360 26284 4294967295 134512640 134569956 3221224416 3221214688 1131364383 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26284 13073 16 0 209644 0 vsize: 838640 [startup+940.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 91303 63 0 0 25 0 11 0 477448321 858767360 26312 4294967295 134512640 134569956 3221224416 3221214600 1131265946 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26312 13073 16 0 209644 0 vsize: 838640 [startup+950.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 92282 63 0 0 25 0 11 0 477448321 858767360 26373 4294967295 134512640 134569956 3221224416 3221214568 1131387764 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26373 13073 16 0 209644 0 vsize: 838640 [startup+960.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 93266 64 0 0 25 0 11 0 477448321 858767360 26419 4294967295 134512640 134569956 3221224416 3221214472 1131567843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26419 13073 16 0 209644 0 vsize: 838640 [startup+970.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 94251 64 0 0 25 0 11 0 477448321 858767360 26432 4294967295 134512640 134569956 3221224416 3221214600 1131265397 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26432 13073 16 0 209644 0 vsize: 838640 [startup+980.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 95235 64 0 0 25 0 11 0 477448321 858767360 26479 4294967295 134512640 134569956 3221224416 3221214600 1131265347 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26479 13073 16 0 209644 0 vsize: 838640 [startup+990.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 96219 65 0 0 25 0 11 0 477448321 858767360 26521 4294967295 134512640 134569956 3221224416 3221214816 1131205701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26521 13073 16 0 209644 0 vsize: 838640 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 97203 65 0 0 25 0 11 0 477448321 858767360 26522 4294967295 134512640 134569956 3221224416 3221214816 1131206164 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26522 13073 16 0 209644 0 vsize: 838640 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 98179 65 0 0 25 0 11 0 477448321 858767360 26535 4294967295 134512640 134569956 3221224416 3221214848 1131277633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26535 13073 16 0 209644 0 vsize: 838640 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 99160 66 0 0 25 0 11 0 477448321 858767360 26601 4294967295 134512640 134569956 3221224416 3221214752 1131265929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26601 13073 16 0 209644 0 vsize: 838640 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 100139 66 0 0 25 0 11 0 477448321 858767360 26667 4294967295 134512640 134569956 3221224416 3221214600 1131265440 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209660 26667 13073 16 0 209644 0 vsize: 838640 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 101119 66 0 0 25 0 11 0 477448321 858767360 26740 4294967295 134512640 134569956 3221224416 3221214684 1131380599 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26740 13073 16 0 209644 0 vsize: 838640 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 102100 67 0 0 25 0 11 0 477448321 858767360 26743 4294967295 134512640 134569956 3221224416 3221214864 1131150922 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26743 13073 16 0 209644 0 vsize: 838640 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 103081 67 0 0 25 0 11 0 477448321 858767360 26836 4294967295 134512640 134569956 3221224416 3221214600 1131265446 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26836 13073 16 0 209644 0 vsize: 838640 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 104067 67 0 0 25 0 11 0 477448321 858767360 26836 4294967295 134512640 134569956 3221224416 3221214608 1131406616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26836 13073 16 0 209644 0 vsize: 838640 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 105054 68 0 0 25 0 11 0 477448321 858767360 26872 4294967295 134512640 134569956 3221224416 3221214504 1131565007 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26872 13073 16 0 209644 0 vsize: 838640 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 106043 68 0 0 25 0 11 0 477448321 858767360 26898 4294967295 134512640 134569956 3221224416 3221214864 1131151039 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26898 13073 16 0 209644 0 vsize: 838640 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 107025 68 0 0 25 0 11 0 477448321 858767360 26948 4294967295 134512640 134569956 3221224416 3221214864 1131150963 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26948 13073 16 0 209644 0 vsize: 838640 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 108007 69 0 0 25 0 11 0 477448321 858767360 26977 4294967295 134512640 134569956 3221224416 3221214816 1131206751 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26977 13073 16 0 209644 0 vsize: 838640 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 108987 69 0 0 25 0 11 0 477448321 858767360 26977 4294967295 134512640 134569956 3221224416 3221214816 1131206400 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 26977 13073 16 0 209644 0 vsize: 838640 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 109973 70 0 0 25 0 11 0 477448321 858767360 27033 4294967295 134512640 134569956 3221224416 3221214816 1131206058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 27033 13073 16 0 209644 0 vsize: 838640 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21804 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 110956 70 0 0 25 0 11 0 477448321 858767360 27039 4294967295 134512640 134569956 3221224416 3221214864 1131150912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 27039 13073 16 0 209644 0 vsize: 838640 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21806 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 111935 70 0 0 24 0 11 0 477448321 858767360 27050 4294967295 134512640 134569956 3221224416 3221214656 1131384130 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 27050 13073 16 0 209644 0 vsize: 838640 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21806 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 112912 71 0 0 25 0 11 0 477448321 858767360 27092 4294967295 134512640 134569956 3221224416 3221214704 1131329455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 27092 13073 16 0 209644 0 vsize: 838640 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21806 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 113889 71 0 0 25 0 11 0 477448321 858767360 27106 4294967295 134512640 134569956 3221224416 3221214688 1131363996 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 27106 13073 16 0 209644 0 vsize: 838640 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21806 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 114866 72 0 0 25 0 11 0 477448321 858767360 27122 4294967295 134512640 134569956 3221224416 3221214848 1131277291 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 27122 13073 16 0 209644 0 vsize: 838640 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21806 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 115843 72 0 0 25 0 11 0 477448321 858767360 27194 4294967295 134512640 134569956 3221224416 3221214864 1131150912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 27194 13073 16 0 209644 0 vsize: 838640 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21806 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 116818 72 0 0 25 0 11 0 477448321 858767360 27244 4294967295 134512640 134569956 3221224416 3221214896 1131436190 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 27244 13073 16 0 209644 0 vsize: 838640 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21806 Raw data (stat): 21784 (java) S 21783 20838 20837 0 -1 0 18072 4 1 0 117794 73 0 0 25 0 11 0 477448321 858767360 27282 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 27284 13073 16 0 209644 0 vsize: 838640 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21806 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 118773 73 0 0 25 0 11 0 477448321 858767360 27327 4294967295 134512640 134569956 3221224416 3221214816 1131205697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 27327 13073 16 0 209644 0 vsize: 838640 [startup+1230.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21806 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 119750 73 0 0 25 0 11 0 477448321 858767360 27358 4294967295 134512640 134569956 3221224416 3221214864 1131150912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 27358 13073 16 0 209644 0 vsize: 838640 [startup+1240.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/65 21806 Raw data (stat): 21784 (java) R 21783 20838 20837 0 -1 0 18072 4 1 0 120724 74 0 0 25 0 11 0 477448321 858767360 27404 4294967295 134512640 134569956 3221224416 3221214568 1131390591 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209660 27404 13073 16 0 209644 0 vsize: 838640 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.11 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 21808 Raw data (stat): 21784 (java) Z 21783 20838 20837 0 -1 1036 18072 13071 1 0 120725 79 4037 41 25 0 1 0 477448321 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.11 CPU time (s): 1248.84 CPU user time (s): 1247.63 CPU system time (s): 1.20782 CPU usage (%): 100.704 Max. virtual memory (Kb): 842784 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####