Name | normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb |
MD5SUM | fa7153262db792d01bec14f5a651af5b |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 872 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 232 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 9597 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 9597 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.332949 |
Number of variables | 232 |
Total number of constraints | 527 |
Number of constraints which are clauses | 527 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 27 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc28 THE 2005-04-13 17:17:06 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2286 boxname=wulflinc28 idbench=254 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: fa7153262db792d01bec14f5a651af5b /oldhome/oroussel/tmp/wulflinc28/normalized-mux.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mux.opb IDLAUNCH: 2286 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 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 : 3 cpu MHz : 451.077 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: 917616 kB Buffers: 33364 kB Cached: 47960 kB SwapCached: 4 kB Active: 43304 kB Inactive: 40820 kB HighTotal: 131008 kB HighFree: 79520 kB LowTotal: 903652 kB LowFree: 838096 kB SwapTotal: 2097640 kB SwapFree: 2097636 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6920 kB Slab: 27332 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 17:37:39 (client local time) WITH STATUS 143 IN SECONDS stats: 2286 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mux.opb c reading problem c [nbvar=232] c [nbconstr=527] c time 1.466 c #vars 232 c #clauses 527 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=1190 c Current CPU time (ms) : 1.878 c starts : 1 c conflicts : 2 c decisions : 91 c propagations : 254 c inspects : 831 c learned literals : 2 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 3 c c CURRENT OPTIMUM=1068 c Current CPU time (ms) : 2.638 c starts : 2 c conflicts : 3 c decisions : 173 c propagations : 497 c inspects : 1393 c learned literals : 2 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1 c root simplifications : 4 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.98 0.96 2/54 11290 Raw data (stat): 11290 (runsolver) R 11289 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477688351 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0006 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18073 3 1 0 699 44 0 0 25 0 11 0 477688351 861982720 20854 4294967295 134512640 134569956 3221224416 3221214848 1131253385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210445 20854 13073 16 0 210429 0 vsize: 841780 [startup+20.0017 s] Raw data (loadavg): 1.08 1.02 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18073 3 1 0 1645 45 0 0 25 0 11 0 477688351 861458432 21163 4294967295 134512640 134569956 3221224416 3221214608 1131245927 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210317 21163 13073 16 0 210301 0 vsize: 841268 [startup+30.0024 s] Raw data (loadavg): 1.07 1.02 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18074 3 1 0 2590 45 0 0 25 0 11 0 477688351 861097984 21559 4294967295 134512640 134569956 3221224416 3221214956 1130902044 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210229 21559 13073 16 0 210213 0 vsize: 840916 [startup+40.0025 s] Raw data (loadavg): 1.06 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18074 3 1 0 3519 45 0 0 25 0 11 0 477688351 861097984 21833 4294967295 134512640 134569956 3221224416 3221214816 1131221025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210229 21833 13073 16 0 210213 0 vsize: 840916 [startup+50.0028 s] Raw data (loadavg): 1.05 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18074 3 1 0 4442 45 0 0 25 0 11 0 477688351 861097984 22199 4294967295 134512640 134569956 3221224416 3221214776 1131299459 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 22199 13073 16 0 210213 0 vsize: 840916 [startup+60.0034 s] Raw data (loadavg): 1.04 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 5377 45 0 0 25 0 11 0 477688351 861097984 22386 4294967295 134512640 134569956 3221224416 3221214912 1131230088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 22386 13073 16 0 210213 0 vsize: 840916 [startup+70.0036 s] Raw data (loadavg): 1.03 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 6319 46 0 0 25 0 11 0 477688351 861097984 22569 4294967295 134512640 134569956 3221224416 3221214816 1131221091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 22569 13073 16 0 210213 0 vsize: 840916 [startup+80.0048 s] Raw data (loadavg): 1.03 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 7255 46 0 0 24 0 11 0 477688351 861097984 22720 4294967295 134512640 134569956 3221224416 3221214704 1131527115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 22720 13073 16 0 210213 0 vsize: 840916 [startup+90.0053 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 8202 46 0 0 25 0 11 0 477688351 861097984 22877 4294967295 134512640 134569956 3221224416 3221214872 1131158781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 22877 13073 16 0 210213 0 vsize: 840916 [startup+100.005 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 9159 47 0 0 25 0 11 0 477688351 861097984 23064 4294967295 134512640 134569956 3221224416 3221214584 1131545648 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210229 23064 13073 16 0 210213 0 vsize: 840916 [startup+110.006 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 10111 47 0 0 25 0 11 0 477688351 861097984 23196 4294967295 134512640 134569956 3221224416 3221214792 1131221025 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 23196 13073 16 0 210213 0 vsize: 840916 [startup+120.008 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 11068 47 0 0 25 0 11 0 477688351 861097984 23296 4294967295 134512640 134569956 3221224416 3221214260 1085632272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 23296 13073 16 0 210213 0 vsize: 840916 [startup+130.009 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) S 11289 10614 10613 0 -1 0 18075 3 1 0 12012 48 0 0 25 0 11 0 477688351 861097984 23428 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 23428 13073 16 0 210213 0 vsize: 840916 [startup+140.008 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 12976 48 0 0 25 0 11 0 477688351 861097984 23542 4294967295 134512640 134569956 3221224416 3221214768 1080203665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 23542 13073 16 0 210213 0 vsize: 840916 [startup+150.008 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 13932 49 0 0 25 0 11 0 477688351 861097984 23701 4294967295 134512640 134569956 3221224416 3221214264 1131544260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 23701 13073 16 0 210213 0 vsize: 840916 [startup+160.009 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 14889 49 0 0 25 0 11 0 477688351 861097984 23824 4294967295 134512640 134569956 3221224416 3221214848 1131158808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 23824 13073 16 0 210213 0 vsize: 840916 [startup+170.009 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 15850 49 0 0 25 0 11 0 477688351 861097984 23916 4294967295 134512640 134569956 3221224416 3221214448 1085679308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 23916 13073 16 0 210213 0 vsize: 840916 [startup+180.01 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 16812 50 0 0 25 0 11 0 477688351 861097984 24025 4294967295 134512640 134569956 3221224416 3221214792 1131221167 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 24025 13073 16 0 210213 0 vsize: 840916 [startup+190.01 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 17777 50 0 0 25 0 11 0 477688351 861097984 24141 4294967295 134512640 134569956 3221224416 3221214360 1131545724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 24141 13073 16 0 210213 0 vsize: 840916 [startup+200.01 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 18747 51 0 0 25 0 11 0 477688351 861097984 24216 4294967295 134512640 134569956 3221224416 3221214696 1131524622 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 24216 13073 16 0 210213 0 vsize: 840916 [startup+210.011 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 19713 51 0 0 25 0 11 0 477688351 861097984 24284 4294967295 134512640 134569956 3221224416 3221214888 1131230978 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 24284 13073 16 0 210213 0 vsize: 840916 [startup+220.011 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 20681 52 0 0 25 0 11 0 477688351 861097984 24336 4294967295 134512640 134569956 3221224416 3221214696 1131526984 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 24336 13073 16 0 210213 0 vsize: 840916 [startup+230.012 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 21636 52 0 0 25 0 11 0 477688351 861097984 24427 4294967295 134512640 134569956 3221224416 3221214768 1131299709 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 24427 13073 16 0 210213 0 vsize: 840916 [startup+240.013 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 22595 52 0 0 25 0 11 0 477688351 861097984 24517 4294967295 134512640 134569956 3221224416 3221214696 1131527041 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 24517 13073 16 0 210213 0 vsize: 840916 [startup+250.013 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 23551 52 0 0 25 0 11 0 477688351 861097984 24667 4294967295 134512640 134569956 3221224416 3221214848 1131158784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 24667 13073 16 0 210213 0 vsize: 840916 [startup+260.014 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 24514 53 0 0 24 0 11 0 477688351 861097984 24776 4294967295 134512640 134569956 3221224416 3221214792 1131220798 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 24776 13073 16 0 210213 0 vsize: 840916 [startup+270.014 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 25485 53 0 0 25 0 11 0 477688351 861097984 24877 4294967295 134512640 134569956 3221224416 3221214792 1131221249 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 24877 13073 16 0 210213 0 vsize: 840916 [startup+280.014 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 26451 54 0 0 25 0 11 0 477688351 861097984 24967 4294967295 134512640 134569956 3221224416 3221214848 1131158954 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 24967 13073 16 0 210213 0 vsize: 840916 [startup+290.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 27423 54 0 0 25 0 11 0 477688351 861097984 25066 4294967295 134512640 134569956 3221224416 3221214848 1131158801 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 25066 13073 16 0 210213 0 vsize: 840916 [startup+300.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 28404 54 0 0 25 0 11 0 477688351 861097984 25131 4294967295 134512640 134569956 3221224416 3221214792 1131220654 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 25131 13073 16 0 210213 0 vsize: 840916 [startup+310.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 29374 55 0 0 24 0 11 0 477688351 861097984 25212 4294967295 134512640 134569956 3221224416 3221214600 1131246120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 25212 13073 16 0 210213 0 vsize: 840916 [startup+320.016 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 30352 55 0 0 25 0 11 0 477688351 861097984 25252 4294967295 134512640 134569956 3221224416 3221214764 1080204298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 25252 13073 16 0 210213 0 vsize: 840916 [startup+330.018 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 31327 55 0 0 25 0 11 0 477688351 861097984 25328 4294967295 134512640 134569956 3221224416 3221214780 1080203719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 25328 13073 16 0 210213 0 vsize: 840916 [startup+340.018 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 32302 56 0 0 25 0 11 0 477688351 861097984 25406 4294967295 134512640 134569956 3221224416 3221214848 1131158826 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 25406 13073 16 0 210213 0 vsize: 840916 [startup+350.018 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 33278 56 0 0 25 0 11 0 477688351 861097984 25476 4294967295 134512640 134569956 3221224416 3221214560 1131494639 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 25476 13073 16 0 210213 0 vsize: 840916 [startup+360.019 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 34259 56 0 0 25 0 11 0 477688351 861097984 25512 4294967295 134512640 134569956 3221224416 3221214600 1131246091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 25512 13073 16 0 210213 0 vsize: 840916 [startup+370.019 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 35236 57 0 0 25 0 11 0 477688351 861097984 25572 4294967295 134512640 134569956 3221224416 3221214640 1131319227 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 25572 13073 16 0 210213 0 vsize: 840916 [startup+380.02 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 36217 57 0 0 25 0 11 0 477688351 861097984 25617 4294967295 134512640 134569956 3221224416 3221214600 1131246146 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 25617 13073 16 0 210213 0 vsize: 840916 [startup+390.021 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 37200 58 0 0 25 0 11 0 477688351 861097984 25674 4294967295 134512640 134569956 3221224416 3221214616 1131490196 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 25674 13073 16 0 210213 0 vsize: 840916 [startup+400.021 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 38184 58 0 0 25 0 11 0 477688351 861097984 25712 4294967295 134512640 134569956 3221224416 3221214416 1080216949 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 25712 13073 16 0 210213 0 vsize: 840916 [startup+410.022 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 39158 59 0 0 25 0 11 0 477688351 861097984 25774 4294967295 134512640 134569956 3221224416 3221214600 1131246152 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 25774 13073 16 0 210213 0 vsize: 840916 [startup+420.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 40136 59 0 0 25 0 11 0 477688351 861097984 25837 4294967295 134512640 134569956 3221224416 3221214792 1131220969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 25837 13073 16 0 210213 0 vsize: 840916 [startup+430.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 41113 59 0 0 24 0 11 0 477688351 861097984 25873 4294967295 134512640 134569956 3221224416 3221214632 1131315752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 25873 13073 16 0 210213 0 vsize: 840916 [startup+440.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 42095 59 0 0 25 0 11 0 477688351 861097984 25895 4294967295 134512640 134569956 3221224416 3221214616 1131332874 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 25895 13073 16 0 210213 0 vsize: 840916 [startup+450.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 43074 60 0 0 25 0 11 0 477688351 861097984 25955 4294967295 134512640 134569956 3221224416 3221214560 1131494338 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 25955 13073 16 0 210213 0 vsize: 840916 [startup+460.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 44058 60 0 0 25 0 11 0 477688351 861097984 26016 4294967295 134512640 134569956 3221224416 3221214636 1131493996 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26016 13073 16 0 210213 0 vsize: 840916 [startup+470.026 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 45041 60 0 0 25 0 11 0 477688351 861097984 26086 4294967295 134512640 134569956 3221224416 3221214488 1131491745 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26086 13073 16 0 210213 0 vsize: 840916 [startup+480.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 46025 61 0 0 25 0 11 0 477688351 861097984 26129 4294967295 134512640 134569956 3221224416 3221214584 1131486427 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26129 13073 16 0 210213 0 vsize: 840916 [startup+490.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 47011 61 0 0 25 0 11 0 477688351 861097984 26175 4294967295 134512640 134569956 3221224416 3221214584 1079721529 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26175 13073 16 0 210213 0 vsize: 840916 [startup+500.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 48000 61 0 0 25 0 11 0 477688351 861097984 26206 4294967295 134512640 134569956 3221224416 3221214560 1131494269 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26206 13073 16 0 210213 0 vsize: 840916 [startup+510.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 48990 61 0 0 25 0 11 0 477688351 861097984 26227 4294967295 134512640 134569956 3221224416 3221214544 1079721536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210229 26227 13073 16 0 210213 0 vsize: 840916 [startup+520.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 49980 61 0 0 25 0 11 0 477688351 861097984 26233 4294967295 134512640 134569956 3221224416 3221214660 1131332000 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26233 13073 16 0 210213 0 vsize: 840916 [startup+530.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 50967 62 0 0 24 0 11 0 477688351 861097984 26298 4294967295 134512640 134569956 3221224416 3221214600 1131246142 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26298 13073 16 0 210213 0 vsize: 840916 [startup+540.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 51954 62 0 0 25 0 11 0 477688351 861097984 26343 4294967295 134512640 134569956 3221224416 3221214792 1131221037 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26343 13073 16 0 210213 0 vsize: 840916 [startup+550.032 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 52939 62 0 0 25 0 11 0 477688351 861097984 26435 4294967295 134512640 134569956 3221224416 3221214432 1080217270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26435 13073 16 0 210213 0 vsize: 840916 [startup+560.032 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 53923 63 0 0 25 0 11 0 477688351 861097984 26442 4294967295 134512640 134569956 3221224416 3221214792 1131220909 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26442 13073 16 0 210213 0 vsize: 840916 [startup+570.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 54905 63 0 0 25 0 11 0 477688351 861097984 26471 4294967295 134512640 134569956 3221224416 3221214260 1131544336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26471 13073 16 0 210213 0 vsize: 840916 [startup+580.034 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 55885 63 0 0 25 0 11 0 477688351 861097984 26505 4294967295 134512640 134569956 3221224416 3221214432 1080217270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26505 13073 16 0 210213 0 vsize: 840916 [startup+590.034 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 56870 64 0 0 25 0 11 0 477688351 861097984 26531 4294967295 134512640 134569956 3221224416 3221214608 1131516717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26531 13073 16 0 210213 0 vsize: 840916 [startup+600.034 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 57851 64 0 0 25 0 11 0 477688351 861097984 26557 4294967295 134512640 134569956 3221224416 3221214600 1131246140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26557 13073 16 0 210213 0 vsize: 840916 [startup+610.036 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 58832 64 0 0 25 0 11 0 477688351 861097984 26592 4294967295 134512640 134569956 3221224416 3221214792 1131221095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26592 13073 16 0 210213 0 vsize: 840916 [startup+620.036 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 59813 64 0 0 25 0 11 0 477688351 861097984 26651 4294967295 134512640 134569956 3221224416 3221214560 1131494514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26651 13073 16 0 210213 0 vsize: 840916 [startup+630.037 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 60794 65 0 0 25 0 11 0 477688351 861097984 26749 4294967295 134512640 134569956 3221224416 3221214792 1131221025 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26749 13073 16 0 210213 0 vsize: 840916 [startup+640.038 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 61781 65 0 0 25 0 11 0 477688351 861097984 26788 4294967295 134512640 134569956 3221224416 3221214888 1131229893 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26788 13073 16 0 210213 0 vsize: 840916 [startup+650.037 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 62765 65 0 0 25 0 11 0 477688351 861097984 26849 4294967295 134512640 134569956 3221224416 3221214848 1131158784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26849 13073 16 0 210213 0 vsize: 840916 [startup+660.038 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 63748 66 0 0 25 0 11 0 477688351 861097984 26939 4294967295 134512640 134569956 3221224416 3221214600 1131246152 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26939 13073 16 0 210213 0 vsize: 840916 [startup+670.039 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 64734 66 0 0 25 0 11 0 477688351 861097984 26970 4294967295 134512640 134569956 3221224416 3221214600 1131246142 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26970 13073 16 0 210213 0 vsize: 840916 [startup+680.039 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 65724 66 0 0 25 0 11 0 477688351 861097984 26993 4294967295 134512640 134569956 3221224416 3221214792 1131221177 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 26993 13073 16 0 210213 0 vsize: 840916 [startup+690.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 66711 67 0 0 25 0 11 0 477688351 861097984 27022 4294967295 134512640 134569956 3221224416 3221214720 1131226016 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27022 13073 16 0 210213 0 vsize: 840916 [startup+700.041 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 67700 67 0 0 25 0 11 0 477688351 861097984 27066 4294967295 134512640 134569956 3221224416 3221214848 1131158801 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27066 13073 16 0 210213 0 vsize: 840916 [startup+710.041 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 68687 67 0 0 24 0 11 0 477688351 861097984 27103 4294967295 134512640 134569956 3221224416 3221214536 1131319683 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27103 13073 16 0 210213 0 vsize: 840916 [startup+720.042 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 69676 67 0 0 25 0 11 0 477688351 861097984 27126 4294967295 134512640 134569956 3221224416 3221214352 1131545736 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27126 13073 16 0 210213 0 vsize: 840916 [startup+730.043 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 70663 68 0 0 25 0 11 0 477688351 861097984 27134 4294967295 134512640 134569956 3221224416 3221214600 1131246025 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27134 13073 16 0 210213 0 vsize: 840916 [startup+740.043 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 71656 68 0 0 25 0 11 0 477688351 861097984 27168 4294967295 134512640 134569956 3221224416 3221214416 1131494725 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27168 13073 16 0 210213 0 vsize: 840916 [startup+750.043 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 72643 69 0 0 25 0 11 0 477688351 861097984 27172 4294967295 134512640 134569956 3221224416 3221214600 1131245927 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27172 13073 16 0 210213 0 vsize: 840916 [startup+760.044 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 73630 69 0 0 25 0 11 0 477688351 861097984 27219 4294967295 134512640 134569956 3221224416 3221214640 1131320419 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27219 13073 16 0 210213 0 vsize: 840916 [startup+770.044 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 74620 69 0 0 25 0 11 0 477688351 861097984 27256 4294967295 134512640 134569956 3221224416 3221214600 1131246109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27256 13073 16 0 210213 0 vsize: 840916 [startup+780.045 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 75613 69 0 0 25 0 11 0 477688351 861097984 27259 4294967295 134512640 134569956 3221224416 3221214792 1131222070 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27259 13073 16 0 210213 0 vsize: 840916 [startup+790.046 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 76601 70 0 0 25 0 11 0 477688351 861097984 27289 4294967295 134512640 134569956 3221224416 3221214760 1131245927 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27289 13073 16 0 210213 0 vsize: 840916 [startup+800.046 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 77592 70 0 0 25 0 11 0 477688351 861097984 27348 4294967295 134512640 134569956 3221224416 3221214628 1131319911 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27348 13073 16 0 210213 0 vsize: 840916 [startup+810.047 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 78584 70 0 0 25 0 11 0 477688351 861097984 27350 4294967295 134512640 134569956 3221224416 3221214584 1131486492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27350 13073 16 0 210213 0 vsize: 840916 [startup+820.048 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 79577 70 0 0 25 0 11 0 477688351 861097984 27395 4294967295 134512640 134569956 3221224416 3221214792 1131220707 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27395 13073 16 0 210213 0 vsize: 840916 [startup+830.048 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 80566 70 0 0 25 0 11 0 477688351 861097984 27419 4294967295 134512640 134569956 3221224416 3221214600 1131246068 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27419 13073 16 0 210213 0 vsize: 840916 [startup+840.049 s] Raw data (loadavg): 1.08 1.02 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 81558 70 0 0 25 0 11 0 477688351 861097984 27440 4294967295 134512640 134569956 3221224416 3221214600 1131245927 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27440 13073 16 0 210213 0 vsize: 840916 [startup+850.049 s] Raw data (loadavg): 1.07 1.02 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 82552 71 0 0 25 0 11 0 477688351 861097984 27440 4294967295 134512640 134569956 3221224416 3221214480 1131494859 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27440 13073 16 0 210213 0 vsize: 840916 [startup+860.05 s] Raw data (loadavg): 1.06 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 83549 71 0 0 25 0 11 0 477688351 861097984 27487 4294967295 134512640 134569956 3221224416 3221214600 1131246178 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27487 13073 16 0 210213 0 vsize: 840916 [startup+870.051 s] Raw data (loadavg): 1.05 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 84543 71 0 0 25 0 11 0 477688351 861097984 27504 4294967295 134512640 134569956 3221224416 3221214600 1131246048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27504 13073 16 0 210213 0 vsize: 840916 [startup+880.051 s] Raw data (loadavg): 1.04 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 85534 71 0 0 25 0 11 0 477688351 861097984 27543 4294967295 134512640 134569956 3221224416 3221214416 1131494859 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27543 13073 16 0 210213 0 vsize: 840916 [startup+890.051 s] Raw data (loadavg): 1.03 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 86533 72 0 0 25 0 11 0 477688351 861097984 27545 4294967295 134512640 134569956 3221224416 3221214648 1131358034 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27545 13073 16 0 210213 0 vsize: 840916 [startup+900.052 s] Raw data (loadavg): 1.03 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 87531 72 0 0 25 0 11 0 477688351 861097984 27545 4294967295 134512640 134569956 3221224416 3221214432 1080217270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27545 13073 16 0 210213 0 vsize: 840916 [startup+910.052 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 88522 72 0 0 25 0 11 0 477688351 861097984 27545 4294967295 134512640 134569956 3221224416 3221214488 1131492021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27545 13073 16 0 210213 0 vsize: 840916 [startup+920.053 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 89516 72 0 0 25 0 11 0 477688351 861097984 27592 4294967295 134512640 134569956 3221224416 3221214560 1131494582 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27592 13073 16 0 210213 0 vsize: 840916 [startup+930.053 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 90510 73 0 0 25 0 11 0 477688351 861097984 27616 4294967295 134512640 134569956 3221224416 3221214600 1131245927 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27616 13073 16 0 210213 0 vsize: 840916 [startup+940.053 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 91505 73 0 0 25 0 11 0 477688351 861097984 27616 4294967295 134512640 134569956 3221224416 3221214648 1131358013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210229 27616 13073 16 0 210213 0 vsize: 840916 [startup+950.053 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 92499 73 0 0 25 0 11 0 477688351 861097984 27616 4294967295 134512640 134569956 3221224416 3221214648 1131357962 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27616 13073 16 0 210213 0 vsize: 840916 [startup+960.054 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 93499 73 0 0 25 0 11 0 477688351 861097984 27616 4294967295 134512640 134569956 3221224416 3221214488 1131491657 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210229 27616 13073 16 0 210213 0 vsize: 840916 [startup+970.054 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 94499 73 0 0 25 0 11 0 477688351 861097984 27616 4294967295 134512640 134569956 3221224416 3221214648 1131358075 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210229 27616 13073 16 0 210213 0 vsize: 840916 [startup+980.056 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 95495 73 0 0 25 0 11 0 477688351 861097984 27616 4294967295 134512640 134569956 3221224416 3221214408 1080217376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210229 27616 13073 16 0 210213 0 vsize: 840916 [startup+990.056 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 96489 74 0 0 25 0 11 0 477688351 861097984 27616 4294967295 134512640 134569956 3221224416 3221214640 1131318829 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210229 27616 13073 16 0 210213 0 vsize: 840916 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 97479 74 0 0 25 0 11 0 477688351 861097984 27854 4294967295 134512640 134569956 3221224416 3221214200 1131545678 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27854 13073 16 0 210213 0 vsize: 840916 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 98473 74 0 0 25 0 11 0 477688351 861097984 27854 4294967295 134512640 134569956 3221224416 3221214640 1131319965 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27854 13073 16 0 210213 0 vsize: 840916 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 99466 74 0 0 25 0 11 0 477688351 861097984 27858 4294967295 134512640 134569956 3221224416 3221214552 1079721536 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27858 13073 16 0 210213 0 vsize: 840916 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 100460 74 0 0 25 0 11 0 477688351 861097984 27858 4294967295 134512640 134569956 3221224416 3221214560 1131494451 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27858 13073 16 0 210213 0 vsize: 840916 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 101453 74 0 0 25 0 11 0 477688351 861097984 27858 4294967295 134512640 134569956 3221224416 3221214640 1131319990 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27858 13073 16 0 210213 0 vsize: 840916 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 102451 74 0 0 25 0 11 0 477688351 861097984 27947 4294967295 134512640 134569956 3221224416 3221214648 1131358040 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210229 27947 13073 16 0 210213 0 vsize: 840916 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 103448 75 0 0 25 0 11 0 477688351 861097984 27947 4294967295 134512640 134569956 3221224416 3221214592 1131544337 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27947 13073 16 0 210213 0 vsize: 840916 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 104444 75 0 0 25 0 11 0 477688351 861097984 27947 4294967295 134512640 134569956 3221224416 3221214560 1131494459 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27947 13073 16 0 210213 0 vsize: 840916 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 105439 75 0 0 25 0 11 0 477688351 861097984 27947 4294967295 134512640 134569956 3221224416 3221214640 1131320225 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210229 27947 13073 16 0 210213 0 vsize: 840916 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 106431 75 0 0 25 0 11 0 477688351 861097984 27947 4294967295 134512640 134569956 3221224416 3221214640 1131318829 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210229 27947 13073 16 0 210213 0 vsize: 840916 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 107428 75 0 0 25 0 11 0 477688351 861097984 27947 4294967295 134512640 134569956 3221224416 3221214720 1131227915 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210229 27947 13073 16 0 210213 0 vsize: 840916 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 108421 75 0 0 25 0 11 0 477688351 861097984 27947 4294967295 134512640 134569956 3221224416 3221214560 1131494514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27947 13073 16 0 210213 0 vsize: 840916 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 109414 76 0 0 25 0 11 0 477688351 861097984 27949 4294967295 134512640 134569956 3221224416 3221214560 1131494388 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27949 13073 16 0 210213 0 vsize: 840916 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 110410 76 0 0 25 0 11 0 477688351 861097984 27956 4294967295 134512640 134569956 3221224416 3221214488 1131492129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27956 13073 16 0 210213 0 vsize: 840916 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 111405 76 0 0 25 0 11 0 477688351 861097984 27959 4294967295 134512640 134569956 3221224416 3221214560 1131494420 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27959 13073 16 0 210213 0 vsize: 840916 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 112398 76 0 0 25 0 11 0 477688351 861097984 27959 4294967295 134512640 134569956 3221224416 3221214560 1131494626 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210229 27959 13073 16 0 210213 0 vsize: 840916 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 113392 77 0 0 25 0 11 0 477688351 861097984 27992 4294967295 134512640 134569956 3221224416 3221214584 1131486435 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27992 13073 16 0 210213 0 vsize: 840916 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 114385 77 0 0 25 0 11 0 477688351 861097984 27992 4294967295 134512640 134569956 3221224416 3221214640 1131320496 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 27992 13073 16 0 210213 0 vsize: 840916 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 115377 77 0 0 25 0 11 0 477688351 861097984 28028 4294967295 134512640 134569956 3221224416 3221214600 1131246105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 28028 13073 16 0 210213 0 vsize: 840916 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 116372 78 0 0 25 0 11 0 477688351 861097984 28028 4294967295 134512640 134569956 3221224416 3221214776 1131267895 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 28028 13073 16 0 210213 0 vsize: 840916 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 117369 78 0 0 25 0 11 0 477688351 861097984 28028 4294967295 134512640 134569956 3221224416 3221214488 1131491554 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210229 28028 13073 16 0 210213 0 vsize: 840916 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 118368 78 0 0 25 0 11 0 477688351 861097984 28028 4294967295 134512640 134569956 3221224416 3221214600 1131246101 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210229 28028 13073 16 0 210213 0 vsize: 840916 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 119365 78 0 0 25 0 11 0 477688351 861097984 28028 4294967295 134512640 134569956 3221224416 3221214560 1131494649 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 28028 13073 16 0 210213 0 vsize: 840916 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 11302 Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 120360 78 0 0 25 0 11 0 477688351 861097984 28028 4294967295 134512640 134569956 3221224416 3221214560 1131494052 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210229 28028 13073 16 0 210213 0 vsize: 840916 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.16 s] Raw data (loadavg): 1.00 1.00 0.97 1/54 11304 Raw data (stat): 11290 (java) Z 11289 10614 10613 0 -1 1036 18075 7808 1 0 120364 78 2252 22 25 0 1 0 477688351 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1230.16 CPU time (s): 1227.18 CPU user time (s): 1226.16 CPU system time (s): 1.01784 CPU usage (%): 99.7582 Max. virtual memory (Kb): 841780 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####