Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb |
MD5SUM | 980dd801f0823d520b47724b99fabded |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 45 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 45 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 22 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 67 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01984 |
Number of variables | 45 |
Total number of constraints | 376 |
Number of constraints which are clauses | 330 |
Number of constraints which are cardinality constraints (but not clauses) | 46 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 45 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-04-21 08:54:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=12346 boxname=wulflinc31 idbench=950 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 980dd801f0823d520b47724b99fabded /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-stein45.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-stein45.opb IDLAUNCH: 12346 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 651344 kB Buffers: 31816 kB Cached: 323760 kB SwapCached: 540 kB Active: 118516 kB Inactive: 239048 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 651092 kB SwapTotal: 2097892 kB SwapFree: 2096468 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5100 kB Slab: 20108 kB Committed_AS: 63488 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 09:15:21 (client local time) WITH STATUS 143 IN 1234.93 SECONDS stats: 12346 7 1234.93 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-stein45.opb c reading problem c [nbvar=45] c [nbconstr=376] c time 1.087 c #vars 45 c #clauses 331 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=33 c Current CPU time (ms) : 1.249 c starts : 1 c conflicts : 0 c decisions : 12 c propagations : 45 c inspects : 266 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 c c CURRENT OPTIMUM=32 c Current CPU time (ms) : 2.236 c starts : 2 c conflicts : 7 c decisions : 31 c propagations : 119 c inspects : 750 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 7 c root simplifications : 2 c c CURRENT OPTIMUM=31 c Current CPU time (ms) : 5.288 c starts : 3 c conflicts : 51 c decisions : 86 c propagations : 401 c inspects : 3611 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 51 c root simplifications : 3 c c CURRENT OPTIMUM=30 c Current CPU time (ms) : 5.747 c starts : 4 c conflicts : 56 c decisions : 104 c propagations : 470 c inspects : 4658 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 56 c root simplifications : 4 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.91 0.95 0.91 2/54 24696 Raw data (stat): 24696 (runsolver) R 24695 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 543784029 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0016 s] Raw data (loadavg): 1.23 1.02 0.94 4/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 16583 6 1 0 561 40 0 0 25 0 11 0 543784029 870703104 20768 4294967295 134512640 134569956 3221224400 3221214896 1130883310 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212574 20768 13073 16 0 212558 0 vsize: 850296 [startup+20.0022 s] Raw data (loadavg): 1.35 1.05 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 1398 43 0 0 25 0 11 0 543784029 871751680 23400 4294967295 134512640 134569956 3221224400 3221214800 1131191831 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212830 23400 13073 16 0 212814 0 vsize: 851320 [startup+30.0021 s] Raw data (loadavg): 1.29 1.05 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 2363 44 0 0 25 0 11 0 543784029 870367232 23471 4294967295 134512640 134569956 3221224400 3221214672 1131335355 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 23471 13073 16 0 212476 0 vsize: 849968 [startup+40.0023 s] Raw data (loadavg): 1.25 1.05 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 3318 44 0 0 25 0 11 0 543784029 870367232 23777 4294967295 134512640 134569956 3221224400 3221214552 1131327172 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 23777 13073 16 0 212476 0 vsize: 849968 [startup+50.0029 s] Raw data (loadavg): 1.21 1.05 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 4274 44 0 0 25 0 11 0 543784029 870367232 24017 4294967295 134512640 134569956 3221224400 3221214064 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 24017 13073 16 0 212476 0 vsize: 849968 [startup+60.0039 s] Raw data (loadavg): 1.18 1.04 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 5217 44 0 0 25 0 11 0 543784029 870367232 24278 4294967295 134512640 134569956 3221224400 3221214800 1131191831 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 24278 13073 16 0 212476 0 vsize: 849968 [startup+70.0053 s] Raw data (loadavg): 1.15 1.04 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 6170 44 0 0 25 0 11 0 543784029 870367232 24383 4294967295 134512640 134569956 3221224400 3221214800 1131192322 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 24383 13073 16 0 212476 0 vsize: 849968 [startup+80.0058 s] Raw data (loadavg): 1.20 1.06 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 7127 44 0 0 25 0 11 0 543784029 870367232 24555 4294967295 134512640 134569956 3221224400 3221214912 1131139421 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 24555 13073 16 0 212476 0 vsize: 849968 [startup+90.0067 s] Raw data (loadavg): 1.17 1.06 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 8086 44 0 0 25 0 11 0 543784029 870367232 24708 4294967295 134512640 134569956 3221224400 3221214600 1131611221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 24708 13073 16 0 212476 0 vsize: 849968 [startup+100.012 s] Raw data (loadavg): 1.14 1.05 0.95 2/64 24710 Raw data (stat): 24696 (java) S 24695 23176 23175 0 -1 0 18116 6 1 0 9050 44 0 0 25 0 11 0 543784029 870367232 24811 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 24811 13073 16 0 212476 0 vsize: 849968 [startup+110.013 s] Raw data (loadavg): 1.12 1.05 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 10010 44 0 0 25 0 11 0 543784029 870367232 24951 4294967295 134512640 134569956 3221224400 3221214896 1131203605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 24951 13073 16 0 212476 0 vsize: 849968 [startup+120.012 s] Raw data (loadavg): 1.10 1.05 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 10973 44 0 0 18 0 11 0 543784029 870367232 25116 4294967295 134512640 134569956 3221224400 3221214608 1131685056 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 25116 13073 16 0 212476 0 vsize: 849968 [startup+130.013 s] Raw data (loadavg): 1.08 1.05 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 11945 44 0 0 25 0 11 0 543784029 870367232 25150 4294967295 134512640 134569956 3221224400 3221214896 1131203605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 25150 13073 16 0 212476 0 vsize: 849968 [startup+140.013 s] Raw data (loadavg): 1.07 1.05 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 12913 44 0 0 25 0 11 0 543784029 870367232 25247 4294967295 134512640 134569956 3221224400 3221213928 1085679272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 25247 13073 16 0 212476 0 vsize: 849968 [startup+150.013 s] Raw data (loadavg): 1.06 1.04 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 13881 44 0 0 25 0 11 0 543784029 870367232 25363 4294967295 134512640 134569956 3221224400 3221214332 1131494374 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 25363 13073 16 0 212476 0 vsize: 849968 [startup+160.015 s] Raw data (loadavg): 1.05 1.04 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 14851 45 0 0 25 0 11 0 543784029 870367232 25455 4294967295 134512640 134569956 3221224400 3221214824 1131153856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 25455 13073 16 0 212476 0 vsize: 849968 [startup+170.015 s] Raw data (loadavg): 1.04 1.04 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 15827 45 0 0 25 0 11 0 543784029 870367232 25516 4294967295 134512640 134569956 3221224400 3221214316 1131494288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 25516 13073 16 0 212476 0 vsize: 849968 [startup+180.015 s] Raw data (loadavg): 1.04 1.04 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 16798 45 0 0 25 0 11 0 543784029 870367232 25591 4294967295 134512640 134569956 3221224400 3221214592 1131494264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 25591 13073 16 0 212476 0 vsize: 849968 [startup+190.015 s] Raw data (loadavg): 1.03 1.04 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 17768 45 0 0 25 0 11 0 543784029 870367232 25666 4294967295 134512640 134569956 3221224400 3221214776 1131191692 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 25666 13073 16 0 212476 0 vsize: 849968 [startup+200.016 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 18745 45 0 0 25 0 11 0 543784029 870367232 25722 4294967295 134512640 134569956 3221224400 3221214088 1131611223 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 25722 13073 16 0 212476 0 vsize: 849968 [startup+210.017 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 19717 45 0 0 25 0 11 0 543784029 870367232 25796 4294967295 134512640 134569956 3221224400 3221214184 1131494264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 25796 13073 16 0 212476 0 vsize: 849968 [startup+220.018 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 20694 45 0 0 25 0 11 0 543784029 870367232 25844 4294967295 134512640 134569956 3221224400 3221214456 1131494264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 25844 13073 16 0 212476 0 vsize: 849968 [startup+230.018 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 21671 45 0 0 25 0 11 0 543784029 870367232 25915 4294967295 134512640 134569956 3221224400 3221214872 1131203497 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 25915 13073 16 0 212476 0 vsize: 849968 [startup+240.019 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 22644 45 0 0 25 0 11 0 543784029 870367232 25982 4294967295 134512640 134569956 3221224400 3221214096 1131676635 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 25982 13073 16 0 212476 0 vsize: 849968 [startup+250.019 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 23622 45 0 0 25 0 11 0 543784029 870367232 26037 4294967295 134512640 134569956 3221224400 3221214768 1131326924 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 26037 13073 16 0 212476 0 vsize: 849968 [startup+260.02 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 24600 45 0 0 25 0 11 0 543784029 870367232 26091 4294967295 134512640 134569956 3221224400 3221214824 1131153893 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 26091 13073 16 0 212476 0 vsize: 849968 [startup+270.027 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 25574 45 0 0 25 0 11 0 543784029 870367232 26146 4294967295 134512640 134569956 3221224400 3221214232 1131676669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 26146 13073 16 0 212476 0 vsize: 849968 [startup+280.027 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 26552 45 0 0 25 0 11 0 543784029 870367232 26203 4294967295 134512640 134569956 3221224400 3221214776 1131192427 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 26203 13073 16 0 212476 0 vsize: 849968 [startup+290.027 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 27531 45 0 0 25 0 11 0 543784029 870367232 26250 4294967295 134512640 134569956 3221224400 3221214776 1131192016 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 26250 13073 16 0 212476 0 vsize: 849968 [startup+300.027 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 28503 45 0 0 25 0 11 0 543784029 870367232 26314 4294967295 134512640 134569956 3221224400 3221214776 1131192433 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 26314 13073 16 0 212476 0 vsize: 849968 [startup+310.029 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 29482 45 0 0 25 0 11 0 543784029 870367232 26357 4294967295 134512640 134569956 3221224400 3221214640 1131684518 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 26357 13073 16 0 212476 0 vsize: 849968 [startup+320.029 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 24710 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 30455 45 0 0 25 0 11 0 543784029 870367232 26417 4294967295 134512640 134569956 3221224400 3221214720 1130918818 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 26417 13073 16 0 212476 0 vsize: 849968 [startup+330.036 s] Raw data (loadavg): 1.08 1.04 0.96 2/67 24748 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 31425 52 0 0 25 0 11 0 543784029 870367232 26468 4294967295 134512640 134569956 3221224400 3221214632 1131611221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 26468 13073 16 0 212476 0 vsize: 849968 [startup+340.147 s] Raw data (loadavg): 1.21 1.07 0.97 2/64 24763 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 32409 56 0 0 25 0 11 0 543784029 870367232 26508 4294967295 134512640 134569956 3221224400 3221214452 1131494232 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 26508 13073 16 0 212476 0 vsize: 849968 [startup+350.147 s] Raw data (loadavg): 1.18 1.06 0.97 2/64 24763 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 33381 56 0 0 24 0 11 0 543784029 870367232 26568 4294967295 134512640 134569956 3221224400 3221214232 1131677739 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 26568 13073 16 0 212476 0 vsize: 849968 [startup+360.148 s] Raw data (loadavg): 1.15 1.06 0.97 2/64 24763 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 34365 56 0 0 25 0 11 0 543784029 870367232 26605 4294967295 134512640 134569956 3221224400 3221214544 1131260098 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 26605 13073 16 0 212476 0 vsize: 849968 [startup+370.149 s] Raw data (loadavg): 1.13 1.06 0.97 2/64 24763 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 35343 57 0 0 25 0 11 0 543784029 870367232 26651 4294967295 134512640 134569956 3221224400 3221214228 1131676449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 26651 13073 16 0 212476 0 vsize: 849968 [startup+380.15 s] Raw data (loadavg): 1.11 1.06 0.97 2/64 24763 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 36320 57 0 0 19 0 11 0 543784029 870367232 26698 4294967295 134512640 134569956 3221224400 3221214184 1131597500 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 26698 13073 16 0 212476 0 vsize: 849968 [startup+390.152 s] Raw data (loadavg): 1.16 1.07 0.97 2/64 24763 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 37303 57 0 0 25 0 11 0 543784029 870367232 26731 4294967295 134512640 134569956 3221224400 3221214232 1131680420 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 26731 13073 16 0 212476 0 vsize: 849968 [startup+400.152 s] Raw data (loadavg): 1.14 1.07 0.97 2/64 24763 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 38280 58 0 0 25 0 11 0 543784029 870367232 26762 4294967295 134512640 134569956 3221224400 3221214860 1080204302 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 26762 13073 16 0 212476 0 vsize: 849968 [startup+410.154 s] Raw data (loadavg): 1.12 1.06 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 39257 58 0 0 25 0 11 0 543784029 870367232 26812 4294967295 134512640 134569956 3221224400 3221214456 1131494264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 26812 13073 16 0 212476 0 vsize: 849968 [startup+420.154 s] Raw data (loadavg): 1.10 1.06 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18116 6 1 0 40234 58 0 0 25 0 11 0 543784029 870367232 26858 4294967295 134512640 134569956 3221224400 3221214232 1131683589 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 26858 13073 16 0 212476 0 vsize: 849968 [startup+430.154 s] Raw data (loadavg): 1.08 1.06 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 41206 58 0 0 25 0 11 0 543784029 870367232 26913 4294967295 134512640 134569956 3221224400 3221214640 1131678164 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 26913 13073 16 0 212476 0 vsize: 849968 [startup+440.155 s] Raw data (loadavg): 1.07 1.06 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 42183 59 0 0 25 0 11 0 543784029 870367232 26965 4294967295 134512640 134569956 3221224400 3221214640 1131687310 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 26965 13073 16 0 212476 0 vsize: 849968 [startup+450.155 s] Raw data (loadavg): 1.06 1.05 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 43160 59 0 0 25 0 11 0 543784029 870367232 27014 4294967295 134512640 134569956 3221224400 3221214504 1085679454 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27014 13073 16 0 212476 0 vsize: 849968 [startup+460.156 s] Raw data (loadavg): 1.05 1.05 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 44138 59 0 0 25 0 11 0 543784029 870367232 27054 4294967295 134512640 134569956 3221224400 3221214092 1131611200 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27054 13073 16 0 212476 0 vsize: 849968 [startup+470.157 s] Raw data (loadavg): 1.04 1.05 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 45121 60 0 0 25 0 11 0 543784029 870367232 27093 4294967295 134512640 134569956 3221224400 3221214776 1131192387 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 27093 13073 16 0 212476 0 vsize: 849968 [startup+480.158 s] Raw data (loadavg): 1.03 1.05 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 46099 60 0 0 25 0 11 0 543784029 870367232 27138 4294967295 134512640 134569956 3221224400 3221214048 1131494209 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27138 13073 16 0 212476 0 vsize: 849968 [startup+490.159 s] Raw data (loadavg): 1.03 1.05 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 47077 60 0 0 25 0 11 0 543784029 870367232 27176 4294967295 134512640 134569956 3221224400 3221214776 1131191458 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 27176 13073 16 0 212476 0 vsize: 849968 [startup+500.159 s] Raw data (loadavg): 1.02 1.04 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 48054 60 0 0 25 0 11 0 543784029 870367232 27217 4294967295 134512640 134569956 3221224400 3221214568 1131363639 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27217 13073 16 0 212476 0 vsize: 849968 [startup+510.161 s] Raw data (loadavg): 1.02 1.04 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 49032 60 0 0 25 0 11 0 543784029 870367232 27260 4294967295 134512640 134569956 3221224400 3221214776 1131191458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27260 13073 16 0 212476 0 vsize: 849968 [startup+520.161 s] Raw data (loadavg): 1.02 1.04 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 50011 61 0 0 25 0 11 0 543784029 870367232 27304 4294967295 134512640 134569956 3221224400 3221213956 1131494224 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27304 13073 16 0 212476 0 vsize: 849968 [startup+530.161 s] Raw data (loadavg): 1.01 1.04 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 50989 61 0 0 25 0 11 0 543784029 870367232 27342 4294967295 134512640 134569956 3221224400 3221213952 1131611223 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 27342 13073 16 0 212476 0 vsize: 849968 [startup+540.162 s] Raw data (loadavg): 1.01 1.04 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 51968 61 0 0 25 0 11 0 543784029 870367232 27392 4294967295 134512640 134569956 3221224400 3221213776 1131494349 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27392 13073 16 0 212476 0 vsize: 849968 [startup+550.163 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 52947 62 0 0 25 0 11 0 543784029 870367232 27429 4294967295 134512640 134569956 3221224400 3221214504 1131693476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27429 13073 16 0 212476 0 vsize: 849968 [startup+560.164 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 53931 62 0 0 25 0 11 0 543784029 870367232 27476 4294967295 134512640 134569956 3221224400 3221214928 1131606141 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27476 13073 16 0 212476 0 vsize: 849968 [startup+570.165 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 54911 62 0 0 25 0 11 0 543784029 870367232 27516 4294967295 134512640 134569956 3221224400 3221214184 1131494228 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27516 13073 16 0 212476 0 vsize: 849968 [startup+580.166 s] Raw data (loadavg): 1.00 1.03 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 55895 62 0 0 25 0 11 0 543784029 870367232 27541 4294967295 134512640 134569956 3221224400 3221214320 1131494298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27541 13073 16 0 212476 0 vsize: 849968 [startup+590.167 s] Raw data (loadavg): 1.00 1.03 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 56874 63 0 0 25 0 11 0 543784029 870367232 27573 4294967295 134512640 134569956 3221224400 3221214180 1085632316 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27573 13073 16 0 212476 0 vsize: 849968 [startup+600.167 s] Raw data (loadavg): 1.00 1.03 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 57853 63 0 0 25 0 11 0 543784029 870367232 27604 4294967295 134512640 134569956 3221224400 3221213960 1085679538 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27604 13073 16 0 212476 0 vsize: 849968 [startup+610.168 s] Raw data (loadavg): 1.00 1.03 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 58832 64 0 0 25 0 11 0 543784029 870367232 27630 4294967295 134512640 134569956 3221224400 3221214776 1131191458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27630 13073 16 0 212476 0 vsize: 849968 [startup+620.169 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 59816 64 0 0 25 0 11 0 543784029 870367232 27662 4294967295 134512640 134569956 3221224400 3221214360 1131611221 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27662 13073 16 0 212476 0 vsize: 849968 [startup+630.169 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 60795 64 0 0 25 0 11 0 543784029 870367232 27695 4294967295 134512640 134569956 3221224400 3221214092 1131494374 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27695 13073 16 0 212476 0 vsize: 849968 [startup+640.17 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24765 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 61773 65 0 0 25 0 11 0 543784029 870367232 27737 4294967295 134512640 134569956 3221224400 3221214872 1131203781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27737 13073 16 0 212476 0 vsize: 849968 [startup+650.171 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 62751 66 0 0 25 0 11 0 543784029 870367232 27774 4294967295 134512640 134569956 3221224400 3221214776 1131191561 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27774 13073 16 0 212476 0 vsize: 849968 [startup+660.171 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 63730 66 0 0 25 0 11 0 543784029 870367232 27809 4294967295 134512640 134569956 3221224400 3221214184 1131494282 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27809 13073 16 0 212476 0 vsize: 849968 [startup+670.173 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 64713 67 0 0 25 0 11 0 543784029 870367232 27839 4294967295 134512640 134569956 3221224400 3221214840 1131466548 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27839 13073 16 0 212476 0 vsize: 849968 [startup+680.173 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24767 Raw data (stat): 24696 (java) S 24695 23176 23175 0 -1 0 18117 6 1 0 65691 67 0 0 25 0 11 0 543784029 870367232 27870 4294967295 134512640 134569956 3221224400 3221213416 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27870 13073 16 0 212476 0 vsize: 849968 [startup+690.174 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 66671 67 0 0 25 0 11 0 543784029 870367232 27906 4294967295 134512640 134569956 3221224400 3221214048 1131494268 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27906 13073 16 0 212476 0 vsize: 849968 [startup+700.175 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 67649 68 0 0 25 0 11 0 543784029 870367232 27939 4294967295 134512640 134569956 3221224400 3221214928 1131605846 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27939 13073 16 0 212476 0 vsize: 849968 [startup+710.176 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 68626 68 0 0 25 0 11 0 543784029 870367232 27976 4294967295 134512640 134569956 3221224400 3221214092 1085616768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 27976 13073 16 0 212476 0 vsize: 849968 [startup+720.177 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 69608 69 0 0 25 0 11 0 543784029 870367232 28005 4294967295 134512640 134569956 3221224400 3221214776 1131191831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28005 13073 16 0 212476 0 vsize: 849968 [startup+730.177 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 70585 69 0 0 25 0 11 0 543784029 870367232 28043 4294967295 134512640 134569956 3221224400 3221214320 1131494264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28043 13073 16 0 212476 0 vsize: 849968 [startup+740.178 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 71563 70 0 0 25 0 11 0 543784029 870367232 28073 4294967295 134512640 134569956 3221224400 3221213732 1131494112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28073 13073 16 0 212476 0 vsize: 849968 [startup+750.179 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 72540 70 0 0 25 0 11 0 543784029 870367232 28105 4294967295 134512640 134569956 3221224400 3221214824 1131153897 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28105 13073 16 0 212476 0 vsize: 849968 [startup+760.18 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 73518 71 0 0 25 0 11 0 543784029 870367232 28139 4294967295 134512640 134569956 3221224400 3221213872 1131604092 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28139 13073 16 0 212476 0 vsize: 849968 [startup+770.181 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 74501 71 0 0 25 0 11 0 543784029 870367232 28159 4294967295 134512640 134569956 3221224400 3221214368 1085679502 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 28159 13073 16 0 212476 0 vsize: 849968 [startup+780.181 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 75479 71 0 0 25 0 11 0 543784029 870367232 28208 4294967295 134512640 134569956 3221224400 3221214776 1131191802 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28208 13073 16 0 212476 0 vsize: 849968 [startup+790.181 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 76458 71 0 0 25 0 11 0 543784029 870367232 28266 4294967295 134512640 134569956 3221224400 3221214824 1131153856 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28266 13073 16 0 212476 0 vsize: 849968 [startup+800.182 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 77437 71 0 0 25 0 11 0 543784029 870367232 28294 4294967295 134512640 134569956 3221224400 3221214872 1131203621 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28294 13073 16 0 212476 0 vsize: 849968 [startup+810.183 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 78416 72 0 0 25 0 11 0 543784029 870367232 28321 4294967295 134512640 134569956 3221224400 3221214004 1131611209 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28321 13073 16 0 212476 0 vsize: 849968 [startup+820.184 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 79401 72 0 0 25 0 11 0 543784029 870367232 28339 4294967295 134512640 134569956 3221224400 3221214776 1131191535 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28339 13073 16 0 212476 0 vsize: 849968 [startup+830.183 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 80379 73 0 0 25 0 11 0 543784029 870367232 28370 4294967295 134512640 134569956 3221224400 3221214776 1131191458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28370 13073 16 0 212476 0 vsize: 849968 [startup+840.184 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 81357 73 0 0 25 0 11 0 543784029 870367232 28406 4294967295 134512640 134569956 3221224400 3221214012 1085679260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28406 13073 16 0 212476 0 vsize: 849968 [startup+850.184 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 82341 73 0 0 25 0 11 0 543784029 870367232 28429 4294967295 134512640 134569956 3221224400 3221214280 1131603873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 28429 13073 16 0 212476 0 vsize: 849968 [startup+860.185 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 83320 73 0 0 25 0 11 0 543784029 870367232 28463 4294967295 134512640 134569956 3221224400 3221214776 1131191421 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28463 13073 16 0 212476 0 vsize: 849968 [startup+870.186 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 84304 73 0 0 25 0 11 0 543784029 870367232 28488 4294967295 134512640 134569956 3221224400 3221213960 1085679325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28488 13073 16 0 212476 0 vsize: 849968 [startup+880.186 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 85283 74 0 0 25 0 11 0 543784029 870367232 28516 4294967295 134512640 134569956 3221224400 3221214320 1131494353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28516 13073 16 0 212476 0 vsize: 849968 [startup+890.187 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 86267 74 0 0 25 0 11 0 543784029 870367232 28538 4294967295 134512640 134569956 3221224400 3221214096 1085679452 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 28538 13073 16 0 212476 0 vsize: 849968 [startup+900.187 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 87245 74 0 0 25 0 11 0 543784029 870367232 28573 4294967295 134512640 134569956 3221224400 3221214368 1131678100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28573 13073 16 0 212476 0 vsize: 849968 [startup+910.188 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 88223 75 0 0 25 0 11 0 543784029 870367232 28601 4294967295 134512640 134569956 3221224400 3221214776 1131191831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28601 13073 16 0 212476 0 vsize: 849968 [startup+920.188 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 89207 75 0 0 25 0 11 0 543784029 870367232 28625 4294967295 134512640 134569956 3221224400 3221214776 1131191921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28625 13073 16 0 212476 0 vsize: 849968 [startup+930.189 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 90186 75 0 0 25 0 11 0 543784029 870367232 28659 4294967295 134512640 134569956 3221224400 3221214316 1131494288 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28659 13073 16 0 212476 0 vsize: 849968 [startup+940.189 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 91166 75 0 0 25 0 11 0 543784029 870367232 28693 4294967295 134512640 134569956 3221224400 3221214504 1131693508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28693 13073 16 0 212476 0 vsize: 849968 [startup+950.19 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 92150 76 0 0 25 0 11 0 543784029 870367232 28714 4294967295 134512640 134569956 3221224400 3221214368 1131677408 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28714 13073 16 0 212476 0 vsize: 849968 [startup+960.191 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 93129 76 0 0 25 0 11 0 543784029 870367232 28742 4294967295 134512640 134569956 3221224400 3221214776 1131191504 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28742 13073 16 0 212476 0 vsize: 849968 [startup+970.191 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 94112 76 0 0 25 0 11 0 543784029 870367232 28768 4294967295 134512640 134569956 3221224400 3221214588 1131494288 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28768 13073 16 0 212476 0 vsize: 849968 [startup+980.192 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 95090 76 0 0 25 0 11 0 543784029 870367232 28802 4294967295 134512640 134569956 3221224400 3221214776 1131191831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28802 13073 16 0 212476 0 vsize: 849968 [startup+990.193 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 96073 77 0 0 25 0 11 0 543784029 870367232 28820 4294967295 134512640 134569956 3221224400 3221214776 1131191837 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28820 13073 16 0 212476 0 vsize: 849968 [startup+1000.19 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 97056 77 0 0 25 0 11 0 543784029 870367232 28840 4294967295 134512640 134569956 3221224400 3221214224 1131679831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28840 13073 16 0 212476 0 vsize: 849968 [startup+1010.19 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 98033 77 0 0 25 0 11 0 543784029 870367232 28868 4294967295 134512640 134569956 3221224400 3221214776 1131191651 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28868 13073 16 0 212476 0 vsize: 849968 [startup+1020.19 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 99015 78 0 0 25 0 11 0 543784029 870367232 28886 4294967295 134512640 134569956 3221224400 3221213912 1131494289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28886 13073 16 0 212476 0 vsize: 849968 [startup+1030.19 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 99998 78 0 0 25 0 11 0 543784029 870367232 28908 4294967295 134512640 134569956 3221224400 3221214872 1131203754 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28908 13073 16 0 212476 0 vsize: 849968 [startup+1040.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 100974 78 0 0 25 0 11 0 543784029 870367232 28937 4294967295 134512640 134569956 3221224400 3221214096 1085679331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28937 13073 16 0 212476 0 vsize: 849968 [startup+1050.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 101957 79 0 0 25 0 11 0 543784029 870367232 28959 4294967295 134512640 134569956 3221224400 3221214776 1131191831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28959 13073 16 0 212476 0 vsize: 849968 [startup+1060.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 102939 79 0 0 25 0 11 0 543784029 870367232 28988 4294967295 134512640 134569956 3221224400 3221213912 1131494349 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 28988 13073 16 0 212476 0 vsize: 849968 [startup+1070.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 103921 80 0 0 25 0 11 0 543784029 870367232 29009 4294967295 134512640 134569956 3221224400 3221214504 1131686547 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29009 13073 16 0 212476 0 vsize: 849968 [startup+1080.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 104897 80 0 0 25 0 11 0 543784029 870367232 29043 4294967295 134512640 134569956 3221224400 3221214232 1085679482 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29043 13073 16 0 212476 0 vsize: 849968 [startup+1090.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 105878 81 0 0 25 0 11 0 543784029 870367232 29074 4294967295 134512640 134569956 3221224400 3221214588 1131494224 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29074 13073 16 0 212476 0 vsize: 849968 [startup+1100.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 106856 81 0 0 25 0 11 0 543784029 870367232 29107 4294967295 134512640 134569956 3221224400 3221214640 1131677408 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29107 13073 16 0 212476 0 vsize: 849968 [startup+1110.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 107839 81 0 0 25 0 11 0 543784029 870367232 29132 4294967295 134512640 134569956 3221224400 3221214776 1131192350 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 29132 13073 16 0 212476 0 vsize: 849968 [startup+1120.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 108816 81 0 0 25 0 11 0 543784029 870367232 29164 4294967295 134512640 134569956 3221224400 3221214868 1131192621 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 29164 13073 16 0 212476 0 vsize: 849968 [startup+1130.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 109799 81 0 0 25 0 11 0 543784029 870367232 29184 4294967295 134512640 134569956 3221224400 3221213824 1131680285 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29184 13073 16 0 212476 0 vsize: 849968 [startup+1140.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 110781 82 0 0 25 0 11 0 543784029 870367232 29208 4294967295 134512640 134569956 3221224400 3221214088 1131611221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212492 29208 13073 16 0 212476 0 vsize: 849968 [startup+1150.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 111763 82 0 0 25 0 11 0 543784029 870367232 29244 4294967295 134512640 134569956 3221224400 3221214452 1131494288 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29244 13073 16 0 212476 0 vsize: 849968 [startup+1160.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 112739 82 0 0 25 0 11 0 543784029 870367232 29274 4294967295 134512640 134569956 3221224400 3221214320 1131494240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29274 13073 16 0 212476 0 vsize: 849968 [startup+1170.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 113727 82 0 0 25 0 11 0 543784029 870367232 29291 4294967295 134512640 134569956 3221224400 3221214592 1131494282 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29291 13073 16 0 212476 0 vsize: 849968 [startup+1180.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 114704 83 0 0 25 0 11 0 543784029 870367232 29320 4294967295 134512640 134569956 3221224400 3221214776 1131191873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29320 13073 16 0 212476 0 vsize: 849968 [startup+1190.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 115686 83 0 0 25 0 11 0 543784029 870367232 29338 4294967295 134512640 134569956 3221224400 3221214824 1131153856 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29338 13073 16 0 212476 0 vsize: 849968 [startup+1200.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 116668 83 0 0 25 0 11 0 543784029 870367232 29360 4294967295 134512640 134569956 3221224400 3221214776 1131191831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29360 13073 16 0 212476 0 vsize: 849968 [startup+1210.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 117651 83 0 0 25 0 11 0 543784029 870367232 29378 4294967295 134512640 134569956 3221224400 3221214456 1131494220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29378 13073 16 0 212476 0 vsize: 849968 [startup+1220.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 118627 83 0 0 25 0 11 0 543784029 870367232 29416 4294967295 134512640 134569956 3221224400 3221214096 1131686096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29416 13073 16 0 212476 0 vsize: 849968 [startup+1230.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 119609 83 0 0 25 0 11 0 543784029 870367232 29445 4294967295 134512640 134569956 3221224400 3221214928 1131605843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29445 13073 16 0 212476 0 vsize: 849968 [startup+1240.2 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 24767 Raw data (stat): 24696 (java) R 24695 23176 23175 0 -1 0 18117 6 1 0 120586 84 0 0 25 0 11 0 543784029 870367232 29478 4294967295 134512640 134569956 3221224400 3221213960 1085679331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212492 29478 13073 16 0 212476 0 vsize: 849968 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.32 s] Raw data (loadavg): 1.00 1.00 0.97 1/54 24769 Raw data (stat): 24696 (java) Z 24695 23176 23175 0 -1 1036 18117 7204 1 0 120591 84 2794 22 25 0 1 0 543784029 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): 1240.31 CPU time (s): 1234.93 CPU user time (s): 1233.86 CPU system time (s): 1.06784 CPU usage (%): 99.5659 Max. virtual memory (Kb): 851320 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####