Name | normalized-opb/submitted/een/normalized-lseu.opb |
MD5SUM | a578bf261896413ca78de4dc6db2447f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
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 | 1.02184 |
Number of variables | 89 |
Total number of constraints | 28 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 15 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 47 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc10 THE 2005-04-14 20:45:21 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5027 boxname=wulflinc10 idbench=387 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: a578bf261896413ca78de4dc6db2447f /oldhome/oroussel/tmp/wulflinc10/normalized-lseu.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-lseu.opb IDLAUNCH: 5027 /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: 843636 kB Buffers: 35920 kB Cached: 135276 kB SwapCached: 164 kB Active: 59212 kB Inactive: 114916 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 843384 kB SwapTotal: 2097136 kB SwapFree: 2096972 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6920 kB Slab: 11260 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-14 21:06:04 (client local time) WITH STATUS 143 IN 1235.63 SECONDS stats: 5027 7 1235.63 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc10/normalized-lseu.opb c reading problem c [nbvar=89] c [nbconstr=28] c time 0.403 c #vars 89 c #clauses 28 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=3730 c Current CPU time (ms) : 1.596 c starts : 1 c conflicts : 7 c decisions : 84 c propagations : 157 c inspects : 225 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 7 c root simplifications : 1 c c CURRENT OPTIMUM=3491 c Current CPU time (ms) : 1.839 c starts : 2 c conflicts : 8 c decisions : 121 c propagations : 250 c inspects : 329 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 8 c root simplifications : 2 c c CURRENT OPTIMUM=2535 c Current CPU time (ms) : 1.873 c starts : 3 c conflicts : 8 c decisions : 189 c propagations : 339 c inspects : 482 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 8 c root simplifications : 3 c c CURRENT OPTIMUM=2286 c Current CPU time (ms) : 2.075 c starts : 4 c conflicts : 9 c decisions : 257 c propagations : 435 c inspects : 525 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 9 c root simplifications : 4 c c CURRENT OPTIMUM=2283 c Current CPU time (ms) : 2.105 c starts : 5 c conflicts : 9 c decisions : 325 c propagations : 524 c inspects : 579 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 9 c root simplifications : 5 c c CURRENT OPTIMUM=2119 c Current CPU time (ms) : 2.318 c starts : 6 c conflicts : 12 c decisions : 410 c propagations : 641 c inspects : 653 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 12 c root simplifications : 6 c c CURRENT OPTIMUM=2118 c Current CPU time (ms) : 2.519 c starts : 7 c conflicts : 13 c decisions : 476 c propagations : 736 c inspects : 730 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 13 c root simplifications : 7 c c CURRENT OPTIMUM=1980 c Current CPU time (ms) : 3.405 c starts : 8 c conflicts : 17 c decisions : 549 c propagations : 853 c inspects : 927 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 17 c root simplifications : 8 c c CURRENT OPTIMUM=1922 c Current CPU time (ms) : 14.026 c starts : 10 c conflicts : 129 c decisions : 973 c propagations : 2538 c inspects : 10920 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 129 c root simplifications : 10 c c CURRENT OPTIMUM=1651 c Current CPU time (ms) : 14.226 c starts : 11 c conflicts : 135 c decisions : 1043 c propagations : 2659 c inspects : 12313 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 135 c root simplifications : 11 c c CURRENT OPTIMUM=1570 c Current CPU time (ms) : 48.685 c starts : 14 c conflicts : 581 c decisions : 2783 c propagations : 8908 c inspects : 112321 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 581 c root simplifications : 14 c c CURRENT OPTIMUM=1546 c Current CPU time (ms) : 50.369 c starts : 15 c conflicts : 594 c decisions : 2910 c propagations : 9197 c inspects : 121273 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 594 c root simplifications : 15 c c CURRENT OPTIMUM=1534 c Current CPU time (ms) : 77.457 c starts : 17 c conflicts : 765 c decisions : 3415 c propagations : 11444 c inspects : 204784 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 765 c root simplifications : 17 c c CURRENT OPTIMUM=1532 c Current CPU time (ms) : 91.694 c starts : 19 c conflicts : 878 c decisions : 3757 c propagations : 13222 c inspects : 269372 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 878 c root simplifications : 19 c c CURRENT OPTIMUM=1399 c Current CPU time (ms) : 140.558 c starts : 22 c conflicts : 1229 c decisions : 4768 c propagations : 17753 c inspects : 474937 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1229 c root simplifications : 22 c c CURRENT OPTIMUM=1291 c Current CPU time (ms) : 381.193 c starts : 27 c conflicts : 2045 c decisions : 7630 c propagations : 29347 c inspects : 1211233 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2045 c root simplifications : 27 c c CURRENT OPTIMUM=1255 c Current CPU time (ms) : 605.068 c starts : 32 c conflicts : 2862 c decisions : 10193 c propagations : 39766 c inspects : 2254460 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2862 c root simplifications : 32 #### 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.91 0.95 0.68 2/54 5460 Raw data (stat): 5460 (runsolver) R 5459 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 429360558 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 s] Raw data (loadavg): 1.23 1.02 0.71 4/64 5478 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 17766 10 1 0 579 37 0 0 25 0 11 0 429360558 871350272 21932 4294967295 134512640 134569956 3221224416 3221214784 1131191644 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212732 21932 13073 16 0 212716 0 vsize: 850928 [startup+20.0072 s] Raw data (loadavg): 1.27 1.03 0.71 2/64 5480 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18076 10 1 0 1470 39 0 0 25 0 11 0 429360558 871186432 23076 4294967295 134512640 134569956 3221224416 3221214808 1131195607 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212692 23076 13073 16 0 212676 0 vsize: 850768 [startup+30.0076 s] Raw data (loadavg): 1.23 1.03 0.72 2/64 5480 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18076 10 1 0 2437 39 0 0 25 0 11 0 429360558 870137856 23034 4294967295 134512640 134569956 3221224416 3221214704 1131393669 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212436 23034 13073 16 0 212420 0 vsize: 849744 [startup+40.0085 s] Raw data (loadavg): 1.19 1.03 0.72 2/64 5480 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18076 10 1 0 3396 39 0 0 25 0 11 0 429360558 870137856 23316 4294967295 134512640 134569956 3221224416 3221214704 1131150911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 23316 13073 16 0 212420 0 vsize: 849744 [startup+50.0091 s] Raw data (loadavg): 1.16 1.03 0.72 2/64 5481 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 4348 39 0 0 25 0 11 0 429360558 870137856 23568 4294967295 134512640 134569956 3221224416 3221214192 1085679766 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212436 23568 13073 16 0 212420 0 vsize: 849744 [startup+60.0083 s] Raw data (loadavg): 1.14 1.03 0.73 2/64 5482 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 5298 39 0 0 24 0 11 0 429360558 870137856 23876 4294967295 134512640 134569956 3221224416 3221214704 1131150864 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 23876 13073 16 0 212420 0 vsize: 849744 [startup+70.0115 s] Raw data (loadavg): 1.12 1.03 0.73 2/64 5482 Raw data (stat): 5460 (java) S 5459 25347 25346 0 -1 0 18077 10 1 0 6259 39 0 0 25 0 11 0 429360558 870137856 24072 4294967295 134512640 134569956 3221224416 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 24072 13073 16 0 212420 0 vsize: 849744 [startup+80.0129 s] Raw data (loadavg): 1.10 1.02 0.73 2/64 5483 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 7226 40 0 0 25 0 11 0 429360558 870137856 24206 4294967295 134512640 134569956 3221224416 3221214892 1080204256 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 24206 13073 16 0 212420 0 vsize: 849744 [startup+90.0118 s] Raw data (loadavg): 1.08 1.02 0.73 2/64 5483 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 8192 40 0 0 25 0 11 0 429360558 870137856 24332 4294967295 134512640 134569956 3221224416 3221214704 1131150704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 24332 13073 16 0 212420 0 vsize: 849744 [startup+100.012 s] Raw data (loadavg): 1.07 1.02 0.73 2/64 5484 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 9157 40 0 0 25 0 11 0 429360558 870137856 24436 4294967295 134512640 134569956 3221224416 3221214704 1131150739 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 24436 13073 16 0 212420 0 vsize: 849744 [startup+110.012 s] Raw data (loadavg): 1.06 1.02 0.74 2/64 5484 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 10121 40 0 0 25 0 11 0 429360558 870137856 24514 4294967295 134512640 134569956 3221224416 3221214568 1131189788 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 24514 13073 16 0 212420 0 vsize: 849744 [startup+120.013 s] Raw data (loadavg): 1.05 1.02 0.74 2/64 5484 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 11083 40 0 0 25 0 11 0 429360558 870137856 24650 4294967295 134512640 134569956 3221224416 3221214816 1131236903 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 24650 13073 16 0 212420 0 vsize: 849744 [startup+130.013 s] Raw data (loadavg): 1.04 1.02 0.74 2/64 5484 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 12048 40 0 0 25 0 11 0 429360558 870137856 24778 4294967295 134512640 134569956 3221224416 3221214528 1085679293 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 24778 13073 16 0 212420 0 vsize: 849744 [startup+140.02 s] Raw data (loadavg): 1.03 1.02 0.74 2/64 5484 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 13014 40 0 0 25 0 11 0 429360558 870137856 24887 4294967295 134512640 134569956 3221224416 3221214448 1131421996 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 24887 13073 16 0 212420 0 vsize: 849744 [startup+150.027 s] Raw data (loadavg): 1.03 1.02 0.74 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 13985 40 0 0 25 0 11 0 429360558 870137856 24982 4294967295 134512640 134569956 3221224416 3221214440 1131385053 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 24982 13073 16 0 212420 0 vsize: 849744 [startup+160.027 s] Raw data (loadavg): 1.02 1.02 0.75 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 14959 40 0 0 25 0 11 0 429360558 870137856 25052 4294967295 134512640 134569956 3221224416 3221214208 1131419531 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 25052 13073 16 0 212420 0 vsize: 849744 [startup+170.028 s] Raw data (loadavg): 1.02 1.02 0.75 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 15922 40 0 0 24 0 11 0 429360558 870137856 25154 4294967295 134512640 134569956 3221224416 3221214704 1131150627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 25154 13073 16 0 212420 0 vsize: 849744 [startup+180.028 s] Raw data (loadavg): 1.02 1.02 0.75 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 16890 40 0 0 25 0 11 0 429360558 870137856 25248 4294967295 134512640 134569956 3221224416 3221214600 1131150481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 25248 13073 16 0 212420 0 vsize: 849744 [startup+190.028 s] Raw data (loadavg): 1.01 1.01 0.75 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 17859 40 0 0 25 0 11 0 429360558 870137856 25346 4294967295 134512640 134569956 3221224416 3221214704 1131150597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 25346 13073 16 0 212420 0 vsize: 849744 [startup+200.028 s] Raw data (loadavg): 1.01 1.01 0.75 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 18827 41 0 0 25 0 11 0 429360558 870137856 25450 4294967295 134512640 134569956 3221224416 3221214036 1131384780 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 25450 13073 16 0 212420 0 vsize: 849744 [startup+210.028 s] Raw data (loadavg): 1.01 1.01 0.76 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 19796 41 0 0 25 0 11 0 429360558 870137856 25537 4294967295 134512640 134569956 3221224416 3221214276 1131421963 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 25537 13073 16 0 212420 0 vsize: 849744 [startup+220.029 s] Raw data (loadavg): 1.09 1.03 0.76 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 20765 41 0 0 25 0 11 0 429360558 870137856 25651 4294967295 134512640 134569956 3221224416 3221214192 1085679305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 25651 13073 16 0 212420 0 vsize: 849744 [startup+230.029 s] Raw data (loadavg): 1.07 1.03 0.77 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 21739 41 0 0 25 0 11 0 429360558 870137856 25721 4294967295 134512640 134569956 3221224416 3221214808 1131192673 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 25721 13073 16 0 212420 0 vsize: 849744 [startup+240.028 s] Raw data (loadavg): 1.06 1.03 0.77 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 22708 41 0 0 24 0 11 0 429360558 870137856 25814 4294967295 134512640 134569956 3221224416 3221214704 1131150624 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 25814 13073 16 0 212420 0 vsize: 849744 [startup+250.028 s] Raw data (loadavg): 1.05 1.02 0.77 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 23683 41 0 0 25 0 11 0 429360558 870137856 25879 4294967295 134512640 134569956 3221224416 3221214736 1131156677 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212436 25879 13073 16 0 212420 0 vsize: 849744 [startup+260.029 s] Raw data (loadavg): 1.04 1.02 0.77 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 24658 41 0 0 25 0 11 0 429360558 870137856 25963 4294967295 134512640 134569956 3221224416 3221214464 1131544891 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 25963 13073 16 0 212420 0 vsize: 849744 [startup+270.029 s] Raw data (loadavg): 1.04 1.02 0.77 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 25640 41 0 0 25 0 11 0 429360558 870137856 26023 4294967295 134512640 134569956 3221224416 3221214560 1131532462 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 26023 13073 16 0 212420 0 vsize: 849744 [startup+280.029 s] Raw data (loadavg): 1.03 1.02 0.78 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 26613 41 0 0 25 0 11 0 429360558 870137856 26118 4294967295 134512640 134569956 3221224416 3221214692 1131605747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 26118 13073 16 0 212420 0 vsize: 849744 [startup+290.029 s] Raw data (loadavg): 1.02 1.02 0.78 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 27589 41 0 0 24 0 11 0 429360558 870137856 26218 4294967295 134512640 134569956 3221224416 3221214584 1131341081 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 26218 13073 16 0 212420 0 vsize: 849744 [startup+300.029 s] Raw data (loadavg): 1.02 1.02 0.78 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 28571 41 0 0 25 0 11 0 429360558 870137856 26277 4294967295 134512640 134569956 3221224416 3221214808 1131192632 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 26277 13073 16 0 212420 0 vsize: 849744 [startup+310.029 s] Raw data (loadavg): 1.02 1.02 0.78 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 29549 41 0 0 25 0 11 0 429360558 870137856 26362 4294967295 134512640 134569956 3221224416 3221214616 1131381719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 26362 13073 16 0 212420 0 vsize: 849744 [startup+320.03 s] Raw data (loadavg): 1.01 1.02 0.78 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 30536 41 0 0 25 0 11 0 429360558 870137856 26413 4294967295 134512640 134569956 3221224416 3221214752 1131332773 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 26413 13073 16 0 212420 0 vsize: 849744 [startup+330.029 s] Raw data (loadavg): 1.01 1.02 0.79 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 31516 41 0 0 25 0 11 0 429360558 870137856 26481 4294967295 134512640 134569956 3221224416 3221214584 1131341134 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 26481 13073 16 0 212420 0 vsize: 849744 [startup+340.029 s] Raw data (loadavg): 1.01 1.02 0.79 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 32500 41 0 0 25 0 11 0 429360558 870137856 26541 4294967295 134512640 134569956 3221224416 3221214576 1131381852 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 26541 13073 16 0 212420 0 vsize: 849744 [startup+350.03 s] Raw data (loadavg): 1.01 1.02 0.79 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 33487 41 0 0 25 0 11 0 429360558 870137856 26586 4294967295 134512640 134569956 3221224416 3221214704 1131391183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 26586 13073 16 0 212420 0 vsize: 849744 [startup+360.03 s] Raw data (loadavg): 1.01 1.01 0.79 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 34482 41 0 0 25 0 11 0 429360558 870137856 26608 4294967295 134512640 134569956 3221224416 3221214576 1131164294 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 26608 13073 16 0 212420 0 vsize: 849744 [startup+370.03 s] Raw data (loadavg): 1.00 1.01 0.79 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 35470 41 0 0 25 0 11 0 429360558 870137856 26647 4294967295 134512640 134569956 3221224416 3221214168 1131385020 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 26647 13073 16 0 212420 0 vsize: 849744 [startup+380.03 s] Raw data (loadavg): 1.00 1.01 0.79 2/64 5485 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 36455 41 0 0 25 0 11 0 429360558 870137856 26714 4294967295 134512640 134569956 3221224416 3221214808 1131191644 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 26714 13073 16 0 212420 0 vsize: 849744 [startup+390.03 s] Raw data (loadavg): 1.00 1.01 0.80 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 37439 42 0 0 25 0 11 0 429360558 870137856 26789 4294967295 134512640 134569956 3221224416 3221214704 1131150675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 26789 13073 16 0 212420 0 vsize: 849744 [startup+400.031 s] Raw data (loadavg): 1.00 1.01 0.80 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 38418 42 0 0 25 0 11 0 429360558 870137856 26858 4294967295 134512640 134569956 3221224416 3221214032 1085679313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 26858 13073 16 0 212420 0 vsize: 849744 [startup+410.03 s] Raw data (loadavg): 1.00 1.01 0.80 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 39397 42 0 0 25 0 11 0 429360558 870137856 26931 4294967295 134512640 134569956 3221224416 3221214704 1131150816 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 26931 13073 16 0 212420 0 vsize: 849744 [startup+420.031 s] Raw data (loadavg): 1.00 1.01 0.80 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 40380 42 0 0 25 0 11 0 429360558 870137856 26955 4294967295 134512640 134569956 3221224416 3221214600 1131533909 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 26955 13073 16 0 212420 0 vsize: 849744 [startup+430.032 s] Raw data (loadavg): 1.00 1.01 0.80 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 41353 42 0 0 25 0 11 0 429360558 870137856 27050 4294967295 134512640 134569956 3221224416 3221214704 1131150838 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 27050 13073 16 0 212420 0 vsize: 849744 [startup+440.031 s] Raw data (loadavg): 1.00 1.01 0.81 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 42326 42 0 0 24 0 11 0 429360558 870137856 27120 4294967295 134512640 134569956 3221224416 3221214704 1131393285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 27120 13073 16 0 212420 0 vsize: 849744 [startup+450.033 s] Raw data (loadavg): 1.00 1.01 0.81 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 43304 42 0 0 25 0 11 0 429360558 870137856 27191 4294967295 134512640 134569956 3221224416 3221214656 1131150627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 27191 13073 16 0 212420 0 vsize: 849744 [startup+460.032 s] Raw data (loadavg): 1.00 1.00 0.81 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 44281 42 0 0 25 0 11 0 429360558 870137856 27255 4294967295 134512640 134569956 3221224416 3221213936 1131419603 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 27255 13073 16 0 212420 0 vsize: 849744 [startup+470.033 s] Raw data (loadavg): 1.00 1.00 0.81 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 45255 42 0 0 25 0 11 0 429360558 870137856 27323 4294967295 134512640 134569956 3221224416 3221214688 1131173011 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 27323 13073 16 0 212420 0 vsize: 849744 [startup+480.034 s] Raw data (loadavg): 1.00 1.00 0.81 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 46228 42 0 0 25 0 11 0 429360558 870137856 27393 4294967295 134512640 134569956 3221224416 3221214688 1131172858 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 27393 13073 16 0 212420 0 vsize: 849744 [startup+490.032 s] Raw data (loadavg): 1.00 1.00 0.82 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 47208 42 0 0 25 0 11 0 429360558 870137856 27433 4294967295 134512640 134569956 3221224416 3221214420 1085616768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 27433 13073 16 0 212420 0 vsize: 849744 [startup+500.034 s] Raw data (loadavg): 1.00 1.00 0.82 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 48187 42 0 0 25 0 11 0 429360558 870137856 27481 4294967295 134512640 134569956 3221224416 3221214664 1131425557 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 27481 13073 16 0 212420 0 vsize: 849744 [startup+510.033 s] Raw data (loadavg): 1.00 1.00 0.82 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 49166 42 0 0 25 0 11 0 429360558 870137856 27536 4294967295 134512640 134569956 3221224416 3221214656 1131150597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 27536 13073 16 0 212420 0 vsize: 849744 [startup+520.034 s] Raw data (loadavg): 1.00 1.00 0.82 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 50145 42 0 0 25 0 11 0 429360558 870137856 27597 4294967295 134512640 134569956 3221224416 3221214656 1131150183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 27597 13073 16 0 212420 0 vsize: 849744 [startup+530.034 s] Raw data (loadavg): 1.00 1.00 0.82 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 51124 42 0 0 25 0 11 0 429360558 870137856 27659 4294967295 134512640 134569956 3221224416 3221214672 1131389918 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 27659 13073 16 0 212420 0 vsize: 849744 [startup+540.033 s] Raw data (loadavg): 1.00 1.00 0.82 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 52095 43 0 0 25 0 11 0 429360558 870137856 27750 4294967295 134512640 134569956 3221224416 3221214656 1131150675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 27750 13073 16 0 212420 0 vsize: 849744 [startup+550.033 s] Raw data (loadavg): 1.00 1.00 0.82 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 53071 43 0 0 25 0 11 0 429360558 870137856 27825 4294967295 134512640 134569956 3221224416 3221214112 1131385032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 27825 13073 16 0 212420 0 vsize: 849744 [startup+560.033 s] Raw data (loadavg): 1.00 1.00 0.82 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 54051 43 0 0 25 0 11 0 429360558 870137856 27881 4294967295 134512640 134569956 3221224416 3221214656 1131150880 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 27881 13073 16 0 212420 0 vsize: 849744 [startup+570.033 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 55026 43 0 0 25 0 11 0 429360558 870137856 27942 4294967295 134512640 134569956 3221224416 3221214536 1085679293 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 27942 13073 16 0 212420 0 vsize: 849744 [startup+580.033 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 56001 43 0 0 25 0 11 0 429360558 870137856 28004 4294967295 134512640 134569956 3221224416 3221214232 1131384927 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 28004 13073 16 0 212420 0 vsize: 849744 [startup+590.032 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 56976 43 0 0 25 0 11 0 429360558 870137856 28061 4294967295 134512640 134569956 3221224416 3221214760 1131191568 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 28061 13073 16 0 212420 0 vsize: 849744 [startup+600.032 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 5486 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 57954 43 0 0 25 0 11 0 429360558 870137856 28117 4294967295 134512640 134569956 3221224416 3221214168 1131384876 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 28117 13073 16 0 212420 0 vsize: 849744 [startup+610.032 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 58936 43 0 0 25 0 11 0 429360558 870137856 28166 4294967295 134512640 134569956 3221224416 3221214504 1131172973 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 28166 13073 16 0 212420 0 vsize: 849744 [startup+620.032 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 59916 43 0 0 25 0 11 0 429360558 870137856 28220 4294967295 134512640 134569956 3221224416 3221214364 1080217332 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 28220 13073 16 0 212420 0 vsize: 849744 [startup+630.033 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 60903 43 0 0 25 0 11 0 429360558 870137856 28265 4294967295 134512640 134569956 3221224416 3221214656 1131150183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 28265 13073 16 0 212420 0 vsize: 849744 [startup+640.032 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 61887 43 0 0 25 0 11 0 429360558 870137856 28318 4294967295 134512640 134569956 3221224416 3221214656 1131150627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 28318 13073 16 0 212420 0 vsize: 849744 [startup+650.033 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 62864 43 0 0 25 0 11 0 429360558 870137856 28386 4294967295 134512640 134569956 3221224416 3221214760 1131192599 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 28386 13073 16 0 212420 0 vsize: 849744 [startup+660.032 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 63841 43 0 0 25 0 11 0 429360558 870137856 28445 4294967295 134512640 134569956 3221224416 3221214772 1080203717 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 28445 13073 16 0 212420 0 vsize: 849744 [startup+670.033 s] Raw data (loadavg): 1.00 1.00 0.83 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 64818 43 0 0 25 0 11 0 429360558 870137856 28502 4294967295 134512640 134569956 3221224416 3221214672 1131393669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 28502 13073 16 0 212420 0 vsize: 849744 [startup+680.034 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 65798 43 0 0 25 0 11 0 429360558 870137856 28566 4294967295 134512640 134569956 3221224416 3221214760 1131191575 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 28566 13073 16 0 212420 0 vsize: 849744 [startup+690.033 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 66778 43 0 0 25 0 11 0 429360558 870137856 28613 4294967295 134512640 134569956 3221224416 3221214920 1131554393 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 28613 13073 16 0 212420 0 vsize: 849744 [startup+700.034 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 67749 43 0 0 25 0 11 0 429360558 870137856 28686 4294967295 134512640 134569956 3221224416 3221214656 1131150271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 28686 13073 16 0 212420 0 vsize: 849744 [startup+710.034 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 68728 43 0 0 25 0 11 0 429360558 870137856 28736 4294967295 134512640 134569956 3221224416 3221214336 1131384988 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 28736 13073 16 0 212420 0 vsize: 849744 [startup+720.034 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 69699 43 0 0 25 0 11 0 429360558 870137856 28820 4294967295 134512640 134569956 3221224416 3221214880 1131604987 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 28820 13073 16 0 212420 0 vsize: 849744 [startup+730.034 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 70678 43 0 0 25 0 11 0 429360558 870137856 28867 4294967295 134512640 134569956 3221224416 3221214656 1131150627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 28867 13073 16 0 212420 0 vsize: 849744 [startup+740.034 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 71657 43 0 0 25 0 11 0 429360558 870137856 28925 4294967295 134512640 134569956 3221224416 3221214472 1131568706 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 28925 13073 16 0 212420 0 vsize: 849744 [startup+750.04 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 72629 43 0 0 25 0 11 0 429360558 870137856 29001 4294967295 134512640 134569956 3221224416 3221214472 1131577927 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 29001 13073 16 0 212420 0 vsize: 849744 [startup+760.04 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 73605 43 0 0 25 0 11 0 429360558 870137856 29059 4294967295 134512640 134569956 3221224416 3221214448 1131384873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 29059 13073 16 0 212420 0 vsize: 849744 [startup+770.041 s] Raw data (loadavg): 1.00 1.00 0.84 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 74582 43 0 0 25 0 11 0 429360558 870137856 29132 4294967295 134512640 134569956 3221224416 3221214656 1131150824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 29132 13073 16 0 212420 0 vsize: 849744 [startup+780.041 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 75559 43 0 0 25 0 11 0 429360558 870137856 29202 4294967295 134512640 134569956 3221224416 3221214656 1131150362 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 29202 13073 16 0 212420 0 vsize: 849744 [startup+790.041 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 76540 43 0 0 25 0 11 0 429360558 870137856 29255 4294967295 134512640 134569956 3221224416 3221214480 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 29255 13073 16 0 212420 0 vsize: 849744 [startup+800.042 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 77524 44 0 0 25 0 11 0 429360558 870137856 29294 4294967295 134512640 134569956 3221224416 3221214760 1131195041 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 29294 13073 16 0 212420 0 vsize: 849744 [startup+810.042 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 78498 44 0 0 25 0 11 0 429360558 870137856 29342 4294967295 134512640 134569956 3221224416 3221214656 1131150660 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 29342 13073 16 0 212420 0 vsize: 849744 [startup+820.043 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 79481 44 0 0 25 0 11 0 429360558 870137856 29383 4294967295 134512640 134569956 3221224416 3221214288 1131384992 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 29383 13073 16 0 212420 0 vsize: 849744 [startup+830.043 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 80454 44 0 0 25 0 11 0 429360558 870137856 29450 4294967295 134512640 134569956 3221224416 3221214504 1131173283 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 29450 13073 16 0 212420 0 vsize: 849744 [startup+840.042 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 81432 44 0 0 25 0 11 0 429360558 870137856 29509 4294967295 134512640 134569956 3221224416 3221214760 1131192643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 29509 13073 16 0 212420 0 vsize: 849744 [startup+850.043 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 82400 44 0 0 25 0 11 0 429360558 870137856 29606 4294967295 134512640 134569956 3221224416 3221214656 1131150808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 29606 13073 16 0 212420 0 vsize: 849744 [startup+860.045 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 5487 Raw data (stat): 5460 (java) S 5459 25347 25346 0 -1 0 18077 10 1 0 83374 44 0 0 25 0 11 0 429360558 870137856 29678 4294967295 134512640 134569956 3221224416 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 29678 13073 16 0 212420 0 vsize: 849744 [startup+870.05 s] Raw data (loadavg): 1.00 1.00 0.85 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 84351 44 0 0 25 0 11 0 429360558 870137856 29749 4294967295 134512640 134569956 3221224416 3221214472 1131571848 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 29749 13073 16 0 212420 0 vsize: 849744 [startup+880.107 s] Raw data (loadavg): 1.00 1.00 0.86 2/64 5487 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 85332 44 0 0 25 0 11 0 429360558 870137856 29834 4294967295 134512640 134569956 3221224416 3221214544 1131381601 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 29834 13073 16 0 212420 0 vsize: 849744 [startup+890.109 s] Raw data (loadavg): 1.08 1.02 0.86 2/64 5540 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 86301 53 0 0 25 0 11 0 429360558 870137856 29889 4294967295 134512640 134569956 3221224416 3221214624 1131044207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 29889 13073 16 0 212420 0 vsize: 849744 [startup+900.109 s] Raw data (loadavg): 1.07 1.02 0.86 2/64 5540 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 87273 53 0 0 25 0 11 0 429360558 870137856 29951 4294967295 134512640 134569956 3221224416 3221214544 1131165399 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 29951 13073 16 0 212420 0 vsize: 849744 [startup+910.109 s] Raw data (loadavg): 1.06 1.01 0.86 2/64 5540 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 88252 53 0 0 25 0 11 0 429360558 870137856 29992 4294967295 134512640 134569956 3221224416 3221214656 1131150627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 29992 13073 16 0 212420 0 vsize: 849744 [startup+920.109 s] Raw data (loadavg): 1.05 1.01 0.86 2/64 5540 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 89223 54 0 0 25 0 11 0 429360558 870137856 30077 4294967295 134512640 134569956 3221224416 3221214760 1131191575 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30077 13073 16 0 212420 0 vsize: 849744 [startup+930.109 s] Raw data (loadavg): 1.04 1.01 0.87 2/64 5540 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 90195 54 0 0 25 0 11 0 429360558 870137856 30162 4294967295 134512640 134569956 3221224416 3221214480 1085679321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30162 13073 16 0 212420 0 vsize: 849744 [startup+940.109 s] Raw data (loadavg): 1.03 1.01 0.87 2/64 5540 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 91171 54 0 0 25 0 11 0 429360558 870137856 30210 4294967295 134512640 134569956 3221224416 3221214064 1131421969 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30210 13073 16 0 212420 0 vsize: 849744 [startup+950.11 s] Raw data (loadavg): 1.03 1.01 0.87 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 92148 54 0 0 24 0 11 0 429360558 870137856 30270 4294967295 134512640 134569956 3221224416 3221214656 1131151120 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30270 13073 16 0 212420 0 vsize: 849744 [startup+960.11 s] Raw data (loadavg): 1.02 1.01 0.87 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 93128 54 0 0 25 0 11 0 429360558 870137856 30321 4294967295 134512640 134569956 3221224416 3221214656 1131150652 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30321 13073 16 0 212420 0 vsize: 849744 [startup+970.111 s] Raw data (loadavg): 1.02 1.01 0.87 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 94102 54 0 0 25 0 11 0 429360558 870137856 30391 4294967295 134512640 134569956 3221224416 3221214788 1131173928 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30391 13073 16 0 212420 0 vsize: 849744 [startup+980.111 s] Raw data (loadavg): 1.02 1.01 0.87 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 95084 54 0 0 25 0 11 0 429360558 870137856 30434 4294967295 134512640 134569956 3221224416 3221213928 1085679735 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30434 13073 16 0 212420 0 vsize: 849744 [startup+990.111 s] Raw data (loadavg): 1.01 1.01 0.87 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 96058 54 0 0 25 0 11 0 429360558 870137856 30506 4294967295 134512640 134569956 3221224416 3221214720 1131332604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30506 13073 16 0 212420 0 vsize: 849744 [startup+1000.11 s] Raw data (loadavg): 1.01 1.01 0.87 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 97040 54 0 0 25 0 11 0 429360558 870137856 30547 4294967295 134512640 134569956 3221224416 3221214112 1131385007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30547 13073 16 0 212420 0 vsize: 849744 [startup+1010.11 s] Raw data (loadavg): 1.01 1.00 0.87 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 98022 54 0 0 25 0 11 0 429360558 870137856 30603 4294967295 134512640 134569956 3221224416 3221214760 1131192660 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30603 13073 16 0 212420 0 vsize: 849744 [startup+1020.11 s] Raw data (loadavg): 1.01 1.00 0.87 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 99001 54 0 0 25 0 11 0 429360558 870137856 30649 4294967295 134512640 134569956 3221224416 3221214656 1131150479 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30649 13073 16 0 212420 0 vsize: 849744 [startup+1030.11 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 99983 54 0 0 25 0 11 0 429360558 870137856 30678 4294967295 134512640 134569956 3221224416 3221214684 1131137907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30678 13073 16 0 212420 0 vsize: 849744 [startup+1040.11 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 100963 54 0 0 25 0 11 0 429360558 870137856 30728 4294967295 134512640 134569956 3221224416 3221214672 1131384974 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30728 13073 16 0 212420 0 vsize: 849744 [startup+1050.11 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 101940 54 0 0 25 0 11 0 429360558 870137856 30787 4294967295 134512640 134569956 3221224416 3221214564 1131421968 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30787 13073 16 0 212420 0 vsize: 849744 [startup+1060.11 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 102916 54 0 0 25 0 11 0 429360558 870137856 30819 4294967295 134512640 134569956 3221224416 3221214656 1131151392 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30819 13073 16 0 212420 0 vsize: 849744 [startup+1070.11 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 103889 54 0 0 25 0 11 0 429360558 870137856 30876 4294967295 134512640 134569956 3221224416 3221214672 1131390410 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30876 13073 16 0 212420 0 vsize: 849744 [startup+1080.11 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 104874 54 0 0 25 0 11 0 429360558 870137856 30911 4294967295 134512640 134569956 3221224416 3221213812 1085616768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30911 13073 16 0 212420 0 vsize: 849744 [startup+1090.11 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 105858 54 0 0 25 0 11 0 429360558 870137856 30968 4294967295 134512640 134569956 3221224416 3221214560 1131384810 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 30968 13073 16 0 212420 0 vsize: 849744 [startup+1100.11 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 106844 54 0 0 25 0 11 0 429360558 870137856 31022 4294967295 134512640 134569956 3221224416 3221214328 1131425557 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 31022 13073 16 0 212420 0 vsize: 849744 [startup+1110.11 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 107822 54 0 0 24 0 11 0 429360558 870137856 31061 4294967295 134512640 134569956 3221224416 3221214760 1131192646 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 31061 13073 16 0 212420 0 vsize: 849744 [startup+1120.11 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 108803 54 0 0 25 0 11 0 429360558 870137856 31108 4294967295 134512640 134569956 3221224416 3221214792 1131314504 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 31108 13073 16 0 212420 0 vsize: 849744 [startup+1130.12 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 109784 55 0 0 25 0 11 0 429360558 870137856 31141 4294967295 134512640 134569956 3221224416 3221214656 1131150747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 31141 13073 16 0 212420 0 vsize: 849744 [startup+1140.11 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 110763 55 0 0 25 0 11 0 429360558 870137856 31175 4294967295 134512640 134569956 3221224416 3221213816 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 31175 13073 16 0 212420 0 vsize: 849744 [startup+1150.11 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 111738 55 0 0 25 0 11 0 429360558 870137856 31221 4294967295 134512640 134569956 3221224416 3221214656 1131150627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 31221 13073 16 0 212420 0 vsize: 849744 [startup+1160.11 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 112712 55 0 0 25 0 11 0 429360558 870137856 31285 4294967295 134512640 134569956 3221224416 3221214664 1131385032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 31285 13073 16 0 212420 0 vsize: 849744 [startup+1170.11 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 113687 55 0 0 25 0 11 0 429360558 870137856 31337 4294967295 134512640 134569956 3221224416 3221214728 1131561889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 31337 13073 16 0 212420 0 vsize: 849744 [startup+1180.12 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 114658 55 0 0 25 0 11 0 429360558 870137856 31400 4294967295 134512640 134569956 3221224416 3221214760 1131194938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 31400 13073 16 0 212420 0 vsize: 849744 [startup+1190.11 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 115626 55 0 0 25 0 11 0 429360558 870137856 31498 4294967295 134512640 134569956 3221224416 3221214656 1131150832 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 31498 13073 16 0 212420 0 vsize: 849744 [startup+1200.12 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 5542 Raw data (stat): 5460 (java) S 5459 25347 25346 0 -1 0 18077 10 1 0 116604 55 0 0 25 0 11 0 429360558 870137856 31559 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 31559 13073 16 0 212420 0 vsize: 849744 [startup+1210.12 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 117581 55 0 0 24 0 11 0 429360558 870137856 31612 4294967295 134512640 134569956 3221224416 3221214016 1131421916 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 31612 13073 16 0 212420 0 vsize: 849744 [startup+1220.12 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 118561 55 0 0 24 0 11 0 429360558 870137856 31660 4294967295 134512640 134569956 3221224416 3221214760 1131192646 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 31660 13073 16 0 212420 0 vsize: 849744 [startup+1230.12 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 5542 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 119533 55 0 0 25 0 11 0 429360558 870137856 31708 4294967295 134512640 134569956 3221224416 3221214544 1131166264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 31708 13073 16 0 212420 0 vsize: 849744 [startup+1240.12 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 5544 Raw data (stat): 5460 (java) R 5459 25347 25346 0 -1 0 18077 10 1 0 120509 55 0 0 25 0 11 0 429360558 870137856 31783 4294967295 134512640 134569956 3221224416 3221214656 1131150183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212436 31783 13073 16 0 212420 0 vsize: 849744 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.23 s] Raw data (loadavg): 1.00 1.00 0.90 1/54 5546 Raw data (stat): 5460 (java) Z 5459 25347 25346 0 -1 1036 18077 9776 1 0 120512 55 2964 31 25 0 1 0 429360558 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): 1240.23 CPU time (s): 1235.63 CPU user time (s): 1234.76 CPU system time (s): 0.866868 CPU usage (%): 99.629 Max. virtual memory (Kb): 850928 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####