Name | normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-3pb.opb |
MD5SUM | c267b57d74142f6538ad16680277f9bf |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 62 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 648 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 648 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 648 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02984 |
Number of variables | 648 |
Total number of constraints | 1954 |
Number of constraints which are clauses | 1930 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
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 wulflinc15 THE 2005-04-13 17:00:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2151 boxname=wulflinc15 idbench=239 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: c267b57d74142f6538ad16680277f9bf /oldhome/oroussel/tmp/wulflinc15/normalized-s4-4-3-3pb.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc15/normalized-s4-4-3-3pb.opb IDLAUNCH: 2151 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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: 934128 kB Buffers: 33704 kB Cached: 45480 kB SwapCached: 2144 kB Active: 52604 kB Inactive: 31712 kB HighTotal: 131008 kB HighFree: 81564 kB LowTotal: 903652 kB LowFree: 852564 kB SwapTotal: 2097136 kB SwapFree: 2094992 kB Dirty: 52 kB Writeback: 0 kB Mapped: 7164 kB Slab: 10764 kB Committed_AS: 64080 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 17:21:07 (client local time) WITH STATUS 143 IN SECONDS stats: 2151 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc15/normalized-s4-4-3-3pb.opb c reading problem c [nbvar=648] c [nbconstr=1954] c time 2.806 c #vars 648 c #clauses 1954 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=70 c Current CPU time (ms) : 48.711 c starts : 3 c conflicts : 367 c decisions : 2670 c propagations : 19794 c inspects : 86075 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 367 c root simplifications : 3 c c CURRENT OPTIMUM=68 c Current CPU time (ms) : 169.626 c starts : 6 c conflicts : 817 c decisions : 7100 c propagations : 48651 c inspects : 326429 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 817 c root simplifications : 6 c c CURRENT OPTIMUM=66 c Current CPU time (ms) : 186.003 c starts : 7 c conflicts : 872 c decisions : 7736 c propagations : 51896 c inspects : 360471 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 872 c root simplifications : 7 #### 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 1.00 0.96 2/55 30201 Raw data (stat): 30201 (runsolver) R 30200 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419357444 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.001 s] Raw data (loadavg): 1.31 1.08 0.99 2/64 30263 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18091 0 1 0 550 56 0 0 25 0 11 0 419357444 866144256 21674 4294967295 134512640 134569956 3221224416 3221214744 1131365282 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211461 21674 13073 16 0 211445 0 vsize: 845844 [startup+20.0018 s] Raw data (loadavg): 1.26 1.08 0.99 2/64 30263 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18093 0 1 0 1482 56 0 0 25 0 11 0 419357444 863883264 21891 4294967295 134512640 134569956 3221224416 3221214816 1131202798 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210909 21891 13073 16 0 210893 0 vsize: 843636 [startup+30.0031 s] Raw data (loadavg): 1.30 1.09 1.00 2/64 30263 Raw data (stat): 30201 (java) S 30200 29151 29150 0 -1 0 18093 0 1 0 2410 57 0 0 25 0 11 0 419357444 863883264 22326 4294967295 134512640 134569956 3221224416 3221213456 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 22326 13073 16 0 210893 0 vsize: 843636 [startup+40.0036 s] Raw data (loadavg): 1.25 1.09 1.00 2/64 30263 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18093 0 1 0 3328 57 0 0 25 0 11 0 419357444 863883264 22608 4294967295 134512640 134569956 3221224416 3221214568 1131442897 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 22608 13073 16 0 210893 0 vsize: 843636 [startup+50.0043 s] Raw data (loadavg): 1.21 1.08 1.00 2/64 30264 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18093 3 1 0 4255 57 0 0 25 0 11 0 419357444 863883264 23019 4294967295 134512640 134569956 3221224416 3221214888 1131358129 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 23019 13073 16 0 210893 0 vsize: 843636 [startup+60.0052 s] Raw data (loadavg): 1.18 1.08 1.00 2/64 30264 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 5183 58 0 0 25 0 11 0 419357444 863883264 23194 4294967295 134512640 134569956 3221224416 3221214624 1131212656 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210909 23194 13073 16 0 210893 0 vsize: 843636 [startup+70.0056 s] Raw data (loadavg): 1.15 1.08 1.00 2/64 30266 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 6114 58 0 0 25 0 11 0 419357444 863883264 23426 4294967295 134512640 134569956 3221224416 3221214864 1131140369 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 23426 13073 16 0 210893 0 vsize: 843636 [startup+80.007 s] Raw data (loadavg): 1.13 1.07 1.00 2/64 30266 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 7057 59 0 0 25 0 11 0 419357444 863883264 23576 4294967295 134512640 134569956 3221224416 3221214636 1080204343 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 23576 13073 16 0 210893 0 vsize: 843636 [startup+90.0074 s] Raw data (loadavg): 1.11 1.07 1.00 2/64 30266 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 8011 60 0 0 25 0 11 0 419357444 863883264 23814 4294967295 134512640 134569956 3221224416 3221214584 1131210882 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210909 23814 13073 16 0 210893 0 vsize: 843636 [startup+100.007 s] Raw data (loadavg): 1.09 1.07 1.00 2/64 30266 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 8970 60 0 0 25 0 11 0 419357444 863883264 23904 4294967295 134512640 134569956 3221224416 3221214684 1080203730 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 23904 13073 16 0 210893 0 vsize: 843636 [startup+110.009 s] Raw data (loadavg): 1.08 1.07 1.00 2/64 30266 Raw data (stat): 30201 (java) S 30200 29151 29150 0 -1 0 18094 3 1 0 9928 61 0 0 25 0 11 0 419357444 863883264 24004 4294967295 134512640 134569956 3221224416 3221213560 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 24004 13073 16 0 210893 0 vsize: 843636 [startup+120.009 s] Raw data (loadavg): 1.06 1.06 1.00 2/64 30266 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 10885 61 0 0 25 0 11 0 419357444 863883264 24096 4294967295 134512640 134569956 3221224416 3221214740 1080203664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 24096 13073 16 0 210893 0 vsize: 843636 [startup+130.01 s] Raw data (loadavg): 1.05 1.06 1.00 2/64 30266 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 11825 61 0 0 25 0 11 0 419357444 863883264 24178 4294967295 134512640 134569956 3221224416 3221214816 1131201957 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 24178 13073 16 0 210893 0 vsize: 843636 [startup+140.01 s] Raw data (loadavg): 1.05 1.06 1.00 2/64 30266 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 12767 61 0 0 25 0 11 0 419357444 863883264 24311 4294967295 134512640 134569956 3221224416 3221214696 1131263559 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 24311 13073 16 0 210893 0 vsize: 843636 [startup+150.01 s] Raw data (loadavg): 1.04 1.06 1.00 2/64 30266 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 13709 62 0 0 25 0 11 0 419357444 863883264 24433 4294967295 134512640 134569956 3221224416 3221214908 1131140332 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 24433 13073 16 0 210893 0 vsize: 843636 [startup+160.01 s] Raw data (loadavg): 1.03 1.05 1.00 2/64 30266 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 14635 62 0 0 25 0 11 0 419357444 863883264 24660 4294967295 134512640 134569956 3221224416 3221214816 1131201921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 24660 13073 16 0 210893 0 vsize: 843636 [startup+170.011 s] Raw data (loadavg): 1.03 1.05 1.00 2/64 30266 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 15563 63 0 0 25 0 11 0 419357444 863883264 24834 4294967295 134512640 134569956 3221224416 3221214816 1131202225 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 24834 13073 16 0 210893 0 vsize: 843636 [startup+180.012 s] Raw data (loadavg): 1.02 1.05 1.00 2/64 30267 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 16500 63 0 0 25 0 11 0 419357444 863883264 24969 4294967295 134512640 134569956 3221224416 3221214672 1131590167 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 24969 13073 16 0 210893 0 vsize: 843636 [startup+190.012 s] Raw data (loadavg): 1.02 1.05 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 17427 64 0 0 25 0 11 0 419357444 863883264 25142 4294967295 134512640 134569956 3221224416 3221214792 1131202337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 25142 13073 16 0 210893 0 vsize: 843636 [startup+200.012 s] Raw data (loadavg): 1.02 1.05 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 18367 64 0 0 25 0 11 0 419357444 863883264 25262 4294967295 134512640 134569956 3221224416 3221214560 1131442790 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 25262 13073 16 0 210893 0 vsize: 843636 [startup+210.013 s] Raw data (loadavg): 1.01 1.04 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 19300 65 0 0 25 0 11 0 419357444 863883264 25429 4294967295 134512640 134569956 3221224416 3221214888 1131319125 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 25429 13073 16 0 210893 0 vsize: 843636 [startup+220.013 s] Raw data (loadavg): 1.01 1.04 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 20238 65 0 0 25 0 11 0 419357444 863883264 25561 4294967295 134512640 134569956 3221224416 3221214792 1131202938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 25561 13073 16 0 210893 0 vsize: 843636 [startup+230.015 s] Raw data (loadavg): 1.01 1.04 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 21176 66 0 0 25 0 11 0 419357444 863883264 25844 4294967295 134512640 134569956 3221224416 3221214792 1131202289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 25844 13073 16 0 210893 0 vsize: 843636 [startup+240.016 s] Raw data (loadavg): 1.09 1.05 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 22134 66 0 0 25 0 11 0 419357444 863883264 25995 4294967295 134512640 134569956 3221224416 3221214712 1131276342 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 25995 13073 16 0 210893 0 vsize: 843636 [startup+250.015 s] Raw data (loadavg): 1.15 1.07 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 23092 67 0 0 25 0 11 0 419357444 863883264 26098 4294967295 134512640 134569956 3221224416 3221214840 1131140352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 26098 13073 16 0 210893 0 vsize: 843636 [startup+260.016 s] Raw data (loadavg): 1.12 1.07 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18094 3 1 0 24058 67 0 0 25 0 11 0 419357444 863883264 26190 4294967295 134512640 134569956 3221224416 3221214348 1078022275 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 26190 13073 16 0 210893 0 vsize: 843636 [startup+270.017 s] Raw data (loadavg): 1.10 1.06 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 25023 68 0 0 25 0 11 0 419357444 863883264 26271 4294967295 134512640 134569956 3221224416 3221214792 1131202337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 26271 13073 16 0 210893 0 vsize: 843636 [startup+280.017 s] Raw data (loadavg): 1.09 1.06 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 25986 69 0 0 25 0 11 0 419357444 863883264 26338 4294967295 134512640 134569956 3221224416 3221214840 1131140376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 26338 13073 16 0 210893 0 vsize: 843636 [startup+290.019 s] Raw data (loadavg): 1.07 1.06 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 26948 69 0 0 25 0 11 0 419357444 863883264 26417 4294967295 134512640 134569956 3221224416 3221214840 1131140352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 26417 13073 16 0 210893 0 vsize: 843636 [startup+300.019 s] Raw data (loadavg): 1.06 1.06 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 27907 69 0 0 25 0 11 0 419357444 863883264 26495 4294967295 134512640 134569956 3221224416 3221214584 1131330660 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 26495 13073 16 0 210893 0 vsize: 843636 [startup+310.019 s] Raw data (loadavg): 1.05 1.05 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 28867 69 0 0 25 0 11 0 419357444 863883264 26599 4294967295 134512640 134569956 3221224416 3221214840 1131140376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 26599 13073 16 0 210893 0 vsize: 843636 [startup+320.019 s] Raw data (loadavg): 1.04 1.05 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 29834 70 0 0 25 0 11 0 419357444 863883264 26678 4294967295 134512640 134569956 3221224416 3221214792 1131203174 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210909 26678 13073 16 0 210893 0 vsize: 843636 [startup+330.021 s] Raw data (loadavg): 1.04 1.05 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 30794 70 0 0 25 0 11 0 419357444 863883264 26748 4294967295 134512640 134569956 3221224416 3221214576 1131210733 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 26748 13073 16 0 210893 0 vsize: 843636 [startup+340.021 s] Raw data (loadavg): 1.03 1.05 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 31751 71 0 0 25 0 11 0 419357444 863883264 26837 4294967295 134512640 134569956 3221224416 3221214884 1131140536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 26837 13073 16 0 210893 0 vsize: 843636 [startup+350.021 s] Raw data (loadavg): 1.02 1.05 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 32708 71 0 0 25 0 11 0 419357444 863883264 26917 4294967295 134512640 134569956 3221224416 3221214488 1131150795 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 26917 13073 16 0 210893 0 vsize: 843636 [startup+360.023 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 30268 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 33669 71 0 0 25 0 11 0 419357444 863883264 27009 4294967295 134512640 134569956 3221224416 3221214840 1131140376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 27009 13073 16 0 210893 0 vsize: 843636 [startup+370.023 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 34625 71 0 0 25 0 11 0 419357444 863883264 27131 4294967295 134512640 134569956 3221224416 3221214888 1131319558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 27131 13073 16 0 210893 0 vsize: 843636 [startup+380.024 s] Raw data (loadavg): 1.01 1.04 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 35580 72 0 0 25 0 11 0 419357444 863883264 27238 4294967295 134512640 134569956 3221224416 3221214576 1131210607 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 27238 13073 16 0 210893 0 vsize: 843636 [startup+390.025 s] Raw data (loadavg): 1.01 1.04 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 36527 72 0 0 25 0 11 0 419357444 863883264 27336 4294967295 134512640 134569956 3221224416 3221214792 1131202337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 27336 13073 16 0 210893 0 vsize: 843636 [startup+400.026 s] Raw data (loadavg): 1.01 1.04 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 37472 72 0 0 25 0 11 0 419357444 863883264 27491 4294967295 134512640 134569956 3221224416 3221214560 1131442844 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 27491 13073 16 0 210893 0 vsize: 843636 [startup+410.027 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 38431 73 0 0 25 0 11 0 419357444 863883264 27565 4294967295 134512640 134569956 3221224416 3221214792 1131202337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 27565 13073 16 0 210893 0 vsize: 843636 [startup+420.028 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 39381 73 0 0 25 0 11 0 419357444 863883264 27734 4294967295 134512640 134569956 3221224416 3221214560 1131442799 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 27734 13073 16 0 210893 0 vsize: 843636 [startup+430.029 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 40339 73 0 0 25 0 11 0 419357444 863883264 27822 4294967295 134512640 134569956 3221224416 3221214424 1131632617 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 27822 13073 16 0 210893 0 vsize: 843636 [startup+440.029 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 41293 73 0 0 25 0 11 0 419357444 863883264 27955 4294967295 134512640 134569956 3221224416 3221214840 1131140459 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 27955 13073 16 0 210893 0 vsize: 843636 [startup+450.029 s] Raw data (loadavg): 1.08 1.04 1.01 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 42250 74 0 0 25 0 11 0 419357444 863883264 28032 4294967295 134512640 134569956 3221224416 3221214812 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 28032 13073 16 0 210893 0 vsize: 843636 [startup+460.03 s] Raw data (loadavg): 1.07 1.04 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 43187 74 0 0 25 0 11 0 419357444 863883264 28151 4294967295 134512640 134569956 3221224416 3221214672 1131590287 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210909 28151 13073 16 0 210893 0 vsize: 843636 [startup+470.031 s] Raw data (loadavg): 1.06 1.04 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 44131 74 0 0 25 0 11 0 419357444 863883264 28211 4294967295 134512640 134569956 3221224416 3221214888 1131319327 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 28211 13073 16 0 210893 0 vsize: 843636 [startup+480.032 s] Raw data (loadavg): 1.05 1.04 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 45073 75 0 0 25 0 11 0 419357444 863883264 28350 4294967295 134512640 134569956 3221224416 3221214576 1131211476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 28350 13073 16 0 210893 0 vsize: 843636 [startup+490.032 s] Raw data (loadavg): 1.04 1.04 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 46008 76 0 0 25 0 11 0 419357444 863883264 28542 4294967295 134512640 134569956 3221224416 3221214840 1131140352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 28542 13073 16 0 210893 0 vsize: 843636 [startup+500.033 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 46956 76 0 0 24 0 11 0 419357444 863883264 28622 4294967295 134512640 134569956 3221224416 3221214560 1131442897 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 28622 13073 16 0 210893 0 vsize: 843636 [startup+510.034 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 47907 76 0 0 25 0 11 0 419357444 863883264 28807 4294967295 134512640 134569956 3221224416 3221214576 1131210941 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 28807 13073 16 0 210893 0 vsize: 843636 [startup+520.034 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 48866 77 0 0 25 0 11 0 419357444 863883264 28932 4294967295 134512640 134569956 3221224416 3221214576 1131210443 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 28932 13073 16 0 210893 0 vsize: 843636 [startup+530.035 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 49826 77 0 0 25 0 11 0 419357444 863883264 29062 4294967295 134512640 134569956 3221224416 3221214792 1131202337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 29062 13073 16 0 210893 0 vsize: 843636 [startup+540.036 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 50785 77 0 0 25 0 11 0 419357444 863883264 29123 4294967295 134512640 134569956 3221224416 3221214576 1131210607 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 29123 13073 16 0 210893 0 vsize: 843636 [startup+550.035 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 51745 77 0 0 25 0 11 0 419357444 863883264 29224 4294967295 134512640 134569956 3221224416 3221214884 1131201900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 29224 13073 16 0 210893 0 vsize: 843636 [startup+560.036 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 52707 78 0 0 25 0 11 0 419357444 863883264 29309 4294967295 134512640 134569956 3221224416 3221214840 1131140544 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 29309 13073 16 0 210893 0 vsize: 843636 [startup+570.037 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 53668 78 0 0 25 0 11 0 419357444 863883264 29420 4294967295 134512640 134569956 3221224416 3221214888 1131319286 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 29420 13073 16 0 210893 0 vsize: 843636 [startup+580.038 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 54628 78 0 0 21 0 11 0 419357444 863883264 29466 4294967295 134512640 134569956 3221224416 3221214840 1131140369 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 29466 13073 16 0 210893 0 vsize: 843636 [startup+590.038 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 55584 79 0 0 25 0 11 0 419357444 863883264 29545 4294967295 134512640 134569956 3221224416 3221214560 1131333017 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 29545 13073 16 0 210893 0 vsize: 843636 [startup+600.039 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 56539 79 0 0 25 0 11 0 419357444 863883264 29654 4294967295 134512640 134569956 3221224416 3221214560 1131443581 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 29654 13073 16 0 210893 0 vsize: 843636 [startup+610.04 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 57497 79 0 0 25 0 11 0 419357444 863883264 29736 4294967295 134512640 134569956 3221224416 3221214560 1131442810 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 29736 13073 16 0 210893 0 vsize: 843636 [startup+620.04 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 58457 80 0 0 25 0 11 0 419357444 863883264 29828 4294967295 134512640 134569956 3221224416 3221214792 1131201921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 29828 13073 16 0 210893 0 vsize: 843636 [startup+630.041 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 59414 80 0 0 25 0 11 0 419357444 863883264 29952 4294967295 134512640 134569956 3221224416 3221214560 1131443639 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 29952 13073 16 0 210893 0 vsize: 843636 [startup+640.042 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 60372 81 0 0 25 0 11 0 419357444 863883264 30051 4294967295 134512640 134569956 3221224416 3221214792 1131202337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 30051 13073 16 0 210893 0 vsize: 843636 [startup+650.041 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 61336 81 0 0 25 0 11 0 419357444 863883264 30131 4294967295 134512640 134569956 3221224416 3221214036 1131634496 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 30131 13073 16 0 210893 0 vsize: 843636 [startup+660.043 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 62315 81 0 0 25 0 11 0 419357444 863883264 30167 4294967295 134512640 134569956 3221224416 3221213968 1131630192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 30167 13073 16 0 210893 0 vsize: 843636 [startup+670.043 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 63284 81 0 0 25 0 11 0 419357444 863883264 30221 4294967295 134512640 134569956 3221224416 3221214888 1131319301 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 30221 13073 16 0 210893 0 vsize: 843636 [startup+680.044 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 64257 82 0 0 25 0 11 0 419357444 863883264 30271 4294967295 134512640 134569956 3221224416 3221214320 1131631992 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 30271 13073 16 0 210893 0 vsize: 843636 [startup+690.044 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 65231 83 0 0 25 0 11 0 419357444 863883264 30333 4294967295 134512640 134569956 3221224416 3221214840 1131140352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 30333 13073 16 0 210893 0 vsize: 843636 [startup+700.044 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 66195 83 0 0 25 0 11 0 419357444 863883264 30399 4294967295 134512640 134569956 3221224416 3221214528 1131210941 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 30399 13073 16 0 210893 0 vsize: 843636 [startup+710.045 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 67168 83 0 0 25 0 11 0 419357444 863883264 30449 4294967295 134512640 134569956 3221224416 3221214840 1131140496 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 30449 13073 16 0 210893 0 vsize: 843636 [startup+720.046 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 68132 84 0 0 24 0 11 0 419357444 863883264 30521 4294967295 134512640 134569956 3221224416 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 30521 13073 16 0 210893 0 vsize: 843636 [startup+730.046 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 69097 84 0 0 25 0 11 0 419357444 863883264 30609 4294967295 134512640 134569956 3221224416 3221214520 1131426694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 30609 13073 16 0 210893 0 vsize: 843636 [startup+740.047 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 70062 84 0 0 25 0 11 0 419357444 863883264 30668 4294967295 134512640 134569956 3221224416 3221214840 1131140376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 30668 13073 16 0 210893 0 vsize: 843636 [startup+750.047 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 71031 84 0 0 25 0 11 0 419357444 863883264 30778 4294967295 134512640 134569956 3221224416 3221214792 1131201957 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 30778 13073 16 0 210893 0 vsize: 843636 [startup+760.048 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 72006 84 0 0 25 0 11 0 419357444 863883264 30821 4294967295 134512640 134569956 3221224416 3221214640 1131304201 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 30821 13073 16 0 210893 0 vsize: 843636 [startup+770.048 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 72974 84 0 0 25 0 11 0 419357444 863883264 30907 4294967295 134512640 134569956 3221224416 3221214576 1131210607 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 30907 13073 16 0 210893 0 vsize: 843636 [startup+780.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 73948 85 0 0 25 0 11 0 419357444 863883264 30959 4294967295 134512640 134569956 3221224416 3221214792 1131202065 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 30959 13073 16 0 210893 0 vsize: 843636 [startup+790.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 74922 85 0 0 25 0 11 0 419357444 863883264 31004 4294967295 134512640 134569956 3221224416 3221214672 1131361340 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31004 13073 16 0 210893 0 vsize: 843636 [startup+800.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 75895 85 0 0 25 0 11 0 419357444 863883264 31075 4294967295 134512640 134569956 3221224416 3221214136 1131630174 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31075 13073 16 0 210893 0 vsize: 843636 [startup+810.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 76870 86 0 0 25 0 11 0 419357444 863883264 31119 4294967295 134512640 134569956 3221224416 3221214040 1131632557 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31119 13073 16 0 210893 0 vsize: 843636 [startup+820.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 77848 86 0 0 25 0 11 0 419357444 863883264 31153 4294967295 134512640 134569956 3221224416 3221214576 1131210576 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31153 13073 16 0 210893 0 vsize: 843636 [startup+830.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 78820 87 0 0 25 0 11 0 419357444 863883264 31204 4294967295 134512640 134569956 3221224416 3221214640 1131302745 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31204 13073 16 0 210893 0 vsize: 843636 [startup+840.052 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 79794 87 0 0 25 0 11 0 419357444 863883264 31257 4294967295 134512640 134569956 3221224416 3221214712 1131277319 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31257 13073 16 0 210893 0 vsize: 843636 [startup+850.053 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 80772 87 0 0 25 0 11 0 419357444 863883264 31298 4294967295 134512640 134569956 3221224416 3221214792 1131202069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31298 13073 16 0 210893 0 vsize: 843636 [startup+860.054 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 81740 88 0 0 24 0 11 0 419357444 863883264 31334 4294967295 134512640 134569956 3221224416 3221214672 1131590254 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31334 13073 16 0 210893 0 vsize: 843636 [startup+870.053 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 82708 88 0 0 24 0 11 0 419357444 863883264 31390 4294967295 134512640 134569956 3221224416 3221214736 1131210607 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31390 13073 16 0 210893 0 vsize: 843636 [startup+880.054 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 83682 88 0 0 25 0 11 0 419357444 863883264 31440 4294967295 134512640 134569956 3221224416 3221214840 1131140352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31440 13073 16 0 210893 0 vsize: 843636 [startup+890.054 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 84653 88 0 0 25 0 11 0 419357444 863883264 31521 4294967295 134512640 134569956 3221224416 3221214840 1131140369 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31521 13073 16 0 210893 0 vsize: 843636 [startup+900.055 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) S 30200 29151 29150 0 -1 0 18095 3 1 0 85627 88 0 0 25 0 11 0 419357444 863883264 31577 4294967295 134512640 134569956 3221224416 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31577 13073 16 0 210893 0 vsize: 843636 [startup+910.055 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 86604 88 0 0 25 0 11 0 419357444 863883264 31617 4294967295 134512640 134569956 3221224416 3221214736 1131369825 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31617 13073 16 0 210893 0 vsize: 843636 [startup+920.056 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 87577 89 0 0 25 0 11 0 419357444 863883264 31662 4294967295 134512640 134569956 3221224416 3221214576 1131210841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31662 13073 16 0 210893 0 vsize: 843636 [startup+930.055 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 88552 89 0 0 25 0 11 0 419357444 863883264 31707 4294967295 134512640 134569956 3221224416 3221214560 1131443068 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31707 13073 16 0 210893 0 vsize: 843636 [startup+940.056 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 89527 89 0 0 25 0 11 0 419357444 863883264 31764 4294967295 134512640 134569956 3221224416 3221214888 1131320138 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31764 13073 16 0 210893 0 vsize: 843636 [startup+950.056 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 90506 90 0 0 25 0 11 0 419357444 863883264 31800 4294967295 134512640 134569956 3221224416 3221214792 1131202915 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31800 13073 16 0 210893 0 vsize: 843636 [startup+960.057 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 91479 90 0 0 25 0 11 0 419357444 863883264 31837 4294967295 134512640 134569956 3221224416 3221214560 1131442827 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31837 13073 16 0 210893 0 vsize: 843636 [startup+970.058 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 92459 90 0 0 25 0 11 0 419357444 863883264 31864 4294967295 134512640 134569956 3221224416 3221214576 1131210775 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31864 13073 16 0 210893 0 vsize: 843636 [startup+980.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 93430 91 0 0 25 0 11 0 419357444 863883264 31915 4294967295 134512640 134569956 3221224416 3221214576 1131210925 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31915 13073 16 0 210893 0 vsize: 843636 [startup+990.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 94401 91 0 0 25 0 11 0 419357444 863883264 31957 4294967295 134512640 134569956 3221224416 3221214672 1131590167 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 31957 13073 16 0 210893 0 vsize: 843636 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 95372 92 0 0 25 0 11 0 419357444 863883264 32008 4294967295 134512640 134569956 3221224416 3221214576 1131210731 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 32008 13073 16 0 210893 0 vsize: 843636 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 96353 92 0 0 25 0 11 0 419357444 863883264 32039 4294967295 134512640 134569956 3221224416 3221214736 1131210512 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 32039 13073 16 0 210893 0 vsize: 843636 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 97323 93 0 0 25 0 11 0 419357444 863883264 32088 4294967295 134512640 134569956 3221224416 3221214232 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 32088 13073 16 0 210893 0 vsize: 843636 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 98291 93 0 0 25 0 11 0 419357444 863883264 32156 4294967295 134512640 134569956 3221224416 3221214840 1131140376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 32156 13073 16 0 210893 0 vsize: 843636 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 99263 94 0 0 25 0 11 0 419357444 863883264 32186 4294967295 134512640 134569956 3221224416 3221214568 1131250884 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 32186 13073 16 0 210893 0 vsize: 843636 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 100231 94 0 0 25 0 11 0 419357444 863883264 32228 4294967295 134512640 134569956 3221224416 3221214840 1131140373 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 32228 13073 16 0 210893 0 vsize: 843636 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 101201 95 0 0 25 0 11 0 419357444 863883264 32295 4294967295 134512640 134569956 3221224416 3221214792 1131202579 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 32295 13073 16 0 210893 0 vsize: 843636 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) S 30200 29151 29150 0 -1 0 18095 3 1 0 102168 96 0 0 25 0 11 0 419357444 863883264 32367 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 32367 13073 16 0 210893 0 vsize: 843636 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 103134 96 0 0 25 0 11 0 419357444 863883264 32430 4294967295 134512640 134569956 3221224416 3221214672 1131590214 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 32430 13073 16 0 210893 0 vsize: 843636 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 104111 96 0 0 25 0 11 0 419357444 863883264 32467 4294967295 134512640 134569956 3221224416 3221214792 1131201957 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 32467 13073 16 0 210893 0 vsize: 843636 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 105080 96 0 0 25 0 11 0 419357444 863883264 32509 4294967295 134512640 134569956 3221224416 3221214792 1131203007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 32509 13073 16 0 210893 0 vsize: 843636 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 106039 96 0 0 25 0 11 0 419357444 863883264 32588 4294967295 134512640 134569956 3221224416 3221214560 1131442817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 32588 13073 16 0 210893 0 vsize: 843636 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 107001 96 0 0 25 0 11 0 419357444 863883264 32673 4294967295 134512640 134569956 3221224416 3221214576 1131210775 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 32673 13073 16 0 210893 0 vsize: 843636 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 107967 97 0 0 25 0 11 0 419357444 863883264 32752 4294967295 134512640 134569956 3221224416 3221214792 1131202337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 32752 13073 16 0 210893 0 vsize: 843636 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 108933 97 0 0 25 0 11 0 419357444 863883264 32828 4294967295 134512640 134569956 3221224416 3221214096 1131632722 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 32828 13073 16 0 210893 0 vsize: 843636 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 109902 97 0 0 25 0 11 0 419357444 863883264 32894 4294967295 134512640 134569956 3221224416 3221214792 1131202805 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 32894 13073 16 0 210893 0 vsize: 843636 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 110867 97 0 0 25 0 11 0 419357444 863883264 32929 4294967295 134512640 134569956 3221224416 3221214840 1131140352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 32929 13073 16 0 210893 0 vsize: 843636 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 111830 98 0 0 25 0 11 0 419357444 863883264 33005 4294967295 134512640 134569956 3221224416 3221214560 1131334758 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 33005 13073 16 0 210893 0 vsize: 843636 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 112795 98 0 0 25 0 11 0 419357444 863883264 33077 4294967295 134512640 134569956 3221224416 3221214688 1131263671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 33077 13073 16 0 210893 0 vsize: 843636 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 113757 98 0 0 25 0 11 0 419357444 863883264 33138 4294967295 134512640 134569956 3221224416 3221214888 1131319471 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 33138 13073 16 0 210893 0 vsize: 843636 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 114726 99 0 0 25 0 11 0 419357444 863883264 33231 4294967295 134512640 134569956 3221224416 3221214792 1131202401 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 33231 13073 16 0 210893 0 vsize: 843636 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 115705 99 0 0 25 0 11 0 419357444 863883264 33273 4294967295 134512640 134569956 3221224416 3221214520 1131426415 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 33273 13073 16 0 210893 0 vsize: 843636 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 116679 100 0 0 25 0 11 0 419357444 863883264 33342 4294967295 134512640 134569956 3221224416 3221214840 1131140352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 33342 13073 16 0 210893 0 vsize: 843636 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 117648 100 0 0 25 0 11 0 419357444 863883264 33403 4294967295 134512640 134569956 3221224416 3221214576 1131210687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 33403 13073 16 0 210893 0 vsize: 843636 [startup+1240.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 118618 100 0 0 25 0 11 0 419357444 863883264 33461 4294967295 134512640 134569956 3221224416 3221214576 1131210607 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 33461 13073 16 0 210893 0 vsize: 843636 [startup+1250.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 119592 101 0 0 25 0 11 0 419357444 863883264 33500 4294967295 134512640 134569956 3221224416 3221214888 1131319301 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 33500 13073 16 0 210893 0 vsize: 843636 [startup+1260.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30270 Raw data (stat): 30201 (java) R 30200 29151 29150 0 -1 0 18095 3 1 0 120563 101 0 0 25 0 11 0 419357444 863883264 33548 4294967295 134512640 134569956 3221224416 3221214096 1131631937 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210909 33548 13073 16 0 210893 0 vsize: 843636 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.17 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 30272 Raw data (stat): 30201 (java) Z 30200 29151 29150 0 -1 1036 18095 20157 1 0 120566 107 6177 69 25 0 1 0 419357444 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): 1260.17 CPU time (s): 1269.22 CPU user time (s): 1267.44 CPU system time (s): 1.77773 CPU usage (%): 100.718 Max. virtual memory (Kb): 845844 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####