Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb |
MD5SUM | 10547c6c0f11ab5df74fcaff6ba6d160 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 14938 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 416 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 96797 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 96797 |
Number of bits of the biggest sum of numbers | 17 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1230.87 |
Number of variables | 548 |
Total number of constraints | 724 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 550 |
Number of constraints which are nor clauses,nor cardinality constraints | 134 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 143 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-04-21 06:47:14 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13737 boxname=wulflinc6 idbench=1057 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 10547c6c0f11ab5df74fcaff6ba6d160 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-p0548.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-p0548.opb IDLAUNCH: 13737 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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: 633828 kB Buffers: 27292 kB Cached: 351964 kB SwapCached: 320 kB Active: 108636 kB Inactive: 273136 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 633576 kB SwapTotal: 2097136 kB SwapFree: 2096448 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5752 kB Slab: 13388 kB Committed_AS: 63580 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 07:07:56 (client local time) WITH STATUS 143 IN 1235.68 SECONDS stats: 13737 7 1235.68 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-p0548.opb c reading problem c [nbvar=548] c [nbconstr=724] c time 1.689 c #vars 548 c #clauses 166 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=40874 c Current CPU time (ms) : 5.959 c starts : 1 c conflicts : 15 c decisions : 770 c propagations : 1431 c inspects : 1258 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 15 c root simplifications : 3 c c CURRENT OPTIMUM=39754 c Current CPU time (ms) : 12.78 c starts : 3 c conflicts : 123 c decisions : 1572 c propagations : 3052 c inspects : 10316 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 123 c root simplifications : 5 c c CURRENT OPTIMUM=28989 c Current CPU time (ms) : 14.083 c starts : 4 c conflicts : 124 c decisions : 1930 c propagations : 3606 c inspects : 15531 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 124 c root simplifications : 6 c c CURRENT OPTIMUM=11893 c Current CPU time (ms) : 38.749 c starts : 6 c conflicts : 230 c decisions : 2678 c propagations : 6680 c inspects : 47154 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 230 c root simplifications : 8 #### 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.94 2/54 9030 Raw data (stat): 9030 (runsolver) R 9029 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484811562 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0015 s] Raw data (loadavg): 1.03 1.00 0.95 2/64 9041 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18089 3 1 0 511 38 0 0 21 0 11 0 484811562 864681984 21353 4294967295 134512640 134569956 3221224400 3221214800 1131212876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211104 21353 13073 16 0 211088 0 vsize: 844416 [startup+20.0022 s] Raw data (loadavg): 1.10 1.02 0.95 2/64 9043 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 1439 38 0 0 18 0 11 0 484811562 864321536 22084 4294967295 134512640 134569956 3221224400 3221214704 1131247082 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 22084 13073 16 0 211000 0 vsize: 844064 [startup+30.0038 s] Raw data (loadavg): 1.08 1.02 0.95 2/64 9043 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 2380 38 0 0 24 0 11 0 484811562 864321536 22424 4294967295 134512640 134569956 3221224400 3221214624 1131406395 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 22424 13073 16 0 211000 0 vsize: 844064 [startup+40.0072 s] Raw data (loadavg): 1.07 1.01 0.95 2/64 9044 Raw data (stat): 9030 (java) S 9029 29653 29652 0 -1 0 18092 3 1 0 3319 38 0 0 21 0 11 0 484811562 864321536 23036 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 23036 13073 16 0 211000 0 vsize: 844064 [startup+50.0087 s] Raw data (loadavg): 1.06 1.01 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 4240 38 0 0 21 0 11 0 484811562 864321536 23224 4294967295 134512640 134569956 3221224400 3221214744 1131324499 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 23224 13073 16 0 211000 0 vsize: 844064 [startup+60.0095 s] Raw data (loadavg): 1.05 1.01 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 5174 39 0 0 18 0 11 0 484811562 864321536 23441 4294967295 134512640 134569956 3221224400 3221214496 1131261879 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 23441 13073 16 0 211000 0 vsize: 844064 [startup+70.0104 s] Raw data (loadavg): 1.04 1.01 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 6124 39 0 0 19 0 11 0 484811562 864321536 23686 4294967295 134512640 134569956 3221224400 3221214744 1131327926 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 23686 13073 16 0 211000 0 vsize: 844064 [startup+80.011 s] Raw data (loadavg): 1.03 1.01 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 7085 39 0 0 25 0 11 0 484811562 864321536 23906 4294967295 134512640 134569956 3221224400 3221214744 1131325319 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 23906 13073 16 0 211000 0 vsize: 844064 [startup+90.0116 s] Raw data (loadavg): 1.03 1.01 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 8052 39 0 0 17 0 11 0 484811562 864321536 24017 4294967295 134512640 134569956 3221224400 3221214792 1131194560 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 24017 13073 16 0 211000 0 vsize: 844064 [startup+100.013 s] Raw data (loadavg): 1.02 1.01 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 9023 39 0 0 25 0 11 0 484811562 864321536 24092 4294967295 134512640 134569956 3221224400 3221214624 1131407953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 24092 13073 16 0 211000 0 vsize: 844064 [startup+110.013 s] Raw data (loadavg): 1.02 1.01 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 9990 39 0 0 20 0 11 0 484811562 864321536 24171 4294967295 134512640 134569956 3221224400 3221214752 1131213524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 24171 13073 16 0 211000 0 vsize: 844064 [startup+120.015 s] Raw data (loadavg): 1.02 1.01 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 10963 39 0 0 18 0 11 0 484811562 864321536 24278 4294967295 134512640 134569956 3221224400 3221214848 1131225470 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 24278 13073 16 0 211000 0 vsize: 844064 [startup+130.016 s] Raw data (loadavg): 1.01 1.01 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 11944 39 0 0 17 0 11 0 484811562 864321536 24354 4294967295 134512640 134569956 3221224400 3221214824 1131221105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 24354 13073 16 0 211000 0 vsize: 844064 [startup+140.017 s] Raw data (loadavg): 1.01 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 12925 39 0 0 20 0 11 0 484811562 864321536 24413 4294967295 134512640 134569956 3221224400 3221214752 1131213374 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 24413 13073 16 0 211000 0 vsize: 844064 [startup+150.019 s] Raw data (loadavg): 1.01 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 13906 39 0 0 21 0 11 0 484811562 864321536 24458 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 24458 13073 16 0 211000 0 vsize: 844064 [startup+160.02 s] Raw data (loadavg): 1.01 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 14876 39 0 0 25 0 11 0 484811562 864321536 24484 4294967295 134512640 134569956 3221224400 3221214600 1131656988 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 24484 13073 16 0 211000 0 vsize: 844064 [startup+170.02 s] Raw data (loadavg): 1.01 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 15844 39 0 0 21 0 11 0 484811562 864321536 24586 4294967295 134512640 134569956 3221224400 3221214600 1131656995 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 24586 13073 16 0 211000 0 vsize: 844064 [startup+180.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 16813 39 0 0 25 0 11 0 484811562 864321536 24666 4294967295 134512640 134569956 3221224400 3221214848 1131225109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 24666 13073 16 0 211000 0 vsize: 844064 [startup+190.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 17787 39 0 0 23 0 11 0 484811562 864321536 24823 4294967295 134512640 134569956 3221224400 3221214792 1131194581 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 24823 13073 16 0 211000 0 vsize: 844064 [startup+200.023 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 18760 39 0 0 24 0 11 0 484811562 864321536 24898 4294967295 134512640 134569956 3221224400 3221214752 1131212865 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 24898 13073 16 0 211000 0 vsize: 844064 [startup+210.024 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 19732 39 0 0 17 0 11 0 484811562 864321536 24958 4294967295 134512640 134569956 3221224400 3221214496 1131261849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 24958 13073 16 0 211000 0 vsize: 844064 [startup+220.025 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 20704 39 0 0 18 0 11 0 484811562 864321536 25042 4294967295 134512640 134569956 3221224400 3221214792 1131194577 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 25042 13073 16 0 211000 0 vsize: 844064 [startup+230.028 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) S 9029 29653 29652 0 -1 0 18092 3 1 0 21678 39 0 0 25 0 11 0 484811562 864321536 25131 4294967295 134512640 134569956 3221224400 3221213240 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 25131 13073 16 0 211000 0 vsize: 844064 [startup+240.029 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 22653 39 0 0 17 0 11 0 484811562 864321536 25244 4294967295 134512640 134569956 3221224400 3221214616 1080203669 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 25244 13073 16 0 211000 0 vsize: 844064 [startup+250.03 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 23630 39 0 0 19 0 11 0 484811562 864321536 25308 4294967295 134512640 134569956 3221224400 3221214792 1131194560 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 25308 13073 16 0 211000 0 vsize: 844064 [startup+260.031 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18092 3 1 0 24608 40 0 0 23 0 11 0 484811562 864321536 25367 4294967295 134512640 134569956 3221224400 3221214848 1131225285 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 25367 13073 16 0 211000 0 vsize: 844064 [startup+270.032 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 25587 40 0 0 25 0 11 0 484811562 864321536 25421 4294967295 134512640 134569956 3221224400 3221214612 1080203744 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 25421 13073 16 0 211000 0 vsize: 844064 [startup+280.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) S 9029 29653 29652 0 -1 0 18093 3 1 0 26560 40 0 0 24 0 11 0 484811562 864321536 25476 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 25476 13073 16 0 211000 0 vsize: 844064 [startup+290.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 27534 40 0 0 22 0 11 0 484811562 864321536 25552 4294967295 134512640 134569956 3221224400 3221214752 1131213320 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 25552 13073 16 0 211000 0 vsize: 844064 [startup+300.037 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 28517 40 0 0 22 0 11 0 484811562 864321536 25635 4294967295 134512640 134569956 3221224400 3221214848 1131225437 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 25635 13073 16 0 211000 0 vsize: 844064 [startup+310.038 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 29506 40 0 0 20 0 11 0 484811562 864321536 25691 4294967295 134512640 134569956 3221224400 3221214752 1131212876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 25691 13073 16 0 211000 0 vsize: 844064 [startup+320.039 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 30492 40 0 0 19 0 11 0 484811562 864321536 25712 4294967295 134512640 134569956 3221224400 3221214752 1131212869 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 25712 13073 16 0 211000 0 vsize: 844064 [startup+330.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 31476 40 0 0 24 0 11 0 484811562 864321536 25734 4294967295 134512640 134569956 3221224400 3221214752 1131212861 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 25734 13073 16 0 211000 0 vsize: 844064 [startup+340.041 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 32458 40 0 0 17 0 11 0 484811562 864321536 25778 4294967295 134512640 134569956 3221224400 3221214792 1131194560 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 25778 13073 16 0 211000 0 vsize: 844064 [startup+350.042 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 33437 40 0 0 24 0 11 0 484811562 864321536 25833 4294967295 134512640 134569956 3221224400 3221214496 1131261849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 25833 13073 16 0 211000 0 vsize: 844064 [startup+360.044 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 34417 40 0 0 19 0 11 0 484811562 864321536 25862 4294967295 134512640 134569956 3221224400 3221214752 1131213233 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 25862 13073 16 0 211000 0 vsize: 844064 [startup+370.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 35397 40 0 0 25 0 11 0 484811562 864321536 25922 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 25922 13073 16 0 211000 0 vsize: 844064 [startup+380.046 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 36381 41 0 0 25 0 11 0 484811562 864321536 25990 4294967295 134512640 134569956 3221224400 3221214496 1131261816 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 25990 13073 16 0 211000 0 vsize: 844064 [startup+390.047 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 37367 41 0 0 25 0 11 0 484811562 864321536 26037 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 26037 13073 16 0 211000 0 vsize: 844064 [startup+400.048 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 38350 41 0 0 25 0 11 0 484811562 864321536 26077 4294967295 134512640 134569956 3221224400 3221214752 1131213164 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 26077 13073 16 0 211000 0 vsize: 844064 [startup+410.049 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 39328 41 0 0 25 0 11 0 484811562 864321536 26119 4294967295 134512640 134569956 3221224400 3221214792 1131194560 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 26119 13073 16 0 211000 0 vsize: 844064 [startup+420.049 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 40310 41 0 0 25 0 11 0 484811562 864321536 26181 4294967295 134512640 134569956 3221224400 3221214408 1131610945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 26181 13073 16 0 211000 0 vsize: 844064 [startup+430.051 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 41291 41 0 0 25 0 11 0 484811562 864321536 26229 4294967295 134512640 134569956 3221224400 3221214752 1131212869 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 26229 13073 16 0 211000 0 vsize: 844064 [startup+440.052 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 42273 42 0 0 25 0 11 0 484811562 864321536 26291 4294967295 134512640 134569956 3221224400 3221214792 1131194577 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 26291 13073 16 0 211000 0 vsize: 844064 [startup+450.053 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 43253 42 0 0 25 0 11 0 484811562 864321536 26327 4294967295 134512640 134569956 3221224400 3221214752 1131213550 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 26327 13073 16 0 211000 0 vsize: 844064 [startup+460.054 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 44231 42 0 0 25 0 11 0 484811562 864321536 26369 4294967295 134512640 134569956 3221224400 3221214848 1131226148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 26369 13073 16 0 211000 0 vsize: 844064 [startup+470.055 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 45208 43 0 0 25 0 11 0 484811562 864321536 26443 4294967295 134512640 134569956 3221224400 3221214848 1131225604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 26443 13073 16 0 211000 0 vsize: 844064 [startup+480.055 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 46184 43 0 0 25 0 11 0 484811562 864321536 26498 4294967295 134512640 134569956 3221224400 3221214752 1131213917 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 26498 13073 16 0 211000 0 vsize: 844064 [startup+490.056 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 47159 43 0 0 25 0 11 0 484811562 864321536 26557 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 26557 13073 16 0 211000 0 vsize: 844064 [startup+500.058 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 48137 43 0 0 25 0 11 0 484811562 864321536 26630 4294967295 134512640 134569956 3221224400 3221214792 1131194581 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 26630 13073 16 0 211000 0 vsize: 844064 [startup+510.059 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 49115 44 0 0 25 0 11 0 484811562 864321536 26680 4294967295 134512640 134569956 3221224400 3221214848 1131225081 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 26680 13073 16 0 211000 0 vsize: 844064 [startup+520.062 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 50095 44 0 0 25 0 11 0 484811562 864321536 26720 4294967295 134512640 134569956 3221224400 3221214696 1131300739 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 26720 13073 16 0 211000 0 vsize: 844064 [startup+530.062 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 51071 44 0 0 25 0 11 0 484811562 864321536 26791 4294967295 134512640 134569956 3221224400 3221214752 1131213122 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 26791 13073 16 0 211000 0 vsize: 844064 [startup+540.064 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 52047 45 0 0 25 0 11 0 484811562 864321536 26866 4294967295 134512640 134569956 3221224400 3221214744 1131328539 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 26866 13073 16 0 211000 0 vsize: 844064 [startup+550.065 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 53018 45 0 0 25 0 11 0 484811562 864321536 26936 4294967295 134512640 134569956 3221224400 3221214372 1130892664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 26936 13073 16 0 211000 0 vsize: 844064 [startup+560.066 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 53984 46 0 0 25 0 11 0 484811562 864321536 27010 4294967295 134512640 134569956 3221224400 3221214832 1131514926 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27010 13073 16 0 211000 0 vsize: 844064 [startup+570.068 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 54955 46 0 0 25 0 11 0 484811562 864321536 27053 4294967295 134512640 134569956 3221224400 3221214732 1080204274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27053 13073 16 0 211000 0 vsize: 844064 [startup+580.069 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 55930 46 0 0 25 0 11 0 484811562 864321536 27216 4294967295 134512640 134569956 3221224400 3221214792 1131194577 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27216 13073 16 0 211000 0 vsize: 844064 [startup+590.069 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 56912 46 0 0 25 0 11 0 484811562 864321536 27257 4294967295 134512640 134569956 3221224400 3221214624 1131408294 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27257 13073 16 0 211000 0 vsize: 844064 [startup+600.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 57896 46 0 0 25 0 11 0 484811562 864321536 27320 4294967295 134512640 134569956 3221224400 3221214704 1131243926 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27320 13073 16 0 211000 0 vsize: 844064 [startup+610.071 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 58880 47 0 0 25 0 11 0 484811562 864321536 27346 4294967295 134512640 134569956 3221224400 3221214792 1131194701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 27346 13073 16 0 211000 0 vsize: 844064 [startup+620.072 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 59864 47 0 0 25 0 11 0 484811562 864321536 27381 4294967295 134512640 134569956 3221224400 3221214752 1131213233 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27381 13073 16 0 211000 0 vsize: 844064 [startup+630.073 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 60846 47 0 0 25 0 11 0 484811562 864321536 27417 4294967295 134512640 134569956 3221224400 3221214752 1131212861 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27417 13073 16 0 211000 0 vsize: 844064 [startup+640.074 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 61825 48 0 0 25 0 11 0 484811562 864321536 27442 4294967295 134512640 134569956 3221224400 3221214752 1131213173 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27442 13073 16 0 211000 0 vsize: 844064 [startup+650.075 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 62809 48 0 0 25 0 11 0 484811562 864321536 27488 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27488 13073 16 0 211000 0 vsize: 844064 [startup+660.076 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 63792 49 0 0 25 0 11 0 484811562 864321536 27535 4294967295 134512640 134569956 3221224400 3221214752 1131213286 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27535 13073 16 0 211000 0 vsize: 844064 [startup+670.077 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 64782 49 0 0 25 0 11 0 484811562 864321536 27567 4294967295 134512640 134569956 3221224400 3221214752 1131213947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27567 13073 16 0 211000 0 vsize: 844064 [startup+680.078 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 65772 49 0 0 25 0 11 0 484811562 864321536 27577 4294967295 134512640 134569956 3221224400 3221214848 1131226148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27577 13073 16 0 211000 0 vsize: 844064 [startup+690.079 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 66760 50 0 0 25 0 11 0 484811562 864321536 27590 4294967295 134512640 134569956 3221224400 3221214752 1131213286 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27590 13073 16 0 211000 0 vsize: 844064 [startup+700.08 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 67749 51 0 0 25 0 11 0 484811562 864321536 27604 4294967295 134512640 134569956 3221224400 3221214752 1131213197 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27604 13073 16 0 211000 0 vsize: 844064 [startup+710.081 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 68736 51 0 0 20 0 11 0 484811562 864321536 27620 4294967295 134512640 134569956 3221224400 3221214848 1131226195 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27620 13073 16 0 211000 0 vsize: 844064 [startup+720.082 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 69722 51 0 0 25 0 11 0 484811562 864321536 27642 4294967295 134512640 134569956 3221224400 3221214752 1131213332 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27642 13073 16 0 211000 0 vsize: 844064 [startup+730.083 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 70703 52 0 0 24 0 11 0 484811562 864321536 27666 4294967295 134512640 134569956 3221224400 3221214752 1131212901 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27666 13073 16 0 211000 0 vsize: 844064 [startup+740.084 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 71682 52 0 0 24 0 11 0 484811562 864321536 27718 4294967295 134512640 134569956 3221224400 3221214752 1131213491 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27718 13073 16 0 211000 0 vsize: 844064 [startup+750.085 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 72665 52 0 0 25 0 11 0 484811562 864321536 27759 4294967295 134512640 134569956 3221224400 3221214800 1131221112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 27759 13073 16 0 211000 0 vsize: 844064 [startup+760.086 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 9044 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 73648 53 0 0 25 0 11 0 484811562 864321536 27832 4294967295 134512640 134569956 3221224400 3221214792 1131194560 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 27832 13073 16 0 211000 0 vsize: 844064 [startup+770.087 s] Raw data (loadavg): 1.00 1.00 0.95 2/67 9047 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 74631 54 0 0 25 0 11 0 484811562 864321536 27872 4294967295 134512640 134569956 3221224400 3221214848 1131225476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 27872 13073 16 0 211000 0 vsize: 844064 [startup+780.089 s] Raw data (loadavg): 1.07 1.02 0.96 2/64 9097 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 75608 61 0 0 25 0 11 0 484811562 864321536 27899 4294967295 134512640 134569956 3221224400 3221214752 1131213286 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 27899 13073 16 0 211000 0 vsize: 844064 [startup+790.088 s] Raw data (loadavg): 1.06 1.02 0.96 2/64 9097 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 76593 61 0 0 25 0 11 0 484811562 864321536 27939 4294967295 134512640 134569956 3221224400 3221214792 1131194638 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 27939 13073 16 0 211000 0 vsize: 844064 [startup+800.088 s] Raw data (loadavg): 1.05 1.01 0.96 2/64 9097 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 77579 61 0 0 23 0 11 0 484811562 864321536 27979 4294967295 134512640 134569956 3221224400 3221214752 1131213233 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 27979 13073 16 0 211000 0 vsize: 844064 [startup+810.088 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 9097 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 78559 61 0 0 17 0 11 0 484811562 864321536 28037 4294967295 134512640 134569956 3221224400 3221214624 1131408680 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28037 13073 16 0 211000 0 vsize: 844064 [startup+820.088 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 9097 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 79542 62 0 0 22 0 11 0 484811562 864321536 28075 4294967295 134512640 134569956 3221224400 3221214752 1131212901 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28075 13073 16 0 211000 0 vsize: 844064 [startup+830.087 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 9097 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 80523 62 0 0 25 0 11 0 484811562 864321536 28128 4294967295 134512640 134569956 3221224400 3221214720 1131044207 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28128 13073 16 0 211000 0 vsize: 844064 [startup+840.087 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 9097 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 81505 62 0 0 24 0 11 0 484811562 864321536 28181 4294967295 134512640 134569956 3221224400 3221214752 1131212876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28181 13073 16 0 211000 0 vsize: 844064 [startup+850.087 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 82488 62 0 0 16 0 11 0 484811562 864321536 28242 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28242 13073 16 0 211000 0 vsize: 844064 [startup+860.089 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 9099 Raw data (stat): 9030 (java) S 9029 29653 29652 0 -1 0 18093 3 1 0 83471 62 0 0 24 0 11 0 484811562 864321536 28282 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28282 13073 16 0 211000 0 vsize: 844064 [startup+870.089 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 84451 62 0 0 18 0 11 0 484811562 864321536 28341 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28341 13073 16 0 211000 0 vsize: 844064 [startup+880.088 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 85435 62 0 0 20 0 11 0 484811562 864321536 28400 4294967295 134512640 134569956 3221224400 3221214304 1080216945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28400 13073 16 0 211000 0 vsize: 844064 [startup+890.089 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 86419 62 0 0 21 0 11 0 484811562 864321536 28437 4294967295 134512640 134569956 3221224400 3221214752 1131213576 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28437 13073 16 0 211000 0 vsize: 844064 [startup+900.088 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 87402 62 0 0 20 0 11 0 484811562 864321536 28480 4294967295 134512640 134569956 3221224400 3221214612 1080203688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28480 13073 16 0 211000 0 vsize: 844064 [startup+910.088 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 88385 62 0 0 17 0 11 0 484811562 864321536 28500 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28500 13073 16 0 211000 0 vsize: 844064 [startup+920.091 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) S 9029 29653 29652 0 -1 0 18093 3 1 0 89368 62 0 0 24 0 11 0 484811562 864321536 28529 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28529 13073 16 0 211000 0 vsize: 844064 [startup+930.091 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 90351 63 0 0 23 0 11 0 484811562 864321536 28575 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28575 13073 16 0 211000 0 vsize: 844064 [startup+940.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 91333 63 0 0 23 0 11 0 484811562 864321536 28606 4294967295 134512640 134569956 3221224400 3221214752 1131212972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28606 13073 16 0 211000 0 vsize: 844064 [startup+950.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 92316 63 0 0 19 0 11 0 484811562 864321536 28660 4294967295 134512640 134569956 3221224400 3221214752 1131212901 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28660 13073 16 0 211000 0 vsize: 844064 [startup+960.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 93299 63 0 0 20 0 11 0 484811562 864321536 28699 4294967295 134512640 134569956 3221224400 3221214792 1131194581 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28699 13073 16 0 211000 0 vsize: 844064 [startup+970.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 94281 63 0 0 18 0 11 0 484811562 864321536 28722 4294967295 134512640 134569956 3221224400 3221214792 1131194560 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28722 13073 16 0 211000 0 vsize: 844064 [startup+980.089 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 95265 63 0 0 25 0 11 0 484811562 864321536 28785 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28785 13073 16 0 211000 0 vsize: 844064 [startup+990.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 96249 63 0 0 23 0 11 0 484811562 864321536 28837 4294967295 134512640 134569956 3221224400 3221214792 1131194769 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28837 13073 16 0 211000 0 vsize: 844064 [startup+1000.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) S 9029 29653 29652 0 -1 0 18093 3 1 0 97231 63 0 0 25 0 11 0 484811562 864321536 28877 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28877 13073 16 0 211000 0 vsize: 844064 [startup+1010.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 98214 63 0 0 22 0 11 0 484811562 864321536 28919 4294967295 134512640 134569956 3221224400 3221214832 1131515480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28919 13073 16 0 211000 0 vsize: 844064 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 99196 63 0 0 25 0 11 0 484811562 864321536 28962 4294967295 134512640 134569956 3221224400 3221214456 1131167132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 28962 13073 16 0 211000 0 vsize: 844064 [startup+1030.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 100177 63 0 0 23 0 11 0 484811562 864321536 29011 4294967295 134512640 134569956 3221224400 3221214496 1131595504 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211016 29011 13073 16 0 211000 0 vsize: 844064 [startup+1040.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 101160 63 0 0 25 0 11 0 484811562 864321536 29049 4294967295 134512640 134569956 3221224400 3221214752 1131213194 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29049 13073 16 0 211000 0 vsize: 844064 [startup+1050.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 102141 63 0 0 25 0 11 0 484811562 864321536 29090 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29090 13073 16 0 211000 0 vsize: 844064 [startup+1060.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 103123 63 0 0 23 0 11 0 484811562 864321536 29135 4294967295 134512640 134569956 3221224400 3221214752 1131212865 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29135 13073 16 0 211000 0 vsize: 844064 [startup+1070.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 104104 63 0 0 17 0 11 0 484811562 864321536 29183 4294967295 134512640 134569956 3221224400 3221214240 1131560404 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29183 13073 16 0 211000 0 vsize: 844064 [startup+1080.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9099 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 105083 64 0 0 25 0 11 0 484811562 864321536 29236 4294967295 134512640 134569956 3221224400 3221214752 1131213455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29236 13073 16 0 211000 0 vsize: 844064 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9101 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 106059 64 0 0 20 0 11 0 484811562 864321536 29302 4294967295 134512640 134569956 3221224400 3221214792 1131194577 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29302 13073 16 0 211000 0 vsize: 844064 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9101 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 107034 64 0 0 17 0 11 0 484811562 864321536 29382 4294967295 134512640 134569956 3221224400 3221214496 1131595924 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29382 13073 16 0 211000 0 vsize: 844064 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9101 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 108014 64 0 0 22 0 11 0 484811562 864321536 29438 4294967295 134512640 134569956 3221224400 3221214848 1131225270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29438 13073 16 0 211000 0 vsize: 844064 [startup+1120.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9101 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 108994 64 0 0 21 0 11 0 484811562 864321536 29515 4294967295 134512640 134569956 3221224400 3221214752 1131212940 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29515 13073 16 0 211000 0 vsize: 844064 [startup+1130.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9101 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 109976 64 0 0 25 0 11 0 484811562 864321536 29578 4294967295 134512640 134569956 3221224400 3221214752 1131212861 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29578 13073 16 0 211000 0 vsize: 844064 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9101 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 110960 64 0 0 16 0 11 0 484811562 864321536 29609 4294967295 134512640 134569956 3221224400 3221214752 1131212962 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29609 13073 16 0 211000 0 vsize: 844064 [startup+1150.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9101 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 111943 64 0 0 18 0 11 0 484811562 864321536 29661 4294967295 134512640 134569956 3221224400 3221214496 1131261879 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29661 13073 16 0 211000 0 vsize: 844064 [startup+1160.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9101 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 112928 64 0 0 21 0 11 0 484811562 864321536 29686 4294967295 134512640 134569956 3221224400 3221214848 1131225118 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29686 13073 16 0 211000 0 vsize: 844064 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9101 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 113908 64 0 0 22 0 11 0 484811562 864321536 29710 4294967295 134512640 134569956 3221224400 3221214684 1080203719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29710 13073 16 0 211000 0 vsize: 844064 [startup+1180.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9101 Raw data (stat): 9030 (java) S 9029 29653 29652 0 -1 0 18093 3 1 0 114887 64 0 0 24 0 11 0 484811562 864321536 29763 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29763 13073 16 0 211000 0 vsize: 844064 [startup+1190.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9101 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 115872 64 0 0 23 0 11 0 484811562 864321536 29818 4294967295 134512640 134569956 3221224400 3221214752 1131213524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29818 13073 16 0 211000 0 vsize: 844064 [startup+1200.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9101 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 116855 64 0 0 16 0 11 0 484811562 864321536 29868 4294967295 134512640 134569956 3221224400 3221214752 1131212869 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29868 13073 16 0 211000 0 vsize: 844064 [startup+1210.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9101 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 117838 64 0 0 17 0 11 0 484811562 864321536 29892 4294967295 134512640 134569956 3221224400 3221214752 1131213222 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29892 13073 16 0 211000 0 vsize: 844064 [startup+1220.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9101 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 118819 64 0 0 18 0 11 0 484811562 864321536 29930 4294967295 134512640 134569956 3221224400 3221214752 1131213289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29930 13073 16 0 211000 0 vsize: 844064 [startup+1230.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9101 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 119801 64 0 0 21 0 11 0 484811562 864321536 29980 4294967295 134512640 134569956 3221224400 3221214432 1131496636 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 29980 13073 16 0 211000 0 vsize: 844064 [startup+1240.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 9101 Raw data (stat): 9030 (java) R 9029 29653 29652 0 -1 0 18093 3 1 0 120783 65 0 0 19 0 11 0 484811562 864321536 30023 4294967295 134512640 134569956 3221224400 3221214752 1131213475 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211016 30023 13073 16 0 211000 0 vsize: 844064 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.2 s] Raw data (loadavg): 1.00 1.00 0.96 1/54 9103 Raw data (stat): 9030 (java) Z 9029 29653 29652 0 -1 1036 18093 9042 1 0 120788 65 2675 38 16 0 1 0 484811562 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.2 CPU time (s): 1235.68 CPU user time (s): 1234.64 CPU system time (s): 1.03884 CPU usage (%): 99.6353 Max. virtual memory (Kb): 844416 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####