Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-seymour.opb |
MD5SUM | 05874b307d1504e7159d47fddfd8a0be |
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.04884 |
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 wulflinc29 THE 2005-04-21 02:17:12 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18885 boxname=wulflinc29 idbench=1453 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 05874b307d1504e7159d47fddfd8a0be /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-seymour.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-seymour.opb IDLAUNCH: 18885 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 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.020 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: 883244 kB Buffers: 5732 kB Cached: 117700 kB SwapCached: 464 kB Active: 29160 kB Inactive: 96468 kB HighTotal: 131008 kB HighFree: 13748 kB LowTotal: 903652 kB LowFree: 869496 kB SwapTotal: 2097892 kB SwapFree: 2096700 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5296 kB Slab: 20232 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 02:38:35 (client local time) WITH STATUS 143 IN 1291.07 SECONDS stats: 18885 7 1291.07 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-seymour.opb c reading problem c [nbvar=1372] c [nbconstr=6316] c time 4.708 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) : 5.337 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) : 10.603 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) : 14.11 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) : 15.434 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) : 19.012 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) : 20.126 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) : 21.861 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) : 74.003 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) : 105.303 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) : 137.309 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) : 159.229 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) : 163.124 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) : 204.615 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.93 0.96 0.92 2/54 20360 Raw data (stat): 20360 (runsolver) R 20359 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541410216 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.0046 s] Raw data (loadavg): 1.02 0.98 0.93 2/64 20371 Raw data (stat): 20360 (java) S 20359 27222 27221 0 -1 0 18045 3 1 0 768 41 0 0 25 0 11 0 541410216 859836416 20854 4294967295 134512640 134569956 3221224400 3221213304 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209921 20854 13073 16 0 209905 0 vsize: 839684 [startup+20.006 s] Raw data (loadavg): 1.09 0.99 0.93 3/64 20375 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18046 3 1 0 1672 42 0 0 25 0 11 0 541410216 860164096 22145 4294967295 134512640 134569956 3221224400 3221214792 1131230265 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210001 22157 13073 16 0 209985 0 vsize: 840004 [startup+30.0076 s] Raw data (loadavg): 1.08 0.99 0.93 2/64 20377 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18052 3 1 0 2556 42 0 0 25 0 11 0 541410216 864358400 23470 4294967295 134512640 134569956 3221224400 3221214768 1131384445 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211025 23470 13073 16 0 211009 0 vsize: 844100 [startup+40.008 s] Raw data (loadavg): 1.07 0.99 0.93 2/64 20377 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18052 3 1 0 3447 43 0 0 25 0 11 0 541410216 867393536 24585 4294967295 134512640 134569956 3221224400 3221214688 1131344191 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211766 24585 13073 16 0 211750 0 vsize: 847064 [startup+50.0092 s] Raw data (loadavg): 1.06 0.99 0.93 2/64 20377 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18053 3 1 0 4368 43 0 0 25 0 11 0 541410216 867131392 24739 4294967295 134512640 134569956 3221224400 3221214560 1131557904 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211702 24739 13073 16 0 211686 0 vsize: 846808 [startup+60.0099 s] Raw data (loadavg): 1.05 0.99 0.93 2/64 20377 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18053 3 1 0 5289 43 0 0 25 0 11 0 541410216 866476032 24645 4294967295 134512640 134569956 3221224400 3221214472 1131254673 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211542 24645 13073 16 0 211526 0 vsize: 846168 [startup+70.0103 s] Raw data (loadavg): 1.04 0.99 0.93 2/64 20377 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 6200 43 0 0 25 0 11 0 541410216 866246656 25048 4294967295 134512640 134569956 3221224400 3221214592 1131254634 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211486 25048 13073 16 0 211470 0 vsize: 845944 [startup+80.0118 s] Raw data (loadavg): 1.03 0.99 0.93 2/64 20378 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 7106 43 0 0 25 0 11 0 541410216 866246656 26039 4294967295 134512640 134569956 3221224400 3221214792 1131230390 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211486 26039 13073 16 0 211470 0 vsize: 845944 [startup+90.0153 s] Raw data (loadavg): 1.03 0.99 0.93 2/64 20378 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 8013 43 0 0 25 0 11 0 541410216 866246656 26039 4294967295 134512640 134569956 3221224400 3221214884 1131305147 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211486 26039 13073 16 0 211470 0 vsize: 845944 [startup+100.016 s] Raw data (loadavg): 1.02 0.99 0.93 2/64 20378 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 8909 44 0 0 24 0 11 0 541410216 866246656 26519 4294967295 134512640 134569956 3221224400 3221214752 1131395221 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211486 26519 13073 16 0 211470 0 vsize: 845944 [startup+110.017 s] Raw data (loadavg): 1.02 0.99 0.93 2/64 20379 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 9812 44 0 0 25 0 11 0 541410216 866246656 27171 4294967295 134512640 134569956 3221224400 3221214792 1131229949 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211486 27171 13073 16 0 211470 0 vsize: 845944 [startup+120.024 s] Raw data (loadavg): 1.02 0.99 0.93 2/64 20379 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 10732 44 0 0 25 0 11 0 541410216 866246656 27171 4294967295 134512640 134569956 3221224400 3221214792 1131230487 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211486 27171 13073 16 0 211470 0 vsize: 845944 [startup+130.024 s] Raw data (loadavg): 1.01 0.99 0.93 2/64 20379 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 11629 44 0 0 24 0 11 0 541410216 866246656 27171 4294967295 134512640 134569956 3221224400 3221214792 1131230265 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211486 27171 13073 16 0 211470 0 vsize: 845944 [startup+140.024 s] Raw data (loadavg): 1.01 0.99 0.93 2/64 20380 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 12550 45 0 0 25 0 11 0 541410216 866246656 27896 4294967295 134512640 134569956 3221224400 3221214792 1131230102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211486 27896 13073 16 0 211470 0 vsize: 845944 [startup+150.026 s] Raw data (loadavg): 1.01 0.99 0.93 2/64 20380 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 13510 45 0 0 25 0 11 0 541410216 866246656 28009 4294967295 134512640 134569956 3221224400 3221214792 1131230265 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211486 28009 13073 16 0 211470 0 vsize: 845944 [startup+160.026 s] Raw data (loadavg): 1.01 0.99 0.93 2/64 20381 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 14463 45 0 0 25 0 11 0 541410216 866246656 28027 4294967295 134512640 134569956 3221224400 3221214840 1131166990 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211486 28027 13073 16 0 211470 0 vsize: 845944 [startup+170.027 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20382 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 15408 46 0 0 25 0 11 0 541410216 864739328 27683 4294967295 134512640 134569956 3221224400 3221214832 1131230265 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 27683 13073 16 0 211102 0 vsize: 844472 [startup+180.027 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20382 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 16339 46 0 0 25 0 11 0 541410216 864739328 27967 4294967295 134512640 134569956 3221224400 3221214880 1131166912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 27967 13073 16 0 211102 0 vsize: 844472 [startup+190.028 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20382 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 17288 46 0 0 25 0 11 0 541410216 864739328 27973 4294967295 134512640 134569956 3221224400 3221214832 1131230399 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211118 27973 13073 16 0 211102 0 vsize: 844472 [startup+200.029 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20382 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 18225 47 0 0 25 0 11 0 541410216 864739328 28296 4294967295 134512640 134569956 3221224400 3221214880 1131166912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 28296 13073 16 0 211102 0 vsize: 844472 [startup+210.03 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 19162 47 0 0 25 0 11 0 541410216 864739328 28359 4294967295 134512640 134569956 3221224400 3221214880 1131166912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 28359 13073 16 0 211102 0 vsize: 844472 [startup+220.03 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 20081 47 0 0 25 0 11 0 541410216 864739328 28365 4294967295 134512640 134569956 3221224400 3221214832 1131230520 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 28365 13073 16 0 211102 0 vsize: 844472 [startup+230.031 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 20988 47 0 0 25 0 11 0 541410216 864739328 28369 4294967295 134512640 134569956 3221224400 3221214832 1131230421 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 28369 13073 16 0 211102 0 vsize: 844472 [startup+240.032 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 21905 48 0 0 25 0 11 0 541410216 864739328 28974 4294967295 134512640 134569956 3221224400 3221214832 1131230265 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 28974 13073 16 0 211102 0 vsize: 844472 [startup+250.034 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 22842 48 0 0 25 0 11 0 541410216 864739328 29238 4294967295 134512640 134569956 3221224400 3221214792 1131396014 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 29238 13073 16 0 211102 0 vsize: 844472 [startup+260.034 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 23737 48 0 0 25 0 11 0 541410216 864739328 29480 4294967295 134512640 134569956 3221224400 3221214608 1131359588 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 29480 13073 16 0 211102 0 vsize: 844472 [startup+270.035 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 24630 48 0 0 25 0 11 0 541410216 864739328 30127 4294967295 134512640 134569956 3221224400 3221214672 1131339883 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 30127 13073 16 0 211102 0 vsize: 844472 [startup+280.035 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 25546 48 0 0 25 0 11 0 541410216 864739328 30725 4294967295 134512640 134569956 3221224400 3221214880 1131166912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 30725 13073 16 0 211102 0 vsize: 844472 [startup+290.036 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 26484 48 0 0 25 0 11 0 541410216 864739328 30860 4294967295 134512640 134569956 3221224400 3221214832 1131229765 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 30860 13073 16 0 211102 0 vsize: 844472 [startup+300.037 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 27404 49 0 0 25 0 11 0 541410216 864739328 30860 4294967295 134512640 134569956 3221224400 3221214928 1131309525 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 30860 13073 16 0 211102 0 vsize: 844472 [startup+310.037 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 28321 49 0 0 25 0 11 0 541410216 864739328 30925 4294967295 134512640 134569956 3221224400 3221214832 1131230977 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 30925 13073 16 0 211102 0 vsize: 844472 [startup+320.039 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 29267 49 0 0 25 0 11 0 541410216 864739328 31678 4294967295 134512640 134569956 3221224400 3221214832 1131230491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 31678 13073 16 0 211102 0 vsize: 844472 [startup+330.039 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 30255 49 0 0 25 0 11 0 541410216 864739328 31696 4294967295 134512640 134569956 3221224400 3221214832 1131229765 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 31696 13073 16 0 211102 0 vsize: 844472 [startup+340.04 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 31243 50 0 0 25 0 11 0 541410216 864739328 31708 4294967295 134512640 134569956 3221224400 3221214832 1131230421 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 31708 13073 16 0 211102 0 vsize: 844472 [startup+350.041 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 32206 50 0 0 25 0 11 0 541410216 864739328 31719 4294967295 134512640 134569956 3221224400 3221214832 1131230491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 31719 13073 16 0 211102 0 vsize: 844472 [startup+360.042 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 33093 50 0 0 25 0 11 0 541410216 864739328 32774 4294967295 134512640 134569956 3221224400 3221214840 1131384777 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 32774 13073 16 0 211102 0 vsize: 844472 [startup+370.041 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 33997 50 0 0 25 0 11 0 541410216 864739328 34049 4294967295 134512640 134569956 3221224400 3221214832 1131230495 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 34049 13073 16 0 211102 0 vsize: 844472 [startup+380.043 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 34891 51 0 0 25 0 11 0 541410216 864739328 34685 4294967295 134512640 134569956 3221224400 3221214880 1131166990 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 34685 13073 16 0 211102 0 vsize: 844472 [startup+390.043 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 35830 51 0 0 25 0 11 0 541410216 864739328 35119 4294967295 134512640 134569956 3221224400 3221214832 1131230265 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 35119 13073 16 0 211102 0 vsize: 844472 [startup+400.043 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 36780 51 0 0 25 0 11 0 541410216 864739328 35119 4294967295 134512640 134569956 3221224400 3221214880 1131166963 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211118 35119 13073 16 0 211102 0 vsize: 844472 [startup+410.044 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 37701 52 0 0 24 0 11 0 541410216 864739328 35119 4294967295 134512640 134569956 3221224400 3221214880 1131166912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 35119 13073 16 0 211102 0 vsize: 844472 [startup+420.044 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 38619 52 0 0 24 0 11 0 541410216 864739328 35184 4294967295 134512640 134569956 3221224400 3221214832 1131230421 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 35184 13073 16 0 211102 0 vsize: 844472 [startup+430.045 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 39561 52 0 0 25 0 11 0 541410216 864739328 35887 4294967295 134512640 134569956 3221224400 3221214832 1131230201 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 35887 13073 16 0 211102 0 vsize: 844472 [startup+440.045 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 40544 52 0 0 25 0 11 0 541410216 864739328 35935 4294967295 134512640 134569956 3221224400 3221214832 1131230743 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 35935 13073 16 0 211102 0 vsize: 844472 [startup+450.046 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 41530 53 0 0 25 0 11 0 541410216 864739328 35964 4294967295 134512640 134569956 3221224400 3221214832 1131230495 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 35964 13073 16 0 211102 0 vsize: 844472 [startup+460.046 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 42518 53 0 0 25 0 11 0 541410216 864739328 35980 4294967295 134512640 134569956 3221224400 3221214928 1131309977 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 35980 13073 16 0 211102 0 vsize: 844472 [startup+470.046 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 43505 53 0 0 25 0 11 0 541410216 864739328 35991 4294967295 134512640 134569956 3221224400 3221214880 1131166912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 35991 13073 16 0 211102 0 vsize: 844472 [startup+480.047 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 44489 53 0 0 25 0 11 0 541410216 864739328 36004 4294967295 134512640 134569956 3221224400 3221214744 1131446275 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 36004 13073 16 0 211102 0 vsize: 844472 [startup+490.048 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 45438 53 0 0 25 0 11 0 541410216 864739328 36013 4294967295 134512640 134569956 3221224400 3221214928 1131571616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 36013 13073 16 0 211102 0 vsize: 844472 [startup+500.048 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 46356 54 0 0 25 0 11 0 541410216 864739328 36195 4294967295 134512640 134569956 3221224400 3221214832 1131230870 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 36195 13073 16 0 211102 0 vsize: 844472 [startup+510.049 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 47243 54 0 0 25 0 11 0 541410216 864739328 36698 4294967295 134512640 134569956 3221224400 3221214792 1131395583 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 36698 13073 16 0 211102 0 vsize: 844472 [startup+520.048 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 48158 54 0 0 25 0 11 0 541410216 864739328 36739 4294967295 134512640 134569956 3221224400 3221214792 1131394975 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 36739 13073 16 0 211102 0 vsize: 844472 [startup+530.049 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 49085 54 0 0 25 0 11 0 541410216 864739328 37019 4294967295 134512640 134569956 3221224400 3221214600 1131558011 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 37019 13073 16 0 211102 0 vsize: 844472 [startup+540.05 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 50014 55 0 0 25 0 11 0 541410216 864739328 37133 4294967295 134512640 134569956 3221224400 3221214792 1131396165 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 37133 13073 16 0 211102 0 vsize: 844472 [startup+550.049 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 50957 55 0 0 25 0 11 0 541410216 864739328 37578 4294967295 134512640 134569956 3221224400 3221214832 1131230059 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 37578 13073 16 0 211102 0 vsize: 844472 [startup+560.051 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 51902 55 0 0 25 0 11 0 541410216 864739328 37670 4294967295 134512640 134569956 3221224400 3221214928 1131309525 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 37670 13073 16 0 211102 0 vsize: 844472 [startup+570.051 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 52850 56 0 0 25 0 11 0 541410216 864739328 37702 4294967295 134512640 134569956 3221224400 3221214880 1131166952 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 37702 13073 16 0 211102 0 vsize: 844472 [startup+580.052 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 53775 56 0 0 25 0 11 0 541410216 864739328 37898 4294967295 134512640 134569956 3221224400 3221214728 1131344121 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 37898 13073 16 0 211102 0 vsize: 844472 [startup+590.053 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 54681 56 0 0 25 0 11 0 541410216 864739328 38615 4294967295 134512640 134569956 3221224400 3221214704 1131382106 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 38615 13073 16 0 211102 0 vsize: 844472 [startup+600.053 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 55604 56 0 0 25 0 11 0 541410216 864739328 38976 4294967295 134512640 134569956 3221224400 3221214924 1131167098 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 38976 13073 16 0 211102 0 vsize: 844472 [startup+610.053 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 56520 56 0 0 25 0 11 0 541410216 864739328 39140 4294967295 134512640 134569956 3221224400 3221214792 1131394151 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 39140 13073 16 0 211102 0 vsize: 844472 [startup+620.053 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 57450 56 0 0 25 0 11 0 541410216 864739328 39140 4294967295 134512640 134569956 3221224400 3221214728 1131343053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 39140 13073 16 0 211102 0 vsize: 844472 [startup+630.055 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 58364 57 0 0 25 0 11 0 541410216 864739328 39371 4294967295 134512640 134569956 3221224400 3221214600 1131557041 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 39371 13073 16 0 211102 0 vsize: 844472 [startup+640.055 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 59302 57 0 0 25 0 11 0 541410216 864739328 39868 4294967295 134512640 134569956 3221224400 3221214608 1131254504 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 39868 13073 16 0 211102 0 vsize: 844472 [startup+650.056 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 60253 57 0 0 25 0 11 0 541410216 864739328 39938 4294967295 134512640 134569956 3221224400 3221214704 1131628807 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 39938 13073 16 0 211102 0 vsize: 844472 [startup+660.056 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) S 20359 27222 27221 0 -1 0 18054 3 1 0 61209 57 0 0 25 0 11 0 541410216 864739328 40040 4294967295 134512640 134569956 3221224400 3221213352 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40040 13073 16 0 211102 0 vsize: 844472 [startup+670.057 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 62172 58 0 0 25 0 11 0 541410216 864739328 40269 4294967295 134512640 134569956 3221224400 3221214672 1131339869 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40269 13073 16 0 211102 0 vsize: 844472 [startup+680.058 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 63142 58 0 0 25 0 11 0 541410216 864739328 40352 4294967295 134512640 134569956 3221224400 3221214928 1131309983 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40352 13073 16 0 211102 0 vsize: 844472 [startup+690.059 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 64125 59 0 0 25 0 11 0 541410216 864739328 40372 4294967295 134512640 134569956 3221224400 3221214880 1131166922 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40372 13073 16 0 211102 0 vsize: 844472 [startup+700.058 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 65103 59 0 0 25 0 11 0 541410216 864739328 40403 4294967295 134512640 134569956 3221224400 3221214880 1131166963 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40403 13073 16 0 211102 0 vsize: 844472 [startup+710.058 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 66082 59 0 0 25 0 11 0 541410216 864739328 40434 4294967295 134512640 134569956 3221224400 3221214928 1131309701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40434 13073 16 0 211102 0 vsize: 844472 [startup+720.058 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 67054 59 0 0 25 0 11 0 541410216 864739328 40475 4294967295 134512640 134569956 3221224400 3221214880 1131166952 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40475 13073 16 0 211102 0 vsize: 844472 [startup+730.058 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 68030 60 0 0 25 0 11 0 541410216 864739328 40543 4294967295 134512640 134569956 3221224400 3221214880 1131166912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40543 13073 16 0 211102 0 vsize: 844472 [startup+740.059 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 69007 60 0 0 24 0 11 0 541410216 864739328 40651 4294967295 134512640 134569956 3221224400 3221214928 1131309701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40651 13073 16 0 211102 0 vsize: 844472 [startup+750.058 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 69995 60 0 0 25 0 11 0 541410216 864739328 40675 4294967295 134512640 134569956 3221224400 3221214832 1131230166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40675 13073 16 0 211102 0 vsize: 844472 [startup+760.059 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 70984 61 0 0 25 0 11 0 541410216 864739328 40686 4294967295 134512640 134569956 3221224400 3221214880 1131166912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40686 13073 16 0 211102 0 vsize: 844472 [startup+770.059 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 71973 61 0 0 25 0 11 0 541410216 864739328 40694 4294967295 134512640 134569956 3221224400 3221214832 1131230281 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40694 13073 16 0 211102 0 vsize: 844472 [startup+780.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 72961 61 0 0 25 0 11 0 541410216 864739328 40704 4294967295 134512640 134569956 3221224400 3221214832 1131229765 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40704 13073 16 0 211102 0 vsize: 844472 [startup+790.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 73951 62 0 0 25 0 11 0 541410216 864739328 40710 4294967295 134512640 134569956 3221224400 3221214880 1131166922 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40710 13073 16 0 211102 0 vsize: 844472 [startup+800.061 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 74941 62 0 0 25 0 11 0 541410216 864739328 40722 4294967295 134512640 134569956 3221224400 3221214880 1131166912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40722 13073 16 0 211102 0 vsize: 844472 [startup+810.061 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 75931 63 0 0 25 0 11 0 541410216 864739328 40728 4294967295 134512640 134569956 3221224400 3221214832 1131229793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40728 13073 16 0 211102 0 vsize: 844472 [startup+820.06 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 76921 63 0 0 25 0 11 0 541410216 864739328 40739 4294967295 134512640 134569956 3221224400 3221214880 1131166922 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40739 13073 16 0 211102 0 vsize: 844472 [startup+830.062 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 77911 63 0 0 25 0 11 0 541410216 864739328 40743 4294967295 134512640 134569956 3221224400 3221214832 1131230491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40743 13073 16 0 211102 0 vsize: 844472 [startup+840.062 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 78899 63 0 0 25 0 11 0 541410216 864739328 40751 4294967295 134512640 134569956 3221224400 3221214924 1131229747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40751 13073 16 0 211102 0 vsize: 844472 [startup+850.062 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 79888 63 0 0 25 0 11 0 541410216 864739328 40760 4294967295 134512640 134569956 3221224400 3221214880 1131166912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40760 13073 16 0 211102 0 vsize: 844472 [startup+860.063 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 80876 64 0 0 24 0 11 0 541410216 864739328 40767 4294967295 134512640 134569956 3221224400 3221214832 1131230075 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40767 13073 16 0 211102 0 vsize: 844472 [startup+870.064 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 81864 64 0 0 24 0 11 0 541410216 864739328 40775 4294967295 134512640 134569956 3221224400 3221214904 1131305165 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40775 13073 16 0 211102 0 vsize: 844472 [startup+880.064 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 82851 65 0 0 25 0 11 0 541410216 864739328 40783 4294967295 134512640 134569956 3221224400 3221214880 1131166963 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40783 13073 16 0 211102 0 vsize: 844472 [startup+890.064 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 83838 65 0 0 25 0 11 0 541410216 864739328 40794 4294967295 134512640 134569956 3221224400 3221214880 1131166922 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40794 13073 16 0 211102 0 vsize: 844472 [startup+900.065 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 84825 65 0 0 25 0 11 0 541410216 864739328 40801 4294967295 134512640 134569956 3221224400 3221214880 1131166912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40801 13073 16 0 211102 0 vsize: 844472 [startup+910.066 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 85811 66 0 0 25 0 11 0 541410216 864739328 40809 4294967295 134512640 134569956 3221224400 3221214832 1131230265 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40809 13073 16 0 211102 0 vsize: 844472 [startup+920.066 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 86797 66 0 0 24 0 11 0 541410216 864739328 40817 4294967295 134512640 134569956 3221224400 3221214832 1131230069 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40817 13073 16 0 211102 0 vsize: 844472 [startup+930.068 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 87778 66 0 0 25 0 11 0 541410216 864739328 40825 4294967295 134512640 134569956 3221224400 3221214744 1131206279 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40825 13073 16 0 211102 0 vsize: 844472 [startup+940.068 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 88733 67 0 0 25 0 11 0 541410216 864739328 40834 4294967295 134512640 134569956 3221224400 3221214880 1131166929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40834 13073 16 0 211102 0 vsize: 844472 [startup+950.068 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 89671 67 0 0 25 0 11 0 541410216 864739328 40841 4294967295 134512640 134569956 3221224400 3221214880 1131166912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40841 13073 16 0 211102 0 vsize: 844472 [startup+960.069 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 90591 67 0 0 25 0 11 0 541410216 864739328 40908 4294967295 134512640 134569956 3221224400 3221214788 1131335479 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 40908 13073 16 0 211102 0 vsize: 844472 [startup+970.069 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) S 20359 27222 27221 0 -1 0 18054 3 1 0 91500 67 0 0 25 0 11 0 541410216 864739328 41182 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 41182 13073 16 0 211102 0 vsize: 844472 [startup+980.071 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 92404 68 0 0 25 0 11 0 541410216 864739328 41737 4294967295 134512640 134569956 3221224400 3221214832 1131230491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 41737 13073 16 0 211102 0 vsize: 844472 [startup+990.071 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 93315 68 0 0 25 0 11 0 541410216 864739328 42354 4294967295 134512640 134569956 3221224400 3221214744 1131206248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 42354 13073 16 0 211102 0 vsize: 844472 [startup+1000.07 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 94229 68 0 0 25 0 11 0 541410216 864739328 42637 4294967295 134512640 134569956 3221224400 3221214792 1131394233 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 42637 13073 16 0 211102 0 vsize: 844472 [startup+1010.07 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) S 20359 27222 27221 0 -1 0 18054 3 1 0 95136 69 0 0 25 0 11 0 541410216 864739328 42801 4294967295 134512640 134569956 3221224400 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 42801 13073 16 0 211102 0 vsize: 844472 [startup+1020.07 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 96072 70 0 0 25 0 11 0 541410216 864739328 42937 4294967295 134512640 134569956 3221224400 3221214832 1131229790 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 42937 13073 16 0 211102 0 vsize: 844472 [startup+1030.07 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 96997 70 0 0 25 0 11 0 541410216 864739328 43267 4294967295 134512640 134569956 3221224400 3221214832 1131230920 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 43267 13073 16 0 211102 0 vsize: 844472 [startup+1040.07 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 97939 70 0 0 25 0 11 0 541410216 864739328 43552 4294967295 134512640 134569956 3221224400 3221214832 1131229962 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 43552 13073 16 0 211102 0 vsize: 844472 [startup+1050.07 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) S 20359 27222 27221 0 -1 0 18054 3 1 0 98879 71 0 0 25 0 11 0 541410216 864739328 43645 4294967295 134512640 134569956 3221224400 3221213576 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 43645 13073 16 0 211102 0 vsize: 844472 [startup+1060.07 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 99789 71 0 0 25 0 11 0 541410216 864739328 43922 4294967295 134512640 134569956 3221224400 3221214608 1131254634 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 43922 13073 16 0 211102 0 vsize: 844472 [startup+1070.07 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 100716 71 0 0 25 0 11 0 541410216 864739328 43922 4294967295 134512640 134569956 3221224400 3221214680 1131206223 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 43922 13073 16 0 211102 0 vsize: 844472 [startup+1080.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 101633 71 0 0 25 0 11 0 541410216 864739328 44218 4294967295 134512640 134569956 3221224400 3221214832 1131230520 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 44218 13073 16 0 211102 0 vsize: 844472 [startup+1090.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 102561 71 0 0 25 0 11 0 541410216 864739328 44357 4294967295 134512640 134569956 3221224400 3221214600 1131559435 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 44357 13073 16 0 211102 0 vsize: 844472 [startup+1100.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 103491 72 0 0 24 0 11 0 541410216 864739328 44742 4294967295 134512640 134569956 3221224400 3221214704 1131630935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 44742 13073 16 0 211102 0 vsize: 844472 [startup+1110.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 104435 72 0 0 25 0 11 0 541410216 864739328 44801 4294967295 134512640 134569956 3221224400 3221214704 1131630932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 44801 13073 16 0 211102 0 vsize: 844472 [startup+1120.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 105381 72 0 0 25 0 11 0 541410216 864739328 44939 4294967295 134512640 134569956 3221224400 3221214608 1131254905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211118 44939 13073 16 0 211102 0 vsize: 844472 [startup+1130.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 106329 73 0 0 25 0 11 0 541410216 864739328 45134 4294967295 134512640 134569956 3221224400 3221214600 1131556724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 45134 13073 16 0 211102 0 vsize: 844472 [startup+1140.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 107280 73 0 0 25 0 11 0 541410216 864739328 45242 4294967295 134512640 134569956 3221224400 3221214608 1131254517 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 45242 13073 16 0 211102 0 vsize: 844472 [startup+1150.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 108230 73 0 0 25 0 11 0 541410216 864739328 45397 4294967295 134512640 134569956 3221224400 3221214608 1131254673 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 45397 13073 16 0 211102 0 vsize: 844472 [startup+1160.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 109191 73 0 0 25 0 11 0 541410216 864739328 45487 4294967295 134512640 134569956 3221224400 3221214712 1131338007 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 45487 13073 16 0 211102 0 vsize: 844472 [startup+1170.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 110137 73 0 0 25 0 11 0 541410216 864739328 45566 4294967295 134512640 134569956 3221224400 3221214880 1131166963 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 45566 13073 16 0 211102 0 vsize: 844472 [startup+1180.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 111088 73 0 0 25 0 11 0 541410216 864739328 45662 4294967295 134512640 134569956 3221224400 3221214608 1131255325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 45662 13073 16 0 211102 0 vsize: 844472 [startup+1190.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 112042 74 0 0 25 0 11 0 541410216 864739328 45736 4294967295 134512640 134569956 3221224400 3221214880 1131166929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 45736 13073 16 0 211102 0 vsize: 844472 [startup+1200.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 112982 74 0 0 25 0 11 0 541410216 864739328 45914 4294967295 134512640 134569956 3221224400 3221214744 1131445368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 45914 13073 16 0 211102 0 vsize: 844472 [startup+1210.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 113931 74 0 0 25 0 11 0 541410216 864739328 45962 4294967295 134512640 134569956 3221224400 3221214880 1131166912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 45962 13073 16 0 211102 0 vsize: 844472 [startup+1220.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 114868 74 0 0 25 0 11 0 541410216 864739328 45964 4294967295 134512640 134569956 3221224400 3221214832 1131229962 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 45964 13073 16 0 211102 0 vsize: 844472 [startup+1230.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 115818 75 0 0 25 0 11 0 541410216 864739328 46182 4294967295 134512640 134569956 3221224400 3221214608 1131254634 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 46182 13073 16 0 211102 0 vsize: 844472 [startup+1240.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 116776 75 0 0 25 0 11 0 541410216 864739328 46447 4294967295 134512640 134569956 3221224400 3221214608 1131254504 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 46447 13073 16 0 211102 0 vsize: 844472 [startup+1250.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 117750 75 0 0 25 0 11 0 541410216 864739328 46540 4294967295 134512640 134569956 3221224400 3221214632 1131253185 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 46540 13073 16 0 211102 0 vsize: 844472 [startup+1260.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 118728 75 0 0 25 0 11 0 541410216 864739328 46585 4294967295 134512640 134569956 3221224400 3221214608 1131254673 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 46585 13073 16 0 211102 0 vsize: 844472 [startup+1270.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 119709 76 0 0 25 0 11 0 541410216 864739328 46626 4294967295 134512640 134569956 3221224400 3221214600 1131557858 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 46626 13073 16 0 211102 0 vsize: 844472 [startup+1280.08 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 20383 Raw data (stat): 20360 (java) R 20359 27222 27221 0 -1 0 18054 3 1 0 120691 76 0 0 25 0 11 0 541410216 864739328 46657 4294967295 134512640 134569956 3221224400 3221214704 1131628909 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211118 46657 13073 16 0 211102 0 vsize: 844472 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1280.34 s] Raw data (loadavg): 1.00 0.99 0.93 1/54 20385 Raw data (stat): 20360 (java) Z 20359 27222 27221 0 -1 1036 18054 33668 1 3 120708 85 8223 90 25 0 1 0 541410216 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.34 CPU time (s): 1291.07 CPU user time (s): 1289.32 CPU system time (s): 1.75873 CPU usage (%): 100.838 Max. virtual memory (Kb): 847064 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####