Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb |
MD5SUM | 7872170cf5be0e3f0e6be125266c16ee |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 1364 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 230637 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 12800 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 879673 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 19292 |
Total number of constraints | 4170 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1403 |
Number of constraints which are nor clauses,nor cardinality constraints | 2767 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 980 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc7 THE 2005-05-25 13:05:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21352 boxname=wulflinc7 idbench=1340 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 7872170cf5be0e3f0e6be125266c16ee /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-aflow40b.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-aflow40b.opb IDLAUNCH: 21352 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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 : 2 cpu MHz : 451.050 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: 634208 kB Buffers: 31536 kB Cached: 348644 kB SwapCached: 756 kB Active: 63084 kB Inactive: 319260 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 633956 kB SwapTotal: 2097136 kB SwapFree: 2095584 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5140 kB Slab: 12516 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 13:26:06 (client local time) WITH STATUS 143 IN 1238.81 SECONDS stats: 21352 7 1238.81 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/wulflinc7/normalized-mps-v2-13-7-aflow40b.opb c reading problem ... done. Time 113.722 ms. c #vars 19292 c #constraints 2884 c starts : 2 c conflicts : 105 c decisions : 5216 c propagations : 34920 c inspects : 46190 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 105 c root simplifications : 2 s UNKNOWN c Total CPU time (ms) : 1239.103 #### 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.92 0.98 0.99 2/54 10100 Raw data (stat): 10100 (runsolver) R 10099 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780889074 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+9.99989 s] Raw data (loadavg): 1.17 1.03 1.01 2/63 10109 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18009 0 1 0 870 35 0 0 25 0 10 0 780889074 854372352 19485 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208587 19485 13086 16 0 208571 0 vsize: 834348 [startup+20.0013 s] Raw data (loadavg): 1.15 1.03 1.01 2/63 10109 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18009 0 1 0 1766 36 0 0 25 0 10 0 780889074 854372352 20016 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208587 20016 13086 16 0 208571 0 vsize: 834348 [startup+30.0016 s] Raw data (loadavg): 1.12 1.03 1.01 2/63 10109 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18009 0 1 0 2650 36 0 0 25 0 10 0 780889074 854372352 20566 4294967295 134512640 134569956 3221224368 3221214496 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208587 20566 13086 16 0 208571 0 vsize: 834348 [startup+40.0008 s] Raw data (loadavg): 1.10 1.03 1.01 2/63 10109 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18009 0 1 0 3564 37 0 0 25 0 10 0 780889074 854372352 20852 4294967295 134512640 134569956 3221224368 3221214448 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208587 20852 13086 16 0 208571 0 vsize: 834348 [startup+50.0014 s] Raw data (loadavg): 1.09 1.03 1.01 2/63 10111 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18009 0 1 0 4498 37 0 0 25 0 10 0 780889074 854372352 21010 4294967295 134512640 134569956 3221224368 3221214564 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208587 21010 13086 16 0 208571 0 vsize: 834348 [startup+60.0015 s] Raw data (loadavg): 1.07 1.03 1.01 2/63 10111 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18009 0 1 0 5423 37 0 0 25 0 10 0 780889074 854372352 21148 4294967295 134512640 134569956 3221224368 3221214496 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208587 21148 13086 16 0 208571 0 vsize: 834348 [startup+70.0027 s] Raw data (loadavg): 1.06 1.03 1.00 2/63 10111 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18009 0 1 0 6349 38 0 0 24 0 10 0 780889074 854372352 21276 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208587 21276 13086 16 0 208571 0 vsize: 834348 [startup+80.0164 s] Raw data (loadavg): 1.05 1.02 1.00 2/63 10111 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18009 0 1 0 7288 38 0 0 25 0 10 0 780889074 854372352 21467 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208587 21467 13086 16 0 208571 0 vsize: 834348 [startup+90.0165 s] Raw data (loadavg): 1.04 1.02 1.00 2/63 10111 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18009 0 1 0 8228 39 0 0 25 0 10 0 780889074 854372352 21568 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208587 21568 13086 16 0 208571 0 vsize: 834348 [startup+100.017 s] Raw data (loadavg): 1.04 1.02 1.00 2/63 10111 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18009 0 1 0 9169 39 0 0 25 0 10 0 780889074 854372352 21661 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208587 21661 13086 16 0 208571 0 vsize: 834348 [startup+110.024 s] Raw data (loadavg): 1.03 1.02 1.00 2/63 10111 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18009 0 1 0 10107 40 0 0 25 0 10 0 780889074 854372352 21754 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208587 21754 13086 16 0 208571 0 vsize: 834348 [startup+120.031 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18039 0 1 0 10992 41 0 0 25 0 11 0 780889074 856563712 25325 4294967295 134512640 134569956 3221224368 3221214688 1131330401 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209122 25325 13086 16 0 209106 0 vsize: 836488 [startup+130.03 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18049 0 1 0 11958 41 0 0 25 0 11 0 780889074 856563712 25351 4294967295 134512640 134569956 3221224368 3221214560 1131379708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 25351 13086 16 0 209106 0 vsize: 836488 [startup+140.031 s] Raw data (loadavg): 1.10 1.04 1.01 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18051 0 1 0 12927 42 0 0 25 0 11 0 780889074 856563712 25369 4294967295 134512640 134569956 3221224368 3221214480 1131161565 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 25369 13086 16 0 209106 0 vsize: 836488 [startup+150.032 s] Raw data (loadavg): 1.08 1.03 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 13912 42 0 0 25 0 11 0 780889074 856563712 25379 4294967295 134512640 134569956 3221224368 3221214656 1131488999 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209122 25379 13086 16 0 209106 0 vsize: 836488 [startup+160.031 s] Raw data (loadavg): 1.07 1.03 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 14900 42 0 0 25 0 11 0 780889074 856563712 25381 4294967295 134512640 134569956 3221224368 3221214640 1131275833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209122 25381 13086 16 0 209106 0 vsize: 836488 [startup+170.034 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 10112 Raw data (stat): 10100 (java) S 10099 24300 24299 0 -1 0 18052 0 1 0 15876 43 0 0 25 0 11 0 780889074 856563712 25381 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 25381 13086 16 0 209106 0 vsize: 836488 [startup+180.035 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 16827 43 0 0 25 0 11 0 780889074 856563712 25381 4294967295 134512640 134569956 3221224368 3221214556 1130885132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 25381 13086 16 0 209106 0 vsize: 836488 [startup+190.035 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 17793 43 0 0 25 0 11 0 780889074 856563712 25391 4294967295 134512640 134569956 3221224368 3221214512 1131402455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 25391 13086 16 0 209106 0 vsize: 836488 [startup+200.035 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 18758 43 0 0 25 0 11 0 780889074 856563712 25394 4294967295 134512640 134569956 3221224368 3221214512 1131400519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 25394 13086 16 0 209106 0 vsize: 836488 [startup+210.035 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 19741 43 0 0 25 0 11 0 780889074 856563712 25394 4294967295 134512640 134569956 3221224368 3221214512 1131403195 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 25394 13086 16 0 209106 0 vsize: 836488 [startup+220.036 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 20712 43 0 0 25 0 11 0 780889074 856563712 25412 4294967295 134512640 134569956 3221224368 3221214656 1131489095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 25412 13086 16 0 209106 0 vsize: 836488 [startup+230.036 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 21658 43 0 0 24 0 11 0 780889074 856563712 25698 4294967295 134512640 134569956 3221224368 3221214688 1131330485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 25698 13086 16 0 209106 0 vsize: 836488 [startup+240.035 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 22627 43 0 0 25 0 11 0 780889074 856563712 25723 4294967295 134512640 134569956 3221224368 3221214600 1131390577 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 25723 13086 16 0 209106 0 vsize: 836488 [startup+250.035 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 23598 43 0 0 24 0 11 0 780889074 856563712 25988 4294967295 134512640 134569956 3221224368 3221214688 1131330873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 25988 13086 16 0 209106 0 vsize: 836488 [startup+260.036 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 24580 43 0 0 25 0 11 0 780889074 856563712 26045 4294967295 134512640 134569956 3221224368 3221214512 1131400524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 26045 13086 16 0 209106 0 vsize: 836488 [startup+270.037 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 25560 43 0 0 25 0 11 0 780889074 856563712 26046 4294967295 134512640 134569956 3221224368 3221214600 1131390858 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 26046 13086 16 0 209106 0 vsize: 836488 [startup+280.037 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 26549 43 0 0 25 0 11 0 780889074 856563712 26149 4294967295 134512640 134569956 3221224368 3221214600 1131390783 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 26149 13086 16 0 209106 0 vsize: 836488 [startup+290.037 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 27529 43 0 0 25 0 11 0 780889074 856563712 26237 4294967295 134512640 134569956 3221224368 3221214600 1131390873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 26237 13086 16 0 209106 0 vsize: 836488 [startup+300.037 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 28508 43 0 0 24 0 11 0 780889074 856563712 26339 4294967295 134512640 134569956 3221224368 3221214504 1131261582 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 26339 13086 16 0 209106 0 vsize: 836488 [startup+310.038 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 29488 43 0 0 25 0 11 0 780889074 856563712 26477 4294967295 134512640 134569956 3221224368 3221214556 1130885120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 26477 13086 16 0 209106 0 vsize: 836488 [startup+320.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 30478 43 0 0 25 0 11 0 780889074 856563712 26516 4294967295 134512640 134569956 3221224368 3221214600 1131390858 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 26516 13086 16 0 209106 0 vsize: 836488 [startup+330.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 31461 43 0 0 25 0 11 0 780889074 856563712 26516 4294967295 134512640 134569956 3221224368 3221214688 1131330412 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 26516 13086 16 0 209106 0 vsize: 836488 [startup+340.038 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 32451 43 0 0 25 0 11 0 780889074 856563712 26530 4294967295 134512640 134569956 3221224368 3221214600 1131390583 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 26530 13086 16 0 209106 0 vsize: 836488 [startup+350.038 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 33430 44 0 0 25 0 11 0 780889074 856563712 26656 4294967295 134512640 134569956 3221224368 3221214600 1131386244 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 26656 13086 16 0 209106 0 vsize: 836488 [startup+360.038 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 34413 44 0 0 25 0 11 0 780889074 856563712 26780 4294967295 134512640 134569956 3221224368 3221214256 1080217025 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 26780 13086 16 0 209106 0 vsize: 836488 [startup+370.038 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 35394 44 0 0 25 0 11 0 780889074 856563712 26866 4294967295 134512640 134569956 3221224368 3221214640 1131275841 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 26866 13086 16 0 209106 0 vsize: 836488 [startup+380.038 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 36373 44 0 0 25 0 11 0 780889074 856563712 26963 4294967295 134512640 134569956 3221224368 3221214512 1131401583 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 26963 13086 16 0 209106 0 vsize: 836488 [startup+390.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 37364 44 0 0 25 0 11 0 780889074 856563712 26963 4294967295 134512640 134569956 3221224368 3221214656 1131488960 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 26963 13086 16 0 209106 0 vsize: 836488 [startup+400.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 38345 44 0 0 25 0 11 0 780889074 856563712 27092 4294967295 134512640 134569956 3221224368 3221214596 1131254560 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 27092 13086 16 0 209106 0 vsize: 836488 [startup+410.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 39326 44 0 0 25 0 11 0 780889074 856563712 27196 4294967295 134512640 134569956 3221224368 3221214512 1131400595 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 27196 13086 16 0 209106 0 vsize: 836488 [startup+420.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 40306 44 0 0 25 0 11 0 780889074 856563712 27299 4294967295 134512640 134569956 3221224368 3221214600 1131390873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 27299 13086 16 0 209106 0 vsize: 836488 [startup+430.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 41286 45 0 0 25 0 11 0 780889074 856563712 27393 4294967295 134512640 134569956 3221224368 3221214600 1131390608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 27393 13086 16 0 209106 0 vsize: 836488 [startup+440.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 42276 45 0 0 25 0 11 0 780889074 856563712 27393 4294967295 134512640 134569956 3221224368 3221214600 1131390708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 27393 13086 16 0 209106 0 vsize: 836488 [startup+450.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 43246 45 0 0 24 0 11 0 780889074 856563712 27488 4294967295 134512640 134569956 3221224368 3221214600 1131390838 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 27488 13086 16 0 209106 0 vsize: 836488 [startup+460.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 44235 45 0 0 25 0 11 0 780889074 856563712 27692 4294967295 134512640 134569956 3221224368 3221214512 1131400519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 27692 13086 16 0 209106 0 vsize: 836488 [startup+470.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 45216 45 0 0 25 0 11 0 780889074 856563712 27692 4294967295 134512640 134569956 3221224368 3221214656 1131489108 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 27692 13086 16 0 209106 0 vsize: 836488 [startup+480.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 46196 45 0 0 25 0 11 0 780889074 856563712 27785 4294967295 134512640 134569956 3221224368 3221214656 1131488999 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 27785 13086 16 0 209106 0 vsize: 836488 [startup+490.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 47185 45 0 0 25 0 11 0 780889074 856563712 27881 4294967295 134512640 134569956 3221224368 3221214688 1131330873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 27881 13086 16 0 209106 0 vsize: 836488 [startup+500.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 48166 45 0 0 25 0 11 0 780889074 856563712 27973 4294967295 134512640 134569956 3221224368 3221214600 1131390674 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 27973 13086 16 0 209106 0 vsize: 836488 [startup+510.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 49147 45 0 0 25 0 11 0 780889074 856563712 28061 4294967295 134512640 134569956 3221224368 3221214512 1131400519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 28061 13086 16 0 209106 0 vsize: 836488 [startup+520.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 50125 46 0 0 25 0 11 0 780889074 856563712 28246 4294967295 134512640 134569956 3221224368 3221214600 1131390577 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 28246 13086 16 0 209106 0 vsize: 836488 [startup+530.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 51117 46 0 0 25 0 11 0 780889074 856563712 28246 4294967295 134512640 134569956 3221224368 3221214600 1131390577 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 28246 13086 16 0 209106 0 vsize: 836488 [startup+540.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 52090 46 0 0 25 0 11 0 780889074 856563712 28342 4294967295 134512640 134569956 3221224368 3221214600 1131390791 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 28342 13086 16 0 209106 0 vsize: 836488 [startup+550.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 53070 46 0 0 25 0 11 0 780889074 856563712 28435 4294967295 134512640 134569956 3221224368 3221214600 1131390643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 28435 13086 16 0 209106 0 vsize: 836488 [startup+560.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 54061 46 0 0 25 0 11 0 780889074 856563712 28529 4294967295 134512640 134569956 3221224368 3221214504 1131261500 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 28529 13086 16 0 209106 0 vsize: 836488 [startup+570.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 55043 46 0 0 25 0 11 0 780889074 856563712 28529 4294967295 134512640 134569956 3221224368 3221214512 1131400768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 28529 13086 16 0 209106 0 vsize: 836488 [startup+580.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 56035 46 0 0 25 0 11 0 780889074 856563712 28529 4294967295 134512640 134569956 3221224368 3221214512 1131401858 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 28529 13086 16 0 209106 0 vsize: 836488 [startup+590.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 57025 46 0 0 25 0 11 0 780889074 856563712 28529 4294967295 134512640 134569956 3221224368 3221214560 1131226900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 28529 13086 16 0 209106 0 vsize: 836488 [startup+600.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 57995 46 0 0 25 0 11 0 780889074 856563712 28703 4294967295 134512640 134569956 3221224368 3221214600 1131390756 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 28703 13086 16 0 209106 0 vsize: 836488 [startup+610.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 58958 46 0 0 25 0 11 0 780889074 856563712 28789 4294967295 134512640 134569956 3221224368 3221214504 1131259296 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 28789 13086 16 0 209106 0 vsize: 836488 [startup+620.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 59923 46 0 0 25 0 11 0 780889074 856563712 28789 4294967295 134512640 134569956 3221224368 3221214596 1131388702 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 28789 13086 16 0 209106 0 vsize: 836488 [startup+630.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 60897 46 0 0 25 0 11 0 780889074 856563712 28789 4294967295 134512640 134569956 3221224368 3221214600 1131391080 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 28789 13086 16 0 209106 0 vsize: 836488 [startup+640.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 61854 46 0 0 25 0 11 0 780889074 856563712 28963 4294967295 134512640 134569956 3221224368 3221214512 1131400786 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 28963 13086 16 0 209106 0 vsize: 836488 [startup+650.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 62823 46 0 0 25 0 11 0 780889074 856563712 29145 4294967295 134512640 134569956 3221224368 3221214504 1131261160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209122 29145 13086 16 0 209106 0 vsize: 836488 [startup+660.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18052 0 1 0 63791 46 0 0 25 0 11 0 780889074 856563712 29230 4294967295 134512640 134569956 3221224368 3221214600 1131386329 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 29230 13086 16 0 209106 0 vsize: 836488 [startup+670.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 64765 46 0 0 25 0 11 0 780889074 856563712 29346 4294967295 134512640 134569956 3221224368 3221214600 1131390699 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 29346 13086 16 0 209106 0 vsize: 836488 [startup+680.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 65745 46 0 0 25 0 11 0 780889074 856563712 29587 4294967295 134512640 134569956 3221224368 3221214504 1131261570 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 29587 13086 16 0 209106 0 vsize: 836488 [startup+690.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 66717 46 0 0 25 0 11 0 780889074 856563712 29587 4294967295 134512640 134569956 3221224368 3221214656 1131489103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 29587 13086 16 0 209106 0 vsize: 836488 [startup+700.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 67704 46 0 0 25 0 11 0 780889074 856563712 29587 4294967295 134512640 134569956 3221224368 3221214600 1131386273 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 29587 13086 16 0 209106 0 vsize: 836488 [startup+710.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 68688 46 0 0 25 0 11 0 780889074 856563712 29587 4294967295 134512640 134569956 3221224368 3221214600 1131390583 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 29587 13086 16 0 209106 0 vsize: 836488 [startup+720.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 69663 46 0 0 25 0 11 0 780889074 856563712 29700 4294967295 134512640 134569956 3221224368 3221214792 1131336097 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 29700 13086 16 0 209106 0 vsize: 836488 [startup+730.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 70616 46 0 0 25 0 11 0 780889074 856563712 29833 4294967295 134512640 134569956 3221224368 3221214504 1131261373 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 29833 13086 16 0 209106 0 vsize: 836488 [startup+740.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 71579 46 0 0 25 0 11 0 780889074 856563712 29896 4294967295 134512640 134569956 3221224368 3221214688 1131331111 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 29896 13086 16 0 209106 0 vsize: 836488 [startup+750.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 72537 47 0 0 25 0 11 0 780889074 856563712 30345 4294967295 134512640 134569956 3221224368 3221214556 1130885169 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 30345 13086 16 0 209106 0 vsize: 836488 [startup+760.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 73494 47 0 0 24 0 11 0 780889074 856563712 30345 4294967295 134512640 134569956 3221224368 3221214504 1131259307 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 30345 13086 16 0 209106 0 vsize: 836488 [startup+770.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 74459 47 0 0 25 0 11 0 780889074 856563712 30345 4294967295 134512640 134569956 3221224368 3221214504 1131261500 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 30345 13086 16 0 209106 0 vsize: 836488 [startup+780.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 75407 47 0 0 25 0 11 0 780889074 856563712 30345 4294967295 134512640 134569956 3221224368 3221214584 1131254640 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 30345 13086 16 0 209106 0 vsize: 836488 [startup+790.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 76374 47 0 0 25 0 11 0 780889074 856563712 30716 4294967295 134512640 134569956 3221224368 3221214512 1131402557 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 30716 13086 16 0 209106 0 vsize: 836488 [startup+800.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 77360 47 0 0 25 0 11 0 780889074 856563712 30810 4294967295 134512640 134569956 3221224368 3221214512 1131401410 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 30810 13086 16 0 209106 0 vsize: 836488 [startup+810.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 78341 47 0 0 25 0 11 0 780889074 856563712 30810 4294967295 134512640 134569956 3221224368 3221214504 1131261642 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 30810 13086 16 0 209106 0 vsize: 836488 [startup+820.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 79316 47 0 0 25 0 11 0 780889074 856563712 30902 4294967295 134512640 134569956 3221224368 3221214512 1131401084 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 30902 13086 16 0 209106 0 vsize: 836488 [startup+830.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 80300 47 0 0 25 0 11 0 780889074 856563712 30902 4294967295 134512640 134569956 3221224368 3221214600 1131390858 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 30902 13086 16 0 209106 0 vsize: 836488 [startup+840.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 81284 47 0 0 25 0 11 0 780889074 856563712 30902 4294967295 134512640 134569956 3221224368 3221214600 1131390944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 30902 13086 16 0 209106 0 vsize: 836488 [startup+850.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 82273 47 0 0 25 0 11 0 780889074 856563712 30902 4294967295 134512640 134569956 3221224368 3221214504 1131261442 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 30902 13086 16 0 209106 0 vsize: 836488 [startup+860.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 83262 47 0 0 25 0 11 0 780889074 856563712 30902 4294967295 134512640 134569956 3221224368 3221214600 1131390858 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 30902 13086 16 0 209106 0 vsize: 836488 [startup+870.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 84252 47 0 0 25 0 11 0 780889074 856563712 30902 4294967295 134512640 134569956 3221224368 3221214616 1131293418 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 30902 13086 16 0 209106 0 vsize: 836488 [startup+880.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 85237 47 0 0 25 0 11 0 780889074 856563712 31214 4294967295 134512640 134569956 3221224368 3221214600 1131390708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31214 13086 16 0 209106 0 vsize: 836488 [startup+890.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 86217 47 0 0 25 0 11 0 780889074 856563712 31215 4294967295 134512640 134569956 3221224368 3221214512 1131401438 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31215 13086 16 0 209106 0 vsize: 836488 [startup+900.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 87195 47 0 0 25 0 11 0 780889074 856563712 31215 4294967295 134512640 134569956 3221224368 3221214512 1131400856 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31215 13086 16 0 209106 0 vsize: 836488 [startup+910.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 88172 47 0 0 25 0 11 0 780889074 856563712 31215 4294967295 134512640 134569956 3221224368 3221214512 1131401084 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31215 13086 16 0 209106 0 vsize: 836488 [startup+920.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 89144 47 0 0 25 0 11 0 780889074 856563712 31215 4294967295 134512640 134569956 3221224368 3221214504 1131261373 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31215 13086 16 0 209106 0 vsize: 836488 [startup+930.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 90121 47 0 0 25 0 11 0 780889074 856563712 31215 4294967295 134512640 134569956 3221224368 3221214600 1131390858 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31215 13086 16 0 209106 0 vsize: 836488 [startup+940.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 91098 47 0 0 25 0 11 0 780889074 856563712 31215 4294967295 134512640 134569956 3221224368 3221214512 1131401807 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31215 13086 16 0 209106 0 vsize: 836488 [startup+950.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 92075 47 0 0 25 0 11 0 780889074 856563712 31215 4294967295 134512640 134569956 3221224368 3221214504 1131261219 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31215 13086 16 0 209106 0 vsize: 836488 [startup+960.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 93054 47 0 0 25 0 11 0 780889074 856563712 31389 4294967295 134512640 134569956 3221224368 3221214504 1131261456 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31389 13086 16 0 209106 0 vsize: 836488 [startup+970.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 94046 48 0 0 25 0 11 0 780889074 856563712 31775 4294967295 134512640 134569956 3221224368 3221214596 1131259283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31775 13086 16 0 209106 0 vsize: 836488 [startup+980.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 95045 48 0 0 25 0 11 0 780889074 856563712 31775 4294967295 134512640 134569956 3221224368 3221214556 1130885120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31775 13086 16 0 209106 0 vsize: 836488 [startup+990.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 96044 48 0 0 25 0 11 0 780889074 856563712 31775 4294967295 134512640 134569956 3221224368 3221214600 1131390875 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31775 13086 16 0 209106 0 vsize: 836488 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 97043 48 0 0 25 0 11 0 780889074 856563712 31775 4294967295 134512640 134569956 3221224368 3221214504 1131261482 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31775 13086 16 0 209106 0 vsize: 836488 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 98000 48 0 0 25 0 11 0 780889074 856563712 31775 4294967295 134512640 134569956 3221224368 3221214504 1131261525 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31775 13086 16 0 209106 0 vsize: 836488 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 98975 48 0 0 25 0 11 0 780889074 856563712 31777 4294967295 134512640 134569956 3221224368 3221214600 1131390844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31777 13086 16 0 209106 0 vsize: 836488 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 99937 48 0 0 25 0 11 0 780889074 856563712 31777 4294967295 134512640 134569956 3221224368 3221214504 1131261219 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31777 13086 16 0 209106 0 vsize: 836488 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 100905 48 0 0 25 0 11 0 780889074 856563712 31777 4294967295 134512640 134569956 3221224368 3221214512 1131400519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31777 13086 16 0 209106 0 vsize: 836488 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 101861 48 0 0 25 0 11 0 780889074 856563712 31777 4294967295 134512640 134569956 3221224368 3221214512 1131400516 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 31777 13086 16 0 209106 0 vsize: 836488 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 102830 48 0 0 25 0 11 0 780889074 856563712 32337 4294967295 134512640 134569956 3221224368 3221214688 1131330603 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 32337 13086 16 0 209106 0 vsize: 836488 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 103787 48 0 0 25 0 11 0 780889074 856563712 32340 4294967295 134512640 134569956 3221224368 3221214556 1130885243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 32340 13086 16 0 209106 0 vsize: 836488 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18053 0 1 0 104779 48 0 0 25 0 11 0 780889074 856563712 32340 4294967295 134512640 134569956 3221224368 3221214600 1131386254 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 32340 13086 16 0 209106 0 vsize: 836488 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18059 0 1 0 105727 49 0 0 25 0 11 0 780889074 856563712 32491 4294967295 134512640 134569956 3221224368 3221214688 1131330953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 32491 13086 16 0 209106 0 vsize: 836488 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18059 0 1 0 106672 49 0 0 25 0 11 0 780889074 856563712 32651 4294967295 134512640 134569956 3221224368 3221214744 1131223775 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 32651 13086 16 0 209106 0 vsize: 836488 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18059 0 1 0 107629 49 0 0 25 0 11 0 780889074 856563712 32800 4294967295 134512640 134569956 3221224368 3221214688 1131330478 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 32800 13086 16 0 209106 0 vsize: 836488 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18059 0 1 0 108600 49 0 0 25 0 11 0 780889074 856563712 33063 4294967295 134512640 134569956 3221224368 3221214688 1131331061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 33063 13086 16 0 209106 0 vsize: 836488 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18059 0 1 0 109591 49 0 0 25 0 11 0 780889074 856563712 33111 4294967295 134512640 134569956 3221224368 3221214792 1131335547 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 33111 13086 16 0 209106 0 vsize: 836488 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18059 0 1 0 110581 49 0 0 25 0 11 0 780889074 856563712 33119 4294967295 134512640 134569956 3221224368 3221214688 1131331334 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 33119 13086 16 0 209106 0 vsize: 836488 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18059 0 1 0 111574 49 0 0 25 0 11 0 780889074 856563712 33128 4294967295 134512640 134569956 3221224368 3221214688 1131330966 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 33128 13086 16 0 209106 0 vsize: 836488 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18059 0 1 0 112568 49 0 0 25 0 11 0 780889074 856563712 33141 4294967295 134512640 134569956 3221224368 3221214688 1131331025 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 33141 13086 16 0 209106 0 vsize: 836488 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18059 0 1 0 113560 49 0 0 25 0 11 0 780889074 856563712 33141 4294967295 134512640 134569956 3221224368 3221214744 1131223697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 33141 13086 16 0 209106 0 vsize: 836488 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18059 0 1 0 114553 49 0 0 25 0 11 0 780889074 856563712 33144 4294967295 134512640 134569956 3221224368 3221214688 1131331053 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209122 33144 13086 16 0 209106 0 vsize: 836488 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18059 0 1 0 115547 50 0 0 25 0 11 0 780889074 856563712 33145 4294967295 134512640 134569956 3221224368 3221214688 1131330557 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 33145 13086 16 0 209106 0 vsize: 836488 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18059 0 1 0 116541 50 0 0 25 0 11 0 780889074 856563712 33161 4294967295 134512640 134569956 3221224368 3221214688 1131331053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 33161 13086 16 0 209106 0 vsize: 836488 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18059 0 1 0 117536 50 0 0 25 0 11 0 780889074 856563712 33163 4294967295 134512640 134569956 3221224368 3221214688 1131331442 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 33163 13086 16 0 209106 0 vsize: 836488 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18059 0 1 0 118530 50 0 0 25 0 11 0 780889074 856563712 33164 4294967295 134512640 134569956 3221224368 3221214688 1131331113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 33164 13086 16 0 209106 0 vsize: 836488 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18059 0 1 0 119521 50 0 0 25 0 11 0 780889074 856563712 33167 4294967295 134512640 134569956 3221224368 3221214688 1131331356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 33167 13086 16 0 209106 0 vsize: 836488 [startup+1240.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 10112 Raw data (stat): 10100 (java) R 10099 24300 24299 0 -1 0 18059 0 1 0 120513 50 0 0 25 0 11 0 780889074 856563712 33169 4294967295 134512640 134569956 3221224368 3221214744 1131223723 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209122 33169 13086 16 0 209106 0 vsize: 836488 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.17 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 10114 Raw data (stat): 10100 (java) Z 10099 24300 24299 0 -1 1036 18059 14126 1 0 120515 50 3273 41 25 0 1 0 780889074 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1240.17 CPU time (s): 1238.81 CPU user time (s): 1237.89 CPU system time (s): 0.921859 CPU usage (%): 99.8903 Max. virtual memory (Kb): 836488 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####