Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos17.opb |
MD5SUM | 0094639e675238eae16e44b5d375cf2e |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2269138 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1610 |
Biggest coefficient in the objective function | 3457920 |
Number of bits for the biggest coefficient in the objective function | 22 |
Sum of the numbers in the objective function | 13794172 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 1638400000000 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 39322360302947 |
Number of bits of the biggest sum of numbers | 46 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1228.72 |
Number of variables | 2300 |
Total number of constraints | 971 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 300 |
Number of constraints which are nor clauses,nor cardinality constraints | 671 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 520 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-04-21 00:38:19 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19613 boxname=wulflinc17 idbench=1509 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 0094639e675238eae16e44b5d375cf2e /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-neos17.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-neos17.opb IDLAUNCH: 19613 /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: 562920 kB Buffers: 34032 kB Cached: 405132 kB SwapCached: 48 kB Active: 154352 kB Inactive: 287812 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 562668 kB SwapTotal: 2097892 kB SwapFree: 2097840 kB Dirty: 40 kB Writeback: 0 kB Mapped: 7036 kB Slab: 23940 kB Committed_AS: 63820 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 00:59:02 (client local time) WITH STATUS 143 IN 1248.25 SECONDS stats: 19613 7 1248.25 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-neos17.opb c reading problem c [nbvar=2300] c [nbconstr=971] c time 7.662 c #vars 2300 c #clauses 672 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=4217984 c Current CPU time (ms) : 12.229 c starts : 1 c conflicts : 1 c decisions : 3833 c propagations : 4280 c inspects : 8866 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1 c root simplifications : 2 c c CURRENT OPTIMUM=4216746 c Current CPU time (ms) : 17.551 c starts : 2 c conflicts : 2 c decisions : 5160 c propagations : 6287 c inspects : 12632 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2 c root simplifications : 3 c c CURRENT OPTIMUM=4213248 c Current CPU time (ms) : 24.172 c starts : 3 c conflicts : 3 c decisions : 6631 c propagations : 8616 c inspects : 24337 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 3 c root simplifications : 5 c c CURRENT OPTIMUM=4212010 c Current CPU time (ms) : 41.034 c starts : 4 c conflicts : 4 c decisions : 7951 c propagations : 10620 c inspects : 28134 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 4 c root simplifications : 6 c c CURRENT OPTIMUM=4193975 c Current CPU time (ms) : 351.699 c starts : 5 c conflicts : 33 c decisions : 14301 c propagations : 19268 c inspects : 77796 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 33 c root simplifications : 9 #### 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.70 0.88 0.88 2/55 20169 Raw data (stat): 20169 (runsolver) R 20168 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540827880 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.0002 s] Raw data (loadavg): 0.97 0.94 0.90 2/65 20179 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18067 0 1 0 712 41 0 0 25 0 11 0 540827880 862560256 22049 4294967295 134512640 134569956 3221224400 3221208312 1077065810 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210586 22049 13073 16 0 210570 0 vsize: 842344 [startup+20.0005 s] Raw data (loadavg): 1.05 0.95 0.91 2/65 20181 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18082 4 1 0 1545 42 0 0 25 0 11 0 540827880 862236672 23355 4294967295 134512640 134569956 3221224400 3221214764 1131286611 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210507 23355 13073 16 0 210491 0 vsize: 842028 [startup+30.0011 s] Raw data (loadavg): 1.04 0.96 0.91 2/65 20182 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18083 4 1 0 2498 42 0 0 25 0 11 0 540827880 867090432 24547 4294967295 134512640 134569956 3221224400 3221214824 1131468506 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211692 24547 13073 16 0 211676 0 vsize: 846768 [startup+40.0011 s] Raw data (loadavg): 1.04 0.96 0.91 2/65 20182 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18083 4 1 0 3466 42 0 0 25 0 11 0 540827880 863662080 23761 4294967295 134512640 134569956 3221224400 3221214536 1130915842 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210855 23761 13073 16 0 210839 0 vsize: 843420 [startup+50.0014 s] Raw data (loadavg): 1.03 0.96 0.91 2/65 20183 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 4424 42 0 0 25 0 11 0 540827880 862203904 23566 4294967295 134512640 134569956 3221224400 3221214528 1131525038 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 23566 13073 16 0 210483 0 vsize: 841996 [startup+60.001 s] Raw data (loadavg): 1.03 0.96 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 5404 42 0 0 25 0 11 0 540827880 862203904 23660 4294967295 134512640 134569956 3221224400 3221214576 1131451174 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 23660 13073 16 0 210483 0 vsize: 841996 [startup+70.001 s] Raw data (loadavg): 1.02 0.96 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 6386 42 0 0 24 0 11 0 540827880 862203904 23739 4294967295 134512640 134569956 3221224400 3221214576 1131301042 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 23739 13073 16 0 210483 0 vsize: 841996 [startup+80.0012 s] Raw data (loadavg): 1.02 0.96 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 7369 42 0 0 24 0 11 0 540827880 862203904 23781 4294967295 134512640 134569956 3221224400 3221214680 1131287037 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 23781 13073 16 0 210483 0 vsize: 841996 [startup+90.0008 s] Raw data (loadavg): 1.01 0.96 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 8350 43 0 0 25 0 11 0 540827880 862203904 23784 4294967295 134512640 134569956 3221224400 3221214576 1131301517 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 23784 13073 16 0 210483 0 vsize: 841996 [startup+100.002 s] Raw data (loadavg): 1.01 0.96 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 9332 43 0 0 25 0 11 0 540827880 862203904 23786 4294967295 134512640 134569956 3221224400 3221214576 1131301287 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 23786 13073 16 0 210483 0 vsize: 841996 [startup+110.002 s] Raw data (loadavg): 1.01 0.96 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 10322 43 0 0 25 0 11 0 540827880 862203904 23883 4294967295 134512640 134569956 3221224400 3221214568 1131515607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 23883 13073 16 0 210483 0 vsize: 841996 [startup+120.002 s] Raw data (loadavg): 1.01 0.96 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 11312 43 0 0 24 0 11 0 540827880 862203904 23883 4294967295 134512640 134569956 3221224400 3221214576 1131301221 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 23883 13073 16 0 210483 0 vsize: 841996 [startup+130.002 s] Raw data (loadavg): 1.01 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 12300 43 0 0 25 0 11 0 540827880 862203904 23883 4294967295 134512640 134569956 3221224400 3221214576 1131301223 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 23883 13073 16 0 210483 0 vsize: 841996 [startup+140.001 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 13282 43 0 0 25 0 11 0 540827880 862203904 23888 4294967295 134512640 134569956 3221224400 3221214576 1131301223 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 23888 13073 16 0 210483 0 vsize: 841996 [startup+150.002 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 14266 43 0 0 25 0 11 0 540827880 862203904 23937 4294967295 134512640 134569956 3221224400 3221214576 1131301223 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 23937 13073 16 0 210483 0 vsize: 841996 [startup+160.002 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 15250 43 0 0 25 0 11 0 540827880 862203904 23951 4294967295 134512640 134569956 3221224400 3221214760 1131433221 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 23951 13073 16 0 210483 0 vsize: 841996 [startup+170.001 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 16233 43 0 0 25 0 11 0 540827880 862203904 23989 4294967295 134512640 134569956 3221224400 3221214668 1131323104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 23989 13073 16 0 210483 0 vsize: 841996 [startup+180.001 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 17214 43 0 0 25 0 11 0 540827880 862203904 24024 4294967295 134512640 134569956 3221224400 3221214680 1131286625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 24024 13073 16 0 210483 0 vsize: 841996 [startup+190.001 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 18199 43 0 0 25 0 11 0 540827880 862203904 24096 4294967295 134512640 134569956 3221224400 3221214672 1131657777 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 24096 13073 16 0 210483 0 vsize: 841996 [startup+200.002 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 19183 43 0 0 25 0 11 0 540827880 862203904 24121 4294967295 134512640 134569956 3221224400 3221214576 1131301287 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 24121 13073 16 0 210483 0 vsize: 841996 [startup+210.002 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 20167 43 0 0 25 0 11 0 540827880 862203904 24176 4294967295 134512640 134569956 3221224400 3221214824 1131468908 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 24176 13073 16 0 210483 0 vsize: 841996 [startup+220.002 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 21152 43 0 0 25 0 11 0 540827880 862203904 24176 4294967295 134512640 134569956 3221224400 3221214768 1131383040 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 24176 13073 16 0 210483 0 vsize: 841996 [startup+230.002 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 22137 44 0 0 25 0 11 0 540827880 862203904 24261 4294967295 134512640 134569956 3221224400 3221214856 1131443896 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 24261 13073 16 0 210483 0 vsize: 841996 [startup+240.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 23125 44 0 0 25 0 11 0 540827880 862203904 24272 4294967295 134512640 134569956 3221224400 3221214672 1131657775 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 24272 13073 16 0 210483 0 vsize: 841996 [startup+250.112 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 24121 44 0 0 25 0 11 0 540827880 862203904 24306 4294967295 134512640 134569956 3221224400 3221214576 1131301067 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 24306 13073 16 0 210483 0 vsize: 841996 [startup+260.111 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 25108 44 0 0 25 0 11 0 540827880 862203904 24339 4294967295 134512640 134569956 3221224400 3221214576 1131301287 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 24339 13073 16 0 210483 0 vsize: 841996 [startup+270.111 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 26094 44 0 0 25 0 11 0 540827880 862203904 24363 4294967295 134512640 134569956 3221224400 3221214576 1131301155 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 24363 13073 16 0 210483 0 vsize: 841996 [startup+280.112 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 27079 44 0 0 25 0 11 0 540827880 862203904 24396 4294967295 134512640 134569956 3221224400 3221214768 1131382661 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 24396 13073 16 0 210483 0 vsize: 841996 [startup+290.115 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) S 20168 20838 20837 0 -1 0 18084 4 1 0 28055 44 0 0 25 0 11 0 540827880 862203904 24413 4294967295 134512640 134569956 3221224400 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 24413 13073 16 0 210483 0 vsize: 841996 [startup+300.116 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 29017 44 0 0 25 0 11 0 540827880 862203904 24536 4294967295 134512640 134569956 3221224400 3221214668 1131303363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 24536 13073 16 0 210483 0 vsize: 841996 [startup+310.116 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 29974 44 0 0 25 0 11 0 540827880 862203904 24671 4294967295 134512640 134569956 3221224400 3221214680 1131286756 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 24671 13073 16 0 210483 0 vsize: 841996 [startup+320.116 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 30934 44 0 0 25 0 11 0 540827880 862203904 24811 4294967295 134512640 134569956 3221224400 3221214668 1131323116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 24811 13073 16 0 210483 0 vsize: 841996 [startup+330.115 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 31904 44 0 0 25 0 11 0 540827880 862203904 24895 4294967295 134512640 134569956 3221224400 3221214768 1131380651 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 24895 13073 16 0 210483 0 vsize: 841996 [startup+340.116 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 32886 44 0 0 25 0 11 0 540827880 862203904 25005 4294967295 134512640 134569956 3221224400 3221214576 1131301303 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 25005 13073 16 0 210483 0 vsize: 841996 [startup+350.117 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20185 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 33869 44 0 0 25 0 11 0 540827880 862203904 25093 4294967295 134512640 134569956 3221224400 3221214680 1131287246 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 25093 13073 16 0 210483 0 vsize: 841996 [startup+360.116 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 34853 45 0 0 25 0 11 0 540827880 862203904 25120 4294967295 134512640 134569956 3221224400 3221214576 1131301287 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 25120 13073 16 0 210483 0 vsize: 841996 [startup+370.12 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 35833 45 0 0 24 0 11 0 540827880 862203904 25152 4294967295 134512640 134569956 3221224400 3221214680 1131286640 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 25152 13073 16 0 210483 0 vsize: 841996 [startup+380.121 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 36806 45 0 0 25 0 11 0 540827880 862203904 25163 4294967295 134512640 134569956 3221224400 3221214648 1131424704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 25163 13073 16 0 210483 0 vsize: 841996 [startup+390.121 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 37771 45 0 0 24 0 11 0 540827880 862203904 25229 4294967295 134512640 134569956 3221224400 3221214576 1131301095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 25229 13073 16 0 210483 0 vsize: 841996 [startup+400.122 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 38744 45 0 0 24 0 11 0 540827880 862203904 25252 4294967295 134512640 134569956 3221224400 3221214576 1131301395 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 25252 13073 16 0 210483 0 vsize: 841996 [startup+410.122 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 39718 45 0 0 25 0 11 0 540827880 862203904 25369 4294967295 134512640 134569956 3221224400 3221214680 1131287145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 25369 13073 16 0 210483 0 vsize: 841996 [startup+420.122 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 40700 45 0 0 25 0 11 0 540827880 862203904 25503 4294967295 134512640 134569956 3221224400 3221214680 1131286721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 25503 13073 16 0 210483 0 vsize: 841996 [startup+430.122 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 41687 45 0 0 25 0 11 0 540827880 862203904 25552 4294967295 134512640 134569956 3221224400 3221214680 1131286979 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 25552 13073 16 0 210483 0 vsize: 841996 [startup+440.122 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 42672 45 0 0 25 0 11 0 540827880 862203904 25599 4294967295 134512640 134569956 3221224400 3221214680 1131287279 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 25599 13073 16 0 210483 0 vsize: 841996 [startup+450.123 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 43652 46 0 0 25 0 11 0 540827880 862203904 25607 4294967295 134512640 134569956 3221224400 3221214512 1131499919 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 25607 13073 16 0 210483 0 vsize: 841996 [startup+460.124 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 44621 46 0 0 25 0 11 0 540827880 862203904 25628 4294967295 134512640 134569956 3221224400 3221214680 1131286922 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 25628 13073 16 0 210483 0 vsize: 841996 [startup+470.124 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 45571 46 0 0 25 0 11 0 540827880 862203904 25802 4294967295 134512640 134569956 3221224400 3221214768 1131383047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 25802 13073 16 0 210483 0 vsize: 841996 [startup+480.124 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 46517 47 0 0 25 0 11 0 540827880 862203904 25963 4294967295 134512640 134569956 3221224400 3221214568 1131515246 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 25963 13073 16 0 210483 0 vsize: 841996 [startup+490.124 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 47466 47 0 0 25 0 11 0 540827880 862203904 26055 4294967295 134512640 134569956 3221224400 3221214648 1131323161 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 26055 13073 16 0 210483 0 vsize: 841996 [startup+500.124 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 48421 47 0 0 25 0 11 0 540827880 862203904 26296 4294967295 134512640 134569956 3221224400 3221214568 1131515699 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 26296 13073 16 0 210483 0 vsize: 841996 [startup+510.123 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 49391 48 0 0 25 0 11 0 540827880 862203904 26380 4294967295 134512640 134569956 3221224400 3221214576 1131301246 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 26380 13073 16 0 210483 0 vsize: 841996 [startup+520.124 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 50367 48 0 0 25 0 11 0 540827880 862203904 26431 4294967295 134512640 134569956 3221224400 3221214576 1131301221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 26431 13073 16 0 210483 0 vsize: 841996 [startup+530.124 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 51340 48 0 0 24 0 11 0 540827880 862203904 26515 4294967295 134512640 134569956 3221224400 3221214576 1131301095 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 26515 13073 16 0 210483 0 vsize: 841996 [startup+540.123 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 52314 49 0 0 25 0 11 0 540827880 862203904 26608 4294967295 134512640 134569956 3221224400 3221214668 1131323104 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 26608 13073 16 0 210483 0 vsize: 841996 [startup+550.124 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 53276 49 0 0 25 0 11 0 540827880 862203904 26638 4294967295 134512640 134569956 3221224400 3221214672 1131657783 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 26638 13073 16 0 210483 0 vsize: 841996 [startup+560.125 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 54232 50 0 0 25 0 11 0 540827880 862203904 26685 4294967295 134512640 134569956 3221224400 3221214568 1131515246 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 26685 13073 16 0 210483 0 vsize: 841996 [startup+570.124 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 55182 50 0 0 25 0 11 0 540827880 862203904 26773 4294967295 134512640 134569956 3221224400 3221214576 1131301223 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 26773 13073 16 0 210483 0 vsize: 841996 [startup+580.124 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 56150 50 0 0 25 0 11 0 540827880 862203904 26910 4294967295 134512640 134569956 3221224400 3221214672 1131657775 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 26910 13073 16 0 210483 0 vsize: 841996 [startup+590.124 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 57104 51 0 0 24 0 11 0 540827880 862203904 27054 4294967295 134512640 134569956 3221224400 3221214576 1131301287 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 27054 13073 16 0 210483 0 vsize: 841996 [startup+600.125 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 58070 51 0 0 25 0 11 0 540827880 862203904 27195 4294967295 134512640 134569956 3221224400 3221214768 1131382649 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 27195 13073 16 0 210483 0 vsize: 841996 [startup+610.125 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 59027 51 0 0 25 0 11 0 540827880 862203904 27195 4294967295 134512640 134569956 3221224400 3221214576 1131301095 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 27195 13073 16 0 210483 0 vsize: 841996 [startup+620.124 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 59988 51 0 0 25 0 11 0 540827880 862203904 27295 4294967295 134512640 134569956 3221224400 3221214576 1131301404 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 27295 13073 16 0 210483 0 vsize: 841996 [startup+630.125 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 60959 52 0 0 25 0 11 0 540827880 862203904 27380 4294967295 134512640 134569956 3221224400 3221214568 1131515699 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 27380 13073 16 0 210483 0 vsize: 841996 [startup+640.125 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 61934 52 0 0 25 0 11 0 540827880 862203904 27578 4294967295 134512640 134569956 3221224400 3221214856 1131443903 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 27578 13073 16 0 210483 0 vsize: 841996 [startup+650.125 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20188 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 62910 52 0 0 25 0 11 0 540827880 862203904 27620 4294967295 134512640 134569956 3221224400 3221214720 1131301147 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 27620 13073 16 0 210483 0 vsize: 841996 [startup+660.125 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 63873 53 0 0 25 0 11 0 540827880 862203904 27620 4294967295 134512640 134569956 3221224400 3221214576 1131301374 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 27620 13073 16 0 210483 0 vsize: 841996 [startup+670.125 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 64831 53 0 0 25 0 11 0 540827880 862203904 27659 4294967295 134512640 134569956 3221224400 3221214576 1131301480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 27659 13073 16 0 210483 0 vsize: 841996 [startup+680.125 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 65802 54 0 0 25 0 11 0 540827880 862203904 27788 4294967295 134512640 134569956 3221224400 3221214680 1131287813 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 27788 13073 16 0 210483 0 vsize: 841996 [startup+690.124 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 66762 54 0 0 25 0 11 0 540827880 862203904 27882 4294967295 134512640 134569956 3221224400 3221214648 1131323165 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 27882 13073 16 0 210483 0 vsize: 841996 [startup+700.126 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 67726 54 0 0 25 0 11 0 540827880 862203904 28017 4294967295 134512640 134569956 3221224400 3221214568 1131516363 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 28017 13073 16 0 210483 0 vsize: 841996 [startup+710.125 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 68696 55 0 0 25 0 11 0 540827880 862203904 28017 4294967295 134512640 134569956 3221224400 3221214856 1131443950 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 28017 13073 16 0 210483 0 vsize: 841996 [startup+720.125 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 69645 55 0 0 25 0 11 0 540827880 862203904 28156 4294967295 134512640 134569956 3221224400 3221214568 1131515810 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 28156 13073 16 0 210483 0 vsize: 841996 [startup+730.125 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 70590 55 0 0 25 0 11 0 540827880 862203904 28254 4294967295 134512640 134569956 3221224400 3221214672 1131655687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 28254 13073 16 0 210483 0 vsize: 841996 [startup+740.125 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 71528 55 0 0 25 0 11 0 540827880 862203904 28335 4294967295 134512640 134569956 3221224400 3221214680 1131287037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 28335 13073 16 0 210483 0 vsize: 841996 [startup+750.126 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 72473 56 0 0 25 0 11 0 540827880 862203904 28703 4294967295 134512640 134569956 3221224400 3221214680 1131286832 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 28703 13073 16 0 210483 0 vsize: 841996 [startup+760.126 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 73430 56 0 0 25 0 11 0 540827880 862203904 28796 4294967295 134512640 134569956 3221224400 3221214768 1131380651 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 28796 13073 16 0 210483 0 vsize: 841996 [startup+770.126 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 74385 56 0 0 25 0 11 0 540827880 862203904 28913 4294967295 134512640 134569956 3221224400 3221214784 1131425752 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 28913 13073 16 0 210483 0 vsize: 841996 [startup+780.127 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 75331 57 0 0 25 0 11 0 540827880 862203904 29081 4294967295 134512640 134569956 3221224400 3221214576 1131301303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 29081 13073 16 0 210483 0 vsize: 841996 [startup+790.127 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 76263 57 0 0 25 0 11 0 540827880 862203904 29102 4294967295 134512640 134569956 3221224400 3221214768 1131380447 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 29102 13073 16 0 210483 0 vsize: 841996 [startup+800.128 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 77195 57 0 0 25 0 11 0 540827880 862203904 29332 4294967295 134512640 134569956 3221224400 3221214824 1131467889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 29332 13073 16 0 210483 0 vsize: 841996 [startup+810.129 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 78133 57 0 0 25 0 11 0 540827880 862203904 29493 4294967295 134512640 134569956 3221224400 3221214680 1131286648 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 29493 13073 16 0 210483 0 vsize: 841996 [startup+820.129 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 79082 58 0 0 25 0 11 0 540827880 862203904 29707 4294967295 134512640 134569956 3221224400 3221214680 1131287254 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 29707 13073 16 0 210483 0 vsize: 841996 [startup+830.129 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 80042 58 0 0 25 0 11 0 540827880 862203904 29903 4294967295 134512640 134569956 3221224400 3221214680 1131287270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 29903 13073 16 0 210483 0 vsize: 841996 [startup+840.129 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 81019 59 0 0 25 0 11 0 540827880 862203904 30005 4294967295 134512640 134569956 3221224400 3221214648 1131406932 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30005 13073 16 0 210483 0 vsize: 841996 [startup+850.13 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 82003 59 0 0 25 0 11 0 540827880 862203904 30089 4294967295 134512640 134569956 3221224400 3221214768 1131380651 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30089 13073 16 0 210483 0 vsize: 841996 [startup+860.13 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 82984 59 0 0 25 0 11 0 540827880 862203904 30125 4294967295 134512640 134569956 3221224400 3221214680 1131287266 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30125 13073 16 0 210483 0 vsize: 841996 [startup+870.13 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 83967 60 0 0 25 0 11 0 540827880 862203904 30181 4294967295 134512640 134569956 3221224400 3221214768 1131382910 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30181 13073 16 0 210483 0 vsize: 841996 [startup+880.13 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 84958 60 0 0 25 0 11 0 540827880 862203904 30217 4294967295 134512640 134569956 3221224400 3221214680 1131287066 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30217 13073 16 0 210483 0 vsize: 841996 [startup+890.13 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 85952 60 0 0 25 0 11 0 540827880 862203904 30226 4294967295 134512640 134569956 3221224400 3221214680 1131287037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30226 13073 16 0 210483 0 vsize: 841996 [startup+900.13 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 86944 61 0 0 25 0 11 0 540827880 862203904 30243 4294967295 134512640 134569956 3221224400 3221214768 1131380447 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30243 13073 16 0 210483 0 vsize: 841996 [startup+910.131 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 87935 61 0 0 25 0 11 0 540827880 862203904 30245 4294967295 134512640 134569956 3221224400 3221214764 1131286604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30245 13073 16 0 210483 0 vsize: 841996 [startup+920.131 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 88927 61 0 0 25 0 11 0 540827880 862203904 30260 4294967295 134512640 134569956 3221224400 3221214680 1131287167 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30260 13073 16 0 210483 0 vsize: 841996 [startup+930.131 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 89919 61 0 0 25 0 11 0 540827880 862203904 30267 4294967295 134512640 134569956 3221224400 3221214768 1131380651 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30267 13073 16 0 210483 0 vsize: 841996 [startup+940.132 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 90910 62 0 0 25 0 11 0 540827880 862203904 30273 4294967295 134512640 134569956 3221224400 3221214768 1131383060 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30273 13073 16 0 210483 0 vsize: 841996 [startup+950.132 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20190 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 91903 62 0 0 25 0 11 0 540827880 862203904 30297 4294967295 134512640 134569956 3221224400 3221214768 1131380651 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210499 30297 13073 16 0 210483 0 vsize: 841996 [startup+960.133 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 92893 63 0 0 25 0 11 0 540827880 862203904 30298 4294967295 134512640 134569956 3221224400 3221214768 1131381746 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30298 13073 16 0 210483 0 vsize: 841996 [startup+970.132 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 93882 63 0 0 25 0 11 0 540827880 862203904 30316 4294967295 134512640 134569956 3221224400 3221214768 1131382537 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30316 13073 16 0 210483 0 vsize: 841996 [startup+980.133 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 94871 63 0 0 24 0 11 0 540827880 862203904 30333 4294967295 134512640 134569956 3221224400 3221214680 1131287037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30333 13073 16 0 210483 0 vsize: 841996 [startup+990.133 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 95860 63 0 0 25 0 11 0 540827880 862203904 30346 4294967295 134512640 134569956 3221224400 3221214680 1131286703 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30346 13073 16 0 210483 0 vsize: 841996 [startup+1000.13 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 96849 64 0 0 25 0 11 0 540827880 862203904 30378 4294967295 134512640 134569956 3221224400 3221214680 1131287218 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30378 13073 16 0 210483 0 vsize: 841996 [startup+1010.13 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 97838 64 0 0 25 0 11 0 540827880 862203904 30412 4294967295 134512640 134569956 3221224400 3221214680 1131286975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30412 13073 16 0 210483 0 vsize: 841996 [startup+1020.13 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 98829 65 0 0 25 0 11 0 540827880 862203904 30449 4294967295 134512640 134569956 3221224400 3221214680 1131286629 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30449 13073 16 0 210483 0 vsize: 841996 [startup+1030.13 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 99820 65 0 0 25 0 11 0 540827880 862203904 30461 4294967295 134512640 134569956 3221224400 3221214768 1131380716 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30461 13073 16 0 210483 0 vsize: 841996 [startup+1040.13 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 100812 65 0 0 25 0 11 0 540827880 862203904 30481 4294967295 134512640 134569956 3221224400 3221214768 1131380716 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30481 13073 16 0 210483 0 vsize: 841996 [startup+1050.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 101802 66 0 0 25 0 11 0 540827880 862203904 30501 4294967295 134512640 134569956 3221224400 3221214680 1131287254 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30501 13073 16 0 210483 0 vsize: 841996 [startup+1060.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 102791 66 0 0 25 0 11 0 540827880 862203904 30519 4294967295 134512640 134569956 3221224400 3221214680 1131287308 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30519 13073 16 0 210483 0 vsize: 841996 [startup+1070.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 103780 66 0 0 25 0 11 0 540827880 862203904 30519 4294967295 134512640 134569956 3221224400 3221214680 1131287293 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30519 13073 16 0 210483 0 vsize: 841996 [startup+1080.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 104767 67 0 0 25 0 11 0 540827880 862203904 30540 4294967295 134512640 134569956 3221224400 3221214680 1131287037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30540 13073 16 0 210483 0 vsize: 841996 [startup+1090.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 105755 67 0 0 25 0 11 0 540827880 862203904 30577 4294967295 134512640 134569956 3221224400 3221214680 1131287037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30577 13073 16 0 210483 0 vsize: 841996 [startup+1100.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 106743 67 0 0 25 0 11 0 540827880 862203904 30599 4294967295 134512640 134569956 3221224400 3221214680 1131287022 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30599 13073 16 0 210483 0 vsize: 841996 [startup+1110.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 107731 67 0 0 25 0 11 0 540827880 862203904 30616 4294967295 134512640 134569956 3221224400 3221214680 1131286946 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30616 13073 16 0 210483 0 vsize: 841996 [startup+1120.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 108718 67 0 0 25 0 11 0 540827880 862203904 30644 4294967295 134512640 134569956 3221224400 3221214680 1131287421 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30644 13073 16 0 210483 0 vsize: 841996 [startup+1130.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 109703 68 0 0 25 0 11 0 540827880 862203904 30686 4294967295 134512640 134569956 3221224400 3221214768 1131381746 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30686 13073 16 0 210483 0 vsize: 841996 [startup+1140.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 110688 68 0 0 25 0 11 0 540827880 862203904 30719 4294967295 134512640 134569956 3221224400 3221214680 1131286721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30719 13073 16 0 210483 0 vsize: 841996 [startup+1150.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 111669 68 0 0 24 0 11 0 540827880 862203904 30764 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30764 13073 16 0 210483 0 vsize: 841996 [startup+1160.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 112652 69 0 0 24 0 11 0 540827880 862203904 30789 4294967295 134512640 134569956 3221224400 3221214680 1131287037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30789 13073 16 0 210483 0 vsize: 841996 [startup+1170.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 113631 69 0 0 25 0 11 0 540827880 862203904 30845 4294967295 134512640 134569956 3221224400 3221214680 1131287482 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30845 13073 16 0 210483 0 vsize: 841996 [startup+1180.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 114614 69 0 0 25 0 11 0 540827880 862203904 30886 4294967295 134512640 134569956 3221224400 3221214680 1131287770 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30886 13073 16 0 210483 0 vsize: 841996 [startup+1190.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 115600 70 0 0 25 0 11 0 540827880 862203904 30899 4294967295 134512640 134569956 3221224400 3221214680 1131287174 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30899 13073 16 0 210483 0 vsize: 841996 [startup+1200.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 116587 70 0 0 25 0 11 0 540827880 862203904 30912 4294967295 134512640 134569956 3221224400 3221214680 1131287236 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30912 13073 16 0 210483 0 vsize: 841996 [startup+1210.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 117578 70 0 0 25 0 11 0 540827880 862203904 30966 4294967295 134512640 134569956 3221224400 3221214768 1131382952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30966 13073 16 0 210483 0 vsize: 841996 [startup+1220.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 118572 70 0 0 25 0 11 0 540827880 862203904 30978 4294967295 134512640 134569956 3221224400 3221214764 1131288134 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30978 13073 16 0 210483 0 vsize: 841996 [startup+1230.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 119566 71 0 0 25 0 11 0 540827880 862203904 30990 4294967295 134512640 134569956 3221224400 3221214768 1131382661 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 30990 13073 16 0 210483 0 vsize: 841996 [startup+1240.14 s] Raw data (loadavg): 1.00 0.97 0.91 2/65 20192 Raw data (stat): 20169 (java) R 20168 20838 20837 0 -1 0 18084 4 1 0 120561 71 0 0 25 0 11 0 540827880 862203904 31002 4294967295 134512640 134569956 3221224400 3221214768 1131382661 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210499 31002 13073 16 0 210483 0 vsize: 841996 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.25 s] Raw data (loadavg): 1.00 0.97 0.91 1/55 20194 Raw data (stat): 20169 (java) Z 20168 20838 20837 0 -1 1036 18084 17821 1 0 120565 71 4133 54 25 0 1 0 540827880 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.24 CPU time (s): 1248.25 CPU user time (s): 1246.99 CPU system time (s): 1.25781 CPU usage (%): 100.645 Max. virtual memory (Kb): 846768 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####