Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod010.opb |
MD5SUM | 4f0cac14ed3568050c2c57bb69fdb664 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6571 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2655 |
Biggest coefficient in the objective function | 266 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 489211 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 266 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 489211 |
Number of bits of the biggest sum of numbers | 19 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.78 |
Number of variables | 2655 |
Total number of constraints | 2801 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2800 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 2655 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-04-21 17:48:56 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17039 boxname=wulflinc11 idbench=1311 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 4f0cac14ed3568050c2c57bb69fdb664 /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-mod010.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-mod010.opb IDLAUNCH: 17039 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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.028 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: 533800 kB Buffers: 34768 kB Cached: 444632 kB SwapCached: 0 kB Active: 164240 kB Inactive: 317968 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 533548 kB SwapTotal: 2097136 kB SwapFree: 2097048 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6820 kB Slab: 13028 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 18:10:18 (client local time) WITH STATUS 143 IN 1292.7 SECONDS stats: 17039 7 1292.7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-mod010.opb c reading problem c [nbvar=2655] c [nbconstr=2801] c time 6.286 c #vars 2655 c #clauses 291 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=8181 c Current CPU time (ms) : 297.243 c starts : 3 c conflicts : 330 c decisions : 9933 c propagations : 53537 c inspects : 73636 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 330 c root simplifications : 8 c c CURRENT OPTIMUM=8079 c Current CPU time (ms) : 418.6 c starts : 4 c conflicts : 389 c decisions : 11407 c propagations : 62707 c inspects : 114462 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 389 c root simplifications : 9 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.95 0.93 2/54 6710 Raw data (stat): 6710 (runsolver) R 6709 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488780377 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.007 s] Raw data (loadavg): 0.95 0.96 0.94 4/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18072 0 1 0 659 41 0 0 25 0 11 0 488780377 862199808 20730 4294967295 134512640 134569956 3221224400 3221213752 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210498 20730 13073 16 0 210482 0 vsize: 841992 [startup+20.0129 s] Raw data (loadavg): 1.11 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18074 0 1 0 1568 41 0 0 25 0 11 0 488780377 861519872 21448 4294967295 134512640 134569956 3221224400 3221214672 1131388337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210332 21448 13073 16 0 210316 0 vsize: 841328 [startup+30.0142 s] Raw data (loadavg): 1.09 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18074 0 1 0 2497 42 0 0 25 0 11 0 488780377 864616448 22912 4294967295 134512640 134569956 3221224400 3221214632 1131319955 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 22912 13073 16 0 211072 0 vsize: 844352 [startup+40.0144 s] Raw data (loadavg): 1.08 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18074 0 1 0 3406 42 0 0 24 0 11 0 488780377 864616448 23311 4294967295 134512640 134569956 3221224400 3221214528 1131470283 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 23311 13073 16 0 211072 0 vsize: 844352 [startup+50.0152 s] Raw data (loadavg): 1.06 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18074 0 1 0 4321 43 0 0 25 0 11 0 488780377 864616448 23429 4294967295 134512640 134569956 3221224400 3221214744 1131400228 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211088 23429 13073 16 0 211072 0 vsize: 844352 [startup+60.0155 s] Raw data (loadavg): 1.05 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18074 0 1 0 5237 43 0 0 25 0 11 0 488780377 864583680 23863 4294967295 134512640 134569956 3221224400 3221214712 1131332830 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211080 23863 13073 16 0 211064 0 vsize: 844320 [startup+70.0157 s] Raw data (loadavg): 1.05 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18074 0 1 0 6145 43 0 0 24 0 11 0 488780377 860868608 23226 4294967295 134512640 134569956 3221224400 3221214768 1131367548 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 23226 13073 16 0 210157 0 vsize: 840692 [startup+80.0166 s] Raw data (loadavg): 1.04 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) S 6709 32461 32460 0 -1 0 18074 0 1 0 7048 43 0 0 25 0 11 0 488780377 860868608 23654 4294967295 134512640 134569956 3221224400 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 23654 13073 16 0 210157 0 vsize: 840692 [startup+90.0178 s] Raw data (loadavg): 1.03 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18074 0 1 0 7968 44 0 0 25 0 11 0 488780377 860868608 23654 4294967295 134512640 134569956 3221224400 3221214744 1080203665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 23654 13073 16 0 210157 0 vsize: 840692 [startup+100.018 s] Raw data (loadavg): 1.03 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18074 0 1 0 8876 44 0 0 25 0 11 0 488780377 860868608 24055 4294967295 134512640 134569956 3221224400 3221214860 1130893595 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 24055 13073 16 0 210157 0 vsize: 840692 [startup+110.035 s] Raw data (loadavg): 1.02 1.00 0.95 3/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18074 0 1 0 9782 44 0 0 25 0 11 0 488780377 860868608 24363 4294967295 134512640 134569956 3221224400 3221214320 1085632292 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 24363 13073 16 0 210157 0 vsize: 840692 [startup+120.035 s] Raw data (loadavg): 1.02 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18074 0 1 0 10688 44 0 0 25 0 11 0 488780377 860868608 24568 4294967295 134512640 134569956 3221224400 3221214768 1131365355 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 24568 13073 16 0 210157 0 vsize: 840692 [startup+130.035 s] Raw data (loadavg): 1.02 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18074 0 1 0 11596 44 0 0 25 0 11 0 488780377 860868608 24981 4294967295 134512640 134569956 3221224400 3221214768 1131364460 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 24981 13073 16 0 210157 0 vsize: 840692 [startup+140.035 s] Raw data (loadavg): 1.01 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18074 0 1 0 12513 44 0 0 25 0 11 0 488780377 860868608 25663 4294967295 134512640 134569956 3221224400 3221214768 1131368004 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 25663 13073 16 0 210157 0 vsize: 840692 [startup+150.036 s] Raw data (loadavg): 1.01 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18074 0 1 0 13439 44 0 0 25 0 11 0 488780377 860868608 25776 4294967295 134512640 134569956 3221224400 3221214768 1131365319 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 25776 13073 16 0 210157 0 vsize: 840692 [startup+160.035 s] Raw data (loadavg): 1.01 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18075 0 1 0 14341 45 0 0 25 0 11 0 488780377 860868608 26024 4294967295 134512640 134569956 3221224400 3221214640 1131319808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 26024 13073 16 0 210157 0 vsize: 840692 [startup+170.036 s] Raw data (loadavg): 1.01 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 0 1 0 15255 45 0 0 25 0 11 0 488780377 860868608 26025 4294967295 134512640 134569956 3221224400 3221214384 1131319875 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 26025 13073 16 0 210157 0 vsize: 840692 [startup+180.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 0 1 0 16191 45 0 0 25 0 11 0 488780377 860868608 26502 4294967295 134512640 134569956 3221224400 3221214656 1131387299 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 26502 13073 16 0 210157 0 vsize: 840692 [startup+190.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 0 1 0 17141 46 0 0 25 0 11 0 488780377 860868608 26900 4294967295 134512640 134569956 3221224400 3221214752 1131400186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 26900 13073 16 0 210157 0 vsize: 840692 [startup+200.037 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 0 1 0 18100 46 0 0 25 0 11 0 488780377 860868608 26902 4294967295 134512640 134569956 3221224400 3221214632 1131345976 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 26902 13073 16 0 210157 0 vsize: 840692 [startup+210.038 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 0 1 0 19032 46 0 0 25 0 11 0 488780377 860868608 26902 4294967295 134512640 134569956 3221224400 3221214768 1131363905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 26902 13073 16 0 210157 0 vsize: 840692 [startup+220.039 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 0 1 0 19958 47 0 0 25 0 11 0 488780377 860868608 26951 4294967295 134512640 134569956 3221224400 3221214672 1131313461 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 26951 13073 16 0 210157 0 vsize: 840692 [startup+230.038 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 0 1 0 20865 47 0 0 25 0 11 0 488780377 860868608 27190 4294967295 134512640 134569956 3221224400 3221214568 1131587790 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 27190 13073 16 0 210157 0 vsize: 840692 [startup+240.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 0 1 0 21796 47 0 0 25 0 11 0 488780377 860868608 27582 4294967295 134512640 134569956 3221224400 3221214768 1131363016 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 27582 13073 16 0 210157 0 vsize: 840692 [startup+250.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 0 1 0 22717 48 0 0 25 0 11 0 488780377 860868608 27719 4294967295 134512640 134569956 3221224400 3221214768 1131363060 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 27719 13073 16 0 210157 0 vsize: 840692 [startup+260.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 0 1 0 23658 48 0 0 25 0 11 0 488780377 860868608 27849 4294967295 134512640 134569956 3221224400 3221214768 1131363016 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 27849 13073 16 0 210157 0 vsize: 840692 [startup+270.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 0 1 0 24579 48 0 0 25 0 11 0 488780377 860868608 28003 4294967295 134512640 134569956 3221224400 3221214584 1131320046 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 28003 13073 16 0 210157 0 vsize: 840692 [startup+280.039 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 0 1 0 25518 48 0 0 25 0 11 0 488780377 860868608 28295 4294967295 134512640 134569956 3221224400 3221214744 1131271832 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 28295 13073 16 0 210157 0 vsize: 840692 [startup+290.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6720 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 0 1 0 26453 48 0 0 25 0 11 0 488780377 860868608 28345 4294967295 134512640 134569956 3221224400 3221214664 1131312119 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 28345 13073 16 0 210157 0 vsize: 840692 [startup+300.041 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6721 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 27387 48 0 0 25 0 11 0 488780377 860868608 28537 4294967295 134512640 134569956 3221224400 3221214672 1131313465 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 28537 13073 16 0 210157 0 vsize: 840692 [startup+310.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6721 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 28336 48 0 0 25 0 11 0 488780377 860868608 28676 4294967295 134512640 134569956 3221224400 3221214768 1131367837 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 28676 13073 16 0 210157 0 vsize: 840692 [startup+320.039 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6721 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 29280 48 0 0 25 0 11 0 488780377 860868608 28753 4294967295 134512640 134569956 3221224400 3221214824 1131384457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 28753 13073 16 0 210157 0 vsize: 840692 [startup+330.039 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6721 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 30224 48 0 0 25 0 11 0 488780377 860868608 29067 4294967295 134512640 134569956 3221224400 3221214536 1131344018 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 29067 13073 16 0 210157 0 vsize: 840692 [startup+340.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6721 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 31179 48 0 0 24 0 11 0 488780377 860868608 29136 4294967295 134512640 134569956 3221224400 3221214752 1131400912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 29136 13073 16 0 210157 0 vsize: 840692 [startup+350.042 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6721 Raw data (stat): 6710 (java) S 6709 32461 32460 0 -1 0 18076 4 1 0 32127 48 0 0 25 0 11 0 488780377 860868608 29193 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 29193 13073 16 0 210157 0 vsize: 840692 [startup+360.043 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6721 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 33054 48 0 0 25 0 11 0 488780377 860868608 29357 4294967295 134512640 134569956 3221224400 3221214540 1131345168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 29357 13073 16 0 210157 0 vsize: 840692 [startup+370.043 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6721 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 33985 49 0 0 25 0 11 0 488780377 860868608 29419 4294967295 134512640 134569956 3221224400 3221214576 1131182471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 29419 13073 16 0 210157 0 vsize: 840692 [startup+380.043 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6721 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 34930 49 0 0 25 0 11 0 488780377 860868608 29475 4294967295 134512640 134569956 3221224400 3221214480 1131319791 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 29475 13073 16 0 210157 0 vsize: 840692 [startup+390.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6721 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 35870 49 0 0 25 0 11 0 488780377 860868608 29837 4294967295 134512640 134569956 3221224400 3221214768 1131365697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 29837 13073 16 0 210157 0 vsize: 840692 [startup+400.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6721 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 36813 49 0 0 24 0 11 0 488780377 860868608 29967 4294967295 134512640 134569956 3221224400 3221214768 1131367516 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 29967 13073 16 0 210157 0 vsize: 840692 [startup+410.044 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6721 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 37765 49 0 0 25 0 11 0 488780377 860868608 30127 4294967295 134512640 134569956 3221224400 3221214672 1131313681 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 30127 13073 16 0 210157 0 vsize: 840692 [startup+420.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 38720 49 0 0 25 0 11 0 488780377 860868608 30223 4294967295 134512640 134569956 3221224400 3221214668 1131319744 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 30223 13073 16 0 210157 0 vsize: 840692 [startup+430.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 39671 49 0 0 25 0 11 0 488780377 860868608 30363 4294967295 134512640 134569956 3221224400 3221214656 1131388093 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 30363 13073 16 0 210157 0 vsize: 840692 [startup+440.046 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 40616 49 0 0 25 0 11 0 488780377 860868608 30372 4294967295 134512640 134569956 3221224400 3221214284 1131338961 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 30372 13073 16 0 210157 0 vsize: 840692 [startup+450.046 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 41571 49 0 0 25 0 11 0 488780377 860868608 30573 4294967295 134512640 134569956 3221224400 3221214768 1131362948 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 30573 13073 16 0 210157 0 vsize: 840692 [startup+460.048 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6722 Raw data (stat): 6710 (java) S 6709 32461 32460 0 -1 0 18076 4 1 0 42517 49 0 0 25 0 11 0 488780377 860868608 30588 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 30588 13073 16 0 210157 0 vsize: 840692 [startup+470.048 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 43453 49 0 0 25 0 11 0 488780377 860868608 30752 4294967295 134512640 134569956 3221224400 3221214752 1131401011 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 30752 13073 16 0 210157 0 vsize: 840692 [startup+480.049 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 44390 49 0 0 25 0 11 0 488780377 860868608 30904 4294967295 134512640 134569956 3221224400 3221214768 1131363016 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 30904 13073 16 0 210157 0 vsize: 840692 [startup+490.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 45321 49 0 0 25 0 11 0 488780377 860868608 31065 4294967295 134512640 134569956 3221224400 3221214664 1131312088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 31065 13073 16 0 210157 0 vsize: 840692 [startup+500.051 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 46246 49 0 0 25 0 11 0 488780377 860868608 31136 4294967295 134512640 134569956 3221224400 3221214768 1131362955 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 31136 13073 16 0 210157 0 vsize: 840692 [startup+510.051 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 47158 49 0 0 24 0 11 0 488780377 860868608 31431 4294967295 134512640 134569956 3221224400 3221214672 1131313451 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 31431 13073 16 0 210157 0 vsize: 840692 [startup+520.051 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 48072 49 0 0 24 0 11 0 488780377 860868608 31612 4294967295 134512640 134569956 3221224400 3221214672 1131313465 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 31612 13073 16 0 210157 0 vsize: 840692 [startup+530.051 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 48986 49 0 0 25 0 11 0 488780377 860868608 31684 4294967295 134512640 134569956 3221224400 3221214632 1131313502 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 31684 13073 16 0 210157 0 vsize: 840692 [startup+540.053 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 49914 50 0 0 25 0 11 0 488780377 860868608 32127 4294967295 134512640 134569956 3221224400 3221214480 1131319919 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 32127 13073 16 0 210157 0 vsize: 840692 [startup+550.053 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 50850 50 0 0 25 0 11 0 488780377 860868608 32304 4294967295 134512640 134569956 3221224400 3221214576 1131271780 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 32304 13073 16 0 210157 0 vsize: 840692 [startup+560.052 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 51801 50 0 0 25 0 11 0 488780377 860868608 32481 4294967295 134512640 134569956 3221224400 3221214576 1131182471 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 32481 13073 16 0 210157 0 vsize: 840692 [startup+570.054 s] Raw data (loadavg): 1.07 1.01 0.96 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 52756 50 0 0 25 0 11 0 488780377 860868608 32493 4294967295 134512640 134569956 3221224400 3221214664 1131355323 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 32493 13073 16 0 210157 0 vsize: 840692 [startup+580.053 s] Raw data (loadavg): 1.06 1.01 0.96 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 53715 50 0 0 25 0 11 0 488780377 860868608 32666 4294967295 134512640 134569956 3221224400 3221214472 1131320080 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 32666 13073 16 0 210157 0 vsize: 840692 [startup+590.054 s] Raw data (loadavg): 1.05 1.01 0.96 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 54684 50 0 0 25 0 11 0 488780377 860868608 32770 4294967295 134512640 134569956 3221224400 3221214672 1131528434 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 32770 13073 16 0 210157 0 vsize: 840692 [startup+600.054 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 55661 50 0 0 24 0 11 0 488780377 860868608 32786 4294967295 134512640 134569956 3221224400 3221214568 1131538295 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 32786 13073 16 0 210157 0 vsize: 840692 [startup+610.054 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 56646 50 0 0 25 0 11 0 488780377 860868608 32837 4294967295 134512640 134569956 3221224400 3221214672 1131528419 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 32837 13073 16 0 210157 0 vsize: 840692 [startup+620.054 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 57637 51 0 0 25 0 11 0 488780377 860868608 32838 4294967295 134512640 134569956 3221224400 3221214704 1131385203 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 32838 13073 16 0 210157 0 vsize: 840692 [startup+630.054 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 58605 51 0 0 25 0 11 0 488780377 860868608 32838 4294967295 134512640 134569956 3221224400 3221214480 1131319885 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 32838 13073 16 0 210157 0 vsize: 840692 [startup+640.055 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 59573 51 0 0 25 0 11 0 488780377 860868608 32840 4294967295 134512640 134569956 3221224400 3221214472 1131320132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 32840 13073 16 0 210157 0 vsize: 840692 [startup+650.054 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 6722 Raw data (stat): 6710 (java) S 6709 32461 32460 0 -1 0 18076 4 1 0 60543 51 0 0 25 0 11 0 488780377 860868608 32840 4294967295 134512640 134569956 3221224400 3221213072 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 32840 13073 16 0 210157 0 vsize: 840692 [startup+660.055 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 6722 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 61515 52 0 0 25 0 11 0 488780377 860868608 33006 4294967295 134512640 134569956 3221224400 3221214672 1131528416 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33006 13073 16 0 210157 0 vsize: 840692 [startup+670.056 s] Raw data (loadavg): 1.01 1.00 0.96 3/67 6759 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 62484 56 0 0 25 0 11 0 488780377 860868608 33006 4294967295 134512640 134569956 3221224400 3221214480 1131320172 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 33006 13073 16 0 210157 0 vsize: 840692 [startup+680.057 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 6775 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 63454 58 0 0 25 0 11 0 488780377 860868608 33007 4294967295 134512640 134569956 3221224400 3221214668 1131270799 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33007 13073 16 0 210157 0 vsize: 840692 [startup+690.058 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 6775 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 64427 58 0 0 25 0 11 0 488780377 860868608 33027 4294967295 134512640 134569956 3221224400 3221214480 1131319808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33027 13073 16 0 210157 0 vsize: 840692 [startup+700.058 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 6775 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 65403 58 0 0 25 0 11 0 488780377 860868608 33090 4294967295 134512640 134569956 3221224400 3221214480 1131320172 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33090 13073 16 0 210157 0 vsize: 840692 [startup+710.058 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6775 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 66382 58 0 0 25 0 11 0 488780377 860868608 33090 4294967295 134512640 134569956 3221224400 3221214568 1131537402 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33090 13073 16 0 210157 0 vsize: 840692 [startup+720.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6775 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 67355 59 0 0 25 0 11 0 488780377 860868608 33125 4294967295 134512640 134569956 3221224400 3221214480 1131321961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33125 13073 16 0 210157 0 vsize: 840692 [startup+730.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6775 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 68323 59 0 0 25 0 11 0 488780377 860868608 33175 4294967295 134512640 134569956 3221224400 3221214568 1131536410 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33175 13073 16 0 210157 0 vsize: 840692 [startup+740.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 69294 59 0 0 25 0 11 0 488780377 860868608 33175 4294967295 134512640 134569956 3221224400 3221214568 1131536504 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33175 13073 16 0 210157 0 vsize: 840692 [startup+750.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 70265 59 0 0 25 0 11 0 488780377 860868608 33288 4294967295 134512640 134569956 3221224400 3221214480 1131319757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33288 13073 16 0 210157 0 vsize: 840692 [startup+760.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 71257 60 0 0 25 0 11 0 488780377 860868608 33288 4294967295 134512640 134569956 3221224400 3221214568 1131536239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33288 13073 16 0 210157 0 vsize: 840692 [startup+770.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 72245 60 0 0 25 0 11 0 488780377 860868608 33289 4294967295 134512640 134569956 3221224400 3221214568 1131538936 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33289 13073 16 0 210157 0 vsize: 840692 [startup+780.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 73217 60 0 0 25 0 11 0 488780377 860868608 33290 4294967295 134512640 134569956 3221224400 3221214680 1131523585 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33290 13073 16 0 210157 0 vsize: 840692 [startup+790.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 74172 60 0 0 25 0 11 0 488780377 860868608 33290 4294967295 134512640 134569956 3221224400 3221214472 1131320736 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33290 13073 16 0 210157 0 vsize: 840692 [startup+800.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 75128 60 0 0 25 0 11 0 488780377 860868608 33319 4294967295 134512640 134569956 3221224400 3221214568 1131538933 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33319 13073 16 0 210157 0 vsize: 840692 [startup+810.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 76090 60 0 0 25 0 11 0 488780377 860868608 33324 4294967295 134512640 134569956 3221224400 3221214728 1131235328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33324 13073 16 0 210157 0 vsize: 840692 [startup+820.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 77051 60 0 0 24 0 11 0 488780377 860868608 33662 4294967295 134512640 134569956 3221224400 3221214472 1131319875 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33662 13073 16 0 210157 0 vsize: 840692 [startup+830.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 78028 60 0 0 25 0 11 0 488780377 860868608 33662 4294967295 134512640 134569956 3221224400 3221214472 1131319808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33662 13073 16 0 210157 0 vsize: 840692 [startup+840.061 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 79016 60 0 0 25 0 11 0 488780377 860868608 33662 4294967295 134512640 134569956 3221224400 3221214152 1085679747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33662 13073 16 0 210157 0 vsize: 840692 [startup+850.064 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) S 6709 32461 32460 0 -1 0 18076 4 1 0 79996 60 0 0 25 0 11 0 488780377 860868608 33662 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33662 13073 16 0 210157 0 vsize: 840692 [startup+860.064 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 80957 61 0 0 25 0 11 0 488780377 860868608 33736 4294967295 134512640 134569956 3221224400 3221214768 1131362955 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33736 13073 16 0 210157 0 vsize: 840692 [startup+870.064 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 81917 61 0 0 25 0 11 0 488780377 860868608 33787 4294967295 134512640 134569956 3221224400 3221214720 1131324249 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33787 13073 16 0 210157 0 vsize: 840692 [startup+880.065 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 82875 61 0 0 25 0 11 0 488780377 860868608 33800 4294967295 134512640 134569956 3221224400 3221214768 1131363814 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33800 13073 16 0 210157 0 vsize: 840692 [startup+890.065 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 83829 61 0 0 25 0 11 0 488780377 860868608 33863 4294967295 134512640 134569956 3221224400 3221214752 1131400859 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33863 13073 16 0 210157 0 vsize: 840692 [startup+900.066 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 84784 61 0 0 25 0 11 0 488780377 860868608 33999 4294967295 134512640 134569956 3221224400 3221214764 1131436972 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 33999 13073 16 0 210157 0 vsize: 840692 [startup+910.066 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 85741 61 0 0 25 0 11 0 488780377 860868608 34083 4294967295 134512640 134569956 3221224400 3221214672 1131359376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 34083 13073 16 0 210157 0 vsize: 840692 [startup+920.067 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 86688 61 0 0 25 0 11 0 488780377 860868608 34173 4294967295 134512640 134569956 3221224400 3221214672 1131313425 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 34173 13073 16 0 210157 0 vsize: 840692 [startup+930.067 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 87628 61 0 0 25 0 11 0 488780377 860868608 34292 4294967295 134512640 134569956 3221224400 3221214672 1131313505 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 34292 13073 16 0 210157 0 vsize: 840692 [startup+940.067 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 88541 61 0 0 24 0 11 0 488780377 860868608 34412 4294967295 134512640 134569956 3221224400 3221214632 1131313505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 34412 13073 16 0 210157 0 vsize: 840692 [startup+950.068 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 89455 61 0 0 25 0 11 0 488780377 860868608 34517 4294967295 134512640 134569956 3221224400 3221214768 1131362948 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 34517 13073 16 0 210157 0 vsize: 840692 [startup+960.069 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 90369 62 0 0 25 0 11 0 488780377 860868608 34749 4294967295 134512640 134569956 3221224400 3221214752 1131403230 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 34749 13073 16 0 210157 0 vsize: 840692 [startup+970.069 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 91273 62 0 0 24 0 11 0 488780377 860868608 35009 4294967295 134512640 134569956 3221224400 3221214728 1131234713 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 35009 13073 16 0 210157 0 vsize: 840692 [startup+980.068 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 92206 62 0 0 25 0 11 0 488780377 860868608 35305 4294967295 134512640 134569956 3221224400 3221214168 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 35305 13073 16 0 210157 0 vsize: 840692 [startup+990.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 93138 62 0 0 25 0 11 0 488780377 860868608 35509 4294967295 134512640 134569956 3221224400 3221214752 1131402908 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 35509 13073 16 0 210157 0 vsize: 840692 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6777 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 94067 62 0 0 24 0 11 0 488780377 860868608 35661 4294967295 134512640 134569956 3221224400 3221214568 1131538974 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 35661 13073 16 0 210157 0 vsize: 840692 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 95004 62 0 0 25 0 11 0 488780377 860868608 35805 4294967295 134512640 134569956 3221224400 3221214656 1131389002 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 35805 13073 16 0 210157 0 vsize: 840692 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 95931 62 0 0 25 0 11 0 488780377 860868608 36040 4294967295 134512640 134569956 3221224400 3221214752 1131403209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 36040 13073 16 0 210157 0 vsize: 840692 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 96877 62 0 0 25 0 11 0 488780377 860868608 36109 4294967295 134512640 134569956 3221224400 3221214672 1131528419 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 36109 13073 16 0 210157 0 vsize: 840692 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 97818 62 0 0 25 0 11 0 488780377 860868608 36260 4294967295 134512640 134569956 3221224400 3221214576 1131182495 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 36260 13073 16 0 210157 0 vsize: 840692 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 98763 62 0 0 25 0 11 0 488780377 860868608 36438 4294967295 134512640 134569956 3221224400 3221214240 1131345218 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 36438 13073 16 0 210157 0 vsize: 840692 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 99712 62 0 0 25 0 11 0 488780377 860868608 36570 4294967295 134512640 134569956 3221224400 3221214184 1131345169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 36570 13073 16 0 210157 0 vsize: 840692 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 100647 63 0 0 25 0 11 0 488780377 860868608 36701 4294967295 134512640 134569956 3221224400 3221214768 1131364460 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 36701 13073 16 0 210157 0 vsize: 840692 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) S 6709 32461 32460 0 -1 0 18076 4 1 0 101583 63 0 0 25 0 11 0 488780377 860868608 36830 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 36830 13073 16 0 210157 0 vsize: 840692 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 102526 63 0 0 25 0 11 0 488780377 860868608 36968 4294967295 134512640 134569956 3221224400 3221214876 1080204290 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 36968 13073 16 0 210157 0 vsize: 840692 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 103477 63 0 0 25 0 11 0 488780377 860868608 37077 4294967295 134512640 134569956 3221224400 3221214704 1131385016 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 37077 13073 16 0 210157 0 vsize: 840692 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 104428 64 0 0 25 0 11 0 488780377 860868608 37230 4294967295 134512640 134569956 3221224400 3221214672 1131313505 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 37230 13073 16 0 210157 0 vsize: 840692 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 105386 64 0 0 25 0 11 0 488780377 860868608 37323 4294967295 134512640 134569956 3221224400 3221214568 1131537440 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 37323 13073 16 0 210157 0 vsize: 840692 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 106347 64 0 0 25 0 11 0 488780377 860868608 37339 4294967295 134512640 134569956 3221224400 3221214568 1131536163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 37339 13073 16 0 210157 0 vsize: 840692 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 107304 65 0 0 25 0 11 0 488780377 860868608 37547 4294967295 134512640 134569956 3221224400 3221214672 1131528506 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 37547 13073 16 0 210157 0 vsize: 840692 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 108271 65 0 0 25 0 11 0 488780377 860868608 37562 4294967295 134512640 134569956 3221224400 3221214672 1131528549 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 37562 13073 16 0 210157 0 vsize: 840692 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 109245 65 0 0 25 0 11 0 488780377 860868608 37656 4294967295 134512640 134569956 3221224400 3221214240 1131345169 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 37656 13073 16 0 210157 0 vsize: 840692 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 110222 66 0 0 25 0 11 0 488780377 860868608 37723 4294967295 134512640 134569956 3221224400 3221214576 1131271821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 37723 13073 16 0 210157 0 vsize: 840692 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 111192 66 0 0 25 0 11 0 488780377 860868608 37786 4294967295 134512640 134569956 3221224400 3221214472 1131319757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 37786 13073 16 0 210157 0 vsize: 840692 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 112160 66 0 0 25 0 11 0 488780377 860868608 37787 4294967295 134512640 134569956 3221224400 3221214584 1131271722 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 37787 13073 16 0 210157 0 vsize: 840692 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 113133 66 0 0 25 0 11 0 488780377 860868608 37809 4294967295 134512640 134569956 3221224400 3221214480 1131319955 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 37809 13073 16 0 210157 0 vsize: 840692 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 114109 66 0 0 25 0 11 0 488780377 860868608 37896 4294967295 134512640 134569956 3221224400 3221214472 1131320196 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 37896 13073 16 0 210157 0 vsize: 840692 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 115088 66 0 0 25 0 11 0 488780377 860868608 37961 4294967295 134512640 134569956 3221224400 3221214768 1131362955 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 37961 13073 16 0 210157 0 vsize: 840692 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 116064 66 0 0 25 0 11 0 488780377 860868608 37999 4294967295 134512640 134569956 3221224400 3221214568 1131536410 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 37999 13073 16 0 210157 0 vsize: 840692 [startup+1240.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 117032 67 0 0 24 0 11 0 488780377 860868608 38018 4294967295 134512640 134569956 3221224400 3221214576 1131269705 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 38018 13073 16 0 210157 0 vsize: 840692 [startup+1250.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 117994 67 0 0 24 0 11 0 488780377 860868608 38021 4294967295 134512640 134569956 3221224400 3221214672 1131528434 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 38021 13073 16 0 210157 0 vsize: 840692 [startup+1260.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 118975 67 0 0 25 0 11 0 488780377 860868608 38042 4294967295 134512640 134569956 3221224400 3221214672 1131313448 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 38042 13073 16 0 210157 0 vsize: 840692 [startup+1270.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 119932 67 0 0 25 0 11 0 488780377 860868608 38082 4294967295 134512640 134569956 3221224400 3221214672 1131313407 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 38082 13073 16 0 210157 0 vsize: 840692 [startup+1280.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6779 Raw data (stat): 6710 (java) R 6709 32461 32460 0 -1 0 18076 4 1 0 120887 68 0 0 25 0 11 0 488780377 860868608 38238 4294967295 134512640 134569956 3221224400 3221214768 1131363016 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210173 38238 13073 16 0 210157 0 vsize: 840692 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1280.2 s] Raw data (loadavg): 1.00 1.00 0.96 1/54 6781 Raw data (stat): 6710 (java) Z 6709 32461 32460 0 -1 1036 18076 25620 1 0 120892 75 8231 70 25 0 1 0 488780377 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.2 CPU time (s): 1292.7 CPU user time (s): 1291.24 CPU system time (s): 1.45678 CPU usage (%): 100.976 Max. virtual memory (Kb): 844352 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####