Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bore3d.opb |
MD5SUM | 2cd5382c1facbd4a9351d3d22fa716c6 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 2617 |
Biggest coefficient in the objective function | 18004229637537792 |
Number of bits for the biggest coefficient in the objective function | 54 |
Sum of the numbers in the objective function | 118634341295805038 |
Number of bits of the sum of numbers in the objective function | 57 |
Biggest number in a constraint | 18004229637537792 |
Number of bits of the biggest number in a constraint | 54 |
Biggest sum of numbers in a constraint | 118634341295805038 |
Number of bits of the biggest sum of numbers | 57 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.085986 |
Number of variables | 9277 |
Total number of constraints | 244 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 244 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 2190 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc22 THE 2005-04-21 10:28:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=10604 boxname=wulflinc22 idbench=816 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 2cd5382c1facbd4a9351d3d22fa716c6 /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-bore3d.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-bore3d.opb IDLAUNCH: 10604 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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 : 3 cpu MHz : 451.031 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: 487616 kB Buffers: 32540 kB Cached: 483760 kB SwapCached: 24 kB Active: 171820 kB Inactive: 347216 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 487364 kB SwapTotal: 2097892 kB SwapFree: 2097660 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6640 kB Slab: 22460 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 10:49:51 (client local time) WITH STATUS 143 IN 1265.53 SECONDS stats: 10604 7 1265.53 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-bore3d.opb c reading problem c [nbvar=9277] c [nbconstr=244] c time 29.234 c #vars 9277 c #clauses 415 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 #### 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.92 2/54 871 Raw data (stat): 871 (runsolver) R 870 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 544362548 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 0.87 0.95 0.92 3/63 880 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18004 0 1 0 829 41 0 0 25 0 10 0 544362548 859082752 20806 4294967295 134512640 134569956 3221224400 3221214204 1077378858 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209737 20806 13073 16 0 209721 0 vsize: 838948 [startup+20.0017 s] Raw data (loadavg): 0.89 0.96 0.92 2/63 880 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18004 0 1 0 1688 41 0 0 25 0 10 0 544362548 858722304 21891 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209649 21891 13073 16 0 209633 0 vsize: 838596 [startup+30.0024 s] Raw data (loadavg): 0.91 0.96 0.92 3/63 880 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18025 0 1 0 2535 43 0 0 25 0 10 0 544362548 858722304 22893 4294967295 134512640 134569956 3221224400 3221214968 1130918330 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209649 22893 13073 16 0 209633 0 vsize: 838596 [startup+40.0025 s] Raw data (loadavg): 1.16 1.01 0.94 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18082 0 1 0 3347 44 0 0 25 0 11 0 544362548 870162432 25725 4294967295 134512640 134569956 3221224400 3221214664 1131381744 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212442 25725 13073 16 0 212426 0 vsize: 849768 [startup+50.0026 s] Raw data (loadavg): 1.13 1.01 0.94 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18082 0 1 0 4309 44 0 0 25 0 11 0 544362548 864493568 24346 4294967295 134512640 134569956 3221224400 3221214760 1131638568 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 24346 13073 16 0 211042 0 vsize: 844232 [startup+60.0034 s] Raw data (loadavg): 1.18 1.02 0.94 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18082 0 1 0 5268 44 0 0 25 0 11 0 544362548 864493568 24489 4294967295 134512640 134569956 3221224400 3221214488 1078033055 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 24489 13073 16 0 211042 0 vsize: 844232 [startup+70.0037 s] Raw data (loadavg): 1.39 1.07 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 6220 44 0 0 25 0 11 0 544362548 864493568 24546 4294967295 134512640 134569956 3221224400 3221214680 1131233819 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 24546 13073 16 0 211042 0 vsize: 844232 [startup+80.0039 s] Raw data (loadavg): 1.33 1.07 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 7165 44 0 0 25 0 11 0 544362548 864493568 24838 4294967295 134512640 134569956 3221224400 3221214680 1131233282 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 24838 13073 16 0 211042 0 vsize: 844232 [startup+90.0046 s] Raw data (loadavg): 1.28 1.06 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 8127 44 0 0 25 0 11 0 544362548 864493568 24838 4294967295 134512640 134569956 3221224400 3221214720 1131238459 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 24838 13073 16 0 211042 0 vsize: 844232 [startup+100.005 s] Raw data (loadavg): 1.24 1.06 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 9088 44 0 0 25 0 11 0 544362548 864493568 24838 4294967295 134512640 134569956 3221224400 3221214680 1131233689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 24838 13073 16 0 211042 0 vsize: 844232 [startup+110.006 s] Raw data (loadavg): 1.20 1.06 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 10044 45 0 0 25 0 11 0 544362548 864493568 25288 4294967295 134512640 134569956 3221224400 3221214760 1131638561 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 25288 13073 16 0 211042 0 vsize: 844232 [startup+120.007 s] Raw data (loadavg): 1.17 1.06 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 11015 45 0 0 25 0 11 0 544362548 864493568 25393 4294967295 134512640 134569956 3221224400 3221214840 1131383312 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 25393 13073 16 0 211042 0 vsize: 844232 [startup+130.006 s] Raw data (loadavg): 1.14 1.05 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 11989 45 0 0 25 0 11 0 544362548 864493568 25466 4294967295 134512640 134569956 3221224400 3221214840 1131383611 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 25466 13073 16 0 211042 0 vsize: 844232 [startup+140.007 s] Raw data (loadavg): 1.12 1.05 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 12965 45 0 0 25 0 11 0 544362548 864493568 25575 4294967295 134512640 134569956 3221224400 3221214776 1131365135 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 25575 13073 16 0 211042 0 vsize: 844232 [startup+150.007 s] Raw data (loadavg): 1.10 1.05 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 13942 45 0 0 25 0 11 0 544362548 864493568 25706 4294967295 134512640 134569956 3221224400 3221214680 1131233642 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 25706 13073 16 0 211042 0 vsize: 844232 [startup+160.009 s] Raw data (loadavg): 1.08 1.05 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 14921 45 0 0 25 0 11 0 544362548 864493568 25783 4294967295 134512640 134569956 3221224400 3221214520 1131211853 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 25783 13073 16 0 211042 0 vsize: 844232 [startup+170.01 s] Raw data (loadavg): 1.07 1.05 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 15900 45 0 0 25 0 11 0 544362548 864493568 25848 4294967295 134512640 134569956 3221224400 3221214760 1131638561 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 25848 13073 16 0 211042 0 vsize: 844232 [startup+180.01 s] Raw data (loadavg): 1.06 1.04 0.96 2/64 881 Raw data (stat): 871 (java) S 870 26298 26297 0 -1 0 18083 0 1 0 16880 45 0 0 25 0 11 0 544362548 864493568 25900 4294967295 134512640 134569956 3221224400 3221213320 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 25900 13073 16 0 211042 0 vsize: 844232 [startup+190.011 s] Raw data (loadavg): 1.05 1.04 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 17856 45 0 0 25 0 11 0 544362548 864493568 26032 4294967295 134512640 134569956 3221224400 3221214720 1131194368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 26032 13073 16 0 211042 0 vsize: 844232 [startup+200.011 s] Raw data (loadavg): 1.04 1.04 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 18821 46 0 0 24 0 11 0 544362548 864493568 26174 4294967295 134512640 134569956 3221224400 3221214680 1131234187 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 26174 13073 16 0 211042 0 vsize: 844232 [startup+210.012 s] Raw data (loadavg): 1.04 1.04 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 19794 46 0 0 25 0 11 0 544362548 864493568 26274 4294967295 134512640 134569956 3221224400 3221214776 1131361954 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 26274 13073 16 0 211042 0 vsize: 844232 [startup+220.013 s] Raw data (loadavg): 1.03 1.04 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 20765 46 0 0 25 0 11 0 544362548 864493568 26399 4294967295 134512640 134569956 3221224400 3221214840 1131383493 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 26399 13073 16 0 211042 0 vsize: 844232 [startup+230.013 s] Raw data (loadavg): 1.02 1.04 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 21737 46 0 0 25 0 11 0 544362548 864493568 26633 4294967295 134512640 134569956 3221224400 3221214776 1131367997 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 26633 13073 16 0 211042 0 vsize: 844232 [startup+240.013 s] Raw data (loadavg): 1.02 1.03 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 22713 47 0 0 25 0 11 0 544362548 864493568 26741 4294967295 134512640 134569956 3221224400 3221214680 1131234491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 26741 13073 16 0 211042 0 vsize: 844232 [startup+250.013 s] Raw data (loadavg): 1.02 1.03 0.96 2/64 881 Raw data (stat): 871 (java) S 870 26298 26297 0 -1 0 18083 0 1 0 23689 47 0 0 25 0 11 0 544362548 864493568 26825 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 26825 13073 16 0 211042 0 vsize: 844232 [startup+260.015 s] Raw data (loadavg): 1.01 1.03 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 24664 47 0 0 25 0 11 0 544362548 864493568 26932 4294967295 134512640 134569956 3221224400 3221214680 1131233646 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 26932 13073 16 0 211042 0 vsize: 844232 [startup+270.015 s] Raw data (loadavg): 1.01 1.03 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 25639 47 0 0 25 0 11 0 544362548 864493568 27066 4294967295 134512640 134569956 3221224400 3221214680 1131233689 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 27066 13073 16 0 211042 0 vsize: 844232 [startup+280.015 s] Raw data (loadavg): 1.01 1.03 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 26616 48 0 0 25 0 11 0 544362548 864493568 27169 4294967295 134512640 134569956 3221224400 3221214680 1131234193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 27169 13073 16 0 211042 0 vsize: 844232 [startup+290.016 s] Raw data (loadavg): 1.01 1.03 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 27593 48 0 0 25 0 11 0 544362548 864493568 27361 4294967295 134512640 134569956 3221224400 3221214776 1131360926 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 27361 13073 16 0 211042 0 vsize: 844232 [startup+300.016 s] Raw data (loadavg): 1.01 1.03 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 28572 48 0 0 25 0 11 0 544362548 864493568 27490 4294967295 134512640 134569956 3221224400 3221214776 1131362711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 27490 13073 16 0 211042 0 vsize: 844232 [startup+310.017 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 29546 48 0 0 25 0 11 0 544362548 864493568 27600 4294967295 134512640 134569956 3221224400 3221214840 1131383320 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 27600 13073 16 0 211042 0 vsize: 844232 [startup+320.018 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 30520 49 0 0 25 0 11 0 544362548 864493568 27682 4294967295 134512640 134569956 3221224400 3221214776 1131368460 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 27682 13073 16 0 211042 0 vsize: 844232 [startup+330.018 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 31494 49 0 0 25 0 11 0 544362548 864493568 27800 4294967295 134512640 134569956 3221224400 3221214680 1131233689 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 27800 13073 16 0 211042 0 vsize: 844232 [startup+340.027 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 32469 50 0 0 25 0 11 0 544362548 864493568 27922 4294967295 134512640 134569956 3221224400 3221214680 1131234158 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 27922 13073 16 0 211042 0 vsize: 844232 [startup+350.027 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 33441 50 0 0 25 0 11 0 544362548 864493568 28174 4294967295 134512640 134569956 3221224400 3221214936 1131209689 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 28174 13073 16 0 211042 0 vsize: 844232 [startup+360.028 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 34417 50 0 0 25 0 11 0 544362548 864493568 28270 4294967295 134512640 134569956 3221224400 3221214840 1131383331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 28270 13073 16 0 211042 0 vsize: 844232 [startup+370.029 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 35390 50 0 0 25 0 11 0 544362548 864493568 28442 4294967295 134512640 134569956 3221224400 3221214680 1131233249 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 28442 13073 16 0 211042 0 vsize: 844232 [startup+380.028 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 36362 51 0 0 25 0 11 0 544362548 864493568 28575 4294967295 134512640 134569956 3221224400 3221214776 1131361765 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 28575 13073 16 0 211042 0 vsize: 844232 [startup+390.029 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 37336 51 0 0 25 0 11 0 544362548 864493568 28750 4294967295 134512640 134569956 3221224400 3221214680 1131234516 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 28750 13073 16 0 211042 0 vsize: 844232 [startup+400.03 s] Raw data (loadavg): 1.00 1.02 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 38313 51 0 0 25 0 11 0 544362548 864493568 28880 4294967295 134512640 134569956 3221224400 3221214736 1131498283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 28880 13073 16 0 211042 0 vsize: 844232 [startup+410.031 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 39291 52 0 0 25 0 11 0 544362548 864493568 28960 4294967295 134512640 134569956 3221224400 3221214680 1131233689 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 28960 13073 16 0 211042 0 vsize: 844232 [startup+420.031 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 40269 52 0 0 24 0 11 0 544362548 864493568 29043 4294967295 134512640 134569956 3221224400 3221214680 1131233702 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 29043 13073 16 0 211042 0 vsize: 844232 [startup+430.031 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 41248 52 0 0 25 0 11 0 544362548 864493568 29112 4294967295 134512640 134569956 3221224400 3221214680 1131233674 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 29112 13073 16 0 211042 0 vsize: 844232 [startup+440.033 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 42223 53 0 0 25 0 11 0 544362548 864493568 29222 4294967295 134512640 134569956 3221224400 3221214680 1131234583 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 29222 13073 16 0 211042 0 vsize: 844232 [startup+450.033 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 43193 53 0 0 25 0 11 0 544362548 864493568 29309 4294967295 134512640 134569956 3221224400 3221214760 1131638419 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 29309 13073 16 0 211042 0 vsize: 844232 [startup+460.034 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 44162 53 0 0 25 0 11 0 544362548 864493568 29469 4294967295 134512640 134569956 3221224400 3221214840 1131383596 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 29469 13073 16 0 211042 0 vsize: 844232 [startup+470.035 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 45127 54 0 0 25 0 11 0 544362548 864493568 29586 4294967295 134512640 134569956 3221224400 3221214720 1131194389 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 29586 13073 16 0 211042 0 vsize: 844232 [startup+480.035 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 46091 54 0 0 24 0 11 0 544362548 864493568 29836 4294967295 134512640 134569956 3221224400 3221214776 1131368215 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 29836 13073 16 0 211042 0 vsize: 844232 [startup+490.036 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 47062 55 0 0 25 0 11 0 544362548 864493568 30118 4294967295 134512640 134569956 3221224400 3221214576 1131483643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 30118 13073 16 0 211042 0 vsize: 844232 [startup+500.037 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 48033 55 0 0 25 0 11 0 544362548 864493568 30324 4294967295 134512640 134569956 3221224400 3221214320 1131673608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 30324 13073 16 0 211042 0 vsize: 844232 [startup+510.037 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 49008 55 0 0 25 0 11 0 544362548 864493568 30447 4294967295 134512640 134569956 3221224400 3221214680 1131233350 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 30447 13073 16 0 211042 0 vsize: 844232 [startup+520.037 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 49981 55 0 0 25 0 11 0 544362548 864493568 30598 4294967295 134512640 134569956 3221224400 3221214680 1131233689 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 30598 13073 16 0 211042 0 vsize: 844232 [startup+530.037 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 50951 55 0 0 25 0 11 0 544362548 864493568 30732 4294967295 134512640 134569956 3221224400 3221214776 1131363011 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 30732 13073 16 0 211042 0 vsize: 844232 [startup+540.038 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 51921 56 0 0 25 0 11 0 544362548 864493568 30851 4294967295 134512640 134569956 3221224400 3221214680 1131234468 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 30851 13073 16 0 211042 0 vsize: 844232 [startup+550.038 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 52892 56 0 0 25 0 11 0 544362548 864493568 31052 4294967295 134512640 134569956 3221224400 3221214772 1131194355 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 31052 13073 16 0 211042 0 vsize: 844232 [startup+560.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 53867 56 0 0 25 0 11 0 544362548 864493568 31246 4294967295 134512640 134569956 3221224400 3221214760 1131638568 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 31246 13073 16 0 211042 0 vsize: 844232 [startup+570.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 54841 56 0 0 25 0 11 0 544362548 864493568 31460 4294967295 134512640 134569956 3221224400 3221214176 1131664305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 31460 13073 16 0 211042 0 vsize: 844232 [startup+580.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 55816 57 0 0 25 0 11 0 544362548 864493568 31565 4294967295 134512640 134569956 3221224400 3221214680 1131233644 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 31565 13073 16 0 211042 0 vsize: 844232 [startup+590.041 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 56792 57 0 0 25 0 11 0 544362548 864493568 31716 4294967295 134512640 134569956 3221224400 3221214680 1131233689 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 31716 13073 16 0 211042 0 vsize: 844232 [startup+600.041 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 57768 57 0 0 25 0 11 0 544362548 864493568 31830 4294967295 134512640 134569956 3221224400 3221214840 1131383331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 31830 13073 16 0 211042 0 vsize: 844232 [startup+610.041 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 58741 58 0 0 25 0 11 0 544362548 864493568 31955 4294967295 134512640 134569956 3221224400 3221214776 1131360964 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 31955 13073 16 0 211042 0 vsize: 844232 [startup+620.042 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 59714 58 0 0 25 0 11 0 544362548 864493568 32047 4294967295 134512640 134569956 3221224400 3221214680 1131233646 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 32047 13073 16 0 211042 0 vsize: 844232 [startup+630.041 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 60686 58 0 0 25 0 11 0 544362548 864493568 32258 4294967295 134512640 134569956 3221224400 3221214680 1131234592 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 32258 13073 16 0 211042 0 vsize: 844232 [startup+640.042 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 61659 59 0 0 24 0 11 0 544362548 864493568 32426 4294967295 134512640 134569956 3221224400 3221214680 1131233947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 32426 13073 16 0 211042 0 vsize: 844232 [startup+650.042 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 62637 59 0 0 25 0 11 0 544362548 864493568 32633 4294967295 134512640 134569956 3221224400 3221214680 1131233747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 32633 13073 16 0 211042 0 vsize: 844232 [startup+660.042 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 63616 59 0 0 25 0 11 0 544362548 864493568 32776 4294967295 134512640 134569956 3221224400 3221214760 1131638416 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 32776 13073 16 0 211042 0 vsize: 844232 [startup+670.043 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 64595 59 0 0 25 0 11 0 544362548 864493568 32851 4294967295 134512640 134569956 3221224400 3221214032 1131664376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 32851 13073 16 0 211042 0 vsize: 844232 [startup+680.044 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 65569 59 0 0 25 0 11 0 544362548 864493568 32977 4294967295 134512640 134569956 3221224400 3221214680 1131233764 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 32977 13073 16 0 211042 0 vsize: 844232 [startup+690.045 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 66544 59 0 0 25 0 11 0 544362548 864493568 33032 4294967295 134512640 134569956 3221224400 3221214680 1131233261 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 33032 13073 16 0 211042 0 vsize: 844232 [startup+700.055 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 67513 59 0 0 25 0 11 0 544362548 864493568 33194 4294967295 134512640 134569956 3221224400 3221214776 1131361954 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 33194 13073 16 0 211042 0 vsize: 844232 [startup+710.063 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 68473 60 0 0 25 0 11 0 544362548 864493568 33373 4294967295 134512640 134569956 3221224400 3221214840 1131383331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 33373 13073 16 0 211042 0 vsize: 844232 [startup+720.063 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 69430 60 0 0 22 0 11 0 544362548 864493568 33538 4294967295 134512640 134569956 3221224400 3221214680 1131233689 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 33538 13073 16 0 211042 0 vsize: 844232 [startup+730.063 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 70390 60 0 0 25 0 11 0 544362548 864493568 33758 4294967295 134512640 134569956 3221224400 3221214776 1131362874 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 33758 13073 16 0 211042 0 vsize: 844232 [startup+740.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 71354 60 0 0 25 0 11 0 544362548 864493568 33977 4294967295 134512640 134569956 3221224400 3221214772 1131194355 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 33977 13073 16 0 211042 0 vsize: 844232 [startup+750.069 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 72319 61 0 0 25 0 11 0 544362548 864493568 34122 4294967295 134512640 134569956 3221224400 3221214216 1131664401 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 34122 13073 16 0 211042 0 vsize: 844232 [startup+760.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 73287 61 0 0 25 0 11 0 544362548 864493568 34207 4294967295 134512640 134569956 3221224400 3221214680 1131233289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 34207 13073 16 0 211042 0 vsize: 844232 [startup+770.071 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 74253 61 0 0 25 0 11 0 544362548 864493568 34330 4294967295 134512640 134569956 3221224400 3221214680 1131233245 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 34330 13073 16 0 211042 0 vsize: 844232 [startup+780.071 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 75220 62 0 0 25 0 11 0 544362548 864493568 34502 4294967295 134512640 134569956 3221224400 3221214776 1131361984 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 34502 13073 16 0 211042 0 vsize: 844232 [startup+790.073 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 76188 62 0 0 25 0 11 0 544362548 864493568 34681 4294967295 134512640 134569956 3221224400 3221214680 1131233678 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 34681 13073 16 0 211042 0 vsize: 844232 [startup+800.073 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 77158 62 0 0 25 0 11 0 544362548 864493568 34865 4294967295 134512640 134569956 3221224400 3221214776 1131361801 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 34865 13073 16 0 211042 0 vsize: 844232 [startup+810.075 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 78130 62 0 0 25 0 11 0 544362548 864493568 35039 4294967295 134512640 134569956 3221224400 3221214944 1131245439 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 35039 13073 16 0 211042 0 vsize: 844232 [startup+820.075 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 79101 63 0 0 25 0 11 0 544362548 864493568 35121 4294967295 134512640 134569956 3221224400 3221214776 1131365887 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 35121 13073 16 0 211042 0 vsize: 844232 [startup+830.075 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 80067 63 0 0 25 0 11 0 544362548 864493568 35257 4294967295 134512640 134569956 3221224400 3221214744 1131351169 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 35257 13073 16 0 211042 0 vsize: 844232 [startup+840.075 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 81024 63 0 0 24 0 11 0 544362548 864493568 35398 4294967295 134512640 134569956 3221224400 3221214840 1131383493 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 35398 13073 16 0 211042 0 vsize: 844232 [startup+850.076 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 81989 63 0 0 25 0 11 0 544362548 864493568 35559 4294967295 134512640 134569956 3221224400 3221214368 1085679261 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211058 35559 13073 16 0 211042 0 vsize: 844232 [startup+860.077 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 82953 64 0 0 25 0 11 0 544362548 864493568 35876 4294967295 134512640 134569956 3221224400 3221214760 1131638400 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 35876 13073 16 0 211042 0 vsize: 844232 [startup+870.077 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 83922 64 0 0 25 0 11 0 544362548 864493568 36087 4294967295 134512640 134569956 3221224400 3221214776 1131361090 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 36087 13073 16 0 211042 0 vsize: 844232 [startup+880.078 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 84892 64 0 0 18 0 11 0 544362548 864493568 36358 4294967295 134512640 134569956 3221224400 3221214760 1131638568 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 36358 13073 16 0 211042 0 vsize: 844232 [startup+890.079 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 85868 64 0 0 25 0 11 0 544362548 864493568 36488 4294967295 134512640 134569956 3221224400 3221214776 1131363009 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 36488 13073 16 0 211042 0 vsize: 844232 [startup+900.079 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 86843 64 0 0 25 0 11 0 544362548 864493568 36575 4294967295 134512640 134569956 3221224400 3221214680 1131234463 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 36575 13073 16 0 211042 0 vsize: 844232 [startup+910.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 87816 64 0 0 25 0 11 0 544362548 864493568 36670 4294967295 134512640 134569956 3221224400 3221214792 1131481004 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 36670 13073 16 0 211042 0 vsize: 844232 [startup+920.081 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 88792 64 0 0 25 0 11 0 544362548 864493568 36741 4294967295 134512640 134569956 3221224400 3221214776 1131360998 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 36741 13073 16 0 211042 0 vsize: 844232 [startup+930.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 89764 64 0 0 25 0 11 0 544362548 864493568 36855 4294967295 134512640 134569956 3221224400 3221214680 1131233245 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 36855 13073 16 0 211042 0 vsize: 844232 [startup+940.081 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 90738 65 0 0 25 0 11 0 544362548 864493568 36933 4294967295 134512640 134569956 3221224400 3221214680 1131233689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 36933 13073 16 0 211042 0 vsize: 844232 [startup+950.082 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 91707 65 0 0 24 0 11 0 544362548 864493568 37044 4294967295 134512640 134569956 3221224400 3221214760 1131638561 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 37044 13073 16 0 211042 0 vsize: 844232 [startup+960.082 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 92676 65 0 0 25 0 11 0 544362548 864493568 37192 4294967295 134512640 134569956 3221224400 3221214680 1131233689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 37192 13073 16 0 211042 0 vsize: 844232 [startup+970.082 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 93641 65 0 0 24 0 11 0 544362548 864493568 37284 4294967295 134512640 134569956 3221224400 3221214680 1131233959 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 37284 13073 16 0 211042 0 vsize: 844232 [startup+980.083 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 94610 65 0 0 25 0 11 0 544362548 864493568 37478 4294967295 134512640 134569956 3221224400 3221214680 1131234501 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 37478 13073 16 0 211042 0 vsize: 844232 [startup+990.083 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 95582 65 0 0 25 0 11 0 544362548 864493568 37703 4294967295 134512640 134569956 3221224400 3221214680 1131233867 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 37703 13073 16 0 211042 0 vsize: 844232 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 96551 65 0 0 25 0 11 0 544362548 864493568 37824 4294967295 134512640 134569956 3221224400 3221214680 1131233289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 37824 13073 16 0 211042 0 vsize: 844232 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 97524 65 0 0 25 0 11 0 544362548 864493568 37945 4294967295 134512640 134569956 3221224400 3221214680 1131233927 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 37945 13073 16 0 211042 0 vsize: 844232 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 98496 65 0 0 25 0 11 0 544362548 864493568 38109 4294967295 134512640 134569956 3221224400 3221214680 1131233550 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 38109 13073 16 0 211042 0 vsize: 844232 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 99471 65 0 0 25 0 11 0 544362548 864493568 38287 4294967295 134512640 134569956 3221224400 3221214680 1131233301 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 38287 13073 16 0 211042 0 vsize: 844232 [startup+1040.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 100442 65 0 0 25 0 11 0 544362548 864493568 38375 4294967295 134512640 134569956 3221224400 3221214776 1131360926 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 38375 13073 16 0 211042 0 vsize: 844232 [startup+1050.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 101414 65 0 0 25 0 11 0 544362548 864493568 38427 4294967295 134512640 134569956 3221224400 3221214312 1131664401 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 38427 13073 16 0 211042 0 vsize: 844232 [startup+1060.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 102387 65 0 0 25 0 11 0 544362548 864493568 38657 4294967295 134512640 134569956 3221224400 3221214776 1131362716 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 38657 13073 16 0 211042 0 vsize: 844232 [startup+1070.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 103362 66 0 0 25 0 11 0 544362548 864493568 38743 4294967295 134512640 134569956 3221224400 3221214840 1131383515 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 38743 13073 16 0 211042 0 vsize: 844232 [startup+1080.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 104338 66 0 0 25 0 11 0 544362548 864493568 38850 4294967295 134512640 134569956 3221224400 3221214840 1131383608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 38850 13073 16 0 211042 0 vsize: 844232 [startup+1090.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 105310 66 0 0 25 0 11 0 544362548 864493568 38903 4294967295 134512640 134569956 3221224400 3221214680 1131233833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 38903 13073 16 0 211042 0 vsize: 844232 [startup+1100.1 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 106285 66 0 0 25 0 11 0 544362548 864493568 39019 4294967295 134512640 134569956 3221224400 3221214680 1131233827 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 39019 13073 16 0 211042 0 vsize: 844232 [startup+1110.11 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 107260 66 0 0 25 0 11 0 544362548 864493568 39156 4294967295 134512640 134569956 3221224400 3221214680 1131233833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 39156 13073 16 0 211042 0 vsize: 844232 [startup+1120.11 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 108233 66 0 0 25 0 11 0 544362548 864493568 39255 4294967295 134512640 134569956 3221224400 3221214936 1131209689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 39255 13073 16 0 211042 0 vsize: 844232 [startup+1130.11 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 109200 66 0 0 25 0 11 0 544362548 864493568 39361 4294967295 134512640 134569956 3221224400 3221214776 1131360926 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 39361 13073 16 0 211042 0 vsize: 844232 [startup+1140.11 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 110170 66 0 0 25 0 11 0 544362548 864493568 39452 4294967295 134512640 134569956 3221224400 3221214720 1131194389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 39452 13073 16 0 211042 0 vsize: 844232 [startup+1150.11 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 111139 66 0 0 25 0 11 0 544362548 864493568 39653 4294967295 134512640 134569956 3221224400 3221214680 1131233922 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 39653 13073 16 0 211042 0 vsize: 844232 [startup+1160.11 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 112106 66 0 0 25 0 11 0 544362548 864493568 39762 4294967295 134512640 134569956 3221224400 3221214776 1131361954 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 39762 13073 16 0 211042 0 vsize: 844232 [startup+1170.11 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 113071 66 0 0 25 0 11 0 544362548 864493568 39917 4294967295 134512640 134569956 3221224400 3221214680 1131233689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 39917 13073 16 0 211042 0 vsize: 844232 [startup+1180.11 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 114028 66 0 0 25 0 11 0 544362548 864493568 40141 4294967295 134512640 134569956 3221224400 3221214680 1131234543 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 40141 13073 16 0 211042 0 vsize: 844232 [startup+1190.12 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 114991 66 0 0 25 0 11 0 544362548 864493568 40545 4294967295 134512640 134569956 3221224400 3221214680 1131233646 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 40545 13073 16 0 211042 0 vsize: 844232 [startup+1200.12 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 115957 66 0 0 25 0 11 0 544362548 864493568 40630 4294967295 134512640 134569956 3221224400 3221214680 1131233257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 40630 13073 16 0 211042 0 vsize: 844232 [startup+1210.12 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 116922 67 0 0 25 0 11 0 544362548 864493568 40971 4294967295 134512640 134569956 3221224400 3221214656 1131426463 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 40971 13073 16 0 211042 0 vsize: 844232 [startup+1220.13 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 117885 67 0 0 25 0 11 0 544362548 864493568 41156 4294967295 134512640 134569956 3221224400 3221214776 1131360926 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 41156 13073 16 0 211042 0 vsize: 844232 [startup+1230.14 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) R 870 26298 26297 0 -1 0 18083 0 1 0 118849 67 0 0 25 0 11 0 544362548 864493568 41358 4294967295 134512640 134569956 3221224400 3221214680 1131233815 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 41358 13073 16 0 211042 0 vsize: 844232 [startup+1240.14 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) S 870 26298 26297 0 -1 0 18083 0 1 0 119814 67 0 0 25 0 11 0 544362548 864493568 41503 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 41503 13073 16 0 211042 0 vsize: 844232 [startup+1250.14 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 881 Raw data (stat): 871 (java) S 870 26298 26297 0 -1 0 18083 0 1 0 120781 67 0 0 25 0 11 0 544362548 864493568 41800 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211058 41800 13073 16 0 211042 0 vsize: 844232 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.27 s] Raw data (loadavg): 1.00 1.00 0.96 1/54 883 Raw data (stat): 871 (java) Z 870 26298 26297 0 -1 1036 18083 31650 1 0 120785 75 5610 82 24 0 1 0 544362548 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): 1250.27 CPU time (s): 1265.53 CPU user time (s): 1263.96 CPU system time (s): 1.57376 CPU usage (%): 101.221 Max. virtual memory (Kb): 849768 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####