Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc06.opb |
MD5SUM | 387c5db023320cb4bbb2858edf3c339a |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 211324891222433890304 |
Number of bits of the biggest number in a constraint | 68 |
Biggest sum of numbers in a constraint | 23205541583449342607360 |
Number of bits of the biggest sum of numbers | 75 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.25481 |
Number of variables | 51018 |
Total number of constraints | 932 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 112 |
Number of constraints which are nor clauses,nor cardinality constraints | 820 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13471 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc8 THE 2005-04-22 02:23:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=12008 boxname=wulflinc8 idbench=924 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 387c5db023320cb4bbb2858edf3c339a /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-misc06.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-misc06.opb IDLAUNCH: 12008 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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: 316432 kB Buffers: 29720 kB Cached: 665988 kB SwapCached: 0 kB Active: 182924 kB Inactive: 515664 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 316180 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6952 kB Slab: 14068 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-22 02:44:57 (client local time) WITH STATUS 143 IN 1278.85 SECONDS stats: 12008 7 1278.85 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-misc06.opb c reading problem c [nbvar=51018] c [nbconstr=932] c time 743.407 c #vars 51018 c #clauses 1070 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 #### 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.79 0.95 0.97 2/54 11903 Raw data (stat): 11903 (runsolver) R 11902 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 478306223 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.0011 s] Raw data (loadavg): 0.82 0.95 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17996 0 1 0 863 39 0 0 25 0 10 0 478306223 853929984 19405 4294967295 134512640 134569956 3221224400 3221214800 1131192942 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208479 19405 13073 16 0 208463 0 vsize: 833916 [startup+20.0023 s] Raw data (loadavg): 0.85 0.95 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17996 0 1 0 1756 40 0 0 25 0 10 0 478306223 853929984 19932 4294967295 134512640 134569956 3221224400 3221214484 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 19932 13073 16 0 208463 0 vsize: 833916 [startup+30.0022 s] Raw data (loadavg): 0.87 0.95 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17996 0 1 0 2640 40 0 0 21 0 10 0 478306223 853929984 20474 4294967295 134512640 134569956 3221224400 3221214488 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208479 20474 13073 16 0 208463 0 vsize: 833916 [startup+40.0029 s] Raw data (loadavg): 0.89 0.95 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 3558 41 0 0 25 0 10 0 478306223 853929984 20738 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 20738 13073 16 0 208463 0 vsize: 833916 [startup+50.0096 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 4481 42 0 0 25 0 10 0 478306223 853929984 20912 4294967295 134512640 134569956 3221224400 3221214840 1131288701 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 20912 13073 16 0 208463 0 vsize: 833916 [startup+60.0104 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 5389 43 0 0 24 0 10 0 478306223 853929984 21074 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 21074 13073 16 0 208463 0 vsize: 833916 [startup+70.0112 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 6313 43 0 0 25 0 10 0 478306223 853929984 21287 4294967295 134512640 134569956 3221224400 3221214864 1130883229 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 21287 13073 16 0 208463 0 vsize: 833916 [startup+80.0114 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 7247 43 0 0 25 0 10 0 478306223 853929984 21394 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 21394 13073 16 0 208463 0 vsize: 833916 [startup+90.0123 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 8178 44 0 0 24 0 10 0 478306223 853929984 21496 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 21496 13073 16 0 208463 0 vsize: 833916 [startup+100.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 9110 44 0 0 25 0 10 0 478306223 853929984 21584 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 21584 13073 16 0 208463 0 vsize: 833916 [startup+110.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 10032 45 0 0 25 0 10 0 478306223 853929984 21669 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 21669 13073 16 0 208463 0 vsize: 833916 [startup+120.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 10958 46 0 0 25 0 10 0 478306223 853929984 21817 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 21817 13073 16 0 208463 0 vsize: 833916 [startup+130.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 11889 46 0 0 25 0 10 0 478306223 853929984 21900 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 21900 13073 16 0 208463 0 vsize: 833916 [startup+140.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 12823 46 0 0 25 0 10 0 478306223 853929984 21976 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 21976 13073 16 0 208463 0 vsize: 833916 [startup+150.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) S 11902 26667 26666 0 -1 0 17997 0 1 0 13754 47 0 0 25 0 10 0 478306223 853929984 22051 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 22051 13073 16 0 208463 0 vsize: 833916 [startup+160.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 14684 47 0 0 25 0 10 0 478306223 853929984 22125 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 22125 13073 16 0 208463 0 vsize: 833916 [startup+170.025 s] Raw data (loadavg): 0.99 0.97 0.97 3/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 15609 48 0 0 25 0 10 0 478306223 853929984 22203 4294967295 134512640 134569956 3221224400 3221213984 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 22203 13073 16 0 208463 0 vsize: 833916 [startup+180.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 16511 48 0 0 25 0 10 0 478306223 853929984 22286 4294967295 134512640 134569956 3221224400 3221214288 1077558368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 22286 13073 16 0 208463 0 vsize: 833916 [startup+190.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 17413 48 0 0 25 0 10 0 478306223 853929984 22431 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 22431 13073 16 0 208463 0 vsize: 833916 [startup+200.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 18337 49 0 0 25 0 10 0 478306223 853929984 22658 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 22658 13073 16 0 208463 0 vsize: 833916 [startup+210.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 19265 50 0 0 25 0 10 0 478306223 853929984 22724 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 22724 13073 16 0 208463 0 vsize: 833916 [startup+220.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 20188 50 0 0 24 0 10 0 478306223 853929984 22791 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 22791 13073 16 0 208463 0 vsize: 833916 [startup+230.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 21115 51 0 0 25 0 10 0 478306223 853929984 22850 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 22850 13073 16 0 208463 0 vsize: 833916 [startup+240.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 22043 51 0 0 25 0 10 0 478306223 853929984 22912 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 22912 13073 16 0 208463 0 vsize: 833916 [startup+250.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 22964 52 0 0 25 0 10 0 478306223 853929984 22972 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 22972 13073 16 0 208463 0 vsize: 833916 [startup+260.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 23888 52 0 0 25 0 10 0 478306223 853929984 23036 4294967295 134512640 134569956 3221224400 3221214256 1076461466 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 23036 13073 16 0 208463 0 vsize: 833916 [startup+270.028 s] Raw data (loadavg): 1.07 0.99 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 24812 53 0 0 25 0 10 0 478306223 853929984 23095 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208479 23095 13073 16 0 208463 0 vsize: 833916 [startup+280.032 s] Raw data (loadavg): 1.06 0.99 0.98 2/63 11912 Raw data (stat): 11903 (java) S 11902 26667 26666 0 -1 0 17997 0 1 0 25731 53 0 0 25 0 10 0 478306223 853929984 23155 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208479 23155 13073 16 0 208463 0 vsize: 833916 [startup+290.034 s] Raw data (loadavg): 1.05 0.99 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 26654 53 0 0 25 0 10 0 478306223 853929984 23215 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208479 23215 13073 16 0 208463 0 vsize: 833916 [startup+300.034 s] Raw data (loadavg): 1.04 0.99 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 27575 53 0 0 25 0 10 0 478306223 853929984 23273 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208479 23273 13073 16 0 208463 0 vsize: 833916 [startup+310.034 s] Raw data (loadavg): 1.03 0.99 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 28496 54 0 0 25 0 10 0 478306223 853929984 23324 4294967295 134512640 134569956 3221224400 3221214304 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208479 23324 13073 16 0 208463 0 vsize: 833916 [startup+320.035 s] Raw data (loadavg): 1.03 0.99 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 29410 54 0 0 24 0 10 0 478306223 853929984 23382 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208479 23382 13073 16 0 208463 0 vsize: 833916 [startup+330.036 s] Raw data (loadavg): 1.02 0.99 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 30327 54 0 0 25 0 10 0 478306223 853929984 23439 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208479 23439 13073 16 0 208463 0 vsize: 833916 [startup+340.036 s] Raw data (loadavg): 1.02 0.99 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 31235 54 0 0 25 0 10 0 478306223 853929984 23504 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208479 23504 13073 16 0 208463 0 vsize: 833916 [startup+350.036 s] Raw data (loadavg): 1.02 0.99 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 32145 54 0 0 25 0 10 0 478306223 853929984 23597 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 23597 13073 16 0 208463 0 vsize: 833916 [startup+360.037 s] Raw data (loadavg): 1.01 0.99 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 33059 54 0 0 25 0 10 0 478306223 853929984 23668 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208479 23668 13073 16 0 208463 0 vsize: 833916 [startup+370.037 s] Raw data (loadavg): 1.01 0.99 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 33974 55 0 0 25 0 10 0 478306223 853929984 23731 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208479 23731 13073 16 0 208463 0 vsize: 833916 [startup+380.037 s] Raw data (loadavg): 1.01 0.99 0.98 2/63 11912 Raw data (stat): 11903 (java) S 11902 26667 26666 0 -1 0 17997 0 1 0 34874 55 0 0 25 0 10 0 478306223 853929984 23791 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 23791 13073 16 0 208463 0 vsize: 833916 [startup+390.038 s] Raw data (loadavg): 1.01 0.99 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 35775 55 0 0 25 0 10 0 478306223 853929984 23852 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208479 23852 13073 16 0 208463 0 vsize: 833916 [startup+400.038 s] Raw data (loadavg): 1.00 0.99 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 36685 56 0 0 18 0 10 0 478306223 853929984 23979 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 23979 13073 16 0 208463 0 vsize: 833916 [startup+410.038 s] Raw data (loadavg): 1.00 0.99 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 37600 56 0 0 25 0 10 0 478306223 853929984 24033 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24033 13073 16 0 208463 0 vsize: 833916 [startup+420.038 s] Raw data (loadavg): 1.00 0.99 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 38514 57 0 0 25 0 10 0 478306223 853929984 24083 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24083 13073 16 0 208463 0 vsize: 833916 [startup+430.039 s] Raw data (loadavg): 1.00 0.99 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 39427 57 0 0 24 0 10 0 478306223 853929984 24132 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24132 13073 16 0 208463 0 vsize: 833916 [startup+440.041 s] Raw data (loadavg): 1.08 1.01 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 40341 57 0 0 24 0 10 0 478306223 853929984 24181 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24181 13073 16 0 208463 0 vsize: 833916 [startup+450.041 s] Raw data (loadavg): 1.07 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 41253 58 0 0 24 0 10 0 478306223 853929984 24234 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24234 13073 16 0 208463 0 vsize: 833916 [startup+460.042 s] Raw data (loadavg): 1.06 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 42171 58 0 0 25 0 10 0 478306223 853929984 24276 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24276 13073 16 0 208463 0 vsize: 833916 [startup+470.042 s] Raw data (loadavg): 1.05 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 43083 59 0 0 25 0 10 0 478306223 853929984 24325 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24325 13073 16 0 208463 0 vsize: 833916 [startup+480.042 s] Raw data (loadavg): 1.04 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 43995 59 0 0 25 0 10 0 478306223 853929984 24372 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24372 13073 16 0 208463 0 vsize: 833916 [startup+490.043 s] Raw data (loadavg): 1.03 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 44906 60 0 0 21 0 10 0 478306223 853929984 24420 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24420 13073 16 0 208463 0 vsize: 833916 [startup+500.044 s] Raw data (loadavg): 1.03 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 45817 60 0 0 24 0 10 0 478306223 853929984 24467 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24467 13073 16 0 208463 0 vsize: 833916 [startup+510.044 s] Raw data (loadavg): 1.02 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) S 11902 26667 26666 0 -1 0 17997 0 1 0 46728 61 0 0 25 0 10 0 478306223 853929984 24512 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24512 13073 16 0 208463 0 vsize: 833916 [startup+520.045 s] Raw data (loadavg): 1.02 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 47642 61 0 0 23 0 10 0 478306223 853929984 24554 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24554 13073 16 0 208463 0 vsize: 833916 [startup+530.045 s] Raw data (loadavg): 1.02 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 48550 61 0 0 25 0 10 0 478306223 853929984 24600 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24600 13073 16 0 208463 0 vsize: 833916 [startup+540.046 s] Raw data (loadavg): 1.01 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 49459 62 0 0 25 0 10 0 478306223 853929984 24646 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24646 13073 16 0 208463 0 vsize: 833916 [startup+550.046 s] Raw data (loadavg): 1.01 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 50367 62 0 0 25 0 10 0 478306223 853929984 24687 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24687 13073 16 0 208463 0 vsize: 833916 [startup+560.045 s] Raw data (loadavg): 1.01 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 51282 62 0 0 25 0 10 0 478306223 853929984 24731 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24731 13073 16 0 208463 0 vsize: 833916 [startup+570.047 s] Raw data (loadavg): 1.01 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 52188 63 0 0 25 0 10 0 478306223 853929984 24773 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24773 13073 16 0 208463 0 vsize: 833916 [startup+580.047 s] Raw data (loadavg): 1.00 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 53095 63 0 0 25 0 10 0 478306223 853929984 24817 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24817 13073 16 0 208463 0 vsize: 833916 [startup+590.048 s] Raw data (loadavg): 1.00 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 54002 63 0 0 24 0 10 0 478306223 853929984 24858 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24858 13073 16 0 208463 0 vsize: 833916 [startup+600.048 s] Raw data (loadavg): 1.00 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 54914 64 0 0 25 0 10 0 478306223 853929984 24896 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24896 13073 16 0 208463 0 vsize: 833916 [startup+610.049 s] Raw data (loadavg): 1.00 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 55819 64 0 0 25 0 10 0 478306223 853929984 24936 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24936 13073 16 0 208463 0 vsize: 833916 [startup+620.049 s] Raw data (loadavg): 1.00 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) S 11902 26667 26666 0 -1 0 17997 0 1 0 56724 65 0 0 25 0 10 0 478306223 853929984 24979 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 24979 13073 16 0 208463 0 vsize: 833916 [startup+630.051 s] Raw data (loadavg): 1.00 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 57624 65 0 0 25 0 10 0 478306223 853929984 25018 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 25018 13073 16 0 208463 0 vsize: 833916 [startup+640.052 s] Raw data (loadavg): 1.00 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 58525 66 0 0 25 0 10 0 478306223 853929984 25077 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 25077 13073 16 0 208463 0 vsize: 833916 [startup+650.052 s] Raw data (loadavg): 1.00 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) S 11902 26667 26666 0 -1 0 17997 0 1 0 59421 66 0 0 25 0 10 0 478306223 853929984 25137 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 25137 13073 16 0 208463 0 vsize: 833916 [startup+660.052 s] Raw data (loadavg): 1.00 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 60317 67 0 0 25 0 10 0 478306223 853929984 25207 4294967295 134512640 134569956 3221224400 3221214880 1131218061 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 25207 13073 16 0 208463 0 vsize: 833916 [startup+670.054 s] Raw data (loadavg): 1.00 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 61217 67 0 0 20 0 10 0 478306223 853929984 25265 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 25265 13073 16 0 208463 0 vsize: 833916 [startup+680.054 s] Raw data (loadavg): 1.00 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 62114 68 0 0 21 0 10 0 478306223 853929984 25327 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 25327 13073 16 0 208463 0 vsize: 833916 [startup+690.055 s] Raw data (loadavg): 1.00 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 63012 68 0 0 25 0 10 0 478306223 853929984 26068 4294967295 134512640 134569956 3221224400 3221214288 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 26068 13073 16 0 208463 0 vsize: 833916 [startup+700.056 s] Raw data (loadavg): 1.00 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 63911 68 0 0 24 0 10 0 478306223 853929984 26068 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 26068 13073 16 0 208463 0 vsize: 833916 [startup+710.056 s] Raw data (loadavg): 1.00 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 64801 69 0 0 25 0 10 0 478306223 853929984 26104 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 26104 13073 16 0 208463 0 vsize: 833916 [startup+720.056 s] Raw data (loadavg): 1.00 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 65693 70 0 0 25 0 10 0 478306223 853929984 26244 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 26244 13073 16 0 208463 0 vsize: 833916 [startup+730.056 s] Raw data (loadavg): 1.00 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 66570 70 0 0 25 0 10 0 478306223 853929984 26287 4294967295 134512640 134569956 3221224400 3221214288 1077558368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 26287 13073 16 0 208463 0 vsize: 833916 [startup+740.056 s] Raw data (loadavg): 1.00 1.00 0.98 2/63 11912 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 67457 71 0 0 25 0 10 0 478306223 853929984 26501 4294967295 134512640 134569956 3221224400 3221214828 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208479 26501 13073 16 0 208463 0 vsize: 833916 [startup+750.057 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 68338 73 0 0 25 0 11 0 478306223 855310336 29796 4294967295 134512640 134569956 3221224400 3221214680 1131237465 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208816 29796 13073 16 0 208800 0 vsize: 835264 [startup+760.056 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 69251 74 0 0 25 0 11 0 478306223 855310336 29738 4294967295 134512640 134569956 3221224400 3221214680 1131236841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208816 29738 13073 16 0 208800 0 vsize: 835264 [startup+770.057 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 70156 74 0 0 25 0 11 0 478306223 855310336 29738 4294967295 134512640 134569956 3221224400 3221214776 1131335120 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208816 29738 13073 16 0 208800 0 vsize: 835264 [startup+780.058 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 71098 75 0 0 25 0 11 0 478306223 855310336 30361 4294967295 134512640 134569956 3221224400 3221214680 1131236841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208816 30361 13073 16 0 208800 0 vsize: 835264 [startup+790.059 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 72086 75 0 0 25 0 11 0 478306223 855310336 30369 4294967295 134512640 134569956 3221224400 3221214680 1131238128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208816 30369 13073 16 0 208800 0 vsize: 835264 [startup+800.059 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 73075 75 0 0 25 0 11 0 478306223 855310336 30375 4294967295 134512640 134569956 3221224400 3221214680 1131237299 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208816 30375 13073 16 0 208800 0 vsize: 835264 [startup+810.059 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 74063 76 0 0 25 0 11 0 478306223 855310336 30382 4294967295 134512640 134569956 3221224400 3221214680 1131237175 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208816 30382 13073 16 0 208800 0 vsize: 835264 [startup+820.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 75053 76 0 0 25 0 11 0 478306223 855310336 30386 4294967295 134512640 134569956 3221224400 3221214680 1131238175 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208816 30386 13073 16 0 208800 0 vsize: 835264 [startup+830.059 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 76041 77 0 0 25 0 11 0 478306223 855310336 30389 4294967295 134512640 134569956 3221224400 3221214680 1131237465 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208816 30389 13073 16 0 208800 0 vsize: 835264 [startup+840.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 77028 78 0 0 25 0 11 0 478306223 855310336 30394 4294967295 134512640 134569956 3221224400 3221214680 1131236805 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208816 30394 13073 16 0 208800 0 vsize: 835264 [startup+850.062 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18042 0 1 0 78004 78 0 0 25 0 11 0 478306223 855310336 30413 4294967295 134512640 134569956 3221224400 3221214632 1131237240 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208816 30413 13073 16 0 208800 0 vsize: 835264 [startup+860.061 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18087 0 1 0 78947 78 0 0 25 0 11 0 478306223 862027776 32011 4294967295 134512640 134569956 3221224400 3221214728 1131336100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210456 32011 13073 16 0 210440 0 vsize: 841824 [startup+870.061 s] Raw data (loadavg): 1.07 1.02 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18087 0 1 0 79939 78 0 0 25 0 11 0 478306223 859930624 31615 4294967295 134512640 134569956 3221224400 3221214584 1131128236 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209944 31615 13073 16 0 209928 0 vsize: 839776 [startup+880.062 s] Raw data (loadavg): 1.06 1.02 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18087 0 1 0 80934 78 0 0 25 0 11 0 478306223 859930624 31616 4294967295 134512640 134569956 3221224400 3221214584 1131128247 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209944 31616 13073 16 0 209928 0 vsize: 839776 [startup+890.062 s] Raw data (loadavg): 1.05 1.01 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18087 0 1 0 81928 78 0 0 25 0 11 0 478306223 859930624 31616 4294967295 134512640 134569956 3221224400 3221214568 1131442830 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209944 31616 13073 16 0 209928 0 vsize: 839776 [startup+900.062 s] Raw data (loadavg): 1.04 1.01 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18087 0 1 0 82928 78 0 0 25 0 11 0 478306223 859930624 31616 4294967295 134512640 134569956 3221224400 3221214568 1131442850 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31616 13073 16 0 209928 0 vsize: 839776 [startup+910.062 s] Raw data (loadavg): 1.04 1.01 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18087 0 1 0 83925 79 0 0 25 0 11 0 478306223 859930624 31617 4294967295 134512640 134569956 3221224400 3221214560 1131428912 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31617 13073 16 0 209928 0 vsize: 839776 [startup+920.062 s] Raw data (loadavg): 1.03 1.01 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18087 0 1 0 84919 79 0 0 25 0 11 0 478306223 859930624 31619 4294967295 134512640 134569956 3221224400 3221214584 1131128243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209944 31619 13073 16 0 209928 0 vsize: 839776 [startup+930.063 s] Raw data (loadavg): 1.02 1.01 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18087 0 1 0 85912 79 0 0 25 0 11 0 478306223 859930624 31622 4294967295 134512640 134569956 3221224400 3221214584 1131128256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209944 31622 13073 16 0 209928 0 vsize: 839776 [startup+940.063 s] Raw data (loadavg): 1.02 1.01 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 86908 79 0 0 25 0 11 0 478306223 862027776 32195 4294967295 134512640 134569956 3221224400 3221214560 1131430711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210456 32195 13073 16 0 210440 0 vsize: 841824 [startup+950.064 s] Raw data (loadavg): 1.02 1.01 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 87903 79 0 0 25 0 11 0 478306223 860979200 31896 4294967295 134512640 134569956 3221224400 3221214584 1131128261 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210200 31896 13073 16 0 210184 0 vsize: 840800 [startup+960.063 s] Raw data (loadavg): 1.01 1.01 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 88899 79 0 0 25 0 11 0 478306223 860979200 31898 4294967295 134512640 134569956 3221224400 3221214584 1131128252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210200 31898 13073 16 0 210184 0 vsize: 840800 [startup+970.064 s] Raw data (loadavg): 1.01 1.01 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 89892 79 0 0 25 0 11 0 478306223 859930624 31705 4294967295 134512640 134569956 3221224400 3221214560 1131428398 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209944 31705 13073 16 0 209928 0 vsize: 839776 [startup+980.063 s] Raw data (loadavg): 1.01 1.01 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 90888 79 0 0 25 0 11 0 478306223 859930624 31706 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209944 31706 13073 16 0 209928 0 vsize: 839776 [startup+990.064 s] Raw data (loadavg): 1.01 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 91884 79 0 0 25 0 11 0 478306223 859930624 31707 4294967295 134512640 134569956 3221224400 3221214560 1131428398 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209944 31707 13073 16 0 209928 0 vsize: 839776 [startup+1000.06 s] Raw data (loadavg): 1.01 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 92879 79 0 0 25 0 11 0 478306223 859930624 31714 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209944 31714 13073 16 0 209928 0 vsize: 839776 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 93876 79 0 0 25 0 11 0 478306223 859930624 31752 4294967295 134512640 134569956 3221224400 3221214672 1131509088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209944 31752 13073 16 0 209928 0 vsize: 839776 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 94872 79 0 0 25 0 11 0 478306223 859930624 31753 4294967295 134512640 134569956 3221224400 3221214560 1131430702 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209944 31753 13073 16 0 209928 0 vsize: 839776 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 95868 79 0 0 25 0 11 0 478306223 859930624 31753 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209944 31753 13073 16 0 209928 0 vsize: 839776 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 96865 79 0 0 25 0 11 0 478306223 859930624 31764 4294967295 134512640 134569956 3221224400 3221214592 1131502229 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209944 31764 13073 16 0 209928 0 vsize: 839776 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 97862 79 0 0 25 0 11 0 478306223 859930624 31764 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209944 31764 13073 16 0 209928 0 vsize: 839776 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 98858 79 0 0 25 0 11 0 478306223 859930624 31764 4294967295 134512640 134569956 3221224400 3221214672 1131509103 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31764 13073 16 0 209928 0 vsize: 839776 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 99854 80 0 0 25 0 11 0 478306223 859930624 31774 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209944 31774 13073 16 0 209928 0 vsize: 839776 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 100848 80 0 0 25 0 11 0 478306223 859930624 31774 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209944 31774 13073 16 0 209928 0 vsize: 839776 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 101841 80 0 0 25 0 11 0 478306223 859930624 31774 4294967295 134512640 134569956 3221224400 3221214568 1131276439 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31774 13073 16 0 209928 0 vsize: 839776 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 102831 80 0 0 25 0 11 0 478306223 859930624 31811 4294967295 134512640 134569956 3221224400 3221214568 1131276351 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31811 13073 16 0 209928 0 vsize: 839776 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 103824 81 0 0 25 0 11 0 478306223 859930624 31811 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209944 31811 13073 16 0 209928 0 vsize: 839776 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 104821 81 0 0 25 0 11 0 478306223 859930624 31812 4294967295 134512640 134569956 3221224400 3221214672 1131509103 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31812 13073 16 0 209928 0 vsize: 839776 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) S 11902 26667 26666 0 -1 0 18088 0 1 0 105813 81 0 0 25 0 11 0 478306223 859930624 31812 4294967295 134512640 134569956 3221224400 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31812 13073 16 0 209928 0 vsize: 839776 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 106808 81 0 0 25 0 11 0 478306223 859930624 31849 4294967295 134512640 134569956 3221224400 3221214648 1131452267 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31849 13073 16 0 209928 0 vsize: 839776 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 107799 81 0 0 25 0 11 0 478306223 859930624 31849 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31849 13073 16 0 209928 0 vsize: 839776 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 108791 82 0 0 25 0 11 0 478306223 859930624 31849 4294967295 134512640 134569956 3221224400 3221214560 1131428398 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31849 13073 16 0 209928 0 vsize: 839776 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 109782 82 0 0 25 0 11 0 478306223 859930624 31860 4294967295 134512640 134569956 3221224400 3221214648 1131439787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31860 13073 16 0 209928 0 vsize: 839776 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 110772 82 0 0 25 0 11 0 478306223 859930624 31860 4294967295 134512640 134569956 3221224400 3221214672 1131509197 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31860 13073 16 0 209928 0 vsize: 839776 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 111764 83 0 0 25 0 11 0 478306223 859930624 31860 4294967295 134512640 134569956 3221224400 3221214672 1131564282 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31860 13073 16 0 209928 0 vsize: 839776 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 112760 83 0 0 25 0 11 0 478306223 859930624 31921 4294967295 134512640 134569956 3221224400 3221214328 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31921 13073 16 0 209928 0 vsize: 839776 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 113752 83 0 0 25 0 11 0 478306223 859930624 31921 4294967295 134512640 134569956 3221224400 3221214672 1131509219 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31921 13073 16 0 209928 0 vsize: 839776 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 114743 84 0 0 25 0 11 0 478306223 859930624 31995 4294967295 134512640 134569956 3221224400 3221214560 1131428398 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31995 13073 16 0 209928 0 vsize: 839776 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 115736 84 0 0 25 0 11 0 478306223 859930624 31995 4294967295 134512640 134569956 3221224400 3221214672 1131509088 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31995 13073 16 0 209928 0 vsize: 839776 [startup+1240.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 116725 84 0 0 25 0 11 0 478306223 859930624 31995 4294967295 134512640 134569956 3221224400 3221214672 1131509219 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 31995 13073 16 0 209928 0 vsize: 839776 [startup+1250.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 117722 85 0 0 25 0 11 0 478306223 859930624 32005 4294967295 134512640 134569956 3221224400 3221214560 1131428817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 32005 13073 16 0 209928 0 vsize: 839776 [startup+1260.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 118711 86 0 0 25 0 11 0 478306223 859930624 32005 4294967295 134512640 134569956 3221224400 3221214672 1131509088 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 32005 13073 16 0 209928 0 vsize: 839776 [startup+1270.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 119704 86 0 0 25 0 11 0 478306223 859930624 32005 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 32005 13073 16 0 209928 0 vsize: 839776 [startup+1280.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 11913 Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 120696 87 0 0 25 0 11 0 478306223 859930624 32068 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209944 32068 13073 16 0 209928 0 vsize: 839776 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1280.19 s] Raw data (loadavg): 1.00 1.00 0.99 1/54 11915 Raw data (stat): 11903 (java) Z 11902 26667 26666 0 -1 1036 18088 12141 1 0 120701 87 7052 43 25 0 1 0 478306223 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1280.19 CPU time (s): 1278.85 CPU user time (s): 1277.54 CPU system time (s): 1.3078 CPU usage (%): 99.8953 Max. virtual memory (Kb): 841824 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####