Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scsd6.opb |
MD5SUM | 0d5445665abfc27d4c2dc0b60a7a20c1 |
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 | 27000 |
Biggest coefficient in the objective function | 234468721295360 |
Number of bits for the biggest coefficient in the objective function | 48 |
Sum of the numbers in the objective function | 311706790809100500 |
Number of bits of the sum of numbers in the objective function | 59 |
Biggest number in a constraint | 234468721295360 |
Number of bits of the biggest number in a constraint | 48 |
Biggest sum of numbers in a constraint | 311706790809100500 |
Number of bits of the biggest sum of numbers | 59 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.237963 |
Number of variables | 27000 |
Total number of constraints | 147 |
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 | 147 |
Minimum length of a constraint | 400 |
Maximum length of a constraint | 800 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc24 THE 2005-05-25 12:18:33 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21265 boxname=wulflinc24 idbench=1253 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 0d5445665abfc27d4c2dc0b60a7a20c1 /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-scsd6.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-scsd6.opb IDLAUNCH: 21265 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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: 658180 kB Buffers: 28108 kB Cached: 325856 kB SwapCached: 588 kB Active: 67704 kB Inactive: 288320 kB HighTotal: 131008 kB HighFree: 1176 kB LowTotal: 903652 kB LowFree: 657004 kB SwapTotal: 2097892 kB SwapFree: 2096416 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5160 kB Slab: 14736 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 12:39:15 (client local time) WITH STATUS 143 IN 1250.13 SECONDS stats: 21265 7 1250.13 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/wulflinc24/normalized-mps-v2-13-7-scsd6.opb c reading problem ... done. Time 212.89 ms. c #vars 27000 c #constraints 294 c starts : 4 c conflicts : 624 c decisions : 2923 c propagations : 7714 c inspects : 334519 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 623 c root simplifications : 4 s UNKNOWN c Total CPU time (ms) : 1239.082 #### 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 21356 Raw data (stat): 21356 (runsolver) R 21355 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838818875 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.0016 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 865 40 0 0 25 0 10 0 838818875 854212608 19424 4294967295 134512640 134569956 3221224368 3221214648 1131193243 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208548 19424 13086 16 0 208532 0 vsize: 834192 [startup+20.0025 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 1757 41 0 0 25 0 10 0 838818875 854212608 19949 4294967295 134512640 134569956 3221224368 3221214412 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208548 19949 13086 16 0 208532 0 vsize: 834192 [startup+30.0021 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 2648 41 0 0 25 0 10 0 838818875 854212608 20445 4294967295 134512640 134569956 3221224368 3221214464 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208548 20445 13086 16 0 208532 0 vsize: 834192 [startup+40.0033 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 3558 41 0 0 25 0 10 0 838818875 854212608 20882 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208548 20882 13086 16 0 208532 0 vsize: 834192 [startup+50.0036 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 4480 43 0 0 25 0 10 0 838818875 854212608 21048 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208548 21048 13086 16 0 208532 0 vsize: 834192 [startup+60.0044 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 5392 43 0 0 25 0 10 0 838818875 854212608 21190 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208548 21190 13086 16 0 208532 0 vsize: 834192 [startup+70.0077 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 6318 43 0 0 25 0 10 0 838818875 854482944 21432 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208614 21432 13086 16 0 208598 0 vsize: 834456 [startup+80.0077 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 7257 43 0 0 25 0 10 0 838818875 854482944 21535 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208614 21535 13086 16 0 208598 0 vsize: 834456 [startup+90.0083 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 8196 44 0 0 25 0 10 0 838818875 854482944 21629 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208614 21629 13086 16 0 208598 0 vsize: 834456 [startup+100.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 9137 44 0 0 25 0 10 0 838818875 854482944 21716 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208614 21716 13086 16 0 208598 0 vsize: 834456 [startup+110.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 10079 44 0 0 25 0 10 0 838818875 854482944 21798 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208614 21798 13086 16 0 208598 0 vsize: 834456 [startup+120.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 11017 45 0 0 25 0 10 0 838818875 854482944 21880 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208614 21880 13086 16 0 208598 0 vsize: 834456 [startup+130.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 11959 45 0 0 25 0 10 0 838818875 854482944 21952 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208614 21952 13086 16 0 208598 0 vsize: 834456 [startup+140.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 12903 45 0 0 25 0 10 0 838818875 854482944 22022 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208614 22022 13086 16 0 208598 0 vsize: 834456 [startup+150.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 13846 46 0 0 25 0 10 0 838818875 854482944 22088 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208614 22088 13086 16 0 208598 0 vsize: 834456 [startup+160.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 14789 46 0 0 25 0 10 0 838818875 854482944 22151 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208614 22151 13086 16 0 208598 0 vsize: 834456 [startup+170.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) S 21355 4613 4612 0 -1 0 18023 0 1 0 15730 46 0 0 25 0 10 0 838818875 854482944 22214 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208614 22214 13086 16 0 208598 0 vsize: 834456 [startup+180.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 16655 46 0 0 25 0 10 0 838818875 854482944 22272 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208614 22272 13086 16 0 208598 0 vsize: 834456 [startup+190.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 17571 46 0 0 25 0 10 0 838818875 854482944 22330 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208614 22330 13086 16 0 208598 0 vsize: 834456 [startup+200.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18023 0 1 0 18502 47 0 0 25 0 10 0 838818875 854482944 22642 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208614 22642 13086 16 0 208598 0 vsize: 834456 [startup+210.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21365 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18033 0 1 0 19379 48 0 0 25 0 10 0 838818875 856113152 23209 4294967295 134512640 134569956 3221224368 3221214720 1131157375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209012 23209 13086 16 0 208996 0 vsize: 836048 [startup+220.015 s] Raw data (loadavg): 1.16 1.03 1.01 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18074 0 1 0 20172 50 0 0 25 0 11 0 838818875 861462528 28794 4294967295 134512640 134569956 3221224368 3221214504 1131292234 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210318 28794 13086 16 0 210302 0 vsize: 841272 [startup+230.014 s] Raw data (loadavg): 1.13 1.03 1.01 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18076 0 1 0 21119 50 0 0 25 0 11 0 838818875 860508160 28393 4294967295 134512640 134569956 3221224368 3221214600 1131390289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 28393 13086 16 0 210069 0 vsize: 840340 [startup+240.015 s] Raw data (loadavg): 1.11 1.03 1.01 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18076 0 1 0 22076 50 0 0 25 0 11 0 838818875 860508160 28480 4294967295 134512640 134569956 3221224368 3221214608 1131548997 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 28480 13086 16 0 210069 0 vsize: 840340 [startup+250.015 s] Raw data (loadavg): 1.10 1.03 1.01 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18076 0 1 0 23041 50 0 0 25 0 11 0 838818875 860508160 28917 4294967295 134512640 134569956 3221224368 3221214512 1131400444 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 28917 13086 16 0 210069 0 vsize: 840340 [startup+260.015 s] Raw data (loadavg): 1.08 1.03 1.01 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18076 0 1 0 24002 50 0 0 25 0 11 0 838818875 860508160 28920 4294967295 134512640 134569956 3221224368 3221214600 1131390014 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 28920 13086 16 0 210069 0 vsize: 840340 [startup+270.016 s] Raw data (loadavg): 1.07 1.03 1.01 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18076 0 1 0 24957 50 0 0 25 0 11 0 838818875 860508160 29175 4294967295 134512640 134569956 3221224368 3221214512 1131292212 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 29175 13086 16 0 210069 0 vsize: 840340 [startup+280.016 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18076 0 1 0 25914 51 0 0 24 0 11 0 838818875 860508160 29235 4294967295 134512640 134569956 3221224368 3221214572 1130885240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 29235 13086 16 0 210069 0 vsize: 840340 [startup+290.016 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18076 0 1 0 26864 51 0 0 25 0 11 0 838818875 860508160 29271 4294967295 134512640 134569956 3221224368 3221214600 1131390748 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 29271 13086 16 0 210069 0 vsize: 840340 [startup+300.017 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18076 0 1 0 27816 51 0 0 25 0 11 0 838818875 860508160 29437 4294967295 134512640 134569956 3221224368 3221214512 1131291902 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 29437 13086 16 0 210069 0 vsize: 840340 [startup+310.02 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) S 21355 4613 4612 0 -1 0 18076 0 1 0 28781 51 0 0 25 0 11 0 838818875 860508160 29626 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 29627 13086 16 0 210069 0 vsize: 840340 [startup+320.02 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18076 0 1 0 29748 51 0 0 24 0 11 0 838818875 860508160 29906 4294967295 134512640 134569956 3221224368 3221214512 1131402373 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210085 29906 13086 16 0 210069 0 vsize: 840340 [startup+330.02 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18076 0 1 0 30720 51 0 0 25 0 11 0 838818875 860508160 30111 4294967295 134512640 134569956 3221224368 3221214608 1131548871 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210085 30111 13086 16 0 210069 0 vsize: 840340 [startup+340.022 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18076 0 1 0 31690 51 0 0 25 0 11 0 838818875 860508160 30127 4294967295 134512640 134569956 3221224368 3221214600 1131389872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210085 30127 13086 16 0 210069 0 vsize: 840340 [startup+350.022 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 32657 52 0 0 25 0 11 0 838818875 860508160 30150 4294967295 134512640 134569956 3221224368 3221214512 1131400444 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210085 30150 13086 16 0 210069 0 vsize: 840340 [startup+360.021 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 33620 52 0 0 25 0 11 0 838818875 860508160 30245 4294967295 134512640 134569956 3221224368 3221214628 1131551859 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 30245 13086 16 0 210069 0 vsize: 840340 [startup+370.022 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 34590 52 0 0 25 0 11 0 838818875 860508160 30323 4294967295 134512640 134569956 3221224368 3221214512 1131400619 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 30323 13086 16 0 210069 0 vsize: 840340 [startup+380.022 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 35549 52 0 0 25 0 11 0 838818875 860508160 30463 4294967295 134512640 134569956 3221224368 3221214512 1131400496 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210085 30463 13086 16 0 210069 0 vsize: 840340 [startup+390.022 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 36509 52 0 0 25 0 11 0 838818875 860508160 30558 4294967295 134512640 134569956 3221224368 3221214600 1131389878 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 30558 13086 16 0 210069 0 vsize: 840340 [startup+400.023 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 37446 53 0 0 25 0 11 0 838818875 860508160 30749 4294967295 134512640 134569956 3221224368 3221214736 1131341810 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210085 30749 13086 16 0 210069 0 vsize: 840340 [startup+410.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 38391 53 0 0 25 0 11 0 838818875 860508160 30951 4294967295 134512640 134569956 3221224368 3221214792 1131364599 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210085 30951 13086 16 0 210069 0 vsize: 840340 [startup+420.022 s] Raw data (loadavg): 1.08 1.03 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 39359 53 0 0 25 0 11 0 838818875 860508160 31062 4294967295 134512640 134569956 3221224368 3221214736 1131341476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 31062 13086 16 0 210069 0 vsize: 840340 [startup+430.022 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 40326 54 0 0 25 0 11 0 838818875 860508160 31287 4294967295 134512640 134569956 3221224368 3221214576 1131224927 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210085 31287 13086 16 0 210069 0 vsize: 840340 [startup+440.022 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 41305 54 0 0 25 0 11 0 838818875 860508160 31396 4294967295 134512640 134569956 3221224368 3221214512 1131292191 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210085 31396 13086 16 0 210069 0 vsize: 840340 [startup+450.022 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 42284 54 0 0 25 0 11 0 838818875 860508160 31402 4294967295 134512640 134569956 3221224368 3221214792 1131365124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210085 31402 13086 16 0 210069 0 vsize: 840340 [startup+460.022 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 43262 54 0 0 25 0 11 0 838818875 860508160 31440 4294967295 134512640 134569956 3221224368 3221214648 1131335659 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210085 31440 13086 16 0 210069 0 vsize: 840340 [startup+470.022 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) S 21355 4613 4612 0 -1 0 18077 0 1 0 44243 55 0 0 25 0 11 0 838818875 860508160 31503 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210085 31503 13086 16 0 210069 0 vsize: 840340 [startup+480.022 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 45229 55 0 0 25 0 11 0 838818875 860508160 31560 4294967295 134512640 134569956 3221224368 3221214360 1078033476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210085 31560 13086 16 0 210069 0 vsize: 840340 [startup+490.023 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 46211 55 0 0 24 0 11 0 838818875 860508160 31638 4294967295 134512640 134569956 3221224368 3221214472 1131044787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 31638 13086 16 0 210069 0 vsize: 840340 [startup+500.023 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 47198 55 0 0 25 0 11 0 838818875 860508160 31663 4294967295 134512640 134569956 3221224368 3221214592 1131305243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 31663 13086 16 0 210069 0 vsize: 840340 [startup+510.023 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 48183 55 0 0 25 0 11 0 838818875 860508160 31703 4294967295 134512640 134569956 3221224368 3221214648 1131335539 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 31703 13086 16 0 210069 0 vsize: 840340 [startup+520.024 s] Raw data (loadavg): 1.09 1.03 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 49163 55 0 0 25 0 11 0 838818875 860508160 31729 4294967295 134512640 134569956 3221224368 3221214504 1131292248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 31729 13086 16 0 210069 0 vsize: 840340 [startup+530.023 s] Raw data (loadavg): 1.07 1.03 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 50141 56 0 0 25 0 11 0 838818875 860508160 31769 4294967295 134512640 134569956 3221224368 3221214512 1131400200 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 31769 13086 16 0 210069 0 vsize: 840340 [startup+540.024 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 51117 56 0 0 25 0 11 0 838818875 860508160 31823 4294967295 134512640 134569956 3221224368 3221214512 1131292122 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 31823 13086 16 0 210069 0 vsize: 840340 [startup+550.025 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 52099 56 0 0 25 0 11 0 838818875 860508160 31854 4294967295 134512640 134569956 3221224368 3221214736 1131341868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 31854 13086 16 0 210069 0 vsize: 840340 [startup+560.024 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 53072 56 0 0 25 0 11 0 838818875 860508160 31924 4294967295 134512640 134569956 3221224368 3221214512 1131401307 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 31924 13086 16 0 210069 0 vsize: 840340 [startup+570.025 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 54052 56 0 0 24 0 11 0 838818875 860508160 31955 4294967295 134512640 134569956 3221224368 3221214512 1131400478 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 31955 13086 16 0 210069 0 vsize: 840340 [startup+580.025 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 55031 56 0 0 25 0 11 0 838818875 860508160 32032 4294967295 134512640 134569956 3221224368 3221214600 1131390593 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32032 13086 16 0 210069 0 vsize: 840340 [startup+590.029 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) S 21355 4613 4612 0 -1 0 18077 0 1 0 56014 56 0 0 25 0 11 0 838818875 860508160 32086 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32086 13086 16 0 210069 0 vsize: 840340 [startup+600.029 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 56994 56 0 0 25 0 11 0 838818875 860508160 32138 4294967295 134512640 134569956 3221224368 3221214608 1131549056 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32138 13086 16 0 210069 0 vsize: 840340 [startup+610.029 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 57980 56 0 0 25 0 11 0 838818875 860508160 32199 4294967295 134512640 134569956 3221224368 3221214600 1131390241 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32199 13086 16 0 210069 0 vsize: 840340 [startup+620.03 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 58966 56 0 0 25 0 11 0 838818875 860508160 32224 4294967295 134512640 134569956 3221224368 3221214512 1131400203 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32224 13086 16 0 210069 0 vsize: 840340 [startup+630.033 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) S 21355 4613 4612 0 -1 0 18077 0 1 0 59954 56 0 0 25 0 11 0 838818875 860508160 32268 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32268 13086 16 0 210069 0 vsize: 840340 [startup+640.033 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 60943 56 0 0 25 0 11 0 838818875 860508160 32307 4294967295 134512640 134569956 3221224368 3221214572 1130885186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32307 13086 16 0 210069 0 vsize: 840340 [startup+650.034 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 61933 56 0 0 25 0 11 0 838818875 860508160 32352 4294967295 134512640 134569956 3221224368 3221214600 1131389951 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32352 13086 16 0 210069 0 vsize: 840340 [startup+660.034 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 62925 57 0 0 25 0 11 0 838818875 860508160 32392 4294967295 134512640 134569956 3221224368 3221214512 1131400642 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32392 13086 16 0 210069 0 vsize: 840340 [startup+670.038 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 63917 57 0 0 25 0 11 0 838818875 860508160 32410 4294967295 134512640 134569956 3221224368 3221214512 1131292069 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32410 13086 16 0 210069 0 vsize: 840340 [startup+680.038 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 64909 57 0 0 25 0 11 0 838818875 860508160 32417 4294967295 134512640 134569956 3221224368 3221214736 1131341793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32417 13086 16 0 210069 0 vsize: 840340 [startup+690.039 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 65900 57 0 0 25 0 11 0 838818875 860508160 32427 4294967295 134512640 134569956 3221224368 3221214504 1131291822 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32427 13086 16 0 210069 0 vsize: 840340 [startup+700.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 66892 57 0 0 25 0 11 0 838818875 860508160 32466 4294967295 134512640 134569956 3221224368 3221214512 1131292321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32466 13086 16 0 210069 0 vsize: 840340 [startup+710.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 67880 57 0 0 25 0 11 0 838818875 860508160 32473 4294967295 134512640 134569956 3221224368 3221214752 1131228945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32473 13086 16 0 210069 0 vsize: 840340 [startup+720.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 68859 57 0 0 25 0 11 0 838818875 860508160 32496 4294967295 134512640 134569956 3221224368 3221214752 1131228928 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32496 13086 16 0 210069 0 vsize: 840340 [startup+730.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 69838 58 0 0 25 0 11 0 838818875 860508160 32511 4294967295 134512640 134569956 3221224368 3221214600 1131390365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32511 13086 16 0 210069 0 vsize: 840340 [startup+740.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 70814 58 0 0 25 0 11 0 838818875 860508160 32533 4294967295 134512640 134569956 3221224368 3221214400 1131524145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32533 13086 16 0 210069 0 vsize: 840340 [startup+750.041 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 71785 58 0 0 25 0 11 0 838818875 860508160 32571 4294967295 134512640 134569956 3221224368 3221214600 1131390622 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32571 13086 16 0 210069 0 vsize: 840340 [startup+760.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 72755 58 0 0 25 0 11 0 838818875 860508160 32662 4294967295 134512640 134569956 3221224368 3221214608 1131548993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32662 13086 16 0 210069 0 vsize: 840340 [startup+770.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 73720 58 0 0 25 0 11 0 838818875 860508160 32738 4294967295 134512640 134569956 3221224368 3221214512 1131292208 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32738 13086 16 0 210069 0 vsize: 840340 [startup+780.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 74677 58 0 0 24 0 11 0 838818875 860508160 32816 4294967295 134512640 134569956 3221224368 3221214792 1131365140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32816 13086 16 0 210069 0 vsize: 840340 [startup+790.041 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 75628 58 0 0 25 0 11 0 838818875 860508160 32958 4294967295 134512640 134569956 3221224368 3221214648 1131226232 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 32958 13086 16 0 210069 0 vsize: 840340 [startup+800.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 76591 58 0 0 25 0 11 0 838818875 860508160 33103 4294967295 134512640 134569956 3221224368 3221214648 1131335693 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33103 13086 16 0 210069 0 vsize: 840340 [startup+810.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 77569 58 0 0 25 0 11 0 838818875 860508160 33337 4294967295 134512640 134569956 3221224368 3221214752 1131228978 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33337 13086 16 0 210069 0 vsize: 840340 [startup+820.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 78561 58 0 0 25 0 11 0 838818875 860508160 33345 4294967295 134512640 134569956 3221224368 3221214648 1131335651 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33345 13086 16 0 210069 0 vsize: 840340 [startup+830.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 79552 59 0 0 25 0 11 0 838818875 860508160 33355 4294967295 134512640 134569956 3221224368 3221214788 1131342135 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33355 13086 16 0 210069 0 vsize: 840340 [startup+840.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 80546 59 0 0 25 0 11 0 838818875 860508160 33362 4294967295 134512640 134569956 3221224368 3221214512 1131400444 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33362 13086 16 0 210069 0 vsize: 840340 [startup+850.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 81539 59 0 0 25 0 11 0 838818875 860508160 33370 4294967295 134512640 134569956 3221224368 3221214512 1131292248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33370 13086 16 0 210069 0 vsize: 840340 [startup+860.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 82533 59 0 0 25 0 11 0 838818875 860508160 33377 4294967295 134512640 134569956 3221224368 3221214648 1131335417 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33377 13086 16 0 210069 0 vsize: 840340 [startup+870.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 83527 59 0 0 25 0 11 0 838818875 860508160 33385 4294967295 134512640 134569956 3221224368 3221214608 1131548871 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33385 13086 16 0 210069 0 vsize: 840340 [startup+880.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 84520 59 0 0 25 0 11 0 838818875 860508160 33387 4294967295 134512640 134569956 3221224368 3221214608 1131548871 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33387 13086 16 0 210069 0 vsize: 840340 [startup+890.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 85514 59 0 0 25 0 11 0 838818875 860508160 33396 4294967295 134512640 134569956 3221224368 3221214600 1131390005 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33396 13086 16 0 210069 0 vsize: 840340 [startup+900.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 86508 59 0 0 25 0 11 0 838818875 860508160 33403 4294967295 134512640 134569956 3221224368 3221214648 1131226229 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33403 13086 16 0 210069 0 vsize: 840340 [startup+910.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 87503 59 0 0 25 0 11 0 838818875 860508160 33403 4294967295 134512640 134569956 3221224368 3221214736 1131342122 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33403 13086 16 0 210069 0 vsize: 840340 [startup+920.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 88497 59 0 0 25 0 11 0 838818875 860508160 33410 4294967295 134512640 134569956 3221224368 3221214596 1131224870 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33410 13086 16 0 210069 0 vsize: 840340 [startup+930.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 89490 59 0 0 25 0 11 0 838818875 860508160 33417 4294967295 134512640 134569956 3221224368 3221214596 1131361632 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33417 13086 16 0 210069 0 vsize: 840340 [startup+940.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 90484 59 0 0 25 0 11 0 838818875 860508160 33425 4294967295 134512640 134569956 3221224368 3221214600 1131390622 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33425 13086 16 0 210069 0 vsize: 840340 [startup+950.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 91476 59 0 0 25 0 11 0 838818875 860508160 33434 4294967295 134512640 134569956 3221224368 3221214512 1131401561 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33434 13086 16 0 210069 0 vsize: 840340 [startup+960.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 92470 59 0 0 25 0 11 0 838818875 860508160 33435 4294967295 134512640 134569956 3221224368 3221214832 1131224921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33435 13086 16 0 210069 0 vsize: 840340 [startup+970.044 s] Raw data (loadavg): 1.15 1.03 1.01 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 93463 59 0 0 25 0 11 0 838818875 860508160 33444 4294967295 134512640 134569956 3221224368 3221214736 1131341537 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33444 13086 16 0 210069 0 vsize: 840340 [startup+980.044 s] Raw data (loadavg): 1.13 1.03 1.01 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 94453 60 0 0 25 0 11 0 838818875 860508160 33454 4294967295 134512640 134569956 3221224368 3221214752 1131229047 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33454 13086 16 0 210069 0 vsize: 840340 [startup+990.045 s] Raw data (loadavg): 1.11 1.03 1.01 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 95443 60 0 0 25 0 11 0 838818875 860508160 33463 4294967295 134512640 134569956 3221224368 3221214792 1131364709 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33463 13086 16 0 210069 0 vsize: 840340 [startup+1000.05 s] Raw data (loadavg): 1.09 1.03 1.01 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 96432 60 0 0 25 0 11 0 838818875 860508160 33473 4294967295 134512640 134569956 3221224368 3221214648 1131336211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33473 13086 16 0 210069 0 vsize: 840340 [startup+1010.05 s] Raw data (loadavg): 1.08 1.03 1.01 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 97420 60 0 0 25 0 11 0 838818875 860508160 33496 4294967295 134512640 134569956 3221224368 3221214512 1131400470 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33496 13086 16 0 210069 0 vsize: 840340 [startup+1020.05 s] Raw data (loadavg): 1.06 1.03 1.01 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 98407 60 0 0 25 0 11 0 838818875 860508160 33512 4294967295 134512640 134569956 3221224368 3221214792 1131365155 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33512 13086 16 0 210069 0 vsize: 840340 [startup+1030.05 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 99393 60 0 0 25 0 11 0 838818875 860508160 33529 4294967295 134512640 134569956 3221224368 3221214736 1131341736 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33529 13086 16 0 210069 0 vsize: 840340 [startup+1040.05 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 100379 60 0 0 25 0 11 0 838818875 860508160 33554 4294967295 134512640 134569956 3221224368 3221214192 1131224956 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33554 13086 16 0 210069 0 vsize: 840340 [startup+1050.05 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 101364 60 0 0 25 0 11 0 838818875 860508160 33584 4294967295 134512640 134569956 3221224368 3221214648 1131336867 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33584 13086 16 0 210069 0 vsize: 840340 [startup+1060.05 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 102350 60 0 0 25 0 11 0 838818875 860508160 33624 4294967295 134512640 134569956 3221224368 3221214512 1131400496 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33624 13086 16 0 210069 0 vsize: 840340 [startup+1070.05 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 103335 60 0 0 25 0 11 0 838818875 860508160 33645 4294967295 134512640 134569956 3221224368 3221214600 1131389935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33645 13086 16 0 210069 0 vsize: 840340 [startup+1080.05 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 104319 60 0 0 25 0 11 0 838818875 860508160 33675 4294967295 134512640 134569956 3221224368 3221214648 1131335415 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33675 13086 16 0 210069 0 vsize: 840340 [startup+1090.05 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 105302 60 0 0 25 0 11 0 838818875 860508160 33719 4294967295 134512640 134569956 3221224368 3221214648 1131335709 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33719 13086 16 0 210069 0 vsize: 840340 [startup+1100.05 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 106286 60 0 0 25 0 11 0 838818875 860508160 33757 4294967295 134512640 134569956 3221224368 3221214512 1131292173 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33757 13086 16 0 210069 0 vsize: 840340 [startup+1110.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 107271 60 0 0 25 0 11 0 838818875 860508160 33795 4294967295 134512640 134569956 3221224368 3221214572 1130885154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33795 13086 16 0 210069 0 vsize: 840340 [startup+1120.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 108255 60 0 0 25 0 11 0 838818875 860508160 33825 4294967295 134512640 134569956 3221224368 3221214752 1131228928 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33825 13086 16 0 210069 0 vsize: 840340 [startup+1130.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 109237 61 0 0 24 0 11 0 838818875 860508160 33870 4294967295 134512640 134569956 3221224368 3221214648 1131336136 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33870 13086 16 0 210069 0 vsize: 840340 [startup+1140.05 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 110222 61 0 0 25 0 11 0 838818875 860508160 33915 4294967295 134512640 134569956 3221224368 3221214648 1131335693 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33915 13086 16 0 210069 0 vsize: 840340 [startup+1150.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 111206 61 0 0 25 0 11 0 838818875 860508160 33938 4294967295 134512640 134569956 3221224368 3221214312 1076461259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33938 13086 16 0 210069 0 vsize: 840340 [startup+1160.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 112190 61 0 0 25 0 11 0 838818875 860508160 33991 4294967295 134512640 134569956 3221224368 3221214600 1131390608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 33991 13086 16 0 210069 0 vsize: 840340 [startup+1170.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 113175 61 0 0 25 0 11 0 838818875 860508160 34008 4294967295 134512640 134569956 3221224368 3221214600 1131390229 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 34008 13086 16 0 210069 0 vsize: 840340 [startup+1180.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 114155 61 0 0 25 0 11 0 838818875 860508160 34053 4294967295 134512640 134569956 3221224368 3221214600 1131390138 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 34053 13086 16 0 210069 0 vsize: 840340 [startup+1190.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 115140 61 0 0 25 0 11 0 838818875 860508160 34092 4294967295 134512640 134569956 3221224368 3221214600 1131389929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 34092 13086 16 0 210069 0 vsize: 840340 [startup+1200.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 116123 61 0 0 25 0 11 0 838818875 860508160 34146 4294967295 134512640 134569956 3221224368 3221214736 1131341658 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 34146 13086 16 0 210069 0 vsize: 840340 [startup+1210.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 117105 61 0 0 24 0 11 0 838818875 860508160 34170 4294967295 134512640 134569956 3221224368 3221214648 1131336199 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 34170 13086 16 0 210069 0 vsize: 840340 [startup+1220.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 118087 61 0 0 25 0 11 0 838818875 860508160 34224 4294967295 134512640 134569956 3221224368 3221214752 1131229083 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 34224 13086 16 0 210069 0 vsize: 840340 [startup+1230.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 119066 61 0 0 25 0 11 0 838818875 860508160 34246 4294967295 134512640 134569956 3221224368 3221214512 1131292024 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 34246 13086 16 0 210069 0 vsize: 840340 [startup+1240.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 21366 Raw data (stat): 21356 (java) R 21355 4613 4612 0 -1 0 18077 0 1 0 120045 61 0 0 25 0 11 0 838818875 860508160 34291 4294967295 134512640 134569956 3221224368 3221214600 1131390608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210085 34291 13086 16 0 210069 0 vsize: 840340 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.17 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 21368 Raw data (stat): 21356 (java) Z 21355 4613 4612 0 -1 1036 18077 19827 1 0 120050 68 4837 56 25 0 1 0 838818875 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1240.17 CPU time (s): 1250.13 CPU user time (s): 1248.88 CPU system time (s): 1.24881 CPU usage (%): 100.803 Max. virtual memory (Kb): 841272 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####