Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb |
MD5SUM | b964292d4197638ce79b3f213e8fe89b |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5130240 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1008 |
Biggest coefficient in the objective function | 366477312 |
Number of bits for the biggest coefficient in the objective function | 29 |
Sum of the numbers in the objective function | 12643636975 |
Number of bits of the sum of numbers in the objective function | 34 |
Biggest number in a constraint | 366477312 |
Number of bits of the biggest number in a constraint | 29 |
Biggest sum of numbers in a constraint | 12643636975 |
Number of bits of the biggest sum of numbers | 34 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.01 |
Number of variables | 1008 |
Total number of constraints | 110 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 62 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 160 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-04-21 17:46:21 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17052 boxname=wulflinc4 idbench=1312 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: b964292d4197638ce79b3f213e8fe89b /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-mod013.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-mod013.opb IDLAUNCH: 17052 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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: 811516 kB Buffers: 26392 kB Cached: 175612 kB SwapCached: 364 kB Active: 32204 kB Inactive: 172356 kB HighTotal: 131008 kB HighFree: 91280 kB LowTotal: 903652 kB LowFree: 720236 kB SwapTotal: 2097136 kB SwapFree: 2096356 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6400 kB Slab: 12920 kB Committed_AS: 71676 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 18:06:44 (client local time) WITH STATUS 143 IN 1230.69 SECONDS stats: 17052 7 1230.69 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-mod013.opb c reading problem c [nbvar=1008] c [nbconstr=110] c time 2.305 c #vars 1008 c #clauses 77 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=5786411 c Current CPU time (ms) : 9.33 c starts : 1 c conflicts : 9 c decisions : 757 c propagations : 4089 c inspects : 6440 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 9 c root simplifications : 9 c c CURRENT OPTIMUM=5530411 c Current CPU time (ms) : 10.288 c starts : 2 c conflicts : 9 c decisions : 884 c propagations : 4670 c inspects : 7548 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 9 c root simplifications : 10 c c CURRENT OPTIMUM=5530402 c Current CPU time (ms) : 12.223 c starts : 3 c conflicts : 10 c decisions : 982 c propagations : 5257 c inspects : 8753 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 10 c root simplifications : 11 c c CURRENT OPTIMUM=5514004 c Current CPU time (ms) : 40.157 c starts : 4 c conflicts : 27 c decisions : 2911 c propagations : 10991 c inspects : 30078 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 27 c root simplifications : 26 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.95 0.97 2/54 10964 Raw data (stat): 10964 (runsolver) R 10963 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488762955 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.0015 s] Raw data (loadavg): 1.03 0.99 0.98 2/64 10975 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18072 3 1 0 752 44 0 0 25 0 11 0 488762955 863084544 21051 4294967295 134512640 134569956 3221224400 3221214808 1131404408 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210714 21051 13073 16 0 210698 0 vsize: 842856 [startup+20.0024 s] Raw data (loadavg): 1.10 1.00 0.99 2/64 10977 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18073 3 1 0 1696 45 0 0 25 0 11 0 488762955 863084544 21259 4294967295 134512640 134569956 3221224400 3221214696 1131220576 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210714 21259 13073 16 0 210698 0 vsize: 842856 [startup+30.0028 s] Raw data (loadavg): 1.08 1.00 0.99 2/64 10977 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18074 3 1 0 2652 45 0 0 25 0 11 0 488762955 863084544 21325 4294967295 134512640 134569956 3221224400 3221214792 1131273224 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210714 21325 13073 16 0 210698 0 vsize: 842856 [startup+40.0041 s] Raw data (loadavg): 1.14 1.02 0.99 2/64 10977 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18074 3 1 0 3609 45 0 0 25 0 11 0 488762955 866230272 22527 4294967295 134512640 134569956 3221224400 3221214792 1131273505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211482 22527 13073 16 0 211466 0 vsize: 845928 [startup+50.005 s] Raw data (loadavg): 1.12 1.02 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18074 3 1 0 4590 46 0 0 25 0 11 0 488762955 866230272 22625 4294967295 134512640 134569956 3221224400 3221214696 1131220526 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211482 22625 13073 16 0 211466 0 vsize: 845928 [startup+60.0054 s] Raw data (loadavg): 1.10 1.02 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18074 3 1 0 5570 46 0 0 24 0 11 0 488762955 866230272 22670 4294967295 134512640 134569956 3221224400 3221214696 1131220637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211482 22670 13073 16 0 211466 0 vsize: 845928 [startup+70.0068 s] Raw data (loadavg): 1.09 1.02 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 6549 47 0 0 25 0 11 0 488762955 866230272 22722 4294967295 134512640 134569956 3221224400 3221214696 1131220625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211482 22722 13073 16 0 211466 0 vsize: 845928 [startup+80.0076 s] Raw data (loadavg): 1.07 1.02 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 7533 47 0 0 25 0 11 0 488762955 864133120 22253 4294967295 134512640 134569956 3221224400 3221214688 1131364049 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22253 13073 16 0 210954 0 vsize: 843880 [startup+90.0081 s] Raw data (loadavg): 1.06 1.01 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 8521 47 0 0 25 0 11 0 488762955 864133120 22296 4294967295 134512640 134569956 3221224400 3221214760 1131229088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22296 13073 16 0 210954 0 vsize: 843880 [startup+100.008 s] Raw data (loadavg): 1.05 1.01 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 9509 47 0 0 25 0 11 0 488762955 864133120 22319 4294967295 134512640 134569956 3221224400 3221214592 1131246704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22319 13073 16 0 210954 0 vsize: 843880 [startup+110.01 s] Raw data (loadavg): 1.04 1.01 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 10496 48 0 0 25 0 11 0 488762955 864133120 22358 4294967295 134512640 134569956 3221224400 3221214792 1131272298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22358 13073 16 0 210954 0 vsize: 843880 [startup+120.011 s] Raw data (loadavg): 1.04 1.01 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 11485 48 0 0 25 0 11 0 488762955 864133120 22391 4294967295 134512640 134569956 3221224400 3221214696 1131220236 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22391 13073 16 0 210954 0 vsize: 843880 [startup+130.011 s] Raw data (loadavg): 1.03 1.01 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 12475 48 0 0 25 0 11 0 488762955 864133120 22412 4294967295 134512640 134569956 3221224400 3221214696 1131220809 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22412 13073 16 0 210954 0 vsize: 843880 [startup+140.012 s] Raw data (loadavg): 1.02 1.01 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 13464 48 0 0 25 0 11 0 488762955 864133120 22451 4294967295 134512640 134569956 3221224400 3221214696 1131220312 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 22451 13073 16 0 210954 0 vsize: 843880 [startup+150.012 s] Raw data (loadavg): 1.02 1.01 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 14446 48 0 0 25 0 11 0 488762955 864133120 22477 4294967295 134512640 134569956 3221224400 3221214696 1131220781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22477 13073 16 0 210954 0 vsize: 843880 [startup+160.014 s] Raw data (loadavg): 1.02 1.01 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 15428 48 0 0 25 0 11 0 488762955 864133120 22511 4294967295 134512640 134569956 3221224400 3221214792 1131272030 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22511 13073 16 0 210954 0 vsize: 843880 [startup+170.014 s] Raw data (loadavg): 1.01 1.01 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18075 3 1 0 16409 48 0 0 25 0 11 0 488762955 864133120 22553 4294967295 134512640 134569956 3221224400 3221214696 1131220777 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22553 13073 16 0 210954 0 vsize: 843880 [startup+180.015 s] Raw data (loadavg): 1.01 1.01 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 17389 48 0 0 25 0 11 0 488762955 864133120 22673 4294967295 134512640 134569956 3221224400 3221214592 1131572517 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22673 13073 16 0 210954 0 vsize: 843880 [startup+190.016 s] Raw data (loadavg): 1.01 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 18376 48 0 0 25 0 11 0 488762955 864133120 22686 4294967295 134512640 134569956 3221224400 3221214696 1131220564 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22686 13073 16 0 210954 0 vsize: 843880 [startup+200.017 s] Raw data (loadavg): 1.01 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 19362 48 0 0 25 0 11 0 488762955 864133120 22737 4294967295 134512640 134569956 3221224400 3221214696 1131221414 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22737 13073 16 0 210954 0 vsize: 843880 [startup+210.017 s] Raw data (loadavg): 1.01 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 20350 48 0 0 22 0 11 0 488762955 864133120 22784 4294967295 134512640 134569956 3221224400 3221214792 1131273444 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22784 13073 16 0 210954 0 vsize: 843880 [startup+220.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 21340 49 0 0 25 0 11 0 488762955 864133120 22813 4294967295 134512640 134569956 3221224400 3221214664 1131044207 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22813 13073 16 0 210954 0 vsize: 843880 [startup+230.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 22332 49 0 0 25 0 11 0 488762955 864133120 22852 4294967295 134512640 134569956 3221224400 3221214696 1131220606 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22852 13073 16 0 210954 0 vsize: 843880 [startup+240.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 23323 49 0 0 25 0 11 0 488762955 864133120 22880 4294967295 134512640 134569956 3221224400 3221214696 1131221016 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22880 13073 16 0 210954 0 vsize: 843880 [startup+250.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 24315 49 0 0 25 0 11 0 488762955 864133120 22900 4294967295 134512640 134569956 3221224400 3221214792 1131272298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22900 13073 16 0 210954 0 vsize: 843880 [startup+260.022 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 25307 49 0 0 25 0 11 0 488762955 864133120 22933 4294967295 134512640 134569956 3221224400 3221214696 1131220625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22933 13073 16 0 210954 0 vsize: 843880 [startup+270.022 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 26300 49 0 0 25 0 11 0 488762955 864133120 22961 4294967295 134512640 134569956 3221224400 3221214696 1131220801 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22961 13073 16 0 210954 0 vsize: 843880 [startup+280.023 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 27292 49 0 0 25 0 11 0 488762955 864133120 22973 4294967295 134512640 134569956 3221224400 3221214792 1131274903 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22973 13073 16 0 210954 0 vsize: 843880 [startup+290.024 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 28285 49 0 0 25 0 11 0 488762955 864133120 22991 4294967295 134512640 134569956 3221224400 3221214696 1131220662 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 22991 13073 16 0 210954 0 vsize: 843880 [startup+300.025 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 29276 49 0 0 25 0 11 0 488762955 864133120 23016 4294967295 134512640 134569956 3221224400 3221214792 1131274114 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23016 13073 16 0 210954 0 vsize: 843880 [startup+310.026 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 30268 49 0 0 25 0 11 0 488762955 864133120 23045 4294967295 134512640 134569956 3221224400 3221214840 1131248569 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23045 13073 16 0 210954 0 vsize: 843880 [startup+320.026 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 31258 49 0 0 25 0 11 0 488762955 864133120 23069 4294967295 134512640 134569956 3221224400 3221214688 1131594839 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23069 13073 16 0 210954 0 vsize: 843880 [startup+330.027 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 32240 49 0 0 25 0 11 0 488762955 864133120 23104 4294967295 134512640 134569956 3221224400 3221214592 1131257036 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23104 13073 16 0 210954 0 vsize: 843880 [startup+340.028 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 33215 49 0 0 25 0 11 0 488762955 864133120 23126 4294967295 134512640 134569956 3221224400 3221214688 1131594828 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23126 13073 16 0 210954 0 vsize: 843880 [startup+350.028 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 34190 49 0 0 25 0 11 0 488762955 864133120 23190 4294967295 134512640 134569956 3221224400 3221214696 1131220678 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23190 13073 16 0 210954 0 vsize: 843880 [startup+360.03 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 35165 49 0 0 25 0 11 0 488762955 864133120 23316 4294967295 134512640 134569956 3221224400 3221214656 1131044787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23316 13073 16 0 210954 0 vsize: 843880 [startup+370.031 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 36149 49 0 0 24 0 11 0 488762955 864133120 23398 4294967295 134512640 134569956 3221224400 3221214792 1131272233 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23398 13073 16 0 210954 0 vsize: 843880 [startup+380.031 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 37138 49 0 0 25 0 11 0 488762955 864133120 23468 4294967295 134512640 134569956 3221224400 3221214788 1131221721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23468 13073 16 0 210954 0 vsize: 843880 [startup+390.032 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 38128 50 0 0 25 0 11 0 488762955 864133120 23491 4294967295 134512640 134569956 3221224400 3221214792 1131272233 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23491 13073 16 0 210954 0 vsize: 843880 [startup+400.033 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 39119 50 0 0 25 0 11 0 488762955 864133120 23520 4294967295 134512640 134569956 3221224400 3221214696 1131220656 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23520 13073 16 0 210954 0 vsize: 843880 [startup+410.034 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 40110 50 0 0 25 0 11 0 488762955 864133120 23551 4294967295 134512640 134569956 3221224400 3221214696 1131220539 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23551 13073 16 0 210954 0 vsize: 843880 [startup+420.034 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 41102 50 0 0 25 0 11 0 488762955 864133120 23567 4294967295 134512640 134569956 3221224400 3221214792 1131273179 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23567 13073 16 0 210954 0 vsize: 843880 [startup+430.035 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 42093 51 0 0 25 0 11 0 488762955 864133120 23590 4294967295 134512640 134569956 3221224400 3221214568 1131401145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23590 13073 16 0 210954 0 vsize: 843880 [startup+440.036 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 43084 51 0 0 25 0 11 0 488762955 864133120 23613 4294967295 134512640 134569956 3221224400 3221214696 1131220625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23613 13073 16 0 210954 0 vsize: 843880 [startup+450.036 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 44075 51 0 0 25 0 11 0 488762955 864133120 23647 4294967295 134512640 134569956 3221224400 3221214696 1131221554 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23647 13073 16 0 210954 0 vsize: 843880 [startup+460.037 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 45067 51 0 0 25 0 11 0 488762955 864133120 23666 4294967295 134512640 134569956 3221224400 3221214696 1131220625 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 23666 13073 16 0 210954 0 vsize: 843880 [startup+470.038 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 46057 51 0 0 25 0 11 0 488762955 864133120 23687 4294967295 134512640 134569956 3221224400 3221214696 1131220229 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 23687 13073 16 0 210954 0 vsize: 843880 [startup+480.038 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 47046 52 0 0 25 0 11 0 488762955 864133120 23729 4294967295 134512640 134569956 3221224400 3221214792 1131274956 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 23729 13073 16 0 210954 0 vsize: 843880 [startup+490.039 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 48035 52 0 0 25 0 11 0 488762955 864133120 23754 4294967295 134512640 134569956 3221224400 3221214792 1131272298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23754 13073 16 0 210954 0 vsize: 843880 [startup+500.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 49025 52 0 0 25 0 11 0 488762955 864133120 23804 4294967295 134512640 134569956 3221224400 3221214696 1131220625 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 23804 13073 16 0 210954 0 vsize: 843880 [startup+510.041 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 50015 53 0 0 25 0 11 0 488762955 864133120 23839 4294967295 134512640 134569956 3221224400 3221214792 1131274982 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 23839 13073 16 0 210954 0 vsize: 843880 [startup+520.042 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 51004 53 0 0 25 0 11 0 488762955 864133120 23873 4294967295 134512640 134569956 3221224400 3221214696 1131221477 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23873 13073 16 0 210954 0 vsize: 843880 [startup+530.042 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 51995 53 0 0 25 0 11 0 488762955 864133120 23894 4294967295 134512640 134569956 3221224400 3221214792 1131272233 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23894 13073 16 0 210954 0 vsize: 843880 [startup+540.043 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 52986 53 0 0 25 0 11 0 488762955 864133120 23947 4294967295 134512640 134569956 3221224400 3221214696 1131220236 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23947 13073 16 0 210954 0 vsize: 843880 [startup+550.044 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 53978 53 0 0 25 0 11 0 488762955 864133120 23969 4294967295 134512640 134569956 3221224400 3221214696 1131220294 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23969 13073 16 0 210954 0 vsize: 843880 [startup+560.045 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 54969 53 0 0 25 0 11 0 488762955 864133120 23984 4294967295 134512640 134569956 3221224400 3221214792 1131275530 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 23984 13073 16 0 210954 0 vsize: 843880 [startup+570.046 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 55960 53 0 0 25 0 11 0 488762955 864133120 24010 4294967295 134512640 134569956 3221224400 3221214696 1131221573 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24010 13073 16 0 210954 0 vsize: 843880 [startup+580.047 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 56950 53 0 0 25 0 11 0 488762955 864133120 24035 4294967295 134512640 134569956 3221224400 3221214696 1131220536 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24035 13073 16 0 210954 0 vsize: 843880 [startup+590.047 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 57940 53 0 0 25 0 11 0 488762955 864133120 24075 4294967295 134512640 134569956 3221224400 3221214696 1131220233 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24075 13073 16 0 210954 0 vsize: 843880 [startup+600.047 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 58930 53 0 0 25 0 11 0 488762955 864133120 24115 4294967295 134512640 134569956 3221224400 3221214792 1131272176 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24115 13073 16 0 210954 0 vsize: 843880 [startup+610.049 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 59920 53 0 0 25 0 11 0 488762955 864133120 24151 4294967295 134512640 134569956 3221224400 3221214696 1131220781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24151 13073 16 0 210954 0 vsize: 843880 [startup+620.05 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 60910 53 0 0 25 0 11 0 488762955 864133120 24181 4294967295 134512640 134569956 3221224400 3221214696 1131220797 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24181 13073 16 0 210954 0 vsize: 843880 [startup+630.051 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 61900 54 0 0 25 0 11 0 488762955 864133120 24207 4294967295 134512640 134569956 3221224400 3221214696 1131220254 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24207 13073 16 0 210954 0 vsize: 843880 [startup+640.053 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 62890 54 0 0 25 0 11 0 488762955 864133120 24249 4294967295 134512640 134569956 3221224400 3221214696 1131220797 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24249 13073 16 0 210954 0 vsize: 843880 [startup+650.053 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 63881 54 0 0 25 0 11 0 488762955 864133120 24292 4294967295 134512640 134569956 3221224400 3221214696 1131220750 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24292 13073 16 0 210954 0 vsize: 843880 [startup+660.055 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 64872 54 0 0 25 0 11 0 488762955 864133120 24312 4294967295 134512640 134569956 3221224400 3221214696 1131221492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24312 13073 16 0 210954 0 vsize: 843880 [startup+670.055 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 65863 54 0 0 25 0 11 0 488762955 864133120 24330 4294967295 134512640 134569956 3221224400 3221214696 1131220857 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24330 13073 16 0 210954 0 vsize: 843880 [startup+680.056 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 66853 54 0 0 25 0 11 0 488762955 864133120 24368 4294967295 134512640 134569956 3221224400 3221214696 1131220625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24368 13073 16 0 210954 0 vsize: 843880 [startup+690.057 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 67842 54 0 0 25 0 11 0 488762955 864133120 24399 4294967295 134512640 134569956 3221224400 3221214792 1131273129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24399 13073 16 0 210954 0 vsize: 843880 [startup+700.058 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 68833 54 0 0 25 0 11 0 488762955 864133120 24432 4294967295 134512640 134569956 3221224400 3221214616 1131586517 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24432 13073 16 0 210954 0 vsize: 843880 [startup+710.059 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 69824 54 0 0 25 0 11 0 488762955 864133120 24475 4294967295 134512640 134569956 3221224400 3221214696 1131220257 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24475 13073 16 0 210954 0 vsize: 843880 [startup+720.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 70816 54 0 0 25 0 11 0 488762955 864133120 24500 4294967295 134512640 134569956 3221224400 3221214792 1131273260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24500 13073 16 0 210954 0 vsize: 843880 [startup+730.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 71805 54 0 0 25 0 11 0 488762955 864133120 24526 4294967295 134512640 134569956 3221224400 3221214696 1131220578 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24526 13073 16 0 210954 0 vsize: 843880 [startup+740.06 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 72795 55 0 0 25 0 11 0 488762955 864133120 24548 4294967295 134512640 134569956 3221224400 3221214792 1131272317 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24548 13073 16 0 210954 0 vsize: 843880 [startup+750.061 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 73784 55 0 0 25 0 11 0 488762955 864133120 24590 4294967295 134512640 134569956 3221224400 3221214696 1131220578 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24590 13073 16 0 210954 0 vsize: 843880 [startup+760.061 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 74774 55 0 0 25 0 11 0 488762955 864133120 24628 4294967295 134512640 134569956 3221224400 3221214696 1131220859 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24628 13073 16 0 210954 0 vsize: 843880 [startup+770.065 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) S 10963 5897 5896 0 -1 0 18076 3 1 0 75763 55 0 0 25 0 11 0 488762955 864133120 24683 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24683 13073 16 0 210954 0 vsize: 843880 [startup+780.066 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 76754 55 0 0 25 0 11 0 488762955 864133120 24719 4294967295 134512640 134569956 3221224400 3221214792 1131273325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24719 13073 16 0 210954 0 vsize: 843880 [startup+790.067 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 77745 55 0 0 25 0 11 0 488762955 864133120 24747 4294967295 134512640 134569956 3221224400 3221214792 1131275096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24747 13073 16 0 210954 0 vsize: 843880 [startup+800.068 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 78736 55 0 0 25 0 11 0 488762955 864133120 24768 4294967295 134512640 134569956 3221224400 3221214696 1131220236 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24768 13073 16 0 210954 0 vsize: 843880 [startup+810.071 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) S 10963 5897 5896 0 -1 0 18076 3 1 0 79727 55 0 0 25 0 11 0 488762955 864133120 24802 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24802 13073 16 0 210954 0 vsize: 843880 [startup+820.072 s] Raw data (loadavg): 1.00 1.00 0.99 2/64 10978 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 80717 55 0 0 25 0 11 0 488762955 864133120 24830 4294967295 134512640 134569956 3221224400 3221214696 1131220629 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 24830 13073 16 0 210954 0 vsize: 843880 [startup+830.073 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 11031 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 81697 64 0 0 25 0 11 0 488762955 864133120 24857 4294967295 134512640 134569956 3221224400 3221214696 1131221041 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 24857 13073 16 0 210954 0 vsize: 843880 [startup+840.074 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 11031 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 82686 64 0 0 25 0 11 0 488762955 864133120 24880 4294967295 134512640 134569956 3221224400 3221214696 1131220561 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 24880 13073 16 0 210954 0 vsize: 843880 [startup+850.074 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 11031 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 83677 64 0 0 25 0 11 0 488762955 864133120 24928 4294967295 134512640 134569956 3221224400 3221214792 1131274214 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 24928 13073 16 0 210954 0 vsize: 843880 [startup+860.075 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 11031 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 84667 65 0 0 25 0 11 0 488762955 864133120 24946 4294967295 134512640 134569956 3221224400 3221214696 1131220801 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 24946 13073 16 0 210954 0 vsize: 843880 [startup+870.075 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 11031 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 85658 65 0 0 25 0 11 0 488762955 864133120 24968 4294967295 134512640 134569956 3221224400 3221214788 1131220204 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 24968 13073 16 0 210954 0 vsize: 843880 [startup+880.075 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 11031 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 86648 65 0 0 25 0 11 0 488762955 864133120 24990 4294967295 134512640 134569956 3221224400 3221214792 1131274907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 24990 13073 16 0 210954 0 vsize: 843880 [startup+890.076 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11031 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 87638 66 0 0 25 0 11 0 488762955 864133120 25002 4294967295 134512640 134569956 3221224400 3221214792 1131274956 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 25002 13073 16 0 210954 0 vsize: 843880 [startup+900.076 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 88628 66 0 0 25 0 11 0 488762955 864133120 25017 4294967295 134512640 134569956 3221224400 3221214696 1131220625 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 25017 13073 16 0 210954 0 vsize: 843880 [startup+910.076 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 89618 67 0 0 25 0 11 0 488762955 864133120 25058 4294967295 134512640 134569956 3221224400 3221214792 1131272265 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 25058 13073 16 0 210954 0 vsize: 843880 [startup+920.077 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 90607 67 0 0 25 0 11 0 488762955 864133120 25096 4294967295 134512640 134569956 3221224400 3221214696 1131220625 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 25096 13073 16 0 210954 0 vsize: 843880 [startup+930.077 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 91597 68 0 0 25 0 11 0 488762955 864133120 25109 4294967295 134512640 134569956 3221224400 3221214696 1131220273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 25109 13073 16 0 210954 0 vsize: 843880 [startup+940.078 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 92588 68 0 0 25 0 11 0 488762955 864133120 25136 4294967295 134512640 134569956 3221224400 3221214632 1131220511 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 25136 13073 16 0 210954 0 vsize: 843880 [startup+950.078 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 93578 68 0 0 25 0 11 0 488762955 864133120 25170 4294967295 134512640 134569956 3221224400 3221214632 1131220539 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 25170 13073 16 0 210954 0 vsize: 843880 [startup+960.078 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 94567 68 0 0 25 0 11 0 488762955 864133120 25197 4294967295 134512640 134569956 3221224400 3221214632 1131221168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 25197 13073 16 0 210954 0 vsize: 843880 [startup+970.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 95557 68 0 0 25 0 11 0 488762955 864133120 25207 4294967295 134512640 134569956 3221224400 3221214632 1131221519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25207 13073 16 0 210954 0 vsize: 843880 [startup+980.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 96546 69 0 0 25 0 11 0 488762955 864133120 25240 4294967295 134512640 134569956 3221224400 3221214728 1131272233 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25240 13073 16 0 210954 0 vsize: 843880 [startup+990.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 97537 69 0 0 25 0 11 0 488762955 864133120 25301 4294967295 134512640 134569956 3221224400 3221214632 1131220853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25301 13073 16 0 210954 0 vsize: 843880 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 98528 69 0 0 25 0 11 0 488762955 864133120 25330 4294967295 134512640 134569956 3221224400 3221214632 1131220625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25330 13073 16 0 210954 0 vsize: 843880 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 99519 69 0 0 25 0 11 0 488762955 864133120 25337 4294967295 134512640 134569956 3221224400 3221214632 1131220797 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25337 13073 16 0 210954 0 vsize: 843880 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 100508 69 0 0 25 0 11 0 488762955 864133120 25368 4294967295 134512640 134569956 3221224400 3221214728 1131273257 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25368 13073 16 0 210954 0 vsize: 843880 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 101499 69 0 0 25 0 11 0 488762955 864133120 25405 4294967295 134512640 134569956 3221224400 3221214632 1131220578 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25405 13073 16 0 210954 0 vsize: 843880 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 102490 69 0 0 25 0 11 0 488762955 864133120 25443 4294967295 134512640 134569956 3221224400 3221214632 1131220578 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25443 13073 16 0 210954 0 vsize: 843880 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 103481 69 0 0 25 0 11 0 488762955 864133120 25463 4294967295 134512640 134569956 3221224400 3221214728 1131273260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25463 13073 16 0 210954 0 vsize: 843880 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 104470 69 0 0 25 0 11 0 488762955 864133120 25477 4294967295 134512640 134569956 3221224400 3221214632 1131220797 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25477 13073 16 0 210954 0 vsize: 843880 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 105458 69 0 0 25 0 11 0 488762955 864133120 25499 4294967295 134512640 134569956 3221224400 3221214632 1131220625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25499 13073 16 0 210954 0 vsize: 843880 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 106446 69 0 0 25 0 11 0 488762955 864133120 25571 4294967295 134512640 134569956 3221224400 3221214728 1131272298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25571 13073 16 0 210954 0 vsize: 843880 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 107433 70 0 0 25 0 11 0 488762955 864133120 25607 4294967295 134512640 134569956 3221224400 3221214632 1131220427 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25607 13073 16 0 210954 0 vsize: 843880 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 108418 70 0 0 24 0 11 0 488762955 864133120 25678 4294967295 134512640 134569956 3221224400 3221214632 1131220526 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25678 13073 16 0 210954 0 vsize: 843880 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 109407 70 0 0 25 0 11 0 488762955 864133120 25773 4294967295 134512640 134569956 3221224400 3221214632 1131220625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25773 13073 16 0 210954 0 vsize: 843880 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 110397 70 0 0 25 0 11 0 488762955 864133120 25815 4294967295 134512640 134569956 3221224400 3221214728 1131272048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25815 13073 16 0 210954 0 vsize: 843880 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 111386 70 0 0 25 0 11 0 488762955 864133120 25852 4294967295 134512640 134569956 3221224400 3221214632 1131220853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25852 13073 16 0 210954 0 vsize: 843880 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 112374 70 0 0 25 0 11 0 488762955 864133120 25869 4294967295 134512640 134569956 3221224400 3221214632 1131220528 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25869 13073 16 0 210954 0 vsize: 843880 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 113362 70 0 0 25 0 11 0 488762955 864133120 25938 4294967295 134512640 134569956 3221224400 3221214728 1131274808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25938 13073 16 0 210954 0 vsize: 843880 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 114351 70 0 0 25 0 11 0 488762955 864133120 25977 4294967295 134512640 134569956 3221224400 3221214632 1131221115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 25977 13073 16 0 210954 0 vsize: 843880 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 115340 70 0 0 25 0 11 0 488762955 864133120 26028 4294967295 134512640 134569956 3221224400 3221214728 1131274231 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 26028 13073 16 0 210954 0 vsize: 843880 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 116327 70 0 0 25 0 11 0 488762955 864133120 26065 4294967295 134512640 134569956 3221224400 3221214632 1131220257 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 26065 13073 16 0 210954 0 vsize: 843880 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11033 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 117316 70 0 0 25 0 11 0 488762955 864133120 26119 4294967295 134512640 134569956 3221224400 3221214392 1085679290 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 26119 13073 16 0 210954 0 vsize: 843880 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11035 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 118305 70 0 0 25 0 11 0 488762955 864133120 26162 4294967295 134512640 134569956 3221224400 3221214632 1131220625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 26162 13073 16 0 210954 0 vsize: 843880 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11035 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 119293 71 0 0 25 0 11 0 488762955 864133120 26207 4294967295 134512640 134569956 3221224400 3221214728 1131275038 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210970 26207 13073 16 0 210954 0 vsize: 843880 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11035 Raw data (stat): 10964 (java) R 10963 5897 5896 0 -1 0 18076 3 1 0 120281 71 0 0 25 0 11 0 488762955 864133120 26265 4294967295 134512640 134569956 3221224400 3221214632 1131221547 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210970 26265 13073 16 0 210954 0 vsize: 843880 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.15 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 11037 Raw data (stat): 10964 (java) Z 10963 5897 5896 0 -1 1036 18076 12079 1 0 120282 76 2661 48 25 0 1 0 488762955 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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): 1220.15 CPU time (s): 1230.69 CPU user time (s): 1229.44 CPU system time (s): 1.25081 CPU usage (%): 100.864 Max. virtual memory (Kb): 845928 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####