Name | normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-adlittle.opb |
MD5SUM | 2833b37c31c7399c7b1bcb72ed443385 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 2460 |
Biggest coefficient in the objective function | 88852135936000 |
Number of bits for the biggest coefficient in the objective function | 47 |
Sum of the numbers in the objective function | 3689448844530141 |
Number of bits of the sum of numbers in the objective function | 52 |
Biggest number in a constraint | 359703511040000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 6054438712178314 |
Number of bits of the biggest sum of numbers | 53 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.028995 |
Number of variables | 2910 |
Total number of constraints | 56 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 56 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 810 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-05-25 11:37:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21193 boxname=wulflinc25 idbench=1181 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 2833b37c31c7399c7b1bcb72ed443385 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-adlittle.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-adlittle.opb IDLAUNCH: 21193 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 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.220 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: 379496 kB Buffers: 32088 kB Cached: 599112 kB SwapCached: 588 kB Active: 99400 kB Inactive: 534132 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 379244 kB SwapTotal: 2097892 kB SwapFree: 2096620 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5608 kB Slab: 15896 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 11:58:41 (client local time) WITH STATUS 143 IN 1274.95 SECONDS stats: 21193 7 1274.95 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/wulflinc25/normalized-mps-v2-20-10-adlittle.opb c reading problem ... done. Time 6.296 ms. c #vars 2910 c #constraints 70 c starts : 7 c conflicts : 2226 c decisions : 5858 c propagations : 23634 c inspects : 1077840 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2225 c root simplifications : 18 s UNKNOWN c Total CPU time (ms) : 1259.076 #### 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.85 0.97 0.99 2/54 13233 Raw data (stat): 13233 (runsolver) R 13232 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838590165 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.0009 s] Raw data (loadavg): 0.95 0.98 0.99 3/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18049 0 1 0 737 37 0 0 25 0 11 0 838590165 860078080 21043 4294967295 134512640 134569956 3221224368 3221214504 1131296666 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209980 21043 13086 16 0 209964 0 vsize: 839920 [startup+20.0009 s] Raw data (loadavg): 1.11 1.02 1.01 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18062 0 1 0 1573 38 0 0 25 0 11 0 838590165 859475968 21162 4294967295 134512640 134569956 3221224368 3221214480 1131205492 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209833 21162 13086 16 0 209817 0 vsize: 839332 [startup+30.0016 s] Raw data (loadavg): 1.09 1.02 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18064 0 1 0 2487 38 0 0 24 0 11 0 838590165 859312128 21395 4294967295 134512640 134569956 3221224368 3221214504 1131297007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209793 21395 13086 16 0 209777 0 vsize: 839172 [startup+40.0012 s] Raw data (loadavg): 1.08 1.02 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18064 0 1 0 3436 38 0 0 25 0 11 0 838590165 859312128 21732 4294967295 134512640 134569956 3221224368 3221214504 1131241717 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209793 21732 13086 16 0 209777 0 vsize: 839172 [startup+50.0081 s] Raw data (loadavg): 1.07 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18064 0 1 0 4388 38 0 0 25 0 11 0 838590165 859049984 21863 4294967295 134512640 134569956 3221224368 3221213912 1131263652 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 21863 13086 16 0 209713 0 vsize: 838916 [startup+60.0084 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 5337 38 0 0 25 0 11 0 838590165 859049984 22214 4294967295 134512640 134569956 3221224368 3221214664 1131490197 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 22214 13086 16 0 209713 0 vsize: 838916 [startup+70.0083 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 6297 38 0 0 25 0 11 0 838590165 859049984 22285 4294967295 134512640 134569956 3221224368 3221214600 1131426173 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 22285 13086 16 0 209713 0 vsize: 838916 [startup+80.009 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 7241 38 0 0 25 0 11 0 838590165 859049984 22428 4294967295 134512640 134569956 3221224368 3221214520 1131513699 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 22428 13086 16 0 209713 0 vsize: 838916 [startup+90.0092 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 8194 38 0 0 25 0 11 0 838590165 859049984 22648 4294967295 134512640 134569956 3221224368 3221214600 1131426346 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 22648 13086 16 0 209713 0 vsize: 838916 [startup+100.009 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 9147 39 0 0 25 0 11 0 838590165 859049984 22824 4294967295 134512640 134569956 3221224368 3221214560 1131293451 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 22824 13086 16 0 209713 0 vsize: 838916 [startup+110.01 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 10098 39 0 0 25 0 11 0 838590165 859049984 23046 4294967295 134512640 134569956 3221224368 3221214520 1131513620 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 23046 13086 16 0 209713 0 vsize: 838916 [startup+120.01 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 11041 39 0 0 25 0 11 0 838590165 859049984 23202 4294967295 134512640 134569956 3221224368 3221214568 1131296787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 23202 13086 16 0 209713 0 vsize: 838916 [startup+130.011 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 11984 39 0 0 25 0 11 0 838590165 859049984 23402 4294967295 134512640 134569956 3221224368 3221214600 1131426014 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 23402 13086 16 0 209713 0 vsize: 838916 [startup+140.012 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 12935 39 0 0 25 0 11 0 838590165 859049984 23607 4294967295 134512640 134569956 3221224368 3221214600 1131426380 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 23607 13086 16 0 209713 0 vsize: 838916 [startup+150.015 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) S 13232 1586 1585 0 -1 0 18065 0 1 0 13879 39 0 0 25 0 11 0 838590165 859049984 23804 4294967295 134512640 134569956 3221224368 3221213248 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 23804 13086 16 0 209713 0 vsize: 838916 [startup+160.016 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 14827 39 0 0 25 0 11 0 838590165 859049984 24034 4294967295 134512640 134569956 3221224368 3221214600 1131426014 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 24034 13086 16 0 209713 0 vsize: 838916 [startup+170.021 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 15777 39 0 0 25 0 11 0 838590165 859049984 24191 4294967295 134512640 134569956 3221224368 3221214560 1131292958 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 24191 13086 16 0 209713 0 vsize: 838916 [startup+180.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 16727 39 0 0 25 0 11 0 838590165 859049984 24369 4294967295 134512640 134569956 3221224368 3221214536 1131642874 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 24369 13086 16 0 209713 0 vsize: 838916 [startup+190.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 17677 39 0 0 25 0 11 0 838590165 859049984 24569 4294967295 134512640 134569956 3221224368 3221214572 1130885163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 24569 13086 16 0 209713 0 vsize: 838916 [startup+200.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 18627 39 0 0 25 0 11 0 838590165 859049984 24723 4294967295 134512640 134569956 3221224368 3221214664 1131490377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 24723 13086 16 0 209713 0 vsize: 838916 [startup+210.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 19580 39 0 0 25 0 11 0 838590165 859049984 24798 4294967295 134512640 134569956 3221224368 3221214520 1131513606 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 24798 13086 16 0 209713 0 vsize: 838916 [startup+220.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 20524 39 0 0 25 0 11 0 838590165 859049984 24940 4294967295 134512640 134569956 3221224368 3221214568 1131368299 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 24940 13086 16 0 209713 0 vsize: 838916 [startup+230.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 21479 39 0 0 25 0 11 0 838590165 859049984 25128 4294967295 134512640 134569956 3221224368 3221214504 1131242190 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 25128 13086 16 0 209713 0 vsize: 838916 [startup+240.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 22431 39 0 0 25 0 11 0 838590165 859049984 25344 4294967295 134512640 134569956 3221224368 3221214520 1131512930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 25344 13086 16 0 209713 0 vsize: 838916 [startup+250.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 23394 39 0 0 25 0 11 0 838590165 859049984 25543 4294967295 134512640 134569956 3221224368 3221214576 1131223676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 25543 13086 16 0 209713 0 vsize: 838916 [startup+260.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 24356 39 0 0 25 0 11 0 838590165 859049984 25655 4294967295 134512640 134569956 3221224368 3221214616 1131424044 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 25655 13086 16 0 209713 0 vsize: 838916 [startup+270.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 25315 39 0 0 25 0 11 0 838590165 859049984 25752 4294967295 134512640 134569956 3221224368 3221214520 1131241688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 25752 13086 16 0 209713 0 vsize: 838916 [startup+280.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 26278 39 0 0 25 0 11 0 838590165 859049984 25843 4294967295 134512640 134569956 3221224368 3221214504 1131241493 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 25843 13086 16 0 209713 0 vsize: 838916 [startup+290.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 27232 39 0 0 25 0 11 0 838590165 859049984 25972 4294967295 134512640 134569956 3221224368 3221214520 1131241334 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 25972 13086 16 0 209713 0 vsize: 838916 [startup+300.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 28194 39 0 0 25 0 11 0 838590165 859049984 26104 4294967295 134512640 134569956 3221224368 3221214600 1131426177 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 26104 13086 16 0 209713 0 vsize: 838916 [startup+310.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 29149 39 0 0 25 0 11 0 838590165 859049984 26186 4294967295 134512640 134569956 3221224368 3221214504 1131241493 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 26186 13086 16 0 209713 0 vsize: 838916 [startup+320.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 30110 39 0 0 25 0 11 0 838590165 859049984 26291 4294967295 134512640 134569956 3221224368 3221214600 1131425828 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 26291 13086 16 0 209713 0 vsize: 838916 [startup+330.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) S 13232 1586 1585 0 -1 0 18065 0 1 0 31069 39 0 0 25 0 11 0 838590165 859049984 26433 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 26433 13086 16 0 209713 0 vsize: 838916 [startup+340.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 32028 39 0 0 25 0 11 0 838590165 859049984 26579 4294967295 134512640 134569956 3221224368 3221214568 1131368299 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 26579 13086 16 0 209713 0 vsize: 838916 [startup+350.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 32991 39 0 0 25 0 11 0 838590165 859049984 26686 4294967295 134512640 134569956 3221224368 3221214392 1131550025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 26686 13086 16 0 209713 0 vsize: 838916 [startup+360.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 33948 39 0 0 25 0 11 0 838590165 859049984 26818 4294967295 134512640 134569956 3221224368 3221214568 1131368229 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 26818 13086 16 0 209713 0 vsize: 838916 [startup+370.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 34913 39 0 0 25 0 11 0 838590165 859049984 26923 4294967295 134512640 134569956 3221224368 3221214600 1131426370 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 26923 13086 16 0 209713 0 vsize: 838916 [startup+380.025 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 35870 39 0 0 25 0 11 0 838590165 859049984 27055 4294967295 134512640 134569956 3221224368 3221214520 1131515421 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 27055 13086 16 0 209713 0 vsize: 838916 [startup+390.025 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 36835 39 0 0 25 0 11 0 838590165 859049984 27144 4294967295 134512640 134569956 3221224368 3221214504 1131241383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 27144 13086 16 0 209713 0 vsize: 838916 [startup+400.028 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) S 13232 1586 1585 0 -1 0 18065 0 1 0 37797 39 0 0 25 0 11 0 838590165 859049984 27256 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 27256 13086 16 0 209713 0 vsize: 838916 [startup+410.029 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 38755 39 0 0 25 0 11 0 838590165 859049984 27371 4294967295 134512640 134569956 3221224368 3221214576 1131223641 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 27371 13086 16 0 209713 0 vsize: 838916 [startup+420.029 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 39720 39 0 0 25 0 11 0 838590165 859049984 27474 4294967295 134512640 134569956 3221224368 3221214664 1131490377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 27474 13086 16 0 209713 0 vsize: 838916 [startup+430.03 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 40688 39 0 0 25 0 11 0 838590165 859049984 27571 4294967295 134512640 134569956 3221224368 3221214504 1131241474 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 27571 13086 16 0 209713 0 vsize: 838916 [startup+440.031 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 41655 39 0 0 25 0 11 0 838590165 859049984 27683 4294967295 134512640 134569956 3221224368 3221214520 1131241451 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209729 27683 13086 16 0 209713 0 vsize: 838916 [startup+450.03 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 42618 39 0 0 25 0 11 0 838590165 859049984 27813 4294967295 134512640 134569956 3221224368 3221214572 1130885222 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 27813 13086 16 0 209713 0 vsize: 838916 [startup+460.031 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 43583 39 0 0 25 0 11 0 838590165 859049984 27940 4294967295 134512640 134569956 3221224368 3221214504 1131241622 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 27940 13086 16 0 209713 0 vsize: 838916 [startup+470.031 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 44549 39 0 0 25 0 11 0 838590165 859049984 28049 4294967295 134512640 134569956 3221224368 3221214504 1131241493 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 28049 13086 16 0 209713 0 vsize: 838916 [startup+480.031 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 45520 39 0 0 25 0 11 0 838590165 859049984 28106 4294967295 134512640 134569956 3221224368 3221214504 1131241651 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 28106 13086 16 0 209713 0 vsize: 838916 [startup+490.031 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 46482 39 0 0 25 0 11 0 838590165 859049984 28192 4294967295 134512640 134569956 3221224368 3221214112 1131619468 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 28192 13086 16 0 209713 0 vsize: 838916 [startup+500.031 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 47443 39 0 0 25 0 11 0 838590165 859049984 28288 4294967295 134512640 134569956 3221224368 3221214724 1130912541 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 28288 13086 16 0 209713 0 vsize: 838916 [startup+510.031 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 48410 39 0 0 25 0 11 0 838590165 859049984 28374 4294967295 134512640 134569956 3221224368 3221214616 1131423935 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 28374 13086 16 0 209713 0 vsize: 838916 [startup+520.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 49370 39 0 0 25 0 11 0 838590165 859049984 28483 4294967295 134512640 134569956 3221224368 3221214520 1131241419 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 28483 13086 16 0 209713 0 vsize: 838916 [startup+530.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 50325 39 0 0 25 0 11 0 838590165 859049984 28580 4294967295 134512640 134569956 3221224368 3221214560 1131296344 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 28580 13086 16 0 209713 0 vsize: 838916 [startup+540.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 51286 39 0 0 25 0 11 0 838590165 859049984 28694 4294967295 134512640 134569956 3221224368 3221214568 1131296101 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 28694 13086 16 0 209713 0 vsize: 838916 [startup+550.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 52231 39 0 0 25 0 11 0 838590165 859049984 28835 4294967295 134512640 134569956 3221224368 3221214376 1131619537 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 28835 13086 16 0 209713 0 vsize: 838916 [startup+560.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 53182 39 0 0 25 0 11 0 838590165 859049984 28932 4294967295 134512640 134569956 3221224368 3221214600 1131426020 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 28932 13086 16 0 209713 0 vsize: 838916 [startup+570.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 54131 39 0 0 25 0 11 0 838590165 859049984 29068 4294967295 134512640 134569956 3221224368 3221214576 1131223664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 29068 13086 16 0 209713 0 vsize: 838916 [startup+580.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 55080 39 0 0 25 0 11 0 838590165 859049984 29259 4294967295 134512640 134569956 3221224368 3221214600 1131426454 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 29259 13086 16 0 209713 0 vsize: 838916 [startup+590.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 56031 39 0 0 25 0 11 0 838590165 859049984 29396 4294967295 134512640 134569956 3221224368 3221214432 1131526542 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 29396 13086 16 0 209713 0 vsize: 838916 [startup+600.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 56982 39 0 0 25 0 11 0 838590165 859049984 29536 4294967295 134512640 134569956 3221224368 3221214520 1131513675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 29536 13086 16 0 209713 0 vsize: 838916 [startup+610.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 57933 40 0 0 25 0 11 0 838590165 859049984 29681 4294967295 134512640 134569956 3221224368 3221214644 1130885204 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 29681 13086 16 0 209713 0 vsize: 838916 [startup+620.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 58883 40 0 0 25 0 11 0 838590165 859049984 29828 4294967295 134512640 134569956 3221224368 3221214520 1131241453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 29828 13086 16 0 209713 0 vsize: 838916 [startup+630.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 59828 40 0 0 25 0 11 0 838590165 859049984 29983 4294967295 134512640 134569956 3221224368 3221214568 1131297104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209729 29983 13086 16 0 209713 0 vsize: 838916 [startup+640.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 60771 40 0 0 25 0 11 0 838590165 859049984 30129 4294967295 134512640 134569956 3221224368 3221214664 1131490405 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 30129 13086 16 0 209713 0 vsize: 838916 [startup+650.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) S 13232 1586 1585 0 -1 0 18065 0 1 0 61712 40 0 0 25 0 11 0 838590165 859049984 30271 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 30271 13086 16 0 209713 0 vsize: 838916 [startup+660.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) S 13232 1586 1585 0 -1 0 18065 0 1 0 62648 40 0 0 25 0 11 0 838590165 859049984 30413 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 30413 13086 16 0 209713 0 vsize: 838916 [startup+670.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 63587 40 0 0 24 0 11 0 838590165 859049984 30621 4294967295 134512640 134569956 3221224368 3221214520 1131513699 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 30621 13086 16 0 209713 0 vsize: 838916 [startup+680.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 64531 40 0 0 25 0 11 0 838590165 859049984 30881 4294967295 134512640 134569956 3221224368 3221214432 1131526564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 30881 13086 16 0 209713 0 vsize: 838916 [startup+690.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 65478 40 0 0 25 0 11 0 838590165 859049984 31030 4294967295 134512640 134569956 3221224368 3221214356 1078128073 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 31030 13086 16 0 209713 0 vsize: 838916 [startup+700.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 66425 40 0 0 25 0 11 0 838590165 859049984 31190 4294967295 134512640 134569956 3221224368 3221214504 1131241899 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 31190 13086 16 0 209713 0 vsize: 838916 [startup+710.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 67398 40 0 0 25 0 11 0 838590165 859049984 31262 4294967295 134512640 134569956 3221224368 3221214200 1131642552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 31262 13086 16 0 209713 0 vsize: 838916 [startup+720.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 68366 41 0 0 25 0 11 0 838590165 859049984 31364 4294967295 134512640 134569956 3221224368 3221214600 1131425940 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 31364 13086 16 0 209713 0 vsize: 838916 [startup+730.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) S 13232 1586 1585 0 -1 0 18065 0 1 0 69322 41 0 0 25 0 11 0 838590165 859049984 31541 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 31541 13086 16 0 209713 0 vsize: 838916 [startup+740.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 70273 41 0 0 25 0 11 0 838590165 859049984 31709 4294967295 134512640 134569956 3221224368 3221214600 1131426035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 31709 13086 16 0 209713 0 vsize: 838916 [startup+750.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 71231 41 0 0 25 0 11 0 838590165 859049984 31860 4294967295 134512640 134569956 3221224368 3221214600 1131425810 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 31860 13086 16 0 209713 0 vsize: 838916 [startup+760.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) S 13232 1586 1585 0 -1 0 18065 0 1 0 72187 41 0 0 25 0 11 0 838590165 859049984 32005 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 32005 13086 16 0 209713 0 vsize: 838916 [startup+770.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 73139 41 0 0 25 0 11 0 838590165 859049984 32107 4294967295 134512640 134569956 3221224368 3221214536 1131513606 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209729 32107 13086 16 0 209713 0 vsize: 838916 [startup+780.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 74099 41 0 0 25 0 11 0 838590165 859049984 32239 4294967295 134512640 134569956 3221224368 3221214664 1131490405 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 32239 13086 16 0 209713 0 vsize: 838916 [startup+790.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 75060 41 0 0 25 0 11 0 838590165 859049984 32351 4294967295 134512640 134569956 3221224368 3221214480 1131205085 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 32351 13086 16 0 209713 0 vsize: 838916 [startup+800.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 76013 41 0 0 25 0 11 0 838590165 859049984 32490 4294967295 134512640 134569956 3221224368 3221214616 1131426314 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 32490 13086 16 0 209713 0 vsize: 838916 [startup+810.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 76973 41 0 0 25 0 11 0 838590165 859049984 32609 4294967295 134512640 134569956 3221224368 3221214536 1131513589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 32609 13086 16 0 209713 0 vsize: 838916 [startup+820.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 77927 41 0 0 25 0 11 0 838590165 859049984 32738 4294967295 134512640 134569956 3221224368 3221214520 1131241696 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 32738 13086 16 0 209713 0 vsize: 838916 [startup+830.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 78888 41 0 0 25 0 11 0 838590165 859049984 32863 4294967295 134512640 134569956 3221224368 3221214520 1131241453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 32863 13086 16 0 209713 0 vsize: 838916 [startup+840.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 79848 41 0 0 25 0 11 0 838590165 859049984 32979 4294967295 134512640 134569956 3221224368 3221214568 1131297379 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 32979 13086 16 0 209713 0 vsize: 838916 [startup+850.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 80801 41 0 0 25 0 11 0 838590165 859049984 33112 4294967295 134512640 134569956 3221224368 3221214568 1131296150 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 33112 13086 16 0 209713 0 vsize: 838916 [startup+860.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 81761 41 0 0 25 0 11 0 838590165 859049984 33226 4294967295 134512640 134569956 3221224368 3221214304 1131619989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 33226 13086 16 0 209713 0 vsize: 838916 [startup+870.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 82722 41 0 0 25 0 11 0 838590165 859049984 33338 4294967295 134512640 134569956 3221224368 3221214664 1131490374 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 33338 13086 16 0 209713 0 vsize: 838916 [startup+880.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) S 13232 1586 1585 0 -1 0 18065 0 1 0 83677 41 0 0 25 0 11 0 838590165 859049984 33453 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 33453 13086 16 0 209713 0 vsize: 838916 [startup+890.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 84634 41 0 0 25 0 11 0 838590165 859049984 33591 4294967295 134512640 134569956 3221224368 3221214568 1131296664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 33591 13086 16 0 209713 0 vsize: 838916 [startup+900.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 85595 41 0 0 25 0 11 0 838590165 859049984 33708 4294967295 134512640 134569956 3221224368 3221214664 1131490405 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 33708 13086 16 0 209713 0 vsize: 838916 [startup+910.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 86548 41 0 0 25 0 11 0 838590165 859049984 33844 4294967295 134512640 134569956 3221224368 3221214616 1131425810 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 33844 13086 16 0 209713 0 vsize: 838916 [startup+920.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 87508 42 0 0 25 0 11 0 838590165 859049984 33960 4294967295 134512640 134569956 3221224368 3221214520 1131241453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 33960 13086 16 0 209713 0 vsize: 838916 [startup+930.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 88468 42 0 0 25 0 11 0 838590165 859049984 34079 4294967295 134512640 134569956 3221224368 3221214616 1131425950 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 34079 13086 16 0 209713 0 vsize: 838916 [startup+940.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) S 13232 1586 1585 0 -1 0 18065 0 1 0 89424 42 0 0 25 0 11 0 838590165 859049984 34193 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 34193 13086 16 0 209713 0 vsize: 838916 [startup+950.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 90374 42 0 0 25 0 11 0 838590165 859049984 34327 4294967295 134512640 134569956 3221224368 3221214592 1131223641 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 34327 13086 16 0 209713 0 vsize: 838916 [startup+960.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 91326 42 0 0 25 0 11 0 838590165 859049984 34441 4294967295 134512640 134569956 3221224368 3221214568 1131297082 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 34441 13086 16 0 209713 0 vsize: 838916 [startup+970.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 92279 42 0 0 25 0 11 0 838590165 859049984 34557 4294967295 134512640 134569956 3221224368 3221214616 1131425896 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 34557 13086 16 0 209713 0 vsize: 838916 [startup+980.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 93231 42 0 0 25 0 11 0 838590165 859049984 34672 4294967295 134512640 134569956 3221224368 3221214568 1131296567 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 34672 13086 16 0 209713 0 vsize: 838916 [startup+990.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 94175 42 0 0 24 0 11 0 838590165 859049984 34887 4294967295 134512640 134569956 3221224368 3221214568 1131296101 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 34887 13086 16 0 209713 0 vsize: 838916 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 95132 42 0 0 25 0 11 0 838590165 859049984 35058 4294967295 134512640 134569956 3221224368 3221214568 1131296441 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 35058 13086 16 0 209713 0 vsize: 838916 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 96090 42 0 0 25 0 11 0 838590165 859049984 35175 4294967295 134512640 134569956 3221224368 3221214568 1131296768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 35175 13086 16 0 209713 0 vsize: 838916 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 97049 42 0 0 25 0 11 0 838590165 859049984 35294 4294967295 134512640 134569956 3221224368 3221214536 1131515428 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 35294 13086 16 0 209713 0 vsize: 838916 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 98001 42 0 0 25 0 11 0 838590165 859049984 35435 4294967295 134512640 134569956 3221224368 3221214536 1131514655 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 35435 13086 16 0 209713 0 vsize: 838916 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 98961 42 0 0 25 0 11 0 838590165 859049984 35562 4294967295 134512640 134569956 3221224368 3221214520 1131241773 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 35562 13086 16 0 209713 0 vsize: 838916 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 99921 42 0 0 25 0 11 0 838590165 859049984 35673 4294967295 134512640 134569956 3221224368 3221214584 1131368299 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 35673 13086 16 0 209713 0 vsize: 838916 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 100874 42 0 0 24 0 11 0 838590165 859049984 35811 4294967295 134512640 134569956 3221224368 3221214536 1131241349 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 35811 13086 16 0 209713 0 vsize: 838916 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 101834 42 0 0 25 0 11 0 838590165 859049984 35925 4294967295 134512640 134569956 3221224368 3221214568 1131296176 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 35925 13086 16 0 209713 0 vsize: 838916 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 102793 42 0 0 25 0 11 0 838590165 859049984 36041 4294967295 134512640 134569956 3221224368 3221214664 1131490360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 36041 13086 16 0 209713 0 vsize: 838916 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 103753 42 0 0 25 0 11 0 838590165 859049984 36156 4294967295 134512640 134569956 3221224368 3221214616 1131425810 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 36156 13086 16 0 209713 0 vsize: 838916 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 104706 42 0 0 25 0 11 0 838590165 859049984 36292 4294967295 134512640 134569956 3221224368 3221214536 1131513589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 36292 13086 16 0 209713 0 vsize: 838916 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 105666 42 0 0 25 0 11 0 838590165 859049984 36410 4294967295 134512640 134569956 3221224368 3221214588 1130885147 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 36410 13086 16 0 209713 0 vsize: 838916 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 106626 42 0 0 25 0 11 0 838590165 859049984 36523 4294967295 134512640 134569956 3221224368 3221214536 1131514526 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 36523 13086 16 0 209713 0 vsize: 838916 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 107586 42 0 0 25 0 11 0 838590165 859049984 36641 4294967295 134512640 134569956 3221224368 3221214688 1131241323 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 36641 13086 16 0 209713 0 vsize: 838916 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 108538 42 0 0 24 0 11 0 838590165 859049984 36774 4294967295 134512640 134569956 3221224368 3221214440 1131568930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 36774 13086 16 0 209713 0 vsize: 838916 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 109496 42 0 0 25 0 11 0 838590165 859049984 36892 4294967295 134512640 134569956 3221224368 3221214520 1131241274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 36892 13086 16 0 209713 0 vsize: 838916 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 110454 42 0 0 25 0 11 0 838590165 859049984 37005 4294967295 134512640 134569956 3221224368 3221214612 1131593843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 37005 13086 16 0 209713 0 vsize: 838916 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 111418 42 0 0 25 0 11 0 838590165 859049984 37109 4294967295 134512640 134569956 3221224368 3221214568 1131296300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 37109 13086 16 0 209713 0 vsize: 838916 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 112389 42 0 0 25 0 11 0 838590165 859049984 37186 4294967295 134512640 134569956 3221224368 3221214624 1131241630 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 37186 13086 16 0 209713 0 vsize: 838916 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 113368 42 0 0 25 0 11 0 838590165 859049984 37238 4294967295 134512640 134569956 3221224368 3221214664 1131490213 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 37238 13086 16 0 209713 0 vsize: 838916 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 114336 42 0 0 25 0 11 0 838590165 859049984 37343 4294967295 134512640 134569956 3221224368 3221214536 1131513667 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209729 37343 13086 16 0 209713 0 vsize: 838916 [startup+1210.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 115299 42 0 0 25 0 11 0 838590165 859049984 37476 4294967295 134512640 134569956 3221224368 3221214496 1131538433 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209729 37476 13086 16 0 209713 0 vsize: 838916 [startup+1220.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 116256 43 0 0 25 0 11 0 838590165 859049984 37597 4294967295 134512640 134569956 3221224368 3221214536 1131515317 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209729 37597 13086 16 0 209713 0 vsize: 838916 [startup+1230.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 117204 43 0 0 25 0 11 0 838590165 859049984 37706 4294967295 134512640 134569956 3221224368 3221214616 1131426014 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209729 37706 13086 16 0 209713 0 vsize: 838916 [startup+1240.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 118155 44 0 0 25 0 11 0 838590165 859049984 37806 4294967295 134512640 134569956 3221224368 3221214520 1131241647 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209729 37806 13086 16 0 209713 0 vsize: 838916 [startup+1250.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 119104 44 0 0 25 0 11 0 838590165 859049984 37917 4294967295 134512640 134569956 3221224368 3221214536 1131514655 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209729 37917 13086 16 0 209713 0 vsize: 838916 [startup+1260.16 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13243 Raw data (stat): 13233 (java) R 13232 1586 1585 0 -1 0 18065 0 1 0 120052 44 0 0 25 0 11 0 838590165 859049984 38061 4294967295 134512640 134569956 3221224368 3221214520 1131241453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209729 38061 13086 16 0 209713 0 vsize: 838916 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.33 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 13245 Raw data (stat): 13233 (java) Z 13232 1586 1585 0 -1 1036 18065 27789 1 0 120052 51 7327 63 25 0 1 0 838590165 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): 1260.33 CPU time (s): 1274.95 CPU user time (s): 1273.81 CPU system time (s): 1.14582 CPU usage (%): 101.16 Max. virtual memory (Kb): 839920 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####