Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ar98.opb |
MD5SUM | 53176d06e1e99afe2d28ec1484235311 |
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 | 21 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 2097151 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 81920000000 |
Number of bits of the biggest number in a constraint | 37 |
Biggest sum of numbers in a constraint | 40410384871329 |
Number of bits of the biggest sum of numbers | 46 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 6.22305 |
Number of variables | 18824 |
Total number of constraints | 17064 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 16718 |
Number of constraints which are nor clauses,nor cardinality constraints | 345 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15827 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc9 THE 2005-05-25 15:21:28 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21548 boxname=wulflinc9 idbench=1536 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 53176d06e1e99afe2d28ec1484235311 /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-blp-ar98.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-blp-ar98.opb IDLAUNCH: 21548 /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 : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 388252 kB Buffers: 35984 kB Cached: 588352 kB SwapCached: 584 kB Active: 74132 kB Inactive: 552320 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 388000 kB SwapTotal: 2097136 kB SwapFree: 2095724 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5416 kB Slab: 14320 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 15:41:51 (client local time) WITH STATUS 143 IN 1231.37 SECONDS stats: 21548 7 1231.37 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/wulflinc9/normalized-mps-v2-13-7-blp-ar98.opb c reading problem ... done. Time 120.522 ms. c #vars 18824 c #constraints 1473 c starts : 1 c conflicts : 1 c decisions : 20 c propagations : 93 c inspects : 111 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 s UNKNOWN c Total CPU time (ms) : 1219.104 #### 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.89 0.97 0.99 2/54 21091 Raw data (stat): 21091 (runsolver) R 21090 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781696407 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0006 s] Raw data (loadavg): 0.91 0.97 0.99 2/63 21100 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18014 0 1 0 878 44 0 0 25 0 10 0 781696407 854073344 19378 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208514 19378 13086 16 0 208498 0 vsize: 834056 [startup+20.0014 s] Raw data (loadavg): 0.92 0.97 0.99 2/63 21100 Raw data (stat): 21091 (java) S 21090 3944 3943 0 -1 0 18016 0 1 0 1787 44 0 0 24 0 10 0 781696407 853909504 19872 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208474 19872 13086 16 0 208458 0 vsize: 833896 [startup+30.0007 s] Raw data (loadavg): 0.93 0.97 0.99 2/63 21100 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18016 0 1 0 2688 44 0 0 21 0 10 0 781696407 853909504 20426 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208474 20426 13086 16 0 208458 0 vsize: 833896 [startup+40.0019 s] Raw data (loadavg): 0.94 0.97 0.99 2/63 21100 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18016 0 1 0 3611 45 0 0 25 0 10 0 781696407 854048768 20751 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208508 20751 13086 16 0 208492 0 vsize: 834032 [startup+50.0029 s] Raw data (loadavg): 0.95 0.97 0.99 2/63 21100 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18016 0 1 0 4541 45 0 0 25 0 10 0 781696407 853909504 20917 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208474 20917 13086 16 0 208458 0 vsize: 833896 [startup+60.0019 s] Raw data (loadavg): 0.96 0.97 0.99 2/63 21100 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18016 0 1 0 5464 45 0 0 25 0 10 0 781696407 853909504 21067 4294967295 134512640 134569956 3221224368 3221214768 1131276088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208474 21067 13086 16 0 208458 0 vsize: 833896 [startup+70.0024 s] Raw data (loadavg): 0.97 0.97 0.99 2/63 21100 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18016 0 1 0 6400 45 0 0 25 0 10 0 781696407 853909504 21269 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208474 21269 13086 16 0 208458 0 vsize: 833896 [startup+80.0032 s] Raw data (loadavg): 0.97 0.97 0.99 2/63 21100 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18016 0 1 0 7341 45 0 0 24 0 10 0 781696407 853909504 21384 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208474 21384 13086 16 0 208458 0 vsize: 833896 [startup+90.0034 s] Raw data (loadavg): 1.05 0.99 0.99 4/63 21100 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18022 0 1 0 8267 46 0 0 25 0 10 0 781696407 857579520 22246 4294967295 134512640 134569956 3221224368 3221214656 1131194780 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209370 22246 13086 16 0 209354 0 vsize: 837480 [startup+100.004 s] Raw data (loadavg): 1.05 0.99 0.99 2/63 21100 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18037 0 1 0 9126 51 0 0 25 0 10 0 781696407 858595328 28766 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209618 28766 13086 16 0 209602 0 vsize: 838472 [startup+110.004 s] Raw data (loadavg): 1.04 0.99 0.99 2/63 21100 Raw data (stat): 21091 (java) S 21090 3944 3943 0 -1 0 18037 0 1 0 9990 51 0 0 25 0 10 0 781696407 858595328 29938 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209618 29938 13086 16 0 209602 0 vsize: 838472 [startup+120.005 s] Raw data (loadavg): 1.03 0.99 0.99 2/63 21100 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18037 0 1 0 10837 54 0 0 25 0 10 0 781696407 858595328 30998 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209618 30998 13086 16 0 209602 0 vsize: 838472 [startup+130.005 s] Raw data (loadavg): 1.10 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18075 0 1 0 11736 55 0 0 25 0 11 0 781696407 858959872 32407 4294967295 134512640 134569956 3221224368 3221214608 1131479726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32407 13086 16 0 209691 0 vsize: 838828 [startup+140.006 s] Raw data (loadavg): 1.08 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18075 0 1 0 12708 55 0 0 25 0 11 0 781696407 858959872 32407 4294967295 134512640 134569956 3221224368 3221214608 1131479747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32407 13086 16 0 209691 0 vsize: 838828 [startup+150.006 s] Raw data (loadavg): 1.07 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18075 0 1 0 13679 55 0 0 25 0 11 0 781696407 858959872 32407 4294967295 134512640 134569956 3221224368 3221214480 1131489211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32407 13086 16 0 209691 0 vsize: 838828 [startup+160.006 s] Raw data (loadavg): 1.06 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18075 0 1 0 14651 56 0 0 25 0 11 0 781696407 858959872 32407 4294967295 134512640 134569956 3221224368 3221214480 1131491000 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32407 13086 16 0 209691 0 vsize: 838828 [startup+170.012 s] Raw data (loadavg): 1.05 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18075 0 1 0 15630 56 0 0 25 0 11 0 781696407 858959872 32407 4294967295 134512640 134569956 3221224368 3221214384 1131314579 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32407 13086 16 0 209691 0 vsize: 838828 [startup+180.012 s] Raw data (loadavg): 1.04 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18075 0 1 0 16602 56 0 0 25 0 11 0 781696407 858959872 32407 4294967295 134512640 134569956 3221224368 3221214608 1131479037 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32407 13086 16 0 209691 0 vsize: 838828 [startup+190.014 s] Raw data (loadavg): 1.04 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18075 0 1 0 17575 56 0 0 25 0 11 0 781696407 858959872 32407 4294967295 134512640 134569956 3221224368 3221214560 1131470698 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32407 13086 16 0 209691 0 vsize: 838828 [startup+200.014 s] Raw data (loadavg): 1.03 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 18547 56 0 0 25 0 11 0 781696407 858959872 32423 4294967295 134512640 134569956 3221224368 3221214480 1131489211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32423 13086 16 0 209691 0 vsize: 838828 [startup+210.014 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 19527 56 0 0 25 0 11 0 781696407 858959872 32871 4294967295 134512640 134569956 3221224368 3221214608 1131479540 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32871 13086 16 0 209691 0 vsize: 838828 [startup+220.015 s] Raw data (loadavg): 1.09 1.02 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 20526 56 0 0 25 0 11 0 781696407 858959872 32871 4294967295 134512640 134569956 3221224368 3221214480 1131489208 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32871 13086 16 0 209691 0 vsize: 838828 [startup+230.015 s] Raw data (loadavg): 1.08 1.02 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 21525 57 0 0 25 0 11 0 781696407 858959872 32871 4294967295 134512640 134569956 3221224368 3221214480 1131488704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32871 13086 16 0 209691 0 vsize: 838828 [startup+240.015 s] Raw data (loadavg): 1.07 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 22523 57 0 0 25 0 11 0 781696407 858959872 32871 4294967295 134512640 134569956 3221224368 3221214604 1131415268 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32871 13086 16 0 209691 0 vsize: 838828 [startup+250.015 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 23522 58 0 0 25 0 11 0 781696407 858959872 32871 4294967295 134512640 134569956 3221224368 3221214608 1131479182 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32871 13086 16 0 209691 0 vsize: 838828 [startup+260.016 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 24520 58 0 0 25 0 11 0 781696407 858959872 32871 4294967295 134512640 134569956 3221224368 3221214480 1131489211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32871 13086 16 0 209691 0 vsize: 838828 [startup+270.016 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 25519 58 0 0 25 0 11 0 781696407 858959872 32871 4294967295 134512640 134569956 3221224368 3221214604 1131253088 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32871 13086 16 0 209691 0 vsize: 838828 [startup+280.015 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 26516 58 0 0 25 0 11 0 781696407 858959872 32871 4294967295 134512640 134569956 3221224368 3221214384 1131314482 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32871 13086 16 0 209691 0 vsize: 838828 [startup+290.016 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 27514 58 0 0 25 0 11 0 781696407 858959872 32871 4294967295 134512640 134569956 3221224368 3221214608 1131479217 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32871 13086 16 0 209691 0 vsize: 838828 [startup+300.016 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 28513 58 0 0 25 0 11 0 781696407 858959872 32871 4294967295 134512640 134569956 3221224368 3221214384 1131314579 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32871 13086 16 0 209691 0 vsize: 838828 [startup+310.016 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 29511 59 0 0 25 0 11 0 781696407 858959872 32871 4294967295 134512640 134569956 3221224368 3221214384 1131314432 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32871 13086 16 0 209691 0 vsize: 838828 [startup+320.015 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 30510 59 0 0 25 0 11 0 781696407 858959872 32871 4294967295 134512640 134569956 3221224368 3221214480 1131488747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32871 13086 16 0 209691 0 vsize: 838828 [startup+330.015 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 31509 59 0 0 25 0 11 0 781696407 858959872 32871 4294967295 134512640 134569956 3221224368 3221214384 1131316571 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32871 13086 16 0 209691 0 vsize: 838828 [startup+340.016 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 32508 59 0 0 25 0 11 0 781696407 858959872 32871 4294967295 134512640 134569956 3221224368 3221214384 1131314756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32871 13086 16 0 209691 0 vsize: 838828 [startup+350.016 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 33507 59 0 0 25 0 11 0 781696407 858959872 32871 4294967295 134512640 134569956 3221224368 3221214608 1131479046 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32871 13086 16 0 209691 0 vsize: 838828 [startup+360.016 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 34505 59 0 0 25 0 11 0 781696407 858959872 32876 4294967295 134512640 134569956 3221224368 3221214480 1131488810 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32876 13086 16 0 209691 0 vsize: 838828 [startup+370.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 35504 59 0 0 25 0 11 0 781696407 858959872 32876 4294967295 134512640 134569956 3221224368 3221214604 1131415235 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32876 13086 16 0 209691 0 vsize: 838828 [startup+380.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 36503 59 0 0 25 0 11 0 781696407 858959872 32876 4294967295 134512640 134569956 3221224368 3221214604 1131415235 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32876 13086 16 0 209691 0 vsize: 838828 [startup+390.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 37502 59 0 0 25 0 11 0 781696407 858959872 32876 4294967295 134512640 134569956 3221224368 3221214608 1131479726 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32876 13086 16 0 209691 0 vsize: 838828 [startup+400.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 38501 59 0 0 25 0 11 0 781696407 858959872 32876 4294967295 134512640 134569956 3221224368 3221214608 1131479726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32876 13086 16 0 209691 0 vsize: 838828 [startup+410.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 39499 59 0 0 25 0 11 0 781696407 858959872 32876 4294967295 134512640 134569956 3221224368 3221214480 1131489294 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32876 13086 16 0 209691 0 vsize: 838828 [startup+420.018 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 40498 60 0 0 25 0 11 0 781696407 858959872 32876 4294967295 134512640 134569956 3221224368 3221214384 1131316514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32876 13086 16 0 209691 0 vsize: 838828 [startup+430.018 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 41497 60 0 0 25 0 11 0 781696407 858959872 32876 4294967295 134512640 134569956 3221224368 3221214384 1131314768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32876 13086 16 0 209691 0 vsize: 838828 [startup+440.018 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 42496 60 0 0 25 0 11 0 781696407 858959872 32876 4294967295 134512640 134569956 3221224368 3221214480 1131489294 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32876 13086 16 0 209691 0 vsize: 838828 [startup+450.018 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 43494 60 0 0 25 0 11 0 781696407 858959872 32876 4294967295 134512640 134569956 3221224368 3221214608 1131479726 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32876 13086 16 0 209691 0 vsize: 838828 [startup+460.018 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18076 0 1 0 44493 60 0 0 25 0 11 0 781696407 858959872 32876 4294967295 134512640 134569956 3221224368 3221214608 1131479726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32876 13086 16 0 209691 0 vsize: 838828 [startup+470.02 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 45492 60 0 0 25 0 11 0 781696407 858959872 32877 4294967295 134512640 134569956 3221224368 3221214384 1131314579 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32877 13086 16 0 209691 0 vsize: 838828 [startup+480.02 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 46490 61 0 0 25 0 11 0 781696407 858959872 32879 4294967295 134512640 134569956 3221224368 3221214340 1076614592 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32879 13086 16 0 209691 0 vsize: 838828 [startup+490.02 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 47490 61 0 0 25 0 11 0 781696407 858959872 32879 4294967295 134512640 134569956 3221224368 3221214532 1131314375 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32879 13086 16 0 209691 0 vsize: 838828 [startup+500.021 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 48488 61 0 0 25 0 11 0 781696407 858959872 32879 4294967295 134512640 134569956 3221224368 3221214384 1131314432 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32879 13086 16 0 209691 0 vsize: 838828 [startup+510.02 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 49487 61 0 0 25 0 11 0 781696407 858959872 32879 4294967295 134512640 134569956 3221224368 3221214480 1131488747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32879 13086 16 0 209691 0 vsize: 838828 [startup+520.02 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 50487 61 0 0 25 0 11 0 781696407 858959872 32879 4294967295 134512640 134569956 3221224368 3221214480 1131488747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32879 13086 16 0 209691 0 vsize: 838828 [startup+530.02 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 51486 61 0 0 25 0 11 0 781696407 858959872 32879 4294967295 134512640 134569956 3221224368 3221214608 1131479107 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32879 13086 16 0 209691 0 vsize: 838828 [startup+540.02 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 52485 62 0 0 25 0 11 0 781696407 858959872 32879 4294967295 134512640 134569956 3221224368 3221214384 1131314493 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32879 13086 16 0 209691 0 vsize: 838828 [startup+550.02 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 53484 62 0 0 25 0 11 0 781696407 858959872 32879 4294967295 134512640 134569956 3221224368 3221214608 1131479037 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32879 13086 16 0 209691 0 vsize: 838828 [startup+560.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 54482 62 0 0 25 0 11 0 781696407 858959872 32880 4294967295 134512640 134569956 3221224368 3221214480 1131489024 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32880 13086 16 0 209691 0 vsize: 838828 [startup+570.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 55482 62 0 0 25 0 11 0 781696407 858959872 32880 4294967295 134512640 134569956 3221224368 3221214608 1131479135 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32880 13086 16 0 209691 0 vsize: 838828 [startup+580.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 56481 62 0 0 25 0 11 0 781696407 858959872 32886 4294967295 134512640 134569956 3221224368 3221214608 1131479350 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32886 13086 16 0 209691 0 vsize: 838828 [startup+590.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 57481 62 0 0 25 0 11 0 781696407 858959872 32886 4294967295 134512640 134569956 3221224368 3221214608 1131479357 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32886 13086 16 0 209691 0 vsize: 838828 [startup+600.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 58453 62 0 0 25 0 11 0 781696407 858959872 32891 4294967295 134512640 134569956 3221224368 3221214464 1131491007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32891 13086 16 0 209691 0 vsize: 838828 [startup+610.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 59437 63 0 0 25 0 11 0 781696407 858959872 32891 4294967295 134512640 134569956 3221224368 3221214532 1131315496 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32891 13086 16 0 209691 0 vsize: 838828 [startup+620.021 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 60420 63 0 0 25 0 11 0 781696407 858959872 32891 4294967295 134512640 134569956 3221224368 3221214560 1131479023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32891 13086 16 0 209691 0 vsize: 838828 [startup+630.021 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 61405 63 0 0 25 0 11 0 781696407 858959872 32891 4294967295 134512640 134569956 3221224368 3221214464 1131489211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32891 13086 16 0 209691 0 vsize: 838828 [startup+640.021 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 62392 64 0 0 25 0 11 0 781696407 858959872 32891 4294967295 134512640 134569956 3221224368 3221214464 1131488747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32891 13086 16 0 209691 0 vsize: 838828 [startup+650.022 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 63376 64 0 0 25 0 11 0 781696407 858959872 32891 4294967295 134512640 134569956 3221224368 3221214608 1131523651 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32891 13086 16 0 209691 0 vsize: 838828 [startup+660.022 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 64359 64 0 0 25 0 11 0 781696407 858959872 32891 4294967295 134512640 134569956 3221224368 3221214560 1131479726 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 32891 13086 16 0 209691 0 vsize: 838828 [startup+670.023 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 65343 64 0 0 25 0 11 0 781696407 858959872 32891 4294967295 134512640 134569956 3221224368 3221214464 1131490166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 32891 13086 16 0 209691 0 vsize: 838828 [startup+680.023 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 66330 64 0 0 25 0 11 0 781696407 858959872 33170 4294967295 134512640 134569956 3221224368 3221214560 1131479220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33170 13086 16 0 209691 0 vsize: 838828 [startup+690.023 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 67328 65 0 0 25 0 11 0 781696407 858959872 33170 4294967295 134512640 134569956 3221224368 3221214432 1131314579 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33170 13086 16 0 209691 0 vsize: 838828 [startup+700.024 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 68327 65 0 0 25 0 11 0 781696407 858959872 33170 4294967295 134512640 134569956 3221224368 3221214464 1131488747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33170 13086 16 0 209691 0 vsize: 838828 [startup+710.024 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 69325 65 0 0 25 0 11 0 781696407 858959872 33170 4294967295 134512640 134569956 3221224368 3221214560 1131479726 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 33170 13086 16 0 209691 0 vsize: 838828 [startup+720.025 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 70323 65 0 0 25 0 11 0 781696407 858959872 33170 4294967295 134512640 134569956 3221224368 3221214608 1131523740 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33170 13086 16 0 209691 0 vsize: 838828 [startup+730.024 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 71321 65 0 0 25 0 11 0 781696407 858959872 33171 4294967295 134512640 134569956 3221224368 3221214432 1131314780 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33171 13086 16 0 209691 0 vsize: 838828 [startup+740.026 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 72320 65 0 0 25 0 11 0 781696407 858959872 33171 4294967295 134512640 134569956 3221224368 3221214608 1131523603 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33171 13086 16 0 209691 0 vsize: 838828 [startup+750.026 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 73319 65 0 0 25 0 11 0 781696407 858959872 33171 4294967295 134512640 134569956 3221224368 3221214560 1131479128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 33171 13086 16 0 209691 0 vsize: 838828 [startup+760.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 74317 66 0 0 25 0 11 0 781696407 858959872 33171 4294967295 134512640 134569956 3221224368 3221214464 1131488790 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33171 13086 16 0 209691 0 vsize: 838828 [startup+770.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 75315 66 0 0 25 0 11 0 781696407 858959872 33171 4294967295 134512640 134569956 3221224368 3221214560 1131479245 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33171 13086 16 0 209691 0 vsize: 838828 [startup+780.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 76313 66 0 0 25 0 11 0 781696407 858959872 33171 4294967295 134512640 134569956 3221224368 3221214560 1131479220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 33171 13086 16 0 209691 0 vsize: 838828 [startup+790.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 77311 66 0 0 25 0 11 0 781696407 858959872 33171 4294967295 134512640 134569956 3221224368 3221214608 1131523610 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33171 13086 16 0 209691 0 vsize: 838828 [startup+800.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 78309 66 0 0 25 0 11 0 781696407 858959872 33171 4294967295 134512640 134569956 3221224368 3221214464 1131489294 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 33171 13086 16 0 209691 0 vsize: 838828 [startup+810.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 79308 66 0 0 25 0 11 0 781696407 858959872 33171 4294967295 134512640 134569956 3221224368 3221214432 1131314579 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 33171 13086 16 0 209691 0 vsize: 838828 [startup+820.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 80307 66 0 0 25 0 11 0 781696407 858959872 33171 4294967295 134512640 134569956 3221224368 3221214560 1131479037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33171 13086 16 0 209691 0 vsize: 838828 [startup+830.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 81303 66 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214464 1131489294 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+840.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 82301 67 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214464 1131488775 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+850.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 83300 67 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214560 1131479136 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+860.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 84299 67 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214536 1131320503 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+870.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 85299 67 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214464 1131489211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+880.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 86297 68 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214560 1131479726 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+890.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 87297 68 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214464 1131489214 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+900.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 88295 68 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214536 1131320416 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+910.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 89294 68 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214560 1131479220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+920.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 90293 69 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214560 1131479355 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+930.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 91292 69 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214560 1131479220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+940.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 92291 69 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214464 1131492305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+950.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 93291 69 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214560 1131479046 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+960.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 94290 70 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214432 1131314432 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+970.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 95289 70 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214556 1131253091 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+980.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 96289 70 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214464 1131489294 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+990.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 97288 71 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214464 1131489929 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 98287 71 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214432 1131314432 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 99287 71 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214556 1131253103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 100286 72 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214560 1131479726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 101285 72 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214560 1131479115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 102286 72 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214608 1131523600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 103285 72 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214464 1131488744 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 104285 72 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214608 1131526449 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 105282 72 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214584 1131479050 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 106280 73 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214488 1131489211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 107278 73 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214456 1131314473 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 108277 73 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214560 1131320527 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 109275 73 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214560 1131253128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 110273 73 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214584 1131479436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 111271 73 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214584 1131479220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 112270 74 0 0 25 0 11 0 781696407 858959872 33173 4294967295 134512640 134569956 3221224368 3221214456 1131314522 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33173 13086 16 0 209691 0 vsize: 838828 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 113268 74 0 0 25 0 11 0 781696407 858959872 33205 4294967295 134512640 134569956 3221224368 3221214632 1131523603 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33205 13086 16 0 209691 0 vsize: 838828 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 114267 74 0 0 25 0 11 0 781696407 858959872 33205 4294967295 134512640 134569956 3221224368 3221214488 1131489211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33205 13086 16 0 209691 0 vsize: 838828 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 115266 75 0 0 25 0 11 0 781696407 858959872 33205 4294967295 134512640 134569956 3221224368 3221214584 1131479220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33205 13086 16 0 209691 0 vsize: 838828 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 116265 75 0 0 25 0 11 0 781696407 858959872 33205 4294967295 134512640 134569956 3221224368 3221214584 1131479726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33205 13086 16 0 209691 0 vsize: 838828 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 117264 75 0 0 25 0 11 0 781696407 858959872 33205 4294967295 134512640 134569956 3221224368 3221214584 1131479207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33205 13086 16 0 209691 0 vsize: 838828 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 118263 76 0 0 25 0 11 0 781696407 858959872 33205 4294967295 134512640 134569956 3221224368 3221214632 1131523610 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33205 13086 16 0 209691 0 vsize: 838828 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 119262 76 0 0 25 0 11 0 781696407 858959872 33205 4294967295 134512640 134569956 3221224368 3221214580 1131449191 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33205 13086 16 0 209691 0 vsize: 838828 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21101 Raw data (stat): 21091 (java) R 21090 3944 3943 0 -1 0 18077 0 1 0 120261 76 0 0 25 0 11 0 781696407 858959872 33205 4294967295 134512640 134569956 3221224368 3221214456 1131314432 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209707 33205 13086 16 0 209691 0 vsize: 838828 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.18 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 21103 Raw data (stat): 21091 (java) Z 21090 3944 3943 0 -1 1036 18077 18137 1 0 120266 83 2740 47 25 0 1 0 781696407 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1220.18 CPU time (s): 1231.37 CPU user time (s): 1230.07 CPU system time (s): 1.3038 CPU usage (%): 100.917 Max. virtual memory (Kb): 838828 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####