Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod010.opb |
MD5SUM | 4f0cac14ed3568050c2c57bb69fdb664 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6571 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2655 |
Biggest coefficient in the objective function | 266 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 489211 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 266 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 489211 |
Number of bits of the biggest sum of numbers | 19 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.78 |
Number of variables | 2655 |
Total number of constraints | 2801 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2800 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 2655 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc13 THE 2005-05-25 12:45:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21323 boxname=wulflinc13 idbench=1311 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 4f0cac14ed3568050c2c57bb69fdb664 /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-mod010.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-mod010.opb IDLAUNCH: 21323 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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.242 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 431464 kB Buffers: 34580 kB Cached: 547912 kB SwapCached: 608 kB Active: 76692 kB Inactive: 508376 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 431212 kB SwapTotal: 2097136 kB SwapFree: 2096148 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6156 kB Slab: 12536 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 13:06:38 (client local time) WITH STATUS 143 IN 1250.6 SECONDS stats: 21323 7 1250.6 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-mod010.opb c reading problem ... done. Time 5.808 ms. c #vars 2655 c #constraints 291 c starts : 3 c conflicts : 426 c decisions : 14106 c propagations : 54390 c inspects : 126019 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 425 c root simplifications : 8 s UNKNOWN c Total CPU time (ms) : 1239.123 #### 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.87 0.97 0.98 2/54 12910 Raw data (stat): 12910 (runsolver) R 12909 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780770529 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0006 s] Raw data (loadavg): 0.89 0.97 0.98 3/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18074 0 1 0 712 37 0 0 25 0 11 0 780770529 859000832 20638 4294967295 134512640 134569956 3221224368 3221214640 1131273995 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209717 20638 13086 16 0 209701 0 vsize: 838868 [startup+20.0012 s] Raw data (loadavg): 0.91 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18075 0 1 0 1636 37 0 0 25 0 11 0 780770529 858308608 22455 4294967295 134512640 134569956 3221224368 3221214560 1131326256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209548 22455 13086 16 0 209532 0 vsize: 838192 [startup+30.0025 s] Raw data (loadavg): 0.92 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) S 12909 1269 1268 0 -1 0 18075 0 1 0 2559 37 0 0 25 0 11 0 780770529 858210304 22904 4294967295 134512640 134569956 3221224368 3221213312 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 22904 13086 16 0 209508 0 vsize: 838096 [startup+40.0025 s] Raw data (loadavg): 0.93 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18075 0 1 0 3477 37 0 0 25 0 11 0 780770529 858210304 24057 4294967295 134512640 134569956 3221224368 3221214560 1131326493 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 24057 13086 16 0 209508 0 vsize: 838096 [startup+50.0027 s] Raw data (loadavg): 0.94 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18075 0 1 0 4419 37 0 0 25 0 11 0 780770529 858210304 24251 4294967295 134512640 134569956 3221224368 3221214688 1131284182 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 24251 13086 16 0 209508 0 vsize: 838096 [startup+60.0024 s] Raw data (loadavg): 0.95 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18075 0 1 0 5341 37 0 0 25 0 11 0 780770529 858210304 24922 4294967295 134512640 134569956 3221224368 3221214560 1131325598 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 24922 13086 16 0 209508 0 vsize: 838096 [startup+70.0024 s] Raw data (loadavg): 0.96 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18075 0 1 0 6276 37 0 0 25 0 11 0 780770529 858210304 25427 4294967295 134512640 134569956 3221224368 3221214560 1131326461 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 25427 13086 16 0 209508 0 vsize: 838096 [startup+80.0027 s] Raw data (loadavg): 0.96 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18075 0 1 0 7212 37 0 0 25 0 11 0 780770529 858210304 25651 4294967295 134512640 134569956 3221224368 3221214664 1131477078 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 25651 13086 16 0 209508 0 vsize: 838096 [startup+90.0028 s] Raw data (loadavg): 0.97 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18077 0 1 0 8147 37 0 0 25 0 11 0 780770529 858210304 25816 4294967295 134512640 134569956 3221224368 3221214560 1131326010 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 25816 13086 16 0 209508 0 vsize: 838096 [startup+100.002 s] Raw data (loadavg): 0.97 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18077 0 1 0 9074 38 0 0 25 0 11 0 780770529 858210304 26175 4294967295 134512640 134569956 3221224368 3221214688 1131284211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 26175 13086 16 0 209508 0 vsize: 838096 [startup+110.003 s] Raw data (loadavg): 0.98 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18077 0 1 0 10016 38 0 0 25 0 11 0 780770529 858210304 26542 4294967295 134512640 134569956 3221224368 3221214544 1131325631 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 26542 13086 16 0 209508 0 vsize: 838096 [startup+120.003 s] Raw data (loadavg): 0.98 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18077 0 1 0 10953 38 0 0 25 0 11 0 780770529 858210304 26629 4294967295 134512640 134569956 3221224368 3221214160 1085632292 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 26629 13086 16 0 209508 0 vsize: 838096 [startup+130.006 s] Raw data (loadavg): 0.98 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) S 12909 1269 1268 0 -1 0 18077 0 1 0 11883 38 0 0 25 0 11 0 780770529 858210304 27241 4294967295 134512640 134569956 3221224368 3221213248 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 27242 13086 16 0 209508 0 vsize: 838096 [startup+140.007 s] Raw data (loadavg): 0.98 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18077 0 1 0 12798 38 0 0 25 0 11 0 780770529 858210304 27627 4294967295 134512640 134569956 3221224368 3221214544 1131326039 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 27627 13086 16 0 209508 0 vsize: 838096 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18078 0 1 0 13735 38 0 0 25 0 11 0 780770529 858210304 27921 4294967295 134512640 134569956 3221224368 3221214648 1131476877 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 27921 13086 16 0 209508 0 vsize: 838096 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18078 0 1 0 14671 38 0 0 25 0 11 0 780770529 858210304 28032 4294967295 134512640 134569956 3221224368 3221214492 1130885124 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 28032 13086 16 0 209508 0 vsize: 838096 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18078 0 1 0 15608 39 0 0 25 0 11 0 780770529 858210304 28035 4294967295 134512640 134569956 3221224368 3221214496 1131284211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 28035 13086 16 0 209508 0 vsize: 838096 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18078 0 1 0 16556 39 0 0 25 0 11 0 780770529 858210304 28115 4294967295 134512640 134569956 3221224368 3221214616 1131407761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 28115 13086 16 0 209508 0 vsize: 838096 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18078 0 1 0 17514 39 0 0 25 0 11 0 780770529 858210304 28351 4294967295 134512640 134569956 3221224368 3221214512 1131284211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 28351 13086 16 0 209508 0 vsize: 838096 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 18482 40 0 0 25 0 11 0 780770529 858210304 28634 4294967295 134512640 134569956 3221224368 3221214496 1131284182 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 28634 13086 16 0 209508 0 vsize: 838096 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 19461 40 0 0 25 0 11 0 780770529 858210304 28762 4294967295 134512640 134569956 3221224368 3221214512 1131553084 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 28762 13086 16 0 209508 0 vsize: 838096 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 20454 40 0 0 25 0 11 0 780770529 858210304 28892 4294967295 134512640 134569956 3221224368 3221214544 1131326039 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 28892 13086 16 0 209508 0 vsize: 838096 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 21431 40 0 0 25 0 11 0 780770529 858210304 28893 4294967295 134512640 134569956 3221224368 3221214512 1131553322 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 28893 13086 16 0 209508 0 vsize: 838096 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 22409 41 0 0 25 0 11 0 780770529 858210304 28893 4294967295 134512640 134569956 3221224368 3221214592 1131329559 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 28893 13086 16 0 209508 0 vsize: 838096 [startup+250.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 23382 41 0 0 25 0 11 0 780770529 858210304 28893 4294967295 134512640 134569956 3221224368 3221214512 1131284713 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 28893 13086 16 0 209508 0 vsize: 838096 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 24355 41 0 0 25 0 11 0 780770529 858210304 28893 4294967295 134512640 134569956 3221224368 3221214572 1130885150 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 28893 13086 16 0 209508 0 vsize: 838096 [startup+270.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 25333 41 0 0 25 0 11 0 780770529 858210304 28895 4294967295 134512640 134569956 3221224368 3221214600 1131447247 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 28895 13086 16 0 209508 0 vsize: 838096 [startup+280.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) S 12909 1269 1268 0 -1 0 18079 0 1 0 26307 41 0 0 25 0 11 0 780770529 858210304 29080 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29080 13086 16 0 209508 0 vsize: 838096 [startup+290.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 27295 42 0 0 25 0 11 0 780770529 858210304 29115 4294967295 134512640 134569956 3221224368 3221214600 1131447190 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 29115 13086 16 0 209508 0 vsize: 838096 [startup+300.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 28280 42 0 0 25 0 11 0 780770529 858210304 29115 4294967295 134512640 134569956 3221224368 3221214600 1131447398 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29115 13086 16 0 209508 0 vsize: 838096 [startup+310.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 29265 42 0 0 25 0 11 0 780770529 858210304 29115 4294967295 134512640 134569956 3221224368 3221214512 1131552427 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29115 13086 16 0 209508 0 vsize: 838096 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 30248 43 0 0 25 0 11 0 780770529 858210304 29115 4294967295 134512640 134569956 3221224368 3221214600 1131447536 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29115 13086 16 0 209508 0 vsize: 838096 [startup+330.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 31230 43 0 0 25 0 11 0 780770529 858210304 29158 4294967295 134512640 134569956 3221224368 3221214600 1131447385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29158 13086 16 0 209508 0 vsize: 838096 [startup+340.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 32214 43 0 0 25 0 11 0 780770529 858210304 29158 4294967295 134512640 134569956 3221224368 3221214496 1131284211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29158 13086 16 0 209508 0 vsize: 838096 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 33193 43 0 0 25 0 11 0 780770529 858210304 29198 4294967295 134512640 134569956 3221224368 3221214600 1131447256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29198 13086 16 0 209508 0 vsize: 838096 [startup+360.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 34173 43 0 0 25 0 11 0 780770529 858210304 29198 4294967295 134512640 134569956 3221224368 3221214600 1131447318 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29198 13086 16 0 209508 0 vsize: 838096 [startup+370.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 35149 44 0 0 25 0 11 0 780770529 858210304 29239 4294967295 134512640 134569956 3221224368 3221214600 1131447852 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29239 13086 16 0 209508 0 vsize: 838096 [startup+380.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 36131 44 0 0 25 0 11 0 780770529 858210304 29278 4294967295 134512640 134569956 3221224368 3221214572 1130885144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29278 13086 16 0 209508 0 vsize: 838096 [startup+390.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 37112 44 0 0 25 0 11 0 780770529 858210304 29278 4294967295 134512640 134569956 3221224368 3221214496 1131284211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29278 13086 16 0 209508 0 vsize: 838096 [startup+400.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 38096 44 0 0 25 0 11 0 780770529 858210304 29316 4294967295 134512640 134569956 3221224368 3221214512 1131553949 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29316 13086 16 0 209508 0 vsize: 838096 [startup+410.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 39089 44 0 0 25 0 11 0 780770529 858210304 29424 4294967295 134512640 134569956 3221224368 3221214512 1131284070 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29424 13086 16 0 209508 0 vsize: 838096 [startup+420.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 40083 45 0 0 25 0 11 0 780770529 858210304 29426 4294967295 134512640 134569956 3221224368 3221214572 1130885240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29426 13086 16 0 209508 0 vsize: 838096 [startup+430.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 41078 45 0 0 25 0 11 0 780770529 858210304 29428 4294967295 134512640 134569956 3221224368 3221214600 1131447648 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29428 13086 16 0 209508 0 vsize: 838096 [startup+440.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 42074 46 0 0 25 0 11 0 780770529 858210304 29428 4294967295 134512640 134569956 3221224368 3221214560 1131587432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29428 13086 16 0 209508 0 vsize: 838096 [startup+450.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 43069 46 0 0 25 0 11 0 780770529 858210304 29430 4294967295 134512640 134569956 3221224368 3221214616 1131407719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29430 13086 16 0 209508 0 vsize: 838096 [startup+460.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 44065 46 0 0 25 0 11 0 780770529 858210304 29433 4294967295 134512640 134569956 3221224368 3221214616 1131407884 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29433 13086 16 0 209508 0 vsize: 838096 [startup+470.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 45062 46 0 0 25 0 11 0 780770529 858210304 29457 4294967295 134512640 134569956 3221224368 3221214512 1131554063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29457 13086 16 0 209508 0 vsize: 838096 [startup+480.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 46059 47 0 0 25 0 11 0 780770529 858210304 29457 4294967295 134512640 134569956 3221224368 3221213216 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29457 13086 16 0 209508 0 vsize: 838096 [startup+490.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 47038 47 0 0 25 0 11 0 780770529 858210304 29457 4294967295 134512640 134569956 3221224368 3221214544 1131326574 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29457 13086 16 0 209508 0 vsize: 838096 [startup+500.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 48005 47 0 0 25 0 11 0 780770529 858210304 29457 4294967295 134512640 134569956 3221224368 3221214600 1131447879 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29457 13086 16 0 209508 0 vsize: 838096 [startup+510.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 48971 47 0 0 25 0 11 0 780770529 858210304 29457 4294967295 134512640 134569956 3221224368 3221214600 1131447247 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29457 13086 16 0 209508 0 vsize: 838096 [startup+520.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 49937 48 0 0 25 0 11 0 780770529 858210304 29457 4294967295 134512640 134569956 3221224368 3221214512 1131553187 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29457 13086 16 0 209508 0 vsize: 838096 [startup+530.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 50896 48 0 0 25 0 11 0 780770529 858210304 29457 4294967295 134512640 134569956 3221224368 3221214496 1131284268 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29457 13086 16 0 209508 0 vsize: 838096 [startup+540.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 51865 48 0 0 25 0 11 0 780770529 858210304 29673 4294967295 134512640 134569956 3221224368 3221214496 1131284395 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29673 13086 16 0 209508 0 vsize: 838096 [startup+550.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 52843 48 0 0 25 0 11 0 780770529 858210304 29766 4294967295 134512640 134569956 3221224368 3221214496 1131284458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29766 13086 16 0 209508 0 vsize: 838096 [startup+560.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 53827 49 0 0 25 0 11 0 780770529 858210304 29766 4294967295 134512640 134569956 3221224368 3221214572 1130885154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29766 13086 16 0 209508 0 vsize: 838096 [startup+570.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 54807 49 0 0 25 0 11 0 780770529 858210304 29809 4294967295 134512640 134569956 3221224368 3221214600 1131447410 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29809 13086 16 0 209508 0 vsize: 838096 [startup+580.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 55790 49 0 0 25 0 11 0 780770529 858210304 29892 4294967295 134512640 134569956 3221224368 3221214600 1131447398 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29892 13086 16 0 209508 0 vsize: 838096 [startup+590.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 56774 49 0 0 25 0 11 0 780770529 858210304 29892 4294967295 134512640 134569956 3221224368 3221214512 1131284202 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29892 13086 16 0 209508 0 vsize: 838096 [startup+600.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 57759 50 0 0 25 0 11 0 780770529 858210304 29892 4294967295 134512640 134569956 3221224368 3221213780 1077094257 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29892 13086 16 0 209508 0 vsize: 838096 [startup+610.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 58740 50 0 0 25 0 11 0 780770529 858210304 29892 4294967295 134512640 134569956 3221224368 3221214600 1131447362 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29892 13086 16 0 209508 0 vsize: 838096 [startup+620.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 59724 51 0 0 25 0 11 0 780770529 858210304 29892 4294967295 134512640 134569956 3221224368 3221214600 1131447538 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29892 13086 16 0 209508 0 vsize: 838096 [startup+630.024 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 60709 51 0 0 25 0 11 0 780770529 858210304 29936 4294967295 134512640 134569956 3221224368 3221214600 1131447648 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 29936 13086 16 0 209508 0 vsize: 838096 [startup+640.024 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 61698 52 0 0 25 0 11 0 780770529 858210304 30047 4294967295 134512640 134569956 3221224368 3221214496 1131284713 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30047 13086 16 0 209508 0 vsize: 838096 [startup+650.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 62691 52 0 0 25 0 11 0 780770529 858210304 30051 4294967295 134512640 134569956 3221224368 3221214512 1131337934 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30051 13086 16 0 209508 0 vsize: 838096 [startup+660.024 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 63672 52 0 0 25 0 11 0 780770529 858210304 30051 4294967295 134512640 134569956 3221224368 3221214544 1131325981 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30051 13086 16 0 209508 0 vsize: 838096 [startup+670.024 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 64638 53 0 0 25 0 11 0 780770529 858210304 30051 4294967295 134512640 134569956 3221224368 3221214544 1131325548 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30051 13086 16 0 209508 0 vsize: 838096 [startup+680.024 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 65600 53 0 0 25 0 11 0 780770529 858210304 30051 4294967295 134512640 134569956 3221224368 3221214600 1131447852 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 30051 13086 16 0 209508 0 vsize: 838096 [startup+690.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 66555 54 0 0 25 0 11 0 780770529 858210304 30051 4294967295 134512640 134569956 3221224368 3221214616 1131407712 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30051 13086 16 0 209508 0 vsize: 838096 [startup+700.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 67517 54 0 0 25 0 11 0 780770529 858210304 30128 4294967295 134512640 134569956 3221224368 3221214600 1131447268 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30128 13086 16 0 209508 0 vsize: 838096 [startup+710.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 68478 55 0 0 25 0 11 0 780770529 858210304 30214 4294967295 134512640 134569956 3221224368 3221214512 1131553187 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30214 13086 16 0 209508 0 vsize: 838096 [startup+720.026 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 69444 55 0 0 25 0 11 0 780770529 858210304 30345 4294967295 134512640 134569956 3221224368 3221214648 1131476877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30345 13086 16 0 209508 0 vsize: 838096 [startup+730.026 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 70414 55 0 0 25 0 11 0 780770529 858210304 30470 4294967295 134512640 134569956 3221224368 3221214512 1131337975 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30470 13086 16 0 209508 0 vsize: 838096 [startup+740.026 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 71382 55 0 0 25 0 11 0 780770529 858210304 30557 4294967295 134512640 134569956 3221224368 3221214600 1131447782 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30557 13086 16 0 209508 0 vsize: 838096 [startup+750.027 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 72355 55 0 0 25 0 11 0 780770529 858210304 30557 4294967295 134512640 134569956 3221224368 3221214512 1131554088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30557 13086 16 0 209508 0 vsize: 838096 [startup+760.027 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 73316 56 0 0 24 0 11 0 780770529 858210304 30600 4294967295 134512640 134569956 3221224368 3221214648 1131476877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30600 13086 16 0 209508 0 vsize: 838096 [startup+770.026 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 74275 56 0 0 25 0 11 0 780770529 858210304 30689 4294967295 134512640 134569956 3221224368 3221214600 1131447256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30689 13086 16 0 209508 0 vsize: 838096 [startup+780.028 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 75245 56 0 0 25 0 11 0 780770529 858210304 30689 4294967295 134512640 134569956 3221224368 3221214496 1131284239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30689 13086 16 0 209508 0 vsize: 838096 [startup+790.028 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 76210 57 0 0 24 0 11 0 780770529 858210304 30820 4294967295 134512640 134569956 3221224368 3221214596 1131196720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30820 13086 16 0 209508 0 vsize: 838096 [startup+800.027 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 77169 57 0 0 25 0 11 0 780770529 858210304 30908 4294967295 134512640 134569956 3221224368 3221214496 1131284211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30908 13086 16 0 209508 0 vsize: 838096 [startup+810.029 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 78138 57 0 0 25 0 11 0 780770529 858210304 30956 4294967295 134512640 134569956 3221224368 3221214512 1131552833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 30956 13086 16 0 209508 0 vsize: 838096 [startup+820.029 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 79111 58 0 0 25 0 11 0 780770529 858210304 31084 4294967295 134512640 134569956 3221224368 3221214512 1131552466 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 31084 13086 16 0 209508 0 vsize: 838096 [startup+830.028 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 80085 59 0 0 25 0 11 0 780770529 858210304 31084 4294967295 134512640 134569956 3221224368 3221214512 1131553093 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 31084 13086 16 0 209508 0 vsize: 838096 [startup+840.029 s] Raw data (loadavg): 0.99 0.97 0.98 2/64 12920 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 81056 59 0 0 25 0 11 0 780770529 858210304 31177 4294967295 134512640 134569956 3221224368 3221214544 1131326562 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209524 31177 13086 16 0 209508 0 vsize: 838096 [startup+850.029 s] Raw data (loadavg): 1.07 0.99 0.99 2/67 12955 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 82024 62 0 0 25 0 11 0 780770529 858210304 31267 4294967295 134512640 134569956 3221224368 3221214600 1131447331 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 31267 13086 16 0 209508 0 vsize: 838096 [startup+860.028 s] Raw data (loadavg): 1.14 1.00 0.99 2/64 12973 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 83005 62 0 0 25 0 11 0 780770529 858210304 31310 4294967295 134512640 134569956 3221224368 3221214600 1131447398 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 31310 13086 16 0 209508 0 vsize: 838096 [startup+870.029 s] Raw data (loadavg): 1.11 1.00 0.99 2/64 12973 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 83987 62 0 0 25 0 11 0 780770529 858210304 31311 4294967295 134512640 134569956 3221224368 3221214700 1130885154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 31311 13086 16 0 209508 0 vsize: 838096 [startup+880.03 s] Raw data (loadavg): 1.10 1.00 0.99 2/64 12973 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 84958 63 0 0 25 0 11 0 780770529 858210304 31356 4294967295 134512640 134569956 3221224368 3221214600 1131447268 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 31356 13086 16 0 209508 0 vsize: 838096 [startup+890.03 s] Raw data (loadavg): 1.08 1.00 0.99 2/64 12973 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 85926 63 0 0 25 0 11 0 780770529 858210304 31407 4294967295 134512640 134569956 3221224368 3221214600 1131447327 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 31407 13086 16 0 209508 0 vsize: 838096 [startup+900.03 s] Raw data (loadavg): 1.07 1.00 0.99 2/64 12973 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 86897 63 0 0 25 0 11 0 780770529 858210304 31457 4294967295 134512640 134569956 3221224368 3221214596 1131196704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 31457 13086 16 0 209508 0 vsize: 838096 [startup+910.03 s] Raw data (loadavg): 1.06 1.00 0.99 2/64 12973 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 87863 64 0 0 25 0 11 0 780770529 858210304 31457 4294967295 134512640 134569956 3221224368 3221214496 1131283997 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 31457 13086 16 0 209508 0 vsize: 838096 [startup+920.03 s] Raw data (loadavg): 1.05 1.00 0.99 2/64 12973 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 88823 64 0 0 25 0 11 0 780770529 858210304 31505 4294967295 134512640 134569956 3221224368 3221214496 1131284211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 31505 13086 16 0 209508 0 vsize: 838096 [startup+930.031 s] Raw data (loadavg): 1.04 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 89769 65 0 0 25 0 11 0 780770529 858210304 31639 4294967295 134512640 134569956 3221224368 3221214544 1131326010 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 31639 13086 16 0 209508 0 vsize: 838096 [startup+940.031 s] Raw data (loadavg): 1.03 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 90720 65 0 0 25 0 11 0 780770529 858210304 31699 4294967295 134512640 134569956 3221224368 3221214512 1131284211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 31699 13086 16 0 209508 0 vsize: 838096 [startup+950.031 s] Raw data (loadavg): 1.03 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 91680 66 0 0 25 0 11 0 780770529 858210304 31699 4294967295 134512640 134569956 3221224368 3221214572 1130885147 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 31699 13086 16 0 209508 0 vsize: 838096 [startup+960.031 s] Raw data (loadavg): 1.02 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 92634 66 0 0 25 0 11 0 780770529 858210304 31889 4294967295 134512640 134569956 3221224368 3221214512 1131554001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 31889 13086 16 0 209508 0 vsize: 838096 [startup+970.031 s] Raw data (loadavg): 1.02 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 93594 66 0 0 25 0 11 0 780770529 858210304 31889 4294967295 134512640 134569956 3221224368 3221214748 1131329548 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 31889 13086 16 0 209508 0 vsize: 838096 [startup+980.031 s] Raw data (loadavg): 1.02 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 94558 67 0 0 25 0 11 0 780770529 858210304 32083 4294967295 134512640 134569956 3221224368 3221214512 1131283931 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32083 13086 16 0 209508 0 vsize: 838096 [startup+990.032 s] Raw data (loadavg): 1.01 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 95530 67 0 0 25 0 11 0 780770529 858210304 32183 4294967295 134512640 134569956 3221224368 3221214496 1131284180 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32183 13086 16 0 209508 0 vsize: 838096 [startup+1000.03 s] Raw data (loadavg): 1.01 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 96494 67 0 0 25 0 11 0 780770529 858210304 32245 4294967295 134512640 134569956 3221224368 3221214512 1131552448 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32245 13086 16 0 209508 0 vsize: 838096 [startup+1010.03 s] Raw data (loadavg): 1.01 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 97464 68 0 0 25 0 11 0 780770529 858210304 32431 4294967295 134512640 134569956 3221224368 3221214600 1131447398 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32431 13086 16 0 209508 0 vsize: 838096 [startup+1020.03 s] Raw data (loadavg): 1.01 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 98449 69 0 0 25 0 11 0 780770529 858210304 32431 4294967295 134512640 134569956 3221224368 3221214648 1131476927 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32431 13086 16 0 209508 0 vsize: 838096 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 99428 69 0 0 25 0 11 0 780770529 858210304 32431 4294967295 134512640 134569956 3221224368 3221214512 1131284145 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32431 13086 16 0 209508 0 vsize: 838096 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 100408 70 0 0 25 0 11 0 780770529 858210304 32431 4294967295 134512640 134569956 3221224368 3221214496 1131284336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32431 13086 16 0 209508 0 vsize: 838096 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 101387 70 0 0 25 0 11 0 780770529 858210304 32538 4294967295 134512640 134569956 3221224368 3221214492 1076462545 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32538 13086 16 0 209508 0 vsize: 838096 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 102367 71 0 0 25 0 11 0 780770529 858210304 32538 4294967295 134512640 134569956 3221224368 3221214512 1131552826 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32538 13086 16 0 209508 0 vsize: 838096 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 103350 71 0 0 25 0 11 0 780770529 858210304 32539 4294967295 134512640 134569956 3221224368 3221214512 1131337936 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32539 13086 16 0 209508 0 vsize: 838096 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 104324 71 0 0 25 0 11 0 780770529 858210304 32588 4294967295 134512640 134569956 3221224368 3221214600 1131447500 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32588 13086 16 0 209508 0 vsize: 838096 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 105303 72 0 0 25 0 11 0 780770529 858210304 32669 4294967295 134512640 134569956 3221224368 3221214512 1131553956 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32669 13086 16 0 209508 0 vsize: 838096 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 106284 72 0 0 25 0 11 0 780770529 858210304 32669 4294967295 134512640 134569956 3221224368 3221214600 1131447536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32669 13086 16 0 209508 0 vsize: 838096 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 107259 72 0 0 25 0 11 0 780770529 858210304 32669 4294967295 134512640 134569956 3221224368 3221214600 1131447274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32669 13086 16 0 209508 0 vsize: 838096 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 108239 72 0 0 25 0 11 0 780770529 858210304 32669 4294967295 134512640 134569956 3221224368 3221214572 1130885141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32669 13086 16 0 209508 0 vsize: 838096 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 109217 73 0 0 25 0 11 0 780770529 858210304 32776 4294967295 134512640 134569956 3221224368 3221214704 1131196752 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32776 13086 16 0 209508 0 vsize: 838096 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 110191 73 0 0 25 0 11 0 780770529 858210304 32792 4294967295 134512640 134569956 3221224368 3221214544 1131326039 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32792 13086 16 0 209508 0 vsize: 838096 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 111167 73 0 0 25 0 11 0 780770529 858210304 32858 4294967295 134512640 134569956 3221224368 3221214512 1131337971 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32858 13086 16 0 209508 0 vsize: 838096 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 112138 74 0 0 25 0 11 0 780770529 858210304 32858 4294967295 134512640 134569956 3221224368 3221214600 1131447331 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32858 13086 16 0 209508 0 vsize: 838096 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 113111 75 0 0 25 0 11 0 780770529 858210304 32858 4294967295 134512640 134569956 3221224368 3221214512 1131337886 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32858 13086 16 0 209508 0 vsize: 838096 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 114082 75 0 0 25 0 11 0 780770529 858210304 32963 4294967295 134512640 134569956 3221224368 3221214600 1131447362 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32963 13086 16 0 209508 0 vsize: 838096 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12975 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 115061 75 0 0 25 0 11 0 780770529 858210304 32963 4294967295 134512640 134569956 3221224368 3221214512 1131553969 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 32963 13086 16 0 209508 0 vsize: 838096 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12977 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 116037 76 0 0 25 0 11 0 780770529 858210304 33011 4294967295 134512640 134569956 3221224368 3221214576 1131196761 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 33011 13086 16 0 209508 0 vsize: 838096 [startup+1210.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12977 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 117024 76 0 0 25 0 11 0 780770529 858210304 33067 4294967295 134512640 134569956 3221224368 3221214496 1131284211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 33067 13086 16 0 209508 0 vsize: 838096 [startup+1220.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12977 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 118001 76 0 0 25 0 11 0 780770529 858210304 33125 4294967295 134512640 134569956 3221224368 3221214700 1130885163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 33125 13086 16 0 209508 0 vsize: 838096 [startup+1230.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12977 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 118972 77 0 0 16 0 11 0 780770529 858210304 33172 4294967295 134512640 134569956 3221224368 3221214576 1131196761 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 33172 13086 16 0 209508 0 vsize: 838096 [startup+1240.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 12977 Raw data (stat): 12910 (java) R 12909 1269 1268 0 -1 0 18079 0 1 0 119942 77 0 0 25 0 11 0 780770529 858210304 33172 4294967295 134512640 134569956 3221224368 3221214600 1131447247 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 33172 13086 16 0 209508 0 vsize: 838096 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.12 s] Raw data (loadavg): 1.00 1.00 0.99 1/54 12979 Raw data (stat): 12910 (java) Z 12909 1269 1268 0 -1 1036 18079 18475 1 0 119943 84 4987 44 25 0 1 0 780770529 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): 1240.12 CPU time (s): 1250.6 CPU user time (s): 1249.31 CPU system time (s): 1.2918 CPU usage (%): 100.845 Max. virtual memory (Kb): 838868 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####