Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb |
MD5SUM | 7da782a9a5fff983d0dc41e97459b8ae |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7696383 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 7812 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1450667950777 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1450667950777 |
Number of bits of the biggest sum of numbers | 41 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1226.01 |
Number of variables | 7812 |
Total number of constraints | 284 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 284 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 540 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-04-21 22:00:41 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14309 boxname=wulflinc11 idbench=1101 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 7da782a9a5fff983d0dc41e97459b8ae /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-ran14x18.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-ran14x18.opb IDLAUNCH: 14309 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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: 462488 kB Buffers: 35540 kB Cached: 514716 kB SwapCached: 0 kB Active: 207812 kB Inactive: 345252 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 462236 kB SwapTotal: 2097136 kB SwapFree: 2097048 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6820 kB Slab: 13336 kB Committed_AS: 63584 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 22:21:04 (client local time) WITH STATUS 143 IN 1231.1 SECONDS stats: 14309 7 1231.1 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-ran14x18.opb c reading problem c [nbvar=7812] c [nbconstr=284] c time 20.85 c #vars 7812 c #clauses 317 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=10718378 c Current CPU time (ms) : 109.791 c starts : 1 c conflicts : 12 c decisions : 9831 c propagations : 36757 c inspects : 43309 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 12 c root simplifications : 13 c c CURRENT OPTIMUM=10343383 c Current CPU time (ms) : 274.89 c starts : 2 c conflicts : 22 c decisions : 18035 c propagations : 58707 c inspects : 76114 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 22 c root simplifications : 21 c c CURRENT OPTIMUM=9411029 c Current CPU time (ms) : 334.741 c starts : 3 c conflicts : 25 c decisions : 19889 c propagations : 66062 c inspects : 90962 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 25 c root simplifications : 23 c c CURRENT OPTIMUM=9290179 c Current CPU time (ms) : 493.82 c starts : 4 c conflicts : 26 c decisions : 20664 c propagations : 70080 c inspects : 98844 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 26 c root simplifications : 24 #### 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.69 0.92 0.94 2/54 11699 Raw data (stat): 11699 (runsolver) R 11698 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490291130 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0003 s] Raw data (loadavg): 0.74 0.92 0.94 3/63 11708 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 17988 0 1 0 887 37 0 0 25 0 10 0 490291130 854233088 19223 4294967295 134512640 134569956 3221224400 3221214704 1131198365 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208553 19223 13073 16 0 208537 0 vsize: 834212 [startup+20.0015 s] Raw data (loadavg): 0.78 0.92 0.94 4/63 11708 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18012 0 1 0 1736 37 0 0 25 0 10 0 490291130 860422144 21128 4294967295 134512640 134569956 3221224400 3221214480 1130917144 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210064 21128 13073 16 0 210048 0 vsize: 840256 [startup+30.0029 s] Raw data (loadavg): 0.96 0.96 0.95 2/64 11709 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 2538 38 0 0 25 0 11 0 490291130 861396992 22757 4294967295 134512640 134569956 3221224400 3221214800 1131257849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 22757 13073 16 0 210286 0 vsize: 841208 [startup+40.0036 s] Raw data (loadavg): 1.05 0.98 0.96 2/64 11711 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 3440 39 0 0 25 0 11 0 490291130 861396992 22805 4294967295 134512640 134569956 3221224400 3221214896 1131351456 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 22805 13073 16 0 210286 0 vsize: 841208 [startup+50.005 s] Raw data (loadavg): 1.04 0.98 0.96 2/64 11711 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 4337 39 0 0 25 0 11 0 490291130 861396992 22871 4294967295 134512640 134569956 3221224400 3221214848 1131236975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 22871 13073 16 0 210286 0 vsize: 841208 [startup+60.0056 s] Raw data (loadavg): 1.03 0.98 0.96 2/64 11711 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 5293 39 0 0 25 0 11 0 490291130 861396992 23586 4294967295 134512640 134569956 3221224400 3221214896 1131350679 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 23586 13073 16 0 210286 0 vsize: 841208 [startup+70.0064 s] Raw data (loadavg): 1.03 0.98 0.96 2/64 11711 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 6278 40 0 0 25 0 11 0 490291130 861396992 23620 4294967295 134512640 134569956 3221224400 3221214800 1131257624 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 23620 13073 16 0 210286 0 vsize: 841208 [startup+80.0072 s] Raw data (loadavg): 1.02 0.98 0.96 2/64 11711 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 7266 40 0 0 25 0 11 0 490291130 861396992 23638 4294967295 134512640 134569956 3221224400 3221214800 1131257849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 23638 13073 16 0 210286 0 vsize: 841208 [startup+90.008 s] Raw data (loadavg): 1.02 0.98 0.96 2/64 11711 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 8253 41 0 0 25 0 11 0 490291130 861396992 23666 4294967295 134512640 134569956 3221224400 3221214672 1131388448 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 23666 13073 16 0 210286 0 vsize: 841208 [startup+100.008 s] Raw data (loadavg): 1.02 0.98 0.96 2/64 11711 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 9241 41 0 0 25 0 11 0 490291130 861396992 23688 4294967295 134512640 134569956 3221224400 3221214664 1131407661 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 23688 13073 16 0 210286 0 vsize: 841208 [startup+110.01 s] Raw data (loadavg): 1.01 0.98 0.96 2/64 11711 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 10230 41 0 0 25 0 11 0 490291130 861396992 23707 4294967295 134512640 134569956 3221224400 3221214892 1131487931 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 23707 13073 16 0 210286 0 vsize: 841208 [startup+120.01 s] Raw data (loadavg): 1.01 0.98 0.96 2/64 11712 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 11185 41 0 0 24 0 11 0 490291130 861396992 23725 4294967295 134512640 134569956 3221224400 3221214800 1131257849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 23725 13073 16 0 210286 0 vsize: 841208 [startup+130.01 s] Raw data (loadavg): 1.01 0.98 0.96 2/64 11712 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 12151 42 0 0 25 0 11 0 490291130 861396992 23744 4294967295 134512640 134569956 3221224400 3221214848 1131236930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 23744 13073 16 0 210286 0 vsize: 841208 [startup+140.011 s] Raw data (loadavg): 1.01 0.98 0.96 2/64 11712 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 13113 42 0 0 25 0 11 0 490291130 861396992 23970 4294967295 134512640 134569956 3221224400 3221214604 1080203670 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 23970 13073 16 0 210286 0 vsize: 841208 [startup+150.012 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11712 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 14093 42 0 0 25 0 11 0 490291130 861396992 23983 4294967295 134512640 134569956 3221224400 3221214672 1131387330 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 23983 13073 16 0 210286 0 vsize: 841208 [startup+160.012 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11712 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 15076 43 0 0 24 0 11 0 490291130 861396992 23993 4294967295 134512640 134569956 3221224400 3221214616 1130904220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 23993 13073 16 0 210286 0 vsize: 841208 [startup+170.012 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11712 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 16061 43 0 0 25 0 11 0 490291130 861396992 23997 4294967295 134512640 134569956 3221224400 3221214616 1131464124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 23997 13073 16 0 210286 0 vsize: 841208 [startup+180.015 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11712 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 17046 43 0 0 25 0 11 0 490291130 861396992 23999 4294967295 134512640 134569956 3221224400 3221214512 1131297236 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 23999 13073 16 0 210286 0 vsize: 841208 [startup+190.02 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11712 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 18028 44 0 0 25 0 11 0 490291130 861396992 24089 4294967295 134512640 134569956 3221224400 3221214848 1131236989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24089 13073 16 0 210286 0 vsize: 841208 [startup+200.021 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11712 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 18998 44 0 0 25 0 11 0 490291130 861396992 24089 4294967295 134512640 134569956 3221224400 3221214896 1131350693 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24089 13073 16 0 210286 0 vsize: 841208 [startup+210.021 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11712 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 19963 44 0 0 25 0 11 0 490291130 861396992 24089 4294967295 134512640 134569956 3221224400 3221214848 1131236930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24089 13073 16 0 210286 0 vsize: 841208 [startup+220.022 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11712 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 20945 44 0 0 25 0 11 0 490291130 861396992 24182 4294967295 134512640 134569956 3221224400 3221214800 1131257849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24182 13073 16 0 210286 0 vsize: 841208 [startup+230.022 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11712 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 21935 44 0 0 25 0 11 0 490291130 861396992 24206 4294967295 134512640 134569956 3221224400 3221214800 1131236930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24206 13073 16 0 210286 0 vsize: 841208 [startup+240.023 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11712 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 22926 44 0 0 25 0 11 0 490291130 861396992 24227 4294967295 134512640 134569956 3221224400 3221214752 1131257795 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24227 13073 16 0 210286 0 vsize: 841208 [startup+250.022 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11712 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 23916 45 0 0 25 0 11 0 490291130 861396992 24239 4294967295 134512640 134569956 3221224400 3221214848 1131351392 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210302 24239 13073 16 0 210286 0 vsize: 841208 [startup+260.023 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11712 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 24907 46 0 0 25 0 11 0 490291130 861396992 24249 4294967295 134512640 134569956 3221224400 3221214752 1131257753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24249 13073 16 0 210286 0 vsize: 841208 [startup+270.024 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11712 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 25900 46 0 0 25 0 11 0 490291130 861396992 24269 4294967295 134512640 134569956 3221224400 3221214416 1131297065 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24269 13073 16 0 210286 0 vsize: 841208 [startup+280.024 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11713 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 26882 47 0 0 25 0 11 0 490291130 861396992 24282 4294967295 134512640 134569956 3221224400 3221214848 1131236975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24282 13073 16 0 210286 0 vsize: 841208 [startup+290.025 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11713 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 27845 47 0 0 25 0 11 0 490291130 861396992 24289 4294967295 134512640 134569956 3221224400 3221214800 1131257849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24289 13073 16 0 210286 0 vsize: 841208 [startup+300.026 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11715 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 28817 47 0 0 25 0 11 0 490291130 861396992 24293 4294967295 134512640 134569956 3221224400 3221214848 1131236975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24293 13073 16 0 210286 0 vsize: 841208 [startup+310.026 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11715 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 29795 47 0 0 25 0 11 0 490291130 861396992 24514 4294967295 134512640 134569956 3221224400 3221214848 1131236979 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24514 13073 16 0 210286 0 vsize: 841208 [startup+320.027 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11715 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 30784 47 0 0 25 0 11 0 490291130 861396992 24520 4294967295 134512640 134569956 3221224400 3221214752 1131258066 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24520 13073 16 0 210286 0 vsize: 841208 [startup+330.028 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11715 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 31776 48 0 0 25 0 11 0 490291130 861396992 24541 4294967295 134512640 134569956 3221224400 3221214800 1131236967 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24541 13073 16 0 210286 0 vsize: 841208 [startup+340.028 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11716 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 32757 48 0 0 25 0 11 0 490291130 861396992 24564 4294967295 134512640 134569956 3221224400 3221214800 1131257907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24564 13073 16 0 210286 0 vsize: 841208 [startup+350.029 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11716 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 33721 48 0 0 25 0 11 0 490291130 861396992 24569 4294967295 134512640 134569956 3221224400 3221214892 1131236915 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210302 24569 13073 16 0 210286 0 vsize: 841208 [startup+360.03 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11716 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 34684 48 0 0 25 0 11 0 490291130 861396992 24572 4294967295 134512640 134569956 3221224400 3221214800 1131258610 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24572 13073 16 0 210286 0 vsize: 841208 [startup+370.031 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11716 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 35672 49 0 0 25 0 11 0 490291130 861396992 24783 4294967295 134512640 134569956 3221224400 3221214800 1131257452 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210302 24783 13073 16 0 210286 0 vsize: 841208 [startup+380.031 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11716 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 36667 49 0 0 25 0 11 0 490291130 861396992 24789 4294967295 134512640 134569956 3221224400 3221214672 1131387382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24789 13073 16 0 210286 0 vsize: 841208 [startup+390.134 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11716 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 37670 50 0 0 25 0 11 0 490291130 861396992 24796 4294967295 134512640 134569956 3221224400 3221214600 1131523886 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24796 13073 16 0 210286 0 vsize: 841208 [startup+400.134 s] Raw data (loadavg): 1.00 0.98 0.96 2/64 11716 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 38664 50 0 0 25 0 11 0 490291130 861396992 24797 4294967295 134512640 134569956 3221224400 3221214512 1131296954 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24797 13073 16 0 210286 0 vsize: 841208 [startup+410.135 s] Raw data (loadavg): 1.08 0.99 0.96 2/64 11716 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 39660 50 0 0 25 0 11 0 490291130 861396992 24802 4294967295 134512640 134569956 3221224400 3221214496 1131297065 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24802 13073 16 0 210286 0 vsize: 841208 [startup+420.136 s] Raw data (loadavg): 1.07 0.99 0.96 2/64 11716 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 40656 50 0 0 25 0 11 0 490291130 861396992 24825 4294967295 134512640 134569956 3221224400 3221214600 1131513635 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24825 13073 16 0 210286 0 vsize: 841208 [startup+430.137 s] Raw data (loadavg): 1.06 0.99 0.96 2/64 11716 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 41654 50 0 0 25 0 11 0 490291130 861396992 24833 4294967295 134512640 134569956 3221224400 3221214512 1131297793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210302 24833 13073 16 0 210286 0 vsize: 841208 [startup+440.14 s] Raw data (loadavg): 1.05 0.99 0.96 2/64 11716 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 42652 50 0 0 25 0 11 0 490291130 861396992 24833 4294967295 134512640 134569956 3221224400 3221214616 1131464124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24833 13073 16 0 210286 0 vsize: 841208 [startup+450.14 s] Raw data (loadavg): 1.04 0.99 0.96 2/64 11716 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 43649 50 0 0 25 0 11 0 490291130 861396992 24834 4294967295 134512640 134569956 3221224400 3221214512 1131297335 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210302 24834 13073 16 0 210286 0 vsize: 841208 [startup+460.141 s] Raw data (loadavg): 1.03 0.99 0.96 2/64 11716 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 44647 50 0 0 25 0 11 0 490291130 861396992 24834 4294967295 134512640 134569956 3221224400 3221214616 1131464191 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210302 24834 13073 16 0 210286 0 vsize: 841208 [startup+470.142 s] Raw data (loadavg): 1.03 0.99 0.96 2/64 11716 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 45645 50 0 0 25 0 11 0 490291130 861396992 24834 4294967295 134512640 134569956 3221224400 3221214512 1131296909 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24834 13073 16 0 210286 0 vsize: 841208 [startup+480.142 s] Raw data (loadavg): 1.02 0.99 0.96 2/64 11716 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 46644 50 0 0 25 0 11 0 490291130 861396992 24834 4294967295 134512640 134569956 3221224400 3221214512 1131297492 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24834 13073 16 0 210286 0 vsize: 841208 [startup+490.143 s] Raw data (loadavg): 1.02 0.99 0.96 2/64 11716 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 47629 51 0 0 24 0 11 0 490291130 861396992 24834 4294967295 134512640 134569956 3221224400 3221214416 1080019747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210302 24834 13073 16 0 210286 0 vsize: 841208 [startup+500.143 s] Raw data (loadavg): 1.02 0.99 0.96 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 48584 51 0 0 25 0 11 0 490291130 863494144 25386 4294967295 134512640 134569956 3221224400 3221214752 1131257975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25386 13073 16 0 210798 0 vsize: 843256 [startup+510.144 s] Raw data (loadavg): 1.01 0.99 0.96 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 49533 51 0 0 24 0 11 0 490291130 863494144 25386 4294967295 134512640 134569956 3221224400 3221214752 1131258772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25386 13073 16 0 210798 0 vsize: 843256 [startup+520.144 s] Raw data (loadavg): 1.01 0.99 0.96 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 50492 52 0 0 25 0 11 0 490291130 863494144 25493 4294967295 134512640 134569956 3221224400 3221214752 1131258291 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210814 25493 13073 16 0 210798 0 vsize: 843256 [startup+530.145 s] Raw data (loadavg): 1.01 0.99 0.96 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 51477 52 0 0 25 0 11 0 490291130 863494144 25709 4294967295 134512640 134569956 3221224400 3221214752 1131257738 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25709 13073 16 0 210798 0 vsize: 843256 [startup+540.145 s] Raw data (loadavg): 1.01 0.99 0.96 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 52470 52 0 0 25 0 11 0 490291130 863494144 25719 4294967295 134512640 134569956 3221224400 3221214752 1131257934 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25719 13073 16 0 210798 0 vsize: 843256 [startup+550.146 s] Raw data (loadavg): 1.00 0.99 0.96 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 53464 53 0 0 25 0 11 0 490291130 863494144 25731 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25731 13073 16 0 210798 0 vsize: 843256 [startup+560.147 s] Raw data (loadavg): 1.00 0.99 0.96 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 54458 53 0 0 25 0 11 0 490291130 863494144 25739 4294967295 134512640 134569956 3221224400 3221214752 1131258622 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25739 13073 16 0 210798 0 vsize: 843256 [startup+570.154 s] Raw data (loadavg): 1.00 0.99 0.96 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 55451 54 0 0 25 0 11 0 490291130 863494144 25749 4294967295 134512640 134569956 3221224400 3221214752 1131257795 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25749 13073 16 0 210798 0 vsize: 843256 [startup+580.154 s] Raw data (loadavg): 1.00 0.99 0.96 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 56444 54 0 0 25 0 11 0 490291130 863494144 25755 4294967295 134512640 134569956 3221224400 3221214848 1131351396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210814 25755 13073 16 0 210798 0 vsize: 843256 [startup+590.154 s] Raw data (loadavg): 1.00 0.99 0.96 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 57437 54 0 0 25 0 11 0 490291130 863494144 25766 4294967295 134512640 134569956 3221224400 3221214752 1131257375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25766 13073 16 0 210798 0 vsize: 843256 [startup+600.155 s] Raw data (loadavg): 1.07 1.01 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 58433 54 0 0 25 0 11 0 490291130 863494144 25781 4294967295 134512640 134569956 3221224400 3221214752 1131258610 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25781 13073 16 0 210798 0 vsize: 843256 [startup+610.16 s] Raw data (loadavg): 1.06 1.01 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 59426 54 0 0 25 0 11 0 490291130 863494144 25782 4294967295 134512640 134569956 3221224400 3221214752 1131258241 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25782 13073 16 0 210798 0 vsize: 843256 [startup+620.159 s] Raw data (loadavg): 1.05 1.01 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 60416 55 0 0 25 0 11 0 490291130 863494144 25782 4294967295 134512640 134569956 3221224400 3221214752 1131257379 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25782 13073 16 0 210798 0 vsize: 843256 [startup+630.16 s] Raw data (loadavg): 1.04 1.01 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 61406 55 0 0 25 0 11 0 490291130 863494144 25785 4294967295 134512640 134569956 3221224400 3221214752 1131257926 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25785 13073 16 0 210798 0 vsize: 843256 [startup+640.161 s] Raw data (loadavg): 1.04 1.01 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 62399 55 0 0 25 0 11 0 490291130 863494144 25813 4294967295 134512640 134569956 3221224400 3221214800 1131236927 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25813 13073 16 0 210798 0 vsize: 843256 [startup+650.168 s] Raw data (loadavg): 1.03 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 63390 56 0 0 25 0 11 0 490291130 863494144 25815 4294967295 134512640 134569956 3221224400 3221214752 1131257952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25815 13073 16 0 210798 0 vsize: 843256 [startup+660.169 s] Raw data (loadavg): 1.02 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 64382 56 0 0 25 0 11 0 490291130 863494144 25839 4294967295 134512640 134569956 3221224400 3221214752 1131257786 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25839 13073 16 0 210798 0 vsize: 843256 [startup+670.17 s] Raw data (loadavg): 1.02 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 65374 57 0 0 25 0 11 0 490291130 863494144 25862 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25862 13073 16 0 210798 0 vsize: 843256 [startup+680.171 s] Raw data (loadavg): 1.02 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 66368 57 0 0 25 0 11 0 490291130 863494144 25871 4294967295 134512640 134569956 3221224400 3221214752 1131257713 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25871 13073 16 0 210798 0 vsize: 843256 [startup+690.171 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 67364 58 0 0 25 0 11 0 490291130 863494144 25886 4294967295 134512640 134569956 3221224400 3221214752 1131257484 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25886 13073 16 0 210798 0 vsize: 843256 [startup+700.172 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) S 11698 32461 32460 0 -1 0 18081 3 1 0 68359 58 0 0 23 0 11 0 490291130 863494144 25891 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25891 13073 16 0 210798 0 vsize: 843256 [startup+710.173 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 69353 59 0 0 25 0 11 0 490291130 863494144 25893 4294967295 134512640 134569956 3221224400 3221214800 1131237041 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25893 13073 16 0 210798 0 vsize: 843256 [startup+720.174 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 70346 59 0 0 25 0 11 0 490291130 863494144 25894 4294967295 134512640 134569956 3221224400 3221214752 1131257371 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25894 13073 16 0 210798 0 vsize: 843256 [startup+730.173 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 71343 60 0 0 25 0 11 0 490291130 863494144 25909 4294967295 134512640 134569956 3221224400 3221214624 1131407564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25909 13073 16 0 210798 0 vsize: 843256 [startup+740.174 s] Raw data (loadavg): 1.08 1.02 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 72337 60 0 0 25 0 11 0 490291130 863494144 25910 4294967295 134512640 134569956 3221224400 3221214496 1131297026 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25910 13073 16 0 210798 0 vsize: 843256 [startup+750.174 s] Raw data (loadavg): 1.07 1.02 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 73330 60 0 0 25 0 11 0 490291130 863494144 25913 4294967295 134512640 134569956 3221224400 3221214752 1131258075 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25913 13073 16 0 210798 0 vsize: 843256 [startup+760.174 s] Raw data (loadavg): 1.06 1.01 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 74321 61 0 0 25 0 11 0 490291130 863494144 25919 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25919 13073 16 0 210798 0 vsize: 843256 [startup+770.175 s] Raw data (loadavg): 1.05 1.01 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 75311 61 0 0 25 0 11 0 490291130 863494144 25952 4294967295 134512640 134569956 3221224400 3221214752 1131257379 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25952 13073 16 0 210798 0 vsize: 843256 [startup+780.175 s] Raw data (loadavg): 1.04 1.01 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 76306 62 0 0 25 0 11 0 490291130 863494144 25958 4294967295 134512640 134569956 3221224400 3221214752 1131257406 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25958 13073 16 0 210798 0 vsize: 843256 [startup+790.176 s] Raw data (loadavg): 1.03 1.01 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 77299 62 0 0 25 0 11 0 490291130 863494144 25972 4294967295 134512640 134569956 3221224400 3221214844 1131309472 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25972 13073 16 0 210798 0 vsize: 843256 [startup+800.176 s] Raw data (loadavg): 1.03 1.01 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 78293 62 0 0 25 0 11 0 490291130 863494144 25982 4294967295 134512640 134569956 3221224400 3221214752 1131257371 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25982 13073 16 0 210798 0 vsize: 843256 [startup+810.178 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 79288 63 0 0 25 0 11 0 490291130 863494144 25993 4294967295 134512640 134569956 3221224400 3221214752 1131258679 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 25993 13073 16 0 210798 0 vsize: 843256 [startup+820.178 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 80281 63 0 0 25 0 11 0 490291130 863494144 26003 4294967295 134512640 134569956 3221224400 3221214800 1131237115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26003 13073 16 0 210798 0 vsize: 843256 [startup+830.178 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 81274 64 0 0 25 0 11 0 490291130 863494144 26003 4294967295 134512640 134569956 3221224400 3221214800 1131237041 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26003 13073 16 0 210798 0 vsize: 843256 [startup+840.179 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 82268 64 0 0 25 0 11 0 490291130 863494144 26021 4294967295 134512640 134569956 3221224400 3221214800 1131237041 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26021 13073 16 0 210798 0 vsize: 843256 [startup+850.18 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 83264 64 0 0 25 0 11 0 490291130 863494144 26030 4294967295 134512640 134569956 3221224400 3221214752 1131258027 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26030 13073 16 0 210798 0 vsize: 843256 [startup+860.181 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 84257 65 0 0 25 0 11 0 490291130 863494144 26034 4294967295 134512640 134569956 3221224400 3221214800 1131236930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26034 13073 16 0 210798 0 vsize: 843256 [startup+870.182 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 85249 65 0 0 25 0 11 0 490291130 863494144 26058 4294967295 134512640 134569956 3221224400 3221214752 1131257371 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26058 13073 16 0 210798 0 vsize: 843256 [startup+880.182 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 86242 65 0 0 25 0 11 0 490291130 863494144 26088 4294967295 134512640 134569956 3221224400 3221214800 1131236930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26088 13073 16 0 210798 0 vsize: 843256 [startup+890.182 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 87238 65 0 0 25 0 11 0 490291130 863494144 26095 4294967295 134512640 134569956 3221224400 3221214752 1131257452 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26095 13073 16 0 210798 0 vsize: 843256 [startup+900.182 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 88232 65 0 0 25 0 11 0 490291130 863494144 26105 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26105 13073 16 0 210798 0 vsize: 843256 [startup+910.184 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 89225 66 0 0 25 0 11 0 490291130 863494144 26131 4294967295 134512640 134569956 3221224400 3221214800 1131237091 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26131 13073 16 0 210798 0 vsize: 843256 [startup+920.185 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 90219 66 0 0 25 0 11 0 490291130 863494144 26141 4294967295 134512640 134569956 3221224400 3221214752 1131258657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26141 13073 16 0 210798 0 vsize: 843256 [startup+930.185 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 91215 67 0 0 25 0 11 0 490291130 863494144 26160 4294967295 134512640 134569956 3221224400 3221214752 1131257801 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26160 13073 16 0 210798 0 vsize: 843256 [startup+940.185 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 92209 67 0 0 25 0 11 0 490291130 863494144 26163 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26163 13073 16 0 210798 0 vsize: 843256 [startup+950.186 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 93203 67 0 0 25 0 11 0 490291130 863494144 26171 4294967295 134512640 134569956 3221224400 3221214752 1131257895 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26171 13073 16 0 210798 0 vsize: 843256 [startup+960.186 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 94197 68 0 0 25 0 11 0 490291130 863494144 26180 4294967295 134512640 134569956 3221224400 3221214848 1131350824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26180 13073 16 0 210798 0 vsize: 843256 [startup+970.187 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 95192 68 0 0 25 0 11 0 490291130 863494144 26194 4294967295 134512640 134569956 3221224400 3221214752 1131258676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26194 13073 16 0 210798 0 vsize: 843256 [startup+980.187 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 96188 68 0 0 25 0 11 0 490291130 863494144 26203 4294967295 134512640 134569956 3221224400 3221214752 1131257388 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26203 13073 16 0 210798 0 vsize: 843256 [startup+990.187 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 97181 69 0 0 25 0 11 0 490291130 863494144 26213 4294967295 134512640 134569956 3221224400 3221214848 1131350506 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26213 13073 16 0 210798 0 vsize: 843256 [startup+1000.19 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 98175 69 0 0 25 0 11 0 490291130 863494144 26213 4294967295 134512640 134569956 3221224400 3221214800 1131236985 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26213 13073 16 0 210798 0 vsize: 843256 [startup+1010.19 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 99170 70 0 0 25 0 11 0 490291130 863494144 26226 4294967295 134512640 134569956 3221224400 3221214800 1131236930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26226 13073 16 0 210798 0 vsize: 843256 [startup+1020.19 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 100165 70 0 0 25 0 11 0 490291130 863494144 26232 4294967295 134512640 134569956 3221224400 3221214752 1131257729 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26232 13073 16 0 210798 0 vsize: 843256 [startup+1030.19 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 101159 71 0 0 25 0 11 0 490291130 863494144 26233 4294967295 134512640 134569956 3221224400 3221214752 1131257890 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26233 13073 16 0 210798 0 vsize: 843256 [startup+1040.19 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 102153 71 0 0 25 0 11 0 490291130 863494144 26234 4294967295 134512640 134569956 3221224400 3221214752 1131258267 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26234 13073 16 0 210798 0 vsize: 843256 [startup+1050.19 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 103148 72 0 0 25 0 11 0 490291130 863494144 26253 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26253 13073 16 0 210798 0 vsize: 843256 [startup+1060.19 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 104143 72 0 0 25 0 11 0 490291130 863494144 26261 4294967295 134512640 134569956 3221224400 3221214752 1131258107 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26261 13073 16 0 210798 0 vsize: 843256 [startup+1070.19 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 105137 73 0 0 25 0 11 0 490291130 863494144 26267 4294967295 134512640 134569956 3221224400 3221214824 1131309553 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26267 13073 16 0 210798 0 vsize: 843256 [startup+1080.19 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 106130 73 0 0 25 0 11 0 490291130 863494144 26269 4294967295 134512640 134569956 3221224400 3221214824 1131309553 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26269 13073 16 0 210798 0 vsize: 843256 [startup+1090.19 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 107125 74 0 0 25 0 11 0 490291130 863494144 26286 4294967295 134512640 134569956 3221224400 3221214848 1131350816 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26286 13073 16 0 210798 0 vsize: 843256 [startup+1100.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 108121 74 0 0 25 0 11 0 490291130 863494144 26290 4294967295 134512640 134569956 3221224400 3221214800 1131236927 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26290 13073 16 0 210798 0 vsize: 843256 [startup+1110.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 109114 74 0 0 25 0 11 0 490291130 863494144 26293 4294967295 134512640 134569956 3221224400 3221214752 1131258027 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26293 13073 16 0 210798 0 vsize: 843256 [startup+1120.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 110109 75 0 0 25 0 11 0 490291130 863494144 26293 4294967295 134512640 134569956 3221224400 3221214752 1131257895 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26293 13073 16 0 210798 0 vsize: 843256 [startup+1130.31 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 111114 75 0 0 25 0 11 0 490291130 863494144 26306 4294967295 134512640 134569956 3221224400 3221214824 1131309523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26306 13073 16 0 210798 0 vsize: 843256 [startup+1140.31 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 112111 75 0 0 25 0 11 0 490291130 863494144 26310 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26310 13073 16 0 210798 0 vsize: 843256 [startup+1150.33 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 113107 76 0 0 25 0 11 0 490291130 863494144 26310 4294967295 134512640 134569956 3221224400 3221214752 1131257452 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26310 13073 16 0 210798 0 vsize: 843256 [startup+1160.33 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 114100 76 0 0 25 0 11 0 490291130 863494144 26325 4294967295 134512640 134569956 3221224400 3221214800 1131237097 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26325 13073 16 0 210798 0 vsize: 843256 [startup+1170.33 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 115093 77 0 0 25 0 11 0 490291130 863494144 26352 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26352 13073 16 0 210798 0 vsize: 843256 [startup+1180.34 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 116088 78 0 0 25 0 11 0 490291130 863494144 26365 4294967295 134512640 134569956 3221224400 3221214752 1131257404 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26365 13073 16 0 210798 0 vsize: 843256 [startup+1190.34 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 117084 78 0 0 25 0 11 0 490291130 863494144 26366 4294967295 134512640 134569956 3221224400 3221214800 1131236967 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26366 13073 16 0 210798 0 vsize: 843256 [startup+1200.34 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 118080 79 0 0 25 0 11 0 490291130 863494144 26374 4294967295 134512640 134569956 3221224400 3221214752 1131258129 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26374 13073 16 0 210798 0 vsize: 843256 [startup+1210.34 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 119075 79 0 0 25 0 11 0 490291130 863494144 26383 4294967295 134512640 134569956 3221224400 3221214800 1131236930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26383 13073 16 0 210798 0 vsize: 843256 [startup+1220.34 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11717 Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 120068 79 0 0 25 0 11 0 490291130 863494144 26398 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210814 26398 13073 16 0 210798 0 vsize: 843256 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.4 s] Raw data (loadavg): 1.00 1.00 0.97 1/54 11719 Raw data (stat): 11699 (java) Z 11698 32461 32460 0 -1 1036 18081 12873 1 0 120068 79 2916 45 25 0 1 0 490291130 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.4 CPU time (s): 1231.1 CPU user time (s): 1229.85 CPU system time (s): 1.24881 CPU usage (%): 100.877 Max. virtual memory (Kb): 843256 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####