Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-seymour.opb |
MD5SUM | 7a556e7a6f3a7d80c9337cf46e294ecb |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 482 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1372 |
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 | 1372 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1372 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.05684 |
Number of variables | 1372 |
Total number of constraints | 6316 |
Number of constraints which are clauses | 4944 |
Number of constraints which are cardinality constraints (but not clauses) | 1372 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 19 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-04-21 14:54:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18014 boxname=wulflinc3 idbench=1386 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 7a556e7a6f3a7d80c9337cf46e294ecb /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-seymour.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-seymour.opb IDLAUNCH: 18014 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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: 736020 kB Buffers: 25684 kB Cached: 250396 kB SwapCached: 0 kB Active: 26384 kB Inactive: 252500 kB HighTotal: 131008 kB HighFree: 85848 kB LowTotal: 903652 kB LowFree: 650172 kB SwapTotal: 2097136 kB SwapFree: 2096992 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6844 kB Slab: 14096 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 15:16:21 (client local time) WITH STATUS 143 IN 1288.07 SECONDS stats: 18014 7 1288.07 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-seymour.opb c reading problem c [nbvar=1372] c [nbconstr=6316] c time 5.678 c #vars 1372 c #clauses 4944 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=502 c Current CPU time (ms) : 6.327 c starts : 1 c conflicts : 0 c decisions : 870 c propagations : 1372 c inspects : 15371 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=501 c Current CPU time (ms) : 11.612 c starts : 2 c conflicts : 8 c decisions : 1737 c propagations : 2928 c inspects : 19352 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 8 c root simplifications : 2 c c CURRENT OPTIMUM=486 c Current CPU time (ms) : 15.162 c starts : 3 c conflicts : 8 c decisions : 2626 c propagations : 4183 c inspects : 29271 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 8 c root simplifications : 3 c c CURRENT OPTIMUM=485 c Current CPU time (ms) : 16.55 c starts : 4 c conflicts : 13 c decisions : 3523 c propagations : 5473 c inspects : 31025 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 13 c root simplifications : 4 c c CURRENT OPTIMUM=483 c Current CPU time (ms) : 20.193 c starts : 5 c conflicts : 13 c decisions : 4412 c propagations : 6728 c inspects : 37323 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 13 c root simplifications : 5 c c CURRENT OPTIMUM=482 c Current CPU time (ms) : 21.301 c starts : 6 c conflicts : 17 c decisions : 5312 c propagations : 8022 c inspects : 39194 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 17 c root simplifications : 6 c c CURRENT OPTIMUM=481 c Current CPU time (ms) : 22.95 c starts : 7 c conflicts : 17 c decisions : 6203 c propagations : 9277 c inspects : 42078 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 17 c root simplifications : 7 c c CURRENT OPTIMUM=480 c Current CPU time (ms) : 76.524 c starts : 8 c conflicts : 109 c decisions : 7588 c propagations : 12096 c inspects : 50747 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 109 c root simplifications : 8 c c CURRENT OPTIMUM=479 c Current CPU time (ms) : 108.137 c starts : 9 c conflicts : 154 c decisions : 8569 c propagations : 13935 c inspects : 71286 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 154 c root simplifications : 9 c c CURRENT OPTIMUM=478 c Current CPU time (ms) : 140.27 c starts : 10 c conflicts : 165 c decisions : 9483 c propagations : 15361 c inspects : 94830 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 165 c root simplifications : 10 c c CURRENT OPTIMUM=476 c Current CPU time (ms) : 162.201 c starts : 11 c conflicts : 165 c decisions : 10380 c propagations : 16616 c inspects : 115578 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 165 c root simplifications : 11 c c CURRENT OPTIMUM=475 c Current CPU time (ms) : 166.197 c starts : 12 c conflicts : 180 c decisions : 11305 c propagations : 18167 c inspects : 118301 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 180 c root simplifications : 12 c c CURRENT OPTIMUM=474 c Current CPU time (ms) : 207.946 c starts : 13 c conflicts : 203 c decisions : 12230 c propagations : 20054 c inspects : 150112 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 203 c root simplifications : 13 #### 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.94 0.98 0.92 2/54 13457 Raw data (stat): 13457 (runsolver) R 13456 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487734566 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 s] Raw data (loadavg): 1.11 1.02 0.93 2/64 13467 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17926 0 78 0 478 51 0 0 25 0 11 0 487734566 860307456 20346 4294967295 134512640 134569956 3221224400 3221214960 1131329859 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210036 20346 13073 16 0 210020 0 vsize: 840144 [startup+19.9999 s] Raw data (loadavg): 1.09 1.02 0.93 2/64 13470 Raw data (stat): 13457 (java) S 13456 10720 10719 0 -1 0 17969 4 79 0 1289 52 0 0 25 0 11 0 487734566 860274688 21593 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210028 21594 13073 16 0 210012 0 vsize: 840112 [startup+30.0007 s] Raw data (loadavg): 1.08 1.01 0.93 2/64 13474 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17969 4 79 0 2188 52 0 0 25 0 11 0 487734566 863236096 23042 4294967295 134512640 134569956 3221224400 3221214672 1131294481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210751 23042 13073 16 0 210735 0 vsize: 843004 [startup+40.0006 s] Raw data (loadavg): 1.07 1.01 0.93 2/64 13474 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17969 4 79 0 3081 52 0 0 25 0 11 0 487734566 861315072 23027 4294967295 134512640 134569956 3221224400 3221214768 1131407743 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210282 23027 13073 16 0 210266 0 vsize: 841128 [startup+50.0012 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 13474 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 3987 52 0 0 25 0 11 0 487734566 860913664 23293 4294967295 134512640 134569956 3221224400 3221214688 1131363205 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 23293 13073 16 0 210168 0 vsize: 840736 [startup+60.0012 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 13474 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 4910 53 0 0 25 0 11 0 487734566 860913664 23296 4294967295 134512640 134569956 3221224400 3221214488 1131294743 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 23296 13073 16 0 210168 0 vsize: 840736 [startup+70.001 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 13474 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 5839 53 0 0 25 0 11 0 487734566 860913664 23567 4294967295 134512640 134569956 3221224400 3221214676 1131294124 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 23567 13073 16 0 210168 0 vsize: 840736 [startup+80.0018 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 13474 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 6726 53 0 0 25 0 11 0 487734566 860913664 24810 4294967295 134512640 134569956 3221224400 3221214792 1131260292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 24810 13073 16 0 210168 0 vsize: 840736 [startup+90.0017 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 13475 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 7645 54 0 0 25 0 11 0 487734566 860913664 24810 4294967295 134512640 134569956 3221224400 3221214840 1131164896 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 24810 13073 16 0 210168 0 vsize: 840736 [startup+100.003 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 13475 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 8553 54 0 0 25 0 11 0 487734566 860913664 24942 4294967295 134512640 134569956 3221224400 3221214888 1131332970 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 24942 13073 16 0 210168 0 vsize: 840736 [startup+110.003 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 13475 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 9448 54 0 0 25 0 11 0 487734566 860913664 25653 4294967295 134512640 134569956 3221224400 3221214720 1131359156 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 25653 13073 16 0 210168 0 vsize: 840736 [startup+120.003 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 13476 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 10363 54 0 0 25 0 11 0 487734566 860913664 25942 4294967295 134512640 134569956 3221224400 3221214840 1131164864 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 25942 13073 16 0 210168 0 vsize: 840736 [startup+130.004 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 13476 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 11271 55 0 0 25 0 11 0 487734566 860913664 25942 4294967295 134512640 134569956 3221224400 3221214792 1131260346 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 25942 13073 16 0 210168 0 vsize: 840736 [startup+140.004 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 13476 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 12177 55 0 0 25 0 11 0 487734566 860913664 25942 4294967295 134512640 134569956 3221224400 3221214888 1131333279 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 25942 13073 16 0 210168 0 vsize: 840736 [startup+150.005 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 13477 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 13114 55 0 0 24 0 11 0 487734566 860913664 26776 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 26776 13073 16 0 210168 0 vsize: 840736 [startup+160.005 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 13477 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 14076 55 0 0 25 0 11 0 487734566 860913664 26783 4294967295 134512640 134569956 3221224400 3221214792 1131260589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 26783 13073 16 0 210168 0 vsize: 840736 [startup+170.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13478 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 15020 56 0 0 25 0 11 0 487734566 860913664 26799 4294967295 134512640 134569956 3221224400 3221214840 1131164885 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 26799 13073 16 0 210168 0 vsize: 840736 [startup+180.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13479 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 15967 56 0 0 25 0 11 0 487734566 860913664 26807 4294967295 134512640 134569956 3221224400 3221214832 1131260637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 26807 13073 16 0 210168 0 vsize: 840736 [startup+190.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13479 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 16907 57 0 0 25 0 11 0 487734566 860913664 27090 4294967295 134512640 134569956 3221224400 3221214832 1131260637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 27090 13073 16 0 210168 0 vsize: 840736 [startup+200.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13479 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 17850 57 0 0 25 0 11 0 487734566 860913664 27097 4294967295 134512640 134569956 3221224400 3221214832 1131260637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 27097 13073 16 0 210168 0 vsize: 840736 [startup+210.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13479 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 18777 57 0 0 25 0 11 0 487734566 860913664 27476 4294967295 134512640 134569956 3221224400 3221214808 1131407111 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 27476 13073 16 0 210168 0 vsize: 840736 [startup+220.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13480 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 19718 58 0 0 25 0 11 0 487734566 860913664 27482 4294967295 134512640 134569956 3221224400 3221214832 1131260217 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 27482 13073 16 0 210168 0 vsize: 840736 [startup+230.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13480 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 20636 58 0 0 25 0 11 0 487734566 860913664 27487 4294967295 134512640 134569956 3221224400 3221214832 1131260637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 27487 13073 16 0 210168 0 vsize: 840736 [startup+240.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13480 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 21543 58 0 0 25 0 11 0 487734566 860913664 27491 4294967295 134512640 134569956 3221224400 3221214832 1131260261 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 27491 13073 16 0 210168 0 vsize: 840736 [startup+250.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13480 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 22469 58 0 0 25 0 11 0 487734566 860913664 28333 4294967295 134512640 134569956 3221224400 3221214832 1131260589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 28333 13073 16 0 210168 0 vsize: 840736 [startup+260.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13480 Raw data (stat): 13457 (java) S 13456 10720 10719 0 -1 0 17970 4 79 0 23402 59 0 0 25 0 11 0 487734566 860913664 28368 4294967295 134512640 134569956 3221224400 3221213576 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 28368 13073 16 0 210168 0 vsize: 840736 [startup+270.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13480 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 24299 59 0 0 25 0 11 0 487734566 860913664 28698 4294967295 134512640 134569956 3221224400 3221214736 1131375651 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 28698 13073 16 0 210168 0 vsize: 840736 [startup+280.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13480 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 25190 59 0 0 25 0 11 0 487734566 860913664 29462 4294967295 134512640 134569956 3221224400 3221214760 1131225958 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 29462 13073 16 0 210168 0 vsize: 840736 [startup+290.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13480 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 26109 60 0 0 25 0 11 0 487734566 860913664 29894 4294967295 134512640 134569956 3221224400 3221214880 1131164881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 29894 13073 16 0 210168 0 vsize: 840736 [startup+300.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 13480 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 27050 60 0 0 25 0 11 0 487734566 860913664 29981 4294967295 134512640 134569956 3221224400 3221214832 1131260225 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 29981 13073 16 0 210168 0 vsize: 840736 [startup+310.012 s] Raw data (loadavg): 1.08 1.02 0.94 2/67 13532 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 27961 67 0 0 25 0 11 0 487734566 860913664 29981 4294967295 134512640 134569956 3221224400 3221214928 1131333577 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 29981 13073 16 0 210168 0 vsize: 840736 [startup+320.012 s] Raw data (loadavg): 1.07 1.02 0.94 2/64 13533 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 28871 67 0 0 24 0 11 0 487734566 860913664 30260 4294967295 134512640 134569956 3221224400 3221214880 1131164896 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 30260 13073 16 0 210168 0 vsize: 840736 [startup+330.013 s] Raw data (loadavg): 1.06 1.01 0.94 2/64 13533 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 29842 67 0 0 25 0 11 0 487734566 860913664 30806 4294967295 134512640 134569956 3221224400 3221214832 1131260377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 30806 13073 16 0 210168 0 vsize: 840736 [startup+340.013 s] Raw data (loadavg): 1.05 1.01 0.94 2/64 13533 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 30830 67 0 0 25 0 11 0 487734566 860913664 30820 4294967295 134512640 134569956 3221224400 3221214832 1131261430 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 30820 13073 16 0 210168 0 vsize: 840736 [startup+350.014 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 13533 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 31818 67 0 0 25 0 11 0 487734566 860913664 30835 4294967295 134512640 134569956 3221224400 3221214832 1131260225 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 30835 13073 16 0 210168 0 vsize: 840736 [startup+360.015 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 13533 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 32764 68 0 0 25 0 11 0 487734566 860913664 30841 4294967295 134512640 134569956 3221224400 3221214856 1131452037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 30841 13073 16 0 210168 0 vsize: 840736 [startup+370.014 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 13533 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 33645 68 0 0 25 0 11 0 487734566 860913664 32543 4294967295 134512640 134569956 3221224400 3221214808 1131406351 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 32543 13073 16 0 210168 0 vsize: 840736 [startup+380.015 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 34552 68 0 0 25 0 11 0 487734566 860913664 33170 4294967295 134512640 134569956 3221224400 3221214928 1131332997 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 33170 13073 16 0 210168 0 vsize: 840736 [startup+390.016 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 35445 68 0 0 25 0 11 0 487734566 860913664 33806 4294967295 134512640 134569956 3221224400 3221214808 1131406251 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 33806 13073 16 0 210168 0 vsize: 840736 [startup+400.017 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 36398 68 0 0 25 0 11 0 487734566 860913664 34240 4294967295 134512640 134569956 3221224400 3221214832 1131261366 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 34240 13073 16 0 210168 0 vsize: 840736 [startup+410.017 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 37339 68 0 0 25 0 11 0 487734566 860913664 34240 4294967295 134512640 134569956 3221224400 3221214928 1131332821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 34240 13073 16 0 210168 0 vsize: 840736 [startup+420.018 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 38270 68 0 0 25 0 11 0 487734566 860913664 34240 4294967295 134512640 134569956 3221224400 3221214928 1131333137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 34240 13073 16 0 210168 0 vsize: 840736 [startup+430.019 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 39189 68 0 0 25 0 11 0 487734566 860913664 34306 4294967295 134512640 134569956 3221224400 3221214832 1131260225 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 34306 13073 16 0 210168 0 vsize: 840736 [startup+440.018 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 40137 68 0 0 25 0 11 0 487734566 860913664 35023 4294967295 134512640 134569956 3221224400 3221214928 1131333328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 35023 13073 16 0 210168 0 vsize: 840736 [startup+450.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 41121 68 0 0 25 0 11 0 487734566 860913664 35059 4294967295 134512640 134569956 3221224400 3221214928 1131333292 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 35059 13073 16 0 210168 0 vsize: 840736 [startup+460.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 42108 68 0 0 25 0 11 0 487734566 860913664 35087 4294967295 134512640 134569956 3221224400 3221214832 1131261430 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 35087 13073 16 0 210168 0 vsize: 840736 [startup+470.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 43095 68 0 0 25 0 11 0 487734566 860913664 35105 4294967295 134512640 134569956 3221224400 3221214832 1131260622 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 35105 13073 16 0 210168 0 vsize: 840736 [startup+480.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 44083 68 0 0 25 0 11 0 487734566 860913664 35114 4294967295 134512640 134569956 3221224400 3221214832 1131260637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 35114 13073 16 0 210168 0 vsize: 840736 [startup+490.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 45062 69 0 0 25 0 11 0 487734566 860913664 35127 4294967295 134512640 134569956 3221224400 3221214760 1131359293 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 35127 13073 16 0 210168 0 vsize: 840736 [startup+500.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 46002 69 0 0 24 0 11 0 487734566 860913664 35135 4294967295 134512640 134569956 3221224400 3221214832 1131260381 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 35135 13073 16 0 210168 0 vsize: 840736 [startup+510.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 46916 69 0 0 25 0 11 0 487734566 860913664 35316 4294967295 134512640 134569956 3221224400 3221214736 1131375347 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 35316 13073 16 0 210168 0 vsize: 840736 [startup+520.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 47815 69 0 0 25 0 11 0 487734566 860913664 35819 4294967295 134512640 134569956 3221224400 3221214880 1131397940 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 35819 13073 16 0 210168 0 vsize: 840736 [startup+530.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 48729 69 0 0 25 0 11 0 487734566 860913664 35860 4294967295 134512640 134569956 3221224400 3221214616 1131524824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 35860 13073 16 0 210168 0 vsize: 840736 [startup+540.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 49658 69 0 0 24 0 11 0 487734566 860913664 36140 4294967295 134512640 134569956 3221224400 3221214720 1131655072 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 36140 13073 16 0 210168 0 vsize: 840736 [startup+550.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 50587 69 0 0 25 0 11 0 487734566 860913664 36298 4294967295 134512640 134569956 3221224400 3221214624 1131261688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 36298 13073 16 0 210168 0 vsize: 840736 [startup+560.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 51531 69 0 0 25 0 11 0 487734566 860913664 36719 4294967295 134512640 134569956 3221224400 3221214704 1131387762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 36719 13073 16 0 210168 0 vsize: 840736 [startup+570.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 52480 70 0 0 25 0 11 0 487734566 860913664 36791 4294967295 134512640 134569956 3221224400 3221214928 1131333230 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 36791 13073 16 0 210168 0 vsize: 840736 [startup+580.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 53423 70 0 0 25 0 11 0 487734566 860913664 36876 4294967295 134512640 134569956 3221224400 3221214832 1131260668 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 36876 13073 16 0 210168 0 vsize: 840736 [startup+590.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 54353 71 0 0 25 0 11 0 487734566 860913664 37019 4294967295 134512640 134569956 3221224400 3221214880 1131164864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 37019 13073 16 0 210168 0 vsize: 840736 [startup+600.027 s] Raw data (loadavg): 1.07 1.02 0.94 2/64 13535 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 55258 71 0 0 25 0 11 0 487734566 860913664 37736 4294967295 134512640 134569956 3221224400 3221214616 1131525322 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 37736 13073 16 0 210168 0 vsize: 840736 [startup+610.027 s] Raw data (loadavg): 1.06 1.02 0.94 2/64 13535 Raw data (stat): 13457 (java) S 13456 10720 10719 0 -1 0 17970 4 79 0 56175 72 0 0 25 0 11 0 487734566 860913664 38097 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 38097 13073 16 0 210168 0 vsize: 840736 [startup+620.027 s] Raw data (loadavg): 1.05 1.01 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 57097 72 0 0 25 0 11 0 487734566 860913664 38261 4294967295 134512640 134569956 3221224400 3221214616 1131526053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 38261 13073 16 0 210168 0 vsize: 840736 [startup+630.028 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 58015 73 0 0 25 0 11 0 487734566 860913664 38261 4294967295 134512640 134569956 3221224400 3221214688 1131357668 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 38261 13073 16 0 210168 0 vsize: 840736 [startup+640.028 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 58929 73 0 0 24 0 11 0 487734566 860913664 38710 4294967295 134512640 134569956 3221224400 3221214624 1131294386 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 38710 13073 16 0 210168 0 vsize: 840736 [startup+650.029 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 59878 73 0 0 25 0 11 0 487734566 860913664 38989 4294967295 134512640 134569956 3221224400 3221214616 1131524844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 38989 13073 16 0 210168 0 vsize: 840736 [startup+660.03 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 60827 74 0 0 25 0 11 0 487734566 860913664 39058 4294967295 134512640 134569956 3221224400 3221214720 1131654935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 39058 13073 16 0 210168 0 vsize: 840736 [startup+670.029 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 13537 Raw data (stat): 13457 (java) S 13456 10720 10719 0 -1 0 17970 4 79 0 61778 74 0 0 25 0 11 0 487734566 860913664 39250 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 39250 13073 16 0 210168 0 vsize: 840736 [startup+680.03 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 62746 74 0 0 25 0 11 0 487734566 860913664 39389 4294967295 134512640 134569956 3221224400 3221214808 1131408726 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 39389 13073 16 0 210168 0 vsize: 840736 [startup+690.031 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 63716 75 0 0 25 0 11 0 487734566 860913664 39472 4294967295 134512640 134569956 3221224400 3221214880 1131164864 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39472 13073 16 0 210168 0 vsize: 840736 [startup+700.032 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 64699 75 0 0 25 0 11 0 487734566 860913664 39492 4294967295 134512640 134569956 3221224400 3221214880 1131164881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39492 13073 16 0 210168 0 vsize: 840736 [startup+710.032 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 65681 75 0 0 25 0 11 0 487734566 860913664 39513 4294967295 134512640 134569956 3221224400 3221214880 1131164881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39513 13073 16 0 210168 0 vsize: 840736 [startup+720.032 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 66655 75 0 0 25 0 11 0 487734566 860913664 39554 4294967295 134512640 134569956 3221224400 3221214928 1131332836 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39554 13073 16 0 210168 0 vsize: 840736 [startup+730.032 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 67628 75 0 0 25 0 11 0 487734566 860913664 39595 4294967295 134512640 134569956 3221224400 3221214880 1131164861 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39595 13073 16 0 210168 0 vsize: 840736 [startup+740.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 68605 75 0 0 25 0 11 0 487734566 860913664 39663 4294967295 134512640 134569956 3221224400 3221214800 1131044207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39663 13073 16 0 210168 0 vsize: 840736 [startup+750.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 69584 75 0 0 25 0 11 0 487734566 860913664 39768 4294967295 134512640 134569956 3221224400 3221214832 1131260589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39768 13073 16 0 210168 0 vsize: 840736 [startup+760.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 70571 75 0 0 25 0 11 0 487734566 860913664 39795 4294967295 134512640 134569956 3221224400 3221214832 1131260637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39795 13073 16 0 210168 0 vsize: 840736 [startup+770.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 71560 75 0 0 25 0 11 0 487734566 860913664 39806 4294967295 134512640 134569956 3221224400 3221214928 1131333089 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39806 13073 16 0 210168 0 vsize: 840736 [startup+780.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 72549 75 0 0 25 0 11 0 487734566 860913664 39814 4294967295 134512640 134569956 3221224400 3221214928 1131333236 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39814 13073 16 0 210168 0 vsize: 840736 [startup+790.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 73538 75 0 0 24 0 11 0 487734566 860913664 39824 4294967295 134512640 134569956 3221224400 3221214832 1131260863 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39824 13073 16 0 210168 0 vsize: 840736 [startup+800.036 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 74529 75 0 0 25 0 11 0 487734566 860913664 39830 4294967295 134512640 134569956 3221224400 3221214832 1131260589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39830 13073 16 0 210168 0 vsize: 840736 [startup+810.036 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 75519 75 0 0 25 0 11 0 487734566 860913664 39840 4294967295 134512640 134569956 3221224400 3221214832 1131260867 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39840 13073 16 0 210168 0 vsize: 840736 [startup+820.036 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 76509 76 0 0 25 0 11 0 487734566 860913664 39848 4294967295 134512640 134569956 3221224400 3221214880 1131164888 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39848 13073 16 0 210168 0 vsize: 840736 [startup+830.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 77499 76 0 0 25 0 11 0 487734566 860913664 39859 4294967295 134512640 134569956 3221224400 3221214832 1131260637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39859 13073 16 0 210168 0 vsize: 840736 [startup+840.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 78489 76 0 0 25 0 11 0 487734566 860913664 39863 4294967295 134512640 134569956 3221224400 3221214832 1131260668 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39863 13073 16 0 210168 0 vsize: 840736 [startup+850.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 79478 76 0 0 24 0 11 0 487734566 860913664 39871 4294967295 134512640 134569956 3221224400 3221214924 1131260204 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39871 13073 16 0 210168 0 vsize: 840736 [startup+860.038 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 80468 76 0 0 25 0 11 0 487734566 860913664 39879 4294967295 134512640 134569956 3221224400 3221214880 1131164906 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39879 13073 16 0 210168 0 vsize: 840736 [startup+870.038 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 81456 76 0 0 25 0 11 0 487734566 860913664 39887 4294967295 134512640 134569956 3221224400 3221214832 1131260292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210184 39887 13073 16 0 210168 0 vsize: 840736 [startup+880.042 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) S 13456 10720 10719 0 -1 0 17970 4 79 0 82444 77 0 0 25 0 11 0 487734566 860913664 39895 4294967295 134512640 134569956 3221224400 3221213576 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39895 13073 16 0 210168 0 vsize: 840736 [startup+890.042 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 83431 77 0 0 25 0 11 0 487734566 860913664 39903 4294967295 134512640 134569956 3221224400 3221214832 1131260381 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39903 13073 16 0 210168 0 vsize: 840736 [startup+900.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 84418 77 0 0 25 0 11 0 487734566 860913664 39914 4294967295 134512640 134569956 3221224400 3221214928 1131333130 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39914 13073 16 0 210168 0 vsize: 840736 [startup+910.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 85405 77 0 0 25 0 11 0 487734566 860913664 39920 4294967295 134512640 134569956 3221224400 3221214880 1131164864 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39920 13073 16 0 210168 0 vsize: 840736 [startup+920.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 86392 77 0 0 25 0 11 0 487734566 860913664 39929 4294967295 134512640 134569956 3221224400 3221214880 1131164864 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39929 13073 16 0 210168 0 vsize: 840736 [startup+930.046 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) S 13456 10720 10719 0 -1 0 17970 4 79 0 87379 77 0 0 25 0 11 0 487734566 860913664 39936 4294967295 134512640 134569956 3221224400 3221213472 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39936 13073 16 0 210168 0 vsize: 840736 [startup+940.046 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 88359 77 0 0 25 0 11 0 487734566 860913664 39945 4294967295 134512640 134569956 3221224400 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39945 13073 16 0 210168 0 vsize: 840736 [startup+950.047 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 89314 77 0 0 25 0 11 0 487734566 860913664 39954 4294967295 134512640 134569956 3221224400 3221214928 1131333005 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39954 13073 16 0 210168 0 vsize: 840736 [startup+960.056 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 90253 77 0 0 25 0 11 0 487734566 860913664 39961 4294967295 134512640 134569956 3221224400 3221214880 1131164881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39961 13073 16 0 210168 0 vsize: 840736 [startup+970.069 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) S 13456 10720 10719 0 -1 0 17970 4 79 0 91181 78 0 0 25 0 11 0 487734566 860913664 39965 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 39965 13073 16 0 210168 0 vsize: 840736 [startup+980.069 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 92094 78 0 0 25 0 11 0 487734566 860913664 40302 4294967295 134512640 134569956 3221224400 3221214808 1131406132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 40302 13073 16 0 210168 0 vsize: 840736 [startup+990.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 93002 78 0 0 25 0 11 0 487734566 860913664 40752 4294967295 134512640 134569956 3221224400 3221214928 1131332997 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 40752 13073 16 0 210168 0 vsize: 840736 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 93916 78 0 0 25 0 11 0 487734566 860913664 40960 4294967295 134512640 134569956 3221224400 3221214760 1131294245 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 40960 13073 16 0 210168 0 vsize: 840736 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 94826 78 0 0 25 0 11 0 487734566 860913664 41656 4294967295 134512640 134569956 3221224400 3221214720 1131652807 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 41656 13073 16 0 210168 0 vsize: 840736 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 95742 78 0 0 25 0 11 0 487734566 860913664 41816 4294967295 134512640 134569956 3221224400 3221214560 1131370046 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 41816 13073 16 0 210168 0 vsize: 840736 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 96678 78 0 0 25 0 11 0 487734566 860913664 42057 4294967295 134512640 134569956 3221224400 3221214904 1131321892 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 42057 13073 16 0 210168 0 vsize: 840736 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 97593 78 0 0 24 0 11 0 487734566 860913664 42346 4294967295 134512640 134569956 3221224400 3221214880 1131164864 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 42346 13073 16 0 210168 0 vsize: 840736 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 98542 78 0 0 25 0 11 0 487734566 860913664 42602 4294967295 134512640 134569956 3221224400 3221214928 1131333089 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 42602 13073 16 0 210168 0 vsize: 840736 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 99480 78 0 0 25 0 11 0 487734566 860913664 42765 4294967295 134512640 134569956 3221224400 3221214832 1131260217 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 42765 13073 16 0 210168 0 vsize: 840736 [startup+1070.19 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 100411 78 0 0 25 0 11 0 487734566 860913664 43042 4294967295 134512640 134569956 3221224400 3221214880 1131164983 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 43042 13073 16 0 210168 0 vsize: 840736 [startup+1080.19 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 101329 78 0 0 25 0 11 0 487734566 860913664 43042 4294967295 134512640 134569956 3221224400 3221214720 1131654963 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 43042 13073 16 0 210168 0 vsize: 840736 [startup+1090.19 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 102253 78 0 0 25 0 11 0 487734566 860913664 43337 4294967295 134512640 134569956 3221224400 3221214476 1131179664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 43337 13073 16 0 210168 0 vsize: 840736 [startup+1100.2 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 103184 78 0 0 25 0 11 0 487734566 860913664 43474 4294967295 134512640 134569956 3221224400 3221214880 1131164888 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 43474 13073 16 0 210168 0 vsize: 840736 [startup+1110.21 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 104118 78 0 0 25 0 11 0 487734566 860913664 43760 4294967295 134512640 134569956 3221224400 3221214616 1131525158 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 43760 13073 16 0 210168 0 vsize: 840736 [startup+1120.2 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 105063 78 0 0 25 0 11 0 487734566 860913664 43906 4294967295 134512640 134569956 3221224400 3221214880 1131164864 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 43906 13073 16 0 210168 0 vsize: 840736 [startup+1130.21 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 106004 78 0 0 25 0 11 0 487734566 860913664 44026 4294967295 134512640 134569956 3221224400 3221214624 1131294481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 44026 13073 16 0 210168 0 vsize: 840736 [startup+1140.21 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 106956 79 0 0 25 0 11 0 487734566 860913664 44180 4294967295 134512640 134569956 3221224400 3221214760 1131536276 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 44180 13073 16 0 210168 0 vsize: 840736 [startup+1150.21 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 107907 79 0 0 25 0 11 0 487734566 860913664 44300 4294967295 134512640 134569956 3221224400 3221214480 1131184929 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 44300 13073 16 0 210168 0 vsize: 840736 [startup+1160.21 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 108858 79 0 0 24 0 11 0 487734566 860913664 44374 4294967295 134512640 134569956 3221224400 3221214624 1131294481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 44374 13073 16 0 210168 0 vsize: 840736 [startup+1170.21 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 109819 79 0 0 25 0 11 0 487734566 860913664 44571 4294967295 134512640 134569956 3221224400 3221214544 1131242529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 44571 13073 16 0 210168 0 vsize: 840736 [startup+1180.22 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 110773 79 0 0 25 0 11 0 487734566 860913664 44628 4294967295 134512640 134569956 3221224400 3221214832 1131260225 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 44628 13073 16 0 210168 0 vsize: 840736 [startup+1190.22 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 111723 79 0 0 25 0 11 0 487734566 860913664 44759 4294967295 134512640 134569956 3221224400 3221214832 1131260229 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 44759 13073 16 0 210168 0 vsize: 840736 [startup+1200.22 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 112675 79 0 0 25 0 11 0 487734566 860913664 44855 4294967295 134512640 134569956 3221224400 3221214720 1131654928 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 44855 13073 16 0 210168 0 vsize: 840736 [startup+1210.22 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 113626 80 0 0 25 0 11 0 487734566 860913664 44956 4294967295 134512640 134569956 3221224400 3221214880 1131164864 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 44956 13073 16 0 210168 0 vsize: 840736 [startup+1220.22 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 114576 80 0 0 25 0 11 0 487734566 860913664 45053 4294967295 134512640 134569956 3221224400 3221214624 1131294442 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 45053 13073 16 0 210168 0 vsize: 840736 [startup+1230.22 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 115515 80 0 0 25 0 11 0 487734566 860913664 45083 4294967295 134512640 134569956 3221224400 3221214832 1131260863 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 45083 13073 16 0 210168 0 vsize: 840736 [startup+1240.22 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 116459 80 0 0 25 0 11 0 487734566 860913664 45301 4294967295 134512640 134569956 3221224400 3221214624 1131294316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 45301 13073 16 0 210168 0 vsize: 840736 [startup+1250.22 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 117415 80 0 0 25 0 11 0 487734566 860913664 45510 4294967295 134512640 134569956 3221224400 3221214880 1131164881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 45510 13073 16 0 210168 0 vsize: 840736 [startup+1260.22 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 118385 80 0 0 25 0 11 0 487734566 860913664 45587 4294967295 134512640 134569956 3221224400 3221214592 1131534874 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 45587 13073 16 0 210168 0 vsize: 840736 [startup+1270.22 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 119361 80 0 0 25 0 11 0 487734566 860913664 45677 4294967295 134512640 134569956 3221224400 3221214760 1131536276 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 45677 13073 16 0 210168 0 vsize: 840736 [startup+1280.22 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 13537 Raw data (stat): 13457 (java) R 13456 10720 10719 0 -1 0 17970 4 79 0 120344 80 0 0 25 0 11 0 487734566 860913664 45704 4294967295 134512640 134569956 3221224400 3221214832 1131261502 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210184 45704 13073 16 0 210168 0 vsize: 840736 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1280.37 s] Raw data (loadavg): 1.00 1.00 0.94 1/54 13539 Raw data (stat): 13457 (java) Z 13456 10720 10719 0 -1 1036 17970 31925 79 0 120349 88 8290 78 25 0 1 0 487734566 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.37 CPU time (s): 1288.07 CPU user time (s): 1286.4 CPU system time (s): 1.67174 CPU usage (%): 100.602 Max. virtual memory (Kb): 843004 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####