Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fiber.opb |
MD5SUM | 665f67f4b53c876b2782c354a2ecbf32 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 108097879 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1254 |
Biggest coefficient in the objective function | 72966962 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 4807778524 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 4807778524 |
Number of bits of the biggest sum of numbers | 33 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 95.7554 |
Number of variables | 2574 |
Total number of constraints | 1617 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1290 |
Number of constraints which are nor clauses,nor cardinality constraints | 327 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 61 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-04-21 23:34:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13347 boxname=wulflinc1 idbench=1027 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 665f67f4b53c876b2782c354a2ecbf32 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-fiber.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-fiber.opb IDLAUNCH: 13347 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 659688 kB Buffers: 2884 kB Cached: 347588 kB SwapCached: 0 kB Active: 105028 kB Inactive: 248556 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 659436 kB SwapTotal: 2097136 kB SwapFree: 2096968 kB Dirty: 28 kB Writeback: 0 kB Mapped: 7172 kB Slab: 15580 kB Committed_AS: 92812 kB PageTables: 344 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 23:54:55 (client local time) WITH STATUS 143 IN 1244.79 SECONDS stats: 13347 7 1244.79 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-fiber.opb c reading problem c [nbvar=2574] c [nbconstr=1617] c time 5.916 c #vars 2574 c #clauses 712 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=300104374 c Current CPU time (ms) : 8.549 c starts : 1 c conflicts : 16 c decisions : 1017 c propagations : 2769 c inspects : 3167 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 16 c root simplifications : 1 c c CURRENT OPTIMUM=242935792 c Current CPU time (ms) : 44.631 c starts : 2 c conflicts : 86 c decisions : 7598 c propagations : 19806 c inspects : 24522 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 1 c learned clauses : 86 c root simplifications : 12 c c CURRENT OPTIMUM=232101583 c Current CPU time (ms) : 201.439 c starts : 3 c conflicts : 153 c decisions : 18783 c propagations : 46284 c inspects : 73674 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 4 c learned clauses : 153 c root simplifications : 37 c c CURRENT OPTIMUM=223975664 c Current CPU time (ms) : 210.528 c starts : 4 c conflicts : 153 c decisions : 19524 c propagations : 48403 c inspects : 77734 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 4 c learned clauses : 153 c root simplifications : 38 c c CURRENT OPTIMUM=174536119 c Current CPU time (ms) : 429.518 c starts : 5 c conflicts : 189 c decisions : 27526 c propagations : 67895 c inspects : 139907 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 5 c learned clauses : 189 c root simplifications : 55 #### 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.93 0.90 2/56 6442 Raw data (stat): 6442 (runsolver) R 6441 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 434000793 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0005 s] Raw data (loadavg): 1.11 0.98 0.92 3/66 6453 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18058 5 1 0 648 41 0 0 25 0 11 0 434000793 865304576 21887 4294967295 134512640 134569956 3221224400 3221214832 1130917158 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211256 21887 13073 16 0 211240 0 vsize: 845024 [startup+20.0013 s] Raw data (loadavg): 1.16 1.00 0.92 2/66 6453 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18058 5 1 0 1529 42 0 0 25 0 11 0 434000793 867438592 22868 4294967295 134512640 134569956 3221224400 3221214684 1080203749 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211777 22868 13073 16 0 211761 0 vsize: 847108 [startup+30.0021 s] Raw data (loadavg): 1.14 1.00 0.92 2/66 6453 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 2470 42 0 0 24 0 11 0 434000793 866390016 22525 4294967295 134512640 134569956 3221224400 3221214816 1131395565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 22525 13073 16 0 211505 0 vsize: 846084 [startup+40.0018 s] Raw data (loadavg): 1.12 1.00 0.92 2/66 6455 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 3405 42 0 0 25 0 11 0 434000793 866390016 22595 4294967295 134512640 134569956 3221224400 3221214816 1131396056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 22595 13073 16 0 211505 0 vsize: 846084 [startup+50.0017 s] Raw data (loadavg): 1.10 1.00 0.92 2/66 6456 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 4367 42 0 0 25 0 11 0 434000793 866390016 23075 4294967295 134512640 134569956 3221224400 3221214664 1131235162 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 23075 13073 16 0 211505 0 vsize: 846084 [startup+60.0029 s] Raw data (loadavg): 1.08 1.00 0.92 2/66 6456 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 5338 42 0 0 25 0 11 0 434000793 866390016 23114 4294967295 134512640 134569956 3221224400 3221214664 1131235984 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 23114 13073 16 0 211505 0 vsize: 846084 [startup+70.0066 s] Raw data (loadavg): 1.07 1.00 0.92 2/66 6456 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 6318 42 0 0 25 0 11 0 434000793 866390016 23143 4294967295 134512640 134569956 3221224400 3221214632 1131044207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 23143 13073 16 0 211505 0 vsize: 846084 [startup+80.009 s] Raw data (loadavg): 1.06 1.00 0.92 2/66 6456 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 7293 42 0 0 25 0 11 0 434000793 866390016 23259 4294967295 134512640 134569956 3221224400 3221214664 1131235633 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 23259 13073 16 0 211505 0 vsize: 846084 [startup+90.0088 s] Raw data (loadavg): 1.05 1.00 0.92 2/66 6456 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 8271 42 0 0 25 0 11 0 434000793 866390016 23324 4294967295 134512640 134569956 3221224400 3221214664 1131235673 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 23324 13073 16 0 211505 0 vsize: 846084 [startup+100.009 s] Raw data (loadavg): 1.04 1.00 0.92 2/66 6456 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 9247 43 0 0 25 0 11 0 434000793 866390016 23334 4294967295 134512640 134569956 3221224400 3221214768 1131428647 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 23334 13073 16 0 211505 0 vsize: 846084 [startup+110.009 s] Raw data (loadavg): 1.03 1.00 0.92 2/66 6456 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 10220 43 0 0 24 0 11 0 434000793 866390016 23410 4294967295 134512640 134569956 3221224400 3221214664 1131235466 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 23410 13073 16 0 211505 0 vsize: 846084 [startup+120.01 s] Raw data (loadavg): 1.03 1.00 0.92 2/66 6456 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 11201 43 0 0 25 0 11 0 434000793 866390016 23483 4294967295 134512640 134569956 3221224400 3221214664 1131235073 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 23483 13073 16 0 211505 0 vsize: 846084 [startup+130.01 s] Raw data (loadavg): 1.02 1.00 0.92 2/66 6456 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 12184 43 0 0 25 0 11 0 434000793 866390016 23544 4294967295 134512640 134569956 3221224400 3221214664 1131235470 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 23544 13073 16 0 211505 0 vsize: 846084 [startup+140.011 s] Raw data (loadavg): 1.02 1.00 0.92 2/66 6456 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 13167 43 0 0 25 0 11 0 434000793 866390016 23571 4294967295 134512640 134569956 3221224400 3221214768 1131424061 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 23571 13073 16 0 211505 0 vsize: 846084 [startup+150.011 s] Raw data (loadavg): 1.02 1.00 0.92 2/66 6456 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 14148 43 0 0 25 0 11 0 434000793 866390016 23608 4294967295 134512640 134569956 3221224400 3221214680 1131555863 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 23608 13073 16 0 211505 0 vsize: 846084 [startup+160.01 s] Raw data (loadavg): 1.01 1.00 0.92 2/66 6456 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 15130 43 0 0 25 0 11 0 434000793 866390016 23639 4294967295 134512640 134569956 3221224400 3221214664 1131236101 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 23639 13073 16 0 211505 0 vsize: 846084 [startup+170.011 s] Raw data (loadavg): 1.01 1.00 0.92 2/66 6456 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 16103 43 0 0 24 0 11 0 434000793 866390016 23704 4294967295 134512640 134569956 3221224400 3221214840 1131345900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 23704 13073 16 0 211505 0 vsize: 846084 [startup+180.012 s] Raw data (loadavg): 1.01 1.00 0.92 2/66 6456 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 17077 43 0 0 24 0 11 0 434000793 866390016 23746 4294967295 134512640 134569956 3221224400 3221214664 1131235633 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 23746 13073 16 0 211505 0 vsize: 846084 [startup+190.013 s] Raw data (loadavg): 1.01 1.00 0.92 2/66 6456 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 18052 43 0 0 24 0 11 0 434000793 866390016 23805 4294967295 134512640 134569956 3221224400 3221214664 1131235455 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 23805 13073 16 0 211505 0 vsize: 846084 [startup+200.013 s] Raw data (loadavg): 1.01 1.00 0.92 2/66 6456 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18059 5 1 0 19035 43 0 0 25 0 11 0 434000793 866390016 23895 4294967295 134512640 134569956 3221224400 3221214768 1131428588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 23895 13073 16 0 211505 0 vsize: 846084 [startup+210.014 s] Raw data (loadavg): 1.08 1.01 0.93 2/66 6457 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 20014 44 0 0 25 0 11 0 434000793 866390016 23941 4294967295 134512640 134569956 3221224400 3221214664 1131235613 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 23941 13073 16 0 211505 0 vsize: 846084 [startup+220.014 s] Raw data (loadavg): 1.07 1.01 0.93 2/66 6458 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 20997 44 0 0 25 0 11 0 434000793 866390016 23975 4294967295 134512640 134569956 3221224400 3221214576 1131326758 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 23975 13073 16 0 211505 0 vsize: 846084 [startup+230.015 s] Raw data (loadavg): 1.06 1.01 0.93 2/66 6458 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 21984 44 0 0 25 0 11 0 434000793 866390016 23995 4294967295 134512640 134569956 3221224400 3221214664 1131235455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 23995 13073 16 0 211505 0 vsize: 846084 [startup+240.015 s] Raw data (loadavg): 1.05 1.01 0.93 2/66 6458 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 22970 44 0 0 25 0 11 0 434000793 866390016 24027 4294967295 134512640 134569956 3221224400 3221214664 1131235134 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24027 13073 16 0 211505 0 vsize: 846084 [startup+250.014 s] Raw data (loadavg): 1.04 1.01 0.93 2/66 6458 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 23961 44 0 0 25 0 11 0 434000793 866390016 24071 4294967295 134512640 134569956 3221224400 3221214664 1131236104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24071 13073 16 0 211505 0 vsize: 846084 [startup+260.015 s] Raw data (loadavg): 1.03 1.01 0.93 2/66 6458 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 24956 44 0 0 25 0 11 0 434000793 866390016 24085 4294967295 134512640 134569956 3221224400 3221214732 1080203733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24085 13073 16 0 211505 0 vsize: 846084 [startup+270.015 s] Raw data (loadavg): 1.03 1.01 0.93 2/66 6458 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 25949 44 0 0 25 0 11 0 434000793 866390016 24104 4294967295 134512640 134569956 3221224400 3221214664 1131236019 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24104 13073 16 0 211505 0 vsize: 846084 [startup+280.016 s] Raw data (loadavg): 1.02 1.01 0.93 2/66 6458 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 26943 44 0 0 25 0 11 0 434000793 866390016 24110 4294967295 134512640 134569956 3221224400 3221214768 1131428647 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24110 13073 16 0 211505 0 vsize: 846084 [startup+290.017 s] Raw data (loadavg): 1.02 1.00 0.93 2/66 6458 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 27935 44 0 0 25 0 11 0 434000793 866390016 24120 4294967295 134512640 134569956 3221224400 3221214768 1131423859 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24120 13073 16 0 211505 0 vsize: 846084 [startup+300.017 s] Raw data (loadavg): 1.02 1.00 0.93 2/66 6458 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 28924 45 0 0 25 0 11 0 434000793 866390016 24127 4294967295 134512640 134569956 3221224400 3221214768 1131423859 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24127 13073 16 0 211505 0 vsize: 846084 [startup+310.017 s] Raw data (loadavg): 1.01 1.00 0.93 2/66 6458 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 29911 45 0 0 25 0 11 0 434000793 866390016 24131 4294967295 134512640 134569956 3221224400 3221214664 1131235455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24131 13073 16 0 211505 0 vsize: 846084 [startup+320.018 s] Raw data (loadavg): 1.01 1.00 0.93 2/66 6458 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 30896 45 0 0 25 0 11 0 434000793 866390016 24164 4294967295 134512640 134569956 3221224400 3221214576 1131326842 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24164 13073 16 0 211505 0 vsize: 846084 [startup+330.019 s] Raw data (loadavg): 1.01 1.00 0.93 2/66 6458 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 31882 45 0 0 25 0 11 0 434000793 866390016 24191 4294967295 134512640 134569956 3221224400 3221214768 1131425122 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24191 13073 16 0 211505 0 vsize: 846084 [startup+340.018 s] Raw data (loadavg): 1.01 1.00 0.93 2/66 6460 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 32867 45 0 0 25 0 11 0 434000793 866390016 24226 4294967295 134512640 134569956 3221224400 3221214664 1131235633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24226 13073 16 0 211505 0 vsize: 846084 [startup+350.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6460 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 33850 46 0 0 25 0 11 0 434000793 866390016 24257 4294967295 134512640 134569956 3221224400 3221214664 1131235739 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24257 13073 16 0 211505 0 vsize: 846084 [startup+360.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6460 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 34837 46 0 0 18 0 11 0 434000793 866390016 24291 4294967295 134512640 134569956 3221224400 3221214768 1131428548 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24291 13073 16 0 211505 0 vsize: 846084 [startup+370.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6460 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 35823 46 0 0 25 0 11 0 434000793 866390016 24308 4294967295 134512640 134569956 3221224400 3221214664 1131235517 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24308 13073 16 0 211505 0 vsize: 846084 [startup+380.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6460 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 36809 46 0 0 25 0 11 0 434000793 866390016 24334 4294967295 134512640 134569956 3221224400 3221214768 1131424126 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24334 13073 16 0 211505 0 vsize: 846084 [startup+390.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6460 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 37798 46 0 0 25 0 11 0 434000793 866390016 24373 4294967295 134512640 134569956 3221224400 3221214748 1080203717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24373 13073 16 0 211505 0 vsize: 846084 [startup+400.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6460 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 38785 47 0 0 25 0 11 0 434000793 866390016 24408 4294967295 134512640 134569956 3221224400 3221214664 1131235033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24408 13073 16 0 211505 0 vsize: 846084 [startup+410.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6460 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 39775 47 0 0 25 0 11 0 434000793 866390016 24415 4294967295 134512640 134569956 3221224400 3221214664 1131235564 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24415 13073 16 0 211505 0 vsize: 846084 [startup+420.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6460 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 40763 47 0 0 25 0 11 0 434000793 866390016 24422 4294967295 134512640 134569956 3221224400 3221214664 1131235621 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24422 13073 16 0 211505 0 vsize: 846084 [startup+430.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6460 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 41753 47 0 0 25 0 11 0 434000793 866390016 24460 4294967295 134512640 134569956 3221224400 3221214664 1131235929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24460 13073 16 0 211505 0 vsize: 846084 [startup+440.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 42735 48 0 0 25 0 11 0 434000793 866390016 24466 4294967295 134512640 134569956 3221224400 3221214680 1131555873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24466 13073 16 0 211505 0 vsize: 846084 [startup+450.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 43722 48 0 0 24 0 11 0 434000793 866390016 24482 4294967295 134512640 134569956 3221224400 3221214664 1131235396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24482 13073 16 0 211505 0 vsize: 846084 [startup+460.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 44713 48 0 0 24 0 11 0 434000793 866390016 24485 4294967295 134512640 134569956 3221224400 3221214664 1131235929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24485 13073 16 0 211505 0 vsize: 846084 [startup+470.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 45705 48 0 0 25 0 11 0 434000793 866390016 24531 4294967295 134512640 134569956 3221224400 3221214768 1131424061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24531 13073 16 0 211505 0 vsize: 846084 [startup+480.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 46695 48 0 0 25 0 11 0 434000793 866390016 24544 4294967295 134512640 134569956 3221224400 3221214664 1131235729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24544 13073 16 0 211505 0 vsize: 846084 [startup+490.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 47684 49 0 0 25 0 11 0 434000793 866390016 24549 4294967295 134512640 134569956 3221224400 3221214664 1131235691 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24549 13073 16 0 211505 0 vsize: 846084 [startup+500.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 48673 49 0 0 25 0 11 0 434000793 866390016 24553 4294967295 134512640 134569956 3221224400 3221214664 1131235262 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24553 13073 16 0 211505 0 vsize: 846084 [startup+510.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 49664 49 0 0 25 0 11 0 434000793 866390016 24589 4294967295 134512640 134569956 3221224400 3221214664 1131236070 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24589 13073 16 0 211505 0 vsize: 846084 [startup+520.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 50656 49 0 0 25 0 11 0 434000793 866390016 24596 4294967295 134512640 134569956 3221224400 3221214664 1131235455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24596 13073 16 0 211505 0 vsize: 846084 [startup+530.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 51645 49 0 0 25 0 11 0 434000793 866390016 24604 4294967295 134512640 134569956 3221224400 3221214768 1131426035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24604 13073 16 0 211505 0 vsize: 846084 [startup+540.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 52630 50 0 0 25 0 11 0 434000793 866390016 24608 4294967295 134512640 134569956 3221224400 3221214664 1131235645 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24608 13073 16 0 211505 0 vsize: 846084 [startup+550.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 53617 50 0 0 25 0 11 0 434000793 866390016 24641 4294967295 134512640 134569956 3221224400 3221214768 1131425992 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24641 13073 16 0 211505 0 vsize: 846084 [startup+560.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 54605 50 0 0 25 0 11 0 434000793 866390016 24679 4294967295 134512640 134569956 3221224400 3221214768 1131428643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24679 13073 16 0 211505 0 vsize: 846084 [startup+570.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 55592 50 0 0 25 0 11 0 434000793 866390016 24688 4294967295 134512640 134569956 3221224400 3221214664 1131235037 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24688 13073 16 0 211505 0 vsize: 846084 [startup+580.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 56581 51 0 0 25 0 11 0 434000793 866390016 24694 4294967295 134512640 134569956 3221224400 3221214664 1131235404 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24694 13073 16 0 211505 0 vsize: 846084 [startup+590.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 57568 51 0 0 25 0 11 0 434000793 866390016 24740 4294967295 134512640 134569956 3221224400 3221214664 1131235455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24740 13073 16 0 211505 0 vsize: 846084 [startup+600.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 58559 51 0 0 25 0 11 0 434000793 866390016 24744 4294967295 134512640 134569956 3221224400 3221214664 1131235264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24744 13073 16 0 211505 0 vsize: 846084 [startup+610.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 59544 51 0 0 25 0 11 0 434000793 866390016 24751 4294967295 134512640 134569956 3221224400 3221214576 1131326441 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24751 13073 16 0 211505 0 vsize: 846084 [startup+620.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 60530 51 0 0 25 0 11 0 434000793 866390016 24755 4294967295 134512640 134569956 3221224400 3221214664 1131235413 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24755 13073 16 0 211505 0 vsize: 846084 [startup+630.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6461 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 61518 51 0 0 25 0 11 0 434000793 866390016 24820 4294967295 134512640 134569956 3221224400 3221214576 1131575278 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24820 13073 16 0 211505 0 vsize: 846084 [startup+640.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 62506 52 0 0 24 0 11 0 434000793 866390016 24829 4294967295 134512640 134569956 3221224400 3221214768 1131424061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24829 13073 16 0 211505 0 vsize: 846084 [startup+650.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 63492 52 0 0 25 0 11 0 434000793 866390016 24847 4294967295 134512640 134569956 3221224400 3221214664 1131235455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24847 13073 16 0 211505 0 vsize: 846084 [startup+660.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 64474 52 0 0 25 0 11 0 434000793 866390016 24855 4294967295 134512640 134569956 3221224400 3221214568 1131480238 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24855 13073 16 0 211505 0 vsize: 846084 [startup+670.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 65457 52 0 0 25 0 11 0 434000793 866390016 24898 4294967295 134512640 134569956 3221224400 3221214576 1131326877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24898 13073 16 0 211505 0 vsize: 846084 [startup+680.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 66442 52 0 0 25 0 11 0 434000793 866390016 24968 4294967295 134512640 134569956 3221224400 3221214664 1131235037 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24968 13073 16 0 211505 0 vsize: 846084 [startup+690.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 67428 52 0 0 25 0 11 0 434000793 866390016 24975 4294967295 134512640 134569956 3221224400 3221214768 1131424145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24975 13073 16 0 211505 0 vsize: 846084 [startup+700.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) S 6441 12452 12451 0 -1 0 18060 5 1 0 68413 53 0 0 25 0 11 0 434000793 866390016 24997 4294967295 134512640 134569956 3221224400 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 24997 13073 16 0 211505 0 vsize: 846084 [startup+710.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 69399 53 0 0 24 0 11 0 434000793 866390016 25015 4294967295 134512640 134569956 3221224400 3221214664 1131235455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25015 13073 16 0 211505 0 vsize: 846084 [startup+720.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 70386 53 0 0 25 0 11 0 434000793 866390016 25044 4294967295 134512640 134569956 3221224400 3221214664 1131235516 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25044 13073 16 0 211505 0 vsize: 846084 [startup+730.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 71371 53 0 0 25 0 11 0 434000793 866390016 25054 4294967295 134512640 134569956 3221224400 3221214664 1131235303 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25054 13073 16 0 211505 0 vsize: 846084 [startup+740.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 72356 53 0 0 25 0 11 0 434000793 866390016 25089 4294967295 134512640 134569956 3221224400 3221214576 1131326527 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25089 13073 16 0 211505 0 vsize: 846084 [startup+750.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 73342 54 0 0 25 0 11 0 434000793 866390016 25135 4294967295 134512640 134569956 3221224400 3221214664 1131235455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25135 13073 16 0 211505 0 vsize: 846084 [startup+760.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 74329 54 0 0 25 0 11 0 434000793 866390016 25140 4294967295 134512640 134569956 3221224400 3221214664 1131235964 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25140 13073 16 0 211505 0 vsize: 846084 [startup+770.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 75317 54 0 0 25 0 11 0 434000793 866390016 25168 4294967295 134512640 134569956 3221224400 3221214664 1131235633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25168 13073 16 0 211505 0 vsize: 846084 [startup+780.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 76306 54 0 0 25 0 11 0 434000793 866390016 25177 4294967295 134512640 134569956 3221224400 3221214696 1131410401 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25177 13073 16 0 211505 0 vsize: 846084 [startup+790.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 77294 55 0 0 25 0 11 0 434000793 866390016 25187 4294967295 134512640 134569956 3221224400 3221214664 1131235951 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25187 13073 16 0 211505 0 vsize: 846084 [startup+800.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 78280 55 0 0 25 0 11 0 434000793 866390016 25195 4294967295 134512640 134569956 3221224400 3221214576 1131326807 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25195 13073 16 0 211505 0 vsize: 846084 [startup+810.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 79266 55 0 0 24 0 11 0 434000793 866390016 25226 4294967295 134512640 134569956 3221224400 3221214768 1131424061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25226 13073 16 0 211505 0 vsize: 846084 [startup+820.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 80254 55 0 0 24 0 11 0 434000793 866390016 25241 4294967295 134512640 134569956 3221224400 3221214664 1131235685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25241 13073 16 0 211505 0 vsize: 846084 [startup+830.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 81242 55 0 0 25 0 11 0 434000793 866390016 25264 4294967295 134512640 134569956 3221224400 3221214760 1131327005 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25264 13073 16 0 211505 0 vsize: 846084 [startup+840.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 82232 55 0 0 25 0 11 0 434000793 866390016 25274 4294967295 134512640 134569956 3221224400 3221214768 1131424126 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25274 13073 16 0 211505 0 vsize: 846084 [startup+850.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 83222 55 0 0 25 0 11 0 434000793 866390016 25282 4294967295 134512640 134569956 3221224400 3221214768 1131425122 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25282 13073 16 0 211505 0 vsize: 846084 [startup+860.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 84212 56 0 0 25 0 11 0 434000793 866390016 25289 4294967295 134512640 134569956 3221224400 3221214664 1131235966 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25289 13073 16 0 211505 0 vsize: 846084 [startup+870.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 85202 56 0 0 25 0 11 0 434000793 866390016 25291 4294967295 134512640 134569956 3221224400 3221214664 1131235633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25291 13073 16 0 211505 0 vsize: 846084 [startup+880.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 86192 56 0 0 25 0 11 0 434000793 866390016 25301 4294967295 134512640 134569956 3221224400 3221214664 1131235369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25301 13073 16 0 211505 0 vsize: 846084 [startup+890.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 87180 56 0 0 25 0 11 0 434000793 866390016 25313 4294967295 134512640 134569956 3221224400 3221214664 1131235455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25313 13073 16 0 211505 0 vsize: 846084 [startup+900.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 88170 56 0 0 25 0 11 0 434000793 866390016 25316 4294967295 134512640 134569956 3221224400 3221214664 1131235516 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25316 13073 16 0 211505 0 vsize: 846084 [startup+910.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 89160 56 0 0 25 0 11 0 434000793 866390016 25322 4294967295 134512640 134569956 3221224400 3221214768 1131425122 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25322 13073 16 0 211505 0 vsize: 846084 [startup+920.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 90149 57 0 0 25 0 11 0 434000793 866390016 25331 4294967295 134512640 134569956 3221224400 3221214664 1131235455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25331 13073 16 0 211505 0 vsize: 846084 [startup+930.046 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6463 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 91139 57 0 0 25 0 11 0 434000793 866390016 25339 4294967295 134512640 134569956 3221224400 3221214664 1131235045 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25339 13073 16 0 211505 0 vsize: 846084 [startup+940.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 92129 57 0 0 25 0 11 0 434000793 866390016 25348 4294967295 134512640 134569956 3221224400 3221214664 1131235455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25348 13073 16 0 211505 0 vsize: 846084 [startup+950.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 93117 57 0 0 25 0 11 0 434000793 866390016 25364 4294967295 134512640 134569956 3221224400 3221214664 1131235404 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25364 13073 16 0 211505 0 vsize: 846084 [startup+960.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 94107 57 0 0 25 0 11 0 434000793 866390016 25372 4294967295 134512640 134569956 3221224400 3221214664 1131235591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211521 25372 13073 16 0 211505 0 vsize: 846084 [startup+970.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 95097 57 0 0 25 0 11 0 434000793 866390016 25376 4294967295 134512640 134569956 3221224400 3221214664 1131235685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25376 13073 16 0 211505 0 vsize: 846084 [startup+980.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 96088 57 0 0 25 0 11 0 434000793 866390016 25382 4294967295 134512640 134569956 3221224400 3221214664 1131236088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25382 13073 16 0 211505 0 vsize: 846084 [startup+990.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 97077 57 0 0 25 0 11 0 434000793 866390016 25388 4294967295 134512640 134569956 3221224400 3221214664 1131235603 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25388 13073 16 0 211505 0 vsize: 846084 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 98066 58 0 0 25 0 11 0 434000793 866390016 25399 4294967295 134512640 134569956 3221224400 3221214768 1131424054 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25399 13073 16 0 211505 0 vsize: 846084 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 99056 58 0 0 25 0 11 0 434000793 866390016 25406 4294967295 134512640 134569956 3221224400 3221214768 1131428643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25406 13073 16 0 211505 0 vsize: 846084 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 100046 58 0 0 25 0 11 0 434000793 866390016 25415 4294967295 134512640 134569956 3221224400 3221214768 1131428643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25415 13073 16 0 211505 0 vsize: 846084 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 101036 58 0 0 25 0 11 0 434000793 866390016 25421 4294967295 134512640 134569956 3221224400 3221214664 1131235964 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25421 13073 16 0 211505 0 vsize: 846084 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 102025 58 0 0 25 0 11 0 434000793 866390016 25428 4294967295 134512640 134569956 3221224400 3221214768 1131425200 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25428 13073 16 0 211505 0 vsize: 846084 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 103015 58 0 0 25 0 11 0 434000793 866390016 25436 4294967295 134512640 134569956 3221224400 3221214664 1131235633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25436 13073 16 0 211505 0 vsize: 846084 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 104005 58 0 0 25 0 11 0 434000793 866390016 25443 4294967295 134512640 134569956 3221224400 3221214768 1131428647 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25443 13073 16 0 211505 0 vsize: 846084 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 104995 58 0 0 25 0 11 0 434000793 866390016 25445 4294967295 134512640 134569956 3221224400 3221214768 1131423875 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25445 13073 16 0 211505 0 vsize: 846084 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 105985 59 0 0 25 0 11 0 434000793 866390016 25455 4294967295 134512640 134569956 3221224400 3221214768 1131425115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25455 13073 16 0 211505 0 vsize: 846084 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 106974 59 0 0 25 0 11 0 434000793 866390016 25460 4294967295 134512640 134569956 3221224400 3221214664 1131236088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25460 13073 16 0 211505 0 vsize: 846084 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 107964 59 0 0 24 0 11 0 434000793 866390016 25469 4294967295 134512640 134569956 3221224400 3221214664 1131235052 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25469 13073 16 0 211505 0 vsize: 846084 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 108954 59 0 0 25 0 11 0 434000793 866390016 25478 4294967295 134512640 134569956 3221224400 3221214664 1131235089 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25478 13073 16 0 211505 0 vsize: 846084 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 109944 59 0 0 25 0 11 0 434000793 866390016 25479 4294967295 134512640 134569956 3221224400 3221214664 1131236070 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25479 13073 16 0 211505 0 vsize: 846084 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 110933 59 0 0 25 0 11 0 434000793 866390016 25489 4294967295 134512640 134569956 3221224400 3221214764 1131236354 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25489 13073 16 0 211505 0 vsize: 846084 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 111922 59 0 0 25 0 11 0 434000793 866390016 25507 4294967295 134512640 134569956 3221224400 3221214768 1131424065 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25507 13073 16 0 211505 0 vsize: 846084 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 112911 60 0 0 25 0 11 0 434000793 866390016 25514 4294967295 134512640 134569956 3221224400 3221214768 1131424061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25514 13073 16 0 211505 0 vsize: 846084 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 113900 60 0 0 25 0 11 0 434000793 866390016 25527 4294967295 134512640 134569956 3221224400 3221214664 1131235621 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25527 13073 16 0 211505 0 vsize: 846084 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 114890 60 0 0 25 0 11 0 434000793 866390016 25550 4294967295 134512640 134569956 3221224400 3221214664 1131235574 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25550 13073 16 0 211505 0 vsize: 846084 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 115879 60 0 0 25 0 11 0 434000793 866390016 25553 4294967295 134512640 134569956 3221224400 3221214768 1131425118 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25553 13073 16 0 211505 0 vsize: 846084 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 116869 60 0 0 25 0 11 0 434000793 866390016 25560 4294967295 134512640 134569956 3221224400 3221214664 1131235054 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25560 13073 16 0 211505 0 vsize: 846084 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 117858 60 0 0 25 0 11 0 434000793 866390016 25567 4294967295 134512640 134569956 3221224400 3221214664 1131235868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25567 13073 16 0 211505 0 vsize: 846084 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 118848 60 0 0 25 0 11 0 434000793 866390016 25582 4294967295 134512640 134569956 3221224400 3221214664 1131235613 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25582 13073 16 0 211505 0 vsize: 846084 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 119837 61 0 0 25 0 11 0 434000793 866390016 25590 4294967295 134512640 134569956 3221224400 3221214664 1131235313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25590 13073 16 0 211505 0 vsize: 846084 [startup+1230.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 6465 Raw data (stat): 6442 (java) R 6441 12452 12451 0 -1 0 18060 5 1 0 120827 61 0 0 25 0 11 0 434000793 866390016 25595 4294967295 134512640 134569956 3221224400 3221214768 1131425954 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211521 25595 13073 16 0 211505 0 vsize: 846084 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.15 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 6467 Raw data (stat): 6442 (java) Z 6441 12452 12451 0 -1 1036 18060 12718 1 0 120831 65 3534 46 25 0 1 0 434000793 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): 1230.15 CPU time (s): 1244.79 CPU user time (s): 1243.66 CPU system time (s): 1.12683 CPU usage (%): 101.19 Max. virtual memory (Kb): 847108 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####