Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb |
MD5SUM | 6f47095f2d417d23ced995954e641689 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 14938 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 416 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 96797 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 96797 |
Number of bits of the biggest sum of numbers | 17 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1236.51 |
Number of variables | 548 |
Total number of constraints | 724 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 550 |
Number of constraints which are nor clauses,nor cardinality constraints | 134 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 143 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc12 THE 2005-04-22 01:59:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=12164 boxname=wulflinc12 idbench=936 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 6f47095f2d417d23ced995954e641689 /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-p0548.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-p0548.opb IDLAUNCH: 12164 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 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: 709856 kB Buffers: 27748 kB Cached: 275804 kB SwapCached: 476 kB Active: 14308 kB Inactive: 291388 kB HighTotal: 131008 kB HighFree: 106652 kB LowTotal: 903652 kB LowFree: 603204 kB SwapTotal: 2097136 kB SwapFree: 2095888 kB Dirty: 44 kB Writeback: 0 kB Mapped: 5276 kB Slab: 13336 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-22 02:20:40 (client local time) WITH STATUS 143 IN 1232.21 SECONDS stats: 12164 7 1232.21 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-p0548.opb c reading problem c [nbvar=548] c [nbconstr=724] c time 2.447 c #vars 548 c #clauses 166 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=40874 c Current CPU time (ms) : 6.255 c starts : 1 c conflicts : 15 c decisions : 770 c propagations : 1431 c inspects : 1258 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 15 c root simplifications : 3 c c CURRENT OPTIMUM=39754 c Current CPU time (ms) : 14.903 c starts : 3 c conflicts : 123 c decisions : 1572 c propagations : 3052 c inspects : 10316 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 123 c root simplifications : 5 c c CURRENT OPTIMUM=28989 c Current CPU time (ms) : 16.217 c starts : 4 c conflicts : 124 c decisions : 1930 c propagations : 3606 c inspects : 15531 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 124 c root simplifications : 6 c c CURRENT OPTIMUM=11893 c Current CPU time (ms) : 41.65 c starts : 6 c conflicts : 230 c decisions : 2678 c propagations : 6680 c inspects : 47154 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 230 c root simplifications : 8 #### 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.92 0.93 0.90 2/54 11113 Raw data (stat): 11113 (runsolver) R 11112 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 491725878 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.0002 s] Raw data (loadavg): 1.17 0.99 0.92 5/68 11171 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 10624 3 82 0 406 39 0 0 25 0 11 0 491725878 867270656 14072 4294967295 134512640 134569956 3221224400 3221214656 1131243621 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211736 14072 13073 16 0 211720 0 vsize: 846944 [startup+20.0008 s] Raw data (loadavg): 1.29 1.02 0.93 2/64 11179 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17995 3 82 0 1159 61 0 0 25 0 11 0 491725878 866222080 22378 4294967295 134512640 134569956 3221224400 3221214872 1131218724 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 22378 13073 16 0 211464 0 vsize: 845920 [startup+30.0017 s] Raw data (loadavg): 1.25 1.02 0.93 2/64 11179 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 2087 61 0 0 25 0 11 0 491725878 866222080 22746 4294967295 134512640 134569956 3221224400 3221214800 1131219709 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 22746 13073 16 0 211464 0 vsize: 845920 [startup+40.003 s] Raw data (loadavg): 1.21 1.02 0.93 2/64 11179 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 3023 61 0 0 25 0 11 0 491725878 866222080 23113 4294967295 134512640 134569956 3221224400 3221214660 1080203710 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 23113 13073 16 0 211464 0 vsize: 845920 [startup+50.0033 s] Raw data (loadavg): 1.18 1.02 0.93 2/64 11180 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 3962 62 0 0 25 0 11 0 491725878 866222080 23493 4294967295 134512640 134569956 3221224400 3221214760 1131250582 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 23493 13073 16 0 211464 0 vsize: 845920 [startup+60.0033 s] Raw data (loadavg): 1.15 1.02 0.93 2/64 11180 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 4881 62 0 0 25 0 11 0 491725878 866222080 23770 4294967295 134512640 134569956 3221224400 3221214736 1131333286 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 23770 13073 16 0 211464 0 vsize: 845920 [startup+70.0045 s] Raw data (loadavg): 1.12 1.01 0.93 2/64 11180 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 5823 62 0 0 25 0 11 0 491725878 866222080 23953 4294967295 134512640 134569956 3221224400 3221214840 1131208946 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 23953 13073 16 0 211464 0 vsize: 845920 [startup+80.0049 s] Raw data (loadavg): 1.11 1.01 0.93 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 6774 62 0 0 24 0 11 0 491725878 866222080 24265 4294967295 134512640 134569956 3221224400 3221214800 1131219506 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 24265 13073 16 0 211464 0 vsize: 845920 [startup+90.0058 s] Raw data (loadavg): 1.09 1.01 0.93 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 7735 62 0 0 25 0 11 0 491725878 866222080 24394 4294967295 134512640 134569956 3221224400 3221214688 1131446642 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 24394 13073 16 0 211464 0 vsize: 845920 [startup+100.006 s] Raw data (loadavg): 1.07 1.01 0.93 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 8703 63 0 0 25 0 11 0 491725878 866222080 24491 4294967295 134512640 134569956 3221224400 3221214736 1131330304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 24491 13073 16 0 211464 0 vsize: 845920 [startup+110.006 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 9668 63 0 0 24 0 11 0 491725878 866222080 24572 4294967295 134512640 134569956 3221224400 3221214612 1131415052 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 24572 13073 16 0 211464 0 vsize: 845920 [startup+120.007 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 10635 63 0 0 25 0 11 0 491725878 866222080 24652 4294967295 134512640 134569956 3221224400 3221214896 1131229437 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 24652 13073 16 0 211464 0 vsize: 845920 [startup+130.008 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 11607 64 0 0 24 0 11 0 491725878 866222080 24756 4294967295 134512640 134569956 3221224400 3221214800 1131219739 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 24756 13073 16 0 211464 0 vsize: 845920 [startup+140.008 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 12589 64 0 0 25 0 11 0 491725878 866222080 24827 4294967295 134512640 134569956 3221224400 3221214840 1131209037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 24827 13073 16 0 211464 0 vsize: 845920 [startup+150.009 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 13567 64 0 0 25 0 11 0 491725878 866222080 24872 4294967295 134512640 134569956 3221224400 3221214548 1131312044 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 24872 13073 16 0 211464 0 vsize: 845920 [startup+160.009 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 14546 64 0 0 25 0 11 0 491725878 866222080 24919 4294967295 134512640 134569956 3221224400 3221214848 1131438708 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 24919 13073 16 0 211464 0 vsize: 845920 [startup+170.009 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 15511 65 0 0 25 0 11 0 491725878 866222080 24945 4294967295 134512640 134569956 3221224400 3221214736 1131332687 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 24945 13073 16 0 211464 0 vsize: 845920 [startup+180.009 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 16477 65 0 0 25 0 11 0 491725878 866222080 25052 4294967295 134512640 134569956 3221224400 3221214800 1131219739 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 25052 13073 16 0 211464 0 vsize: 845920 [startup+190.011 s] Raw data (loadavg): 1.09 1.02 0.94 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 17444 65 0 0 25 0 11 0 491725878 866222080 25125 4294967295 134512640 134569956 3221224400 3221214800 1131220359 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 25125 13073 16 0 211464 0 vsize: 845920 [startup+200.011 s] Raw data (loadavg): 1.08 1.02 0.94 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 18417 66 0 0 25 0 11 0 491725878 866222080 25303 4294967295 134512640 134569956 3221224400 3221214800 1131219739 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 25303 13073 16 0 211464 0 vsize: 845920 [startup+210.011 s] Raw data (loadavg): 1.07 1.02 0.94 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 19389 66 0 0 25 0 11 0 491725878 866222080 25356 4294967295 134512640 134569956 3221224400 3221214688 1131446780 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 25356 13073 16 0 211464 0 vsize: 845920 [startup+220.012 s] Raw data (loadavg): 1.06 1.02 0.94 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 20359 66 0 0 25 0 11 0 491725878 866222080 25416 4294967295 134512640 134569956 3221224400 3221214896 1131228804 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 25416 13073 16 0 211464 0 vsize: 845920 [startup+230.012 s] Raw data (loadavg): 1.05 1.02 0.94 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 21328 67 0 0 25 0 11 0 491725878 866222080 25500 4294967295 134512640 134569956 3221224400 3221214840 1131208921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 25500 13073 16 0 211464 0 vsize: 845920 [startup+240.013 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 22301 67 0 0 25 0 11 0 491725878 866222080 25588 4294967295 134512640 134569956 3221224400 3221214616 1131388082 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 25588 13073 16 0 211464 0 vsize: 845920 [startup+250.015 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 23274 67 0 0 25 0 11 0 491725878 866222080 25694 4294967295 134512640 134569956 3221224400 3221214552 1131582737 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 25694 13073 16 0 211464 0 vsize: 845920 [startup+260.014 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 24249 67 0 0 25 0 11 0 491725878 866222080 25759 4294967295 134512640 134569956 3221224400 3221214800 1131219739 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 25759 13073 16 0 211464 0 vsize: 845920 [startup+270.015 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 25225 68 0 0 25 0 11 0 491725878 866222080 25823 4294967295 134512640 134569956 3221224400 3221214616 1131392484 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 25823 13073 16 0 211464 0 vsize: 845920 [startup+280.015 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17997 3 82 0 26200 68 0 0 25 0 11 0 491725878 866222080 25878 4294967295 134512640 134569956 3221224400 3221214800 1131219423 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 25878 13073 16 0 211464 0 vsize: 845920 [startup+290.015 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 27173 68 0 0 25 0 11 0 491725878 866222080 25924 4294967295 134512640 134569956 3221224400 3221214800 1131219329 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 25924 13073 16 0 211464 0 vsize: 845920 [startup+300.015 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 28144 68 0 0 25 0 11 0 491725878 866222080 26000 4294967295 134512640 134569956 3221224400 3221214896 1131229500 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26000 13073 16 0 211464 0 vsize: 845920 [startup+310.016 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 29124 68 0 0 25 0 11 0 491725878 866222080 26080 4294967295 134512640 134569956 3221224400 3221214800 1131219524 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26080 13073 16 0 211464 0 vsize: 845920 [startup+320.016 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 30112 68 0 0 25 0 11 0 491725878 866222080 26145 4294967295 134512640 134569956 3221224400 3221214800 1131219628 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26145 13073 16 0 211464 0 vsize: 845920 [startup+330.016 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 11182 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 31097 69 0 0 25 0 11 0 491725878 866222080 26163 4294967295 134512640 134569956 3221224400 3221214800 1131219983 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 26163 13073 16 0 211464 0 vsize: 845920 [startup+340.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 32079 70 0 0 25 0 11 0 491725878 866222080 26188 4294967295 134512640 134569956 3221224400 3221214896 1131229367 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26188 13073 16 0 211464 0 vsize: 845920 [startup+350.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 33062 70 0 0 25 0 11 0 491725878 866222080 26222 4294967295 134512640 134569956 3221224400 3221214896 1131228598 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26222 13073 16 0 211464 0 vsize: 845920 [startup+360.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 34040 71 0 0 25 0 11 0 491725878 866222080 26280 4294967295 134512640 134569956 3221224400 3221214800 1131219351 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26280 13073 16 0 211464 0 vsize: 845920 [startup+370.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 35019 71 0 0 25 0 11 0 491725878 866222080 26309 4294967295 134512640 134569956 3221224400 3221214736 1131335268 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26309 13073 16 0 211464 0 vsize: 845920 [startup+380.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 35997 72 0 0 25 0 11 0 491725878 866222080 26362 4294967295 134512640 134569956 3221224400 3221214800 1131219329 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26362 13073 16 0 211464 0 vsize: 845920 [startup+390.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 36979 72 0 0 25 0 11 0 491725878 866222080 26442 4294967295 134512640 134569956 3221224400 3221214840 1131208939 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26442 13073 16 0 211464 0 vsize: 845920 [startup+400.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 37964 72 0 0 25 0 11 0 491725878 866222080 26475 4294967295 134512640 134569956 3221224400 3221214660 1131218668 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26475 13073 16 0 211464 0 vsize: 845920 [startup+410.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 38949 73 0 0 25 0 11 0 491725878 866222080 26529 4294967295 134512640 134569956 3221224400 3221214840 1131208994 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26529 13073 16 0 211464 0 vsize: 845920 [startup+420.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 39930 73 0 0 25 0 11 0 491725878 866222080 26553 4294967295 134512640 134569956 3221224400 3221214724 1080204267 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26553 13073 16 0 211464 0 vsize: 845920 [startup+430.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 40909 74 0 0 25 0 11 0 491725878 866222080 26608 4294967295 134512640 134569956 3221224400 3221214800 1131220409 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26608 13073 16 0 211464 0 vsize: 845920 [startup+440.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 41891 74 0 0 25 0 11 0 491725878 866222080 26674 4294967295 134512640 134569956 3221224400 3221214560 1131268342 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26674 13073 16 0 211464 0 vsize: 845920 [startup+450.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 42873 75 0 0 25 0 11 0 491725878 866222080 26717 4294967295 134512640 134569956 3221224400 3221214800 1131219860 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26717 13073 16 0 211464 0 vsize: 845920 [startup+460.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 43853 75 0 0 25 0 11 0 491725878 866222080 26771 4294967295 134512640 134569956 3221224400 3221214800 1131219362 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26771 13073 16 0 211464 0 vsize: 845920 [startup+470.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 44834 76 0 0 25 0 11 0 491725878 866222080 26808 4294967295 134512640 134569956 3221224400 3221214660 1080203730 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26808 13073 16 0 211464 0 vsize: 845920 [startup+480.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 45811 77 0 0 25 0 11 0 491725878 866222080 26857 4294967295 134512640 134569956 3221224400 3221214800 1131219709 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26857 13073 16 0 211464 0 vsize: 845920 [startup+490.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 46787 77 0 0 25 0 11 0 491725878 866222080 26925 4294967295 134512640 134569956 3221224400 3221214800 1131219555 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26925 13073 16 0 211464 0 vsize: 845920 [startup+500.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 47762 78 0 0 18 0 11 0 491725878 866222080 26973 4294967295 134512640 134569956 3221224400 3221214800 1131219329 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 26973 13073 16 0 211464 0 vsize: 845920 [startup+510.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 48740 78 0 0 25 0 11 0 491725878 866222080 27036 4294967295 134512640 134569956 3221224400 3221214840 1131208896 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 27036 13073 16 0 211464 0 vsize: 845920 [startup+520.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 49719 79 0 0 25 0 11 0 491725878 866222080 27111 4294967295 134512640 134569956 3221224400 3221214604 1080204343 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 27111 13073 16 0 211464 0 vsize: 845920 [startup+530.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 50698 79 0 0 25 0 11 0 491725878 866222080 27148 4294967295 134512640 134569956 3221224400 3221214724 1080203708 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 27148 13073 16 0 211464 0 vsize: 845920 [startup+540.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) S 11112 25285 25284 0 -1 0 17998 3 82 0 51677 80 0 0 25 0 11 0 491725878 866222080 27191 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 27191 13073 16 0 211464 0 vsize: 845920 [startup+550.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 52653 80 0 0 25 0 11 0 491725878 866222080 27268 4294967295 134512640 134569956 3221224400 3221214736 1131331221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 27268 13073 16 0 211464 0 vsize: 845920 [startup+560.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 53629 81 0 0 25 0 11 0 491725878 866222080 27338 4294967295 134512640 134569956 3221224400 3221214896 1131228804 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 27338 13073 16 0 211464 0 vsize: 845920 [startup+570.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 54600 81 0 0 25 0 11 0 491725878 866222080 27407 4294967295 134512640 134569956 3221224400 3221214724 1080203741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 27407 13073 16 0 211464 0 vsize: 845920 [startup+580.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 55569 82 0 0 25 0 11 0 491725878 866222080 27469 4294967295 134512640 134569956 3221224400 3221214840 1131209013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 27469 13073 16 0 211464 0 vsize: 845920 [startup+590.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 56535 82 0 0 25 0 11 0 491725878 866222080 27552 4294967295 134512640 134569956 3221224400 3221214800 1131219931 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 27552 13073 16 0 211464 0 vsize: 845920 [startup+600.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 57512 83 0 0 24 0 11 0 491725878 866222080 27683 4294967295 134512640 134569956 3221224400 3221214840 1131208921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 27683 13073 16 0 211464 0 vsize: 845920 [startup+610.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 58494 84 0 0 25 0 11 0 491725878 866222080 27724 4294967295 134512640 134569956 3221224400 3221214896 1131228896 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 27724 13073 16 0 211464 0 vsize: 845920 [startup+620.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 59478 84 0 0 25 0 11 0 491725878 866222080 27778 4294967295 134512640 134569956 3221224400 3221214800 1131219739 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 27778 13073 16 0 211464 0 vsize: 845920 [startup+630.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 60462 85 0 0 24 0 11 0 491725878 866222080 27804 4294967295 134512640 134569956 3221224400 3221214800 1131219804 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 27804 13073 16 0 211464 0 vsize: 845920 [startup+640.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 61446 85 0 0 25 0 11 0 491725878 866222080 27839 4294967295 134512640 134569956 3221224400 3221214800 1131219739 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 27839 13073 16 0 211464 0 vsize: 845920 [startup+650.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 62428 86 0 0 25 0 11 0 491725878 866222080 27875 4294967295 134512640 134569956 3221224400 3221214800 1131220171 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 27875 13073 16 0 211464 0 vsize: 845920 [startup+660.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 63407 86 0 0 25 0 11 0 491725878 866222080 27899 4294967295 134512640 134569956 3221224400 3221214800 1131219881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 27899 13073 16 0 211464 0 vsize: 845920 [startup+670.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) S 11112 25285 25284 0 -1 0 17998 3 82 0 64390 87 0 0 25 0 11 0 491725878 866222080 27938 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 27938 13073 16 0 211464 0 vsize: 845920 [startup+680.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 65374 87 0 0 25 0 11 0 491725878 866222080 27985 4294967295 134512640 134569956 3221224400 3221214800 1131220002 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 27985 13073 16 0 211464 0 vsize: 845920 [startup+690.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 66364 87 0 0 25 0 11 0 491725878 866222080 28024 4294967295 134512640 134569956 3221224400 3221214800 1131219860 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28024 13073 16 0 211464 0 vsize: 845920 [startup+700.038 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 67354 87 0 0 25 0 11 0 491725878 866222080 28035 4294967295 134512640 134569956 3221224400 3221214872 1131218737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28035 13073 16 0 211464 0 vsize: 845920 [startup+710.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 68344 87 0 0 25 0 11 0 491725878 866222080 28047 4294967295 134512640 134569956 3221224400 3221214800 1131219362 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28047 13073 16 0 211464 0 vsize: 845920 [startup+720.038 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 69333 87 0 0 25 0 11 0 491725878 866222080 28058 4294967295 134512640 134569956 3221224400 3221214408 1131544892 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28058 13073 16 0 211464 0 vsize: 845920 [startup+730.038 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 70320 87 0 0 25 0 11 0 491725878 866222080 28075 4294967295 134512640 134569956 3221224400 3221214840 1131208921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28075 13073 16 0 211464 0 vsize: 845920 [startup+740.038 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 71307 87 0 0 25 0 11 0 491725878 866222080 28099 4294967295 134512640 134569956 3221224400 3221214800 1131219739 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28099 13073 16 0 211464 0 vsize: 845920 [startup+750.039 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 72292 87 0 0 25 0 11 0 491725878 866222080 28114 4294967295 134512640 134569956 3221224400 3221214800 1131220383 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28114 13073 16 0 211464 0 vsize: 845920 [startup+760.039 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 73272 87 0 0 25 0 11 0 491725878 866222080 28153 4294967295 134512640 134569956 3221224400 3221214800 1131219739 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28153 13073 16 0 211464 0 vsize: 845920 [startup+770.039 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 74254 87 0 0 25 0 11 0 491725878 866222080 28194 4294967295 134512640 134569956 3221224400 3221214672 1131243621 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28194 13073 16 0 211464 0 vsize: 845920 [startup+780.039 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 75235 87 0 0 25 0 11 0 491725878 866222080 28266 4294967295 134512640 134569956 3221224400 3221214616 1131387638 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28266 13073 16 0 211464 0 vsize: 845920 [startup+790.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 76220 87 0 0 25 0 11 0 491725878 866222080 28327 4294967295 134512640 134569956 3221224400 3221214800 1131220262 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28327 13073 16 0 211464 0 vsize: 845920 [startup+800.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 77206 87 0 0 25 0 11 0 491725878 866222080 28345 4294967295 134512640 134569956 3221224400 3221214800 1131219553 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28345 13073 16 0 211464 0 vsize: 845920 [startup+810.041 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 78192 87 0 0 25 0 11 0 491725878 866222080 28375 4294967295 134512640 134569956 3221224400 3221214800 1131219709 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28375 13073 16 0 211464 0 vsize: 845920 [startup+820.042 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 79178 88 0 0 25 0 11 0 491725878 866222080 28405 4294967295 134512640 134569956 3221224400 3221214800 1131219909 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28405 13073 16 0 211464 0 vsize: 845920 [startup+830.042 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 80160 88 0 0 25 0 11 0 491725878 866222080 28479 4294967295 134512640 134569956 3221224400 3221214800 1131220215 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28479 13073 16 0 211464 0 vsize: 845920 [startup+840.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 81143 88 0 0 25 0 11 0 491725878 866222080 28507 4294967295 134512640 134569956 3221224400 3221214840 1131208896 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28507 13073 16 0 211464 0 vsize: 845920 [startup+850.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 82124 88 0 0 25 0 11 0 491725878 866222080 28560 4294967295 134512640 134569956 3221224400 3221214800 1131220362 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28560 13073 16 0 211464 0 vsize: 845920 [startup+860.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 83104 88 0 0 25 0 11 0 491725878 866222080 28615 4294967295 134512640 134569956 3221224400 3221214840 1131208889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 28615 13073 16 0 211464 0 vsize: 845920 [startup+870.045 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 84086 89 0 0 25 0 11 0 491725878 866222080 28658 4294967295 134512640 134569956 3221224400 3221214800 1131219755 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 28658 13073 16 0 211464 0 vsize: 845920 [startup+880.046 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 85067 89 0 0 25 0 11 0 491725878 866222080 28710 4294967295 134512640 134569956 3221224400 3221214800 1131219325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 28710 13073 16 0 211464 0 vsize: 845920 [startup+890.047 s] Raw data (loadavg): 1.08 1.02 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 86046 89 0 0 25 0 11 0 491725878 866222080 28769 4294967295 134512640 134569956 3221224400 3221214800 1131219709 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 28769 13073 16 0 211464 0 vsize: 845920 [startup+900.047 s] Raw data (loadavg): 1.07 1.02 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 87026 89 0 0 25 0 11 0 491725878 866222080 28816 4294967295 134512640 134569956 3221224400 3221214800 1131219949 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 28816 13073 16 0 211464 0 vsize: 845920 [startup+910.047 s] Raw data (loadavg): 1.06 1.01 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 88010 90 0 0 25 0 11 0 491725878 866222080 28868 4294967295 134512640 134569956 3221224400 3221214732 1131409580 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 28868 13073 16 0 211464 0 vsize: 845920 [startup+920.048 s] Raw data (loadavg): 1.05 1.01 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 88992 90 0 0 25 0 11 0 491725878 866222080 28907 4294967295 134512640 134569956 3221224400 3221214584 1131619029 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 28907 13073 16 0 211464 0 vsize: 845920 [startup+930.049 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 89975 90 0 0 25 0 11 0 491725878 866222080 28942 4294967295 134512640 134569956 3221224400 3221214800 1131219709 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 28942 13073 16 0 211464 0 vsize: 845920 [startup+940.05 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 90956 90 0 0 25 0 11 0 491725878 866222080 28964 4294967295 134512640 134569956 3221224400 3221214800 1131219439 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 28964 13073 16 0 211464 0 vsize: 845920 [startup+950.05 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 91936 91 0 0 25 0 11 0 491725878 866222080 29009 4294967295 134512640 134569956 3221224400 3221214800 1131219751 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 29009 13073 16 0 211464 0 vsize: 845920 [startup+960.05 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 11184 Raw data (stat): 11113 (java) S 11112 25285 25284 0 -1 0 17998 3 82 0 92918 91 0 0 25 0 11 0 491725878 866222080 29045 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 29045 13073 16 0 211464 0 vsize: 845920 [startup+970.051 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 93899 91 0 0 25 0 11 0 491725878 866222080 29074 4294967295 134512640 134569956 3221224400 3221214664 1131640615 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 29074 13073 16 0 211464 0 vsize: 845920 [startup+980.052 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 94881 92 0 0 25 0 11 0 491725878 866222080 29127 4294967295 134512640 134569956 3221224400 3221214840 1131208896 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 29127 13073 16 0 211464 0 vsize: 845920 [startup+990.053 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 95861 92 0 0 25 0 11 0 491725878 866222080 29168 4294967295 134512640 134569956 3221224400 3221214840 1131208901 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 29168 13073 16 0 211464 0 vsize: 845920 [startup+1000.05 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 96843 93 0 0 25 0 11 0 491725878 866222080 29201 4294967295 134512640 134569956 3221224400 3221214552 1131582737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 29201 13073 16 0 211464 0 vsize: 845920 [startup+1010.05 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 97826 93 0 0 25 0 11 0 491725878 866222080 29266 4294967295 134512640 134569956 3221224400 3221214896 1131228613 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 29266 13073 16 0 211464 0 vsize: 845920 [startup+1020.05 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 98811 93 0 0 25 0 11 0 491725878 866222080 29313 4294967295 134512640 134569956 3221224400 3221214760 1131250662 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 29313 13073 16 0 211464 0 vsize: 845920 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 99793 93 0 0 25 0 11 0 491725878 866222080 29340 4294967295 134512640 134569956 3221224400 3221214800 1131219695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 29340 13073 16 0 211464 0 vsize: 845920 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 100775 93 0 0 24 0 11 0 491725878 866222080 29380 4294967295 134512640 134569956 3221224400 3221214800 1131219739 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 29380 13073 16 0 211464 0 vsize: 845920 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 101757 93 0 0 25 0 11 0 491725878 866222080 29428 4294967295 134512640 134569956 3221224400 3221214800 1131219826 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 29428 13073 16 0 211464 0 vsize: 845920 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 102738 93 0 0 25 0 11 0 491725878 866222080 29470 4294967295 134512640 134569956 3221224400 3221214800 1131219826 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 29470 13073 16 0 211464 0 vsize: 845920 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 103720 93 0 0 24 0 11 0 491725878 866222080 29507 4294967295 134512640 134569956 3221224400 3221214552 1131582737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 29507 13073 16 0 211464 0 vsize: 845920 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 104703 93 0 0 25 0 11 0 491725878 866222080 29548 4294967295 134512640 134569956 3221224400 3221214800 1131220359 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 29548 13073 16 0 211464 0 vsize: 845920 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 105685 93 0 0 25 0 11 0 491725878 866222080 29593 4294967295 134512640 134569956 3221224400 3221214800 1131220355 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 29593 13073 16 0 211464 0 vsize: 845920 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 106668 93 0 0 25 0 11 0 491725878 866222080 29629 4294967295 134512640 134569956 3221224400 3221214800 1131219939 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 29629 13073 16 0 211464 0 vsize: 845920 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 107644 93 0 0 25 0 11 0 491725878 866222080 29694 4294967295 134512640 134569956 3221224400 3221214840 1131209101 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 29694 13073 16 0 211464 0 vsize: 845920 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 108621 93 0 0 25 0 11 0 491725878 866222080 29759 4294967295 134512640 134569956 3221224400 3221214800 1131219340 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211480 29759 13073 16 0 211464 0 vsize: 845920 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 109594 94 0 0 25 0 11 0 491725878 866222080 29835 4294967295 134512640 134569956 3221224400 3221214800 1131219405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 29835 13073 16 0 211464 0 vsize: 845920 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 110574 94 0 0 25 0 11 0 491725878 866222080 29891 4294967295 134512640 134569956 3221224400 3221214840 1131208913 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 29891 13073 16 0 211464 0 vsize: 845920 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 111554 94 0 0 25 0 11 0 491725878 866222080 29960 4294967295 134512640 134569956 3221224400 3221214896 1131228833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 29960 13073 16 0 211464 0 vsize: 845920 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 112535 94 0 0 25 0 11 0 491725878 866222080 30026 4294967295 134512640 134569956 3221224400 3221214800 1131219739 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 30026 13073 16 0 211464 0 vsize: 845920 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) S 11112 25285 25284 0 -1 0 17998 3 82 0 113519 94 0 0 25 0 11 0 491725878 866222080 30054 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 30054 13073 16 0 211464 0 vsize: 845920 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 114504 94 0 0 25 0 11 0 491725878 866222080 30096 4294967295 134512640 134569956 3221224400 3221214896 1131229456 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 30096 13073 16 0 211464 0 vsize: 845920 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 115487 94 0 0 24 0 11 0 491725878 866222080 30142 4294967295 134512640 134569956 3221224400 3221214840 1131208896 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 30142 13073 16 0 211464 0 vsize: 845920 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 116469 94 0 0 25 0 11 0 491725878 866222080 30163 4294967295 134512640 134569956 3221224400 3221214800 1131220339 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 30163 13073 16 0 211464 0 vsize: 845920 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 117449 94 0 0 25 0 11 0 491725878 866222080 30204 4294967295 134512640 134569956 3221224400 3221214660 1080204260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 30204 13073 16 0 211464 0 vsize: 845920 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 118431 94 0 0 25 0 11 0 491725878 866222080 30250 4294967295 134512640 134569956 3221224400 3221214840 1131208917 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 30250 13073 16 0 211464 0 vsize: 845920 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 119415 94 0 0 25 0 11 0 491725878 866222080 30313 4294967295 134512640 134569956 3221224400 3221214800 1131219931 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 30313 13073 16 0 211464 0 vsize: 845920 [startup+1240.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 11184 Raw data (stat): 11113 (java) R 11112 25285 25284 0 -1 0 17998 3 82 0 120398 94 0 0 25 0 11 0 491725878 866222080 30335 4294967295 134512640 134569956 3221224400 3221214800 1131219739 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211480 30335 13073 16 0 211464 0 vsize: 845920 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.25 s] Raw data (loadavg): 1.00 1.00 0.94 1/54 11186 Raw data (stat): 11113 (java) Z 11112 25285 25284 0 -1 1036 17998 8899 82 0 120401 94 2692 31 25 0 1 0 491725878 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1240.25 CPU time (s): 1232.21 CPU user time (s): 1230.94 CPU system time (s): 1.26981 CPU usage (%): 99.352 Max. virtual memory (Kb): 846944 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####