Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos2.opb |
MD5SUM | 46211574d7cd8b850e6ed8c2f0a475a4 |
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 | 124 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 8589934588 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 2454208150643933184000 |
Number of bits of the biggest number in a constraint | 72 |
Biggest sum of numbers in a constraint | 289272765430218954375168 |
Number of bits of the biggest sum of numbers | 78 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.305953 |
Number of variables | 32294 |
Total number of constraints | 2173 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1053 |
Number of constraints which are nor clauses,nor cardinality constraints | 1120 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 4780 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc19 THE 2005-05-25 10:58:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21141 boxname=wulflinc19 idbench=1129 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 46211574d7cd8b850e6ed8c2f0a475a4 /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-neos2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-neos2.opb IDLAUNCH: 21141 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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.037 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: 486968 kB Buffers: 33552 kB Cached: 487048 kB SwapCached: 416 kB Active: 50420 kB Inactive: 472424 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 486716 kB SwapTotal: 2097892 kB SwapFree: 2096804 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5676 kB Slab: 19156 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 11:19:06 (client local time) WITH STATUS 143 IN 1244.19 SECONDS stats: 21141 7 1244.19 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-neos2.opb c reading problem ... done. Time 298.206 ms. c #vars 32294 c #constraints 1176 c starts : 1 c conflicts : 41 c decisions : 9582 c propagations : 56110 c inspects : 98295 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 41 c root simplifications : 41 s UNKNOWN c Total CPU time (ms) : 1239.114 #### 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.96 1.00 1.00 2/54 22963 Raw data (stat): 22963 (runsolver) R 22962 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838332851 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0001 s] Raw data (loadavg): 1.20 1.04 1.01 3/63 22972 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18035 0 1 0 832 37 0 0 25 0 10 0 838332851 864186368 21806 4294967295 134512640 134569956 3221224368 3221214480 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210983 21806 13086 16 0 210967 0 vsize: 843932 [startup+20.0008 s] Raw data (loadavg): 1.24 1.06 1.02 2/63 22972 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18035 0 1 0 1735 38 0 0 25 0 10 0 838332851 860155904 21457 4294967295 134512640 134569956 3221224368 3221214432 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209999 21457 13086 16 0 209983 0 vsize: 839996 [startup+30.0017 s] Raw data (loadavg): 1.20 1.06 1.01 2/63 22972 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 2613 38 0 0 25 0 10 0 838332851 862253056 22243 4294967295 134512640 134569956 3221224368 3221214704 1131183553 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210511 22243 13086 16 0 210495 0 vsize: 842044 [startup+40.0024 s] Raw data (loadavg): 1.17 1.05 1.01 2/63 22972 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 3522 38 0 0 25 0 10 0 838332851 855064576 20842 4294967295 134512640 134569956 3221224368 3221214784 1131383422 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 20842 13086 16 0 208740 0 vsize: 835024 [startup+50.0033 s] Raw data (loadavg): 1.14 1.05 1.01 2/63 22972 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 4433 38 0 0 25 0 10 0 838332851 855064576 21100 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 21100 13086 16 0 208740 0 vsize: 835024 [startup+60.0031 s] Raw data (loadavg): 1.12 1.05 1.01 2/63 22972 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 5348 39 0 0 25 0 10 0 838332851 855064576 21233 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 21233 13086 16 0 208740 0 vsize: 835024 [startup+70.0039 s] Raw data (loadavg): 1.10 1.05 1.01 2/63 22972 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 6268 39 0 0 25 0 10 0 838332851 855064576 21405 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 21405 13086 16 0 208740 0 vsize: 835024 [startup+80.0048 s] Raw data (loadavg): 1.09 1.05 1.01 2/63 22972 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 7197 39 0 0 25 0 10 0 838332851 855064576 21582 4294967295 134512640 134569956 3221224368 3221214772 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 21582 13086 16 0 208740 0 vsize: 835024 [startup+90.0055 s] Raw data (loadavg): 1.07 1.04 1.01 2/63 22972 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 8136 40 0 0 25 0 10 0 838332851 855064576 21660 4294967295 134512640 134569956 3221224368 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 21660 13086 16 0 208740 0 vsize: 835024 [startup+100.006 s] Raw data (loadavg): 1.06 1.04 1.01 2/66 22975 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 9076 40 0 0 25 0 10 0 838332851 855064576 21755 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208756 21755 13086 16 0 208740 0 vsize: 835024 [startup+110.007 s] Raw data (loadavg): 1.20 1.07 1.02 2/63 23025 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 10003 43 0 0 25 0 10 0 838332851 855064576 21819 4294967295 134512640 134569956 3221224368 3221214744 1131045363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208756 21819 13086 16 0 208740 0 vsize: 835024 [startup+120.007 s] Raw data (loadavg): 1.17 1.07 1.02 2/63 23025 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 10938 44 0 0 25 0 10 0 838332851 855064576 21962 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208756 21962 13086 16 0 208740 0 vsize: 835024 [startup+130.008 s] Raw data (loadavg): 1.14 1.07 1.02 2/63 23025 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 11883 44 0 0 25 0 10 0 838332851 855064576 22034 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208756 22034 13086 16 0 208740 0 vsize: 835024 [startup+140.009 s] Raw data (loadavg): 1.12 1.06 1.01 2/63 23025 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 12824 44 0 0 25 0 10 0 838332851 855064576 22107 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208756 22107 13086 16 0 208740 0 vsize: 835024 [startup+150.01 s] Raw data (loadavg): 1.10 1.06 1.01 2/63 23025 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 13769 44 0 0 25 0 10 0 838332851 855064576 22173 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 22173 13086 16 0 208740 0 vsize: 835024 [startup+160.01 s] Raw data (loadavg): 1.08 1.06 1.01 2/63 23025 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 14690 45 0 0 25 0 10 0 838332851 855064576 22222 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208756 22222 13086 16 0 208740 0 vsize: 835024 [startup+170.011 s] Raw data (loadavg): 1.07 1.06 1.01 2/63 23025 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 15609 45 0 0 25 0 10 0 838332851 855064576 22450 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208756 22450 13086 16 0 208740 0 vsize: 835024 [startup+180.012 s] Raw data (loadavg): 1.06 1.05 1.01 2/63 23027 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 16542 45 0 0 25 0 10 0 838332851 855064576 22509 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208756 22509 13086 16 0 208740 0 vsize: 835024 [startup+190.013 s] Raw data (loadavg): 1.05 1.05 1.01 2/63 23027 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 17469 45 0 0 25 0 10 0 838332851 855064576 22566 4294967295 134512640 134569956 3221224368 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 22566 13086 16 0 208740 0 vsize: 835024 [startup+200.014 s] Raw data (loadavg): 1.04 1.05 1.01 2/63 23027 Raw data (stat): 22963 (java) S 22962 10795 10794 0 -1 0 18036 0 1 0 18402 45 0 0 25 0 10 0 838332851 855064576 22782 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 22782 13086 16 0 208740 0 vsize: 835024 [startup+210.014 s] Raw data (loadavg): 1.04 1.05 1.01 2/63 23027 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 19341 46 0 0 25 0 10 0 838332851 855064576 22837 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 22837 13086 16 0 208740 0 vsize: 835024 [startup+220.014 s] Raw data (loadavg): 1.03 1.05 1.01 2/63 23027 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 20268 46 0 0 25 0 10 0 838332851 855064576 22884 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 22884 13086 16 0 208740 0 vsize: 835024 [startup+230.014 s] Raw data (loadavg): 1.02 1.04 1.01 2/63 23027 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 21181 46 0 0 25 0 10 0 838332851 855064576 22924 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 22924 13086 16 0 208740 0 vsize: 835024 [startup+240.015 s] Raw data (loadavg): 1.02 1.04 1.00 2/63 23027 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 22109 47 0 0 25 0 10 0 838332851 855064576 23148 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 23148 13086 16 0 208740 0 vsize: 835024 [startup+250.016 s] Raw data (loadavg): 1.02 1.04 1.00 2/63 23027 Raw data (stat): 22963 (java) S 22962 10795 10794 0 -1 0 18036 0 1 0 23045 47 0 0 25 0 10 0 838332851 855064576 23197 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 23197 13086 16 0 208740 0 vsize: 835024 [startup+260.017 s] Raw data (loadavg): 1.01 1.04 1.00 2/63 23027 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 23982 47 0 0 25 0 10 0 838332851 855064576 23246 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 23246 13086 16 0 208740 0 vsize: 835024 [startup+270.018 s] Raw data (loadavg): 1.01 1.04 1.00 2/63 23027 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 24920 47 0 0 25 0 10 0 838332851 855064576 23292 4294967295 134512640 134569956 3221224368 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 23292 13086 16 0 208740 0 vsize: 835024 [startup+280.018 s] Raw data (loadavg): 1.01 1.04 1.00 2/63 23027 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 25855 48 0 0 24 0 10 0 838332851 855064576 23340 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 23340 13086 16 0 208740 0 vsize: 835024 [startup+290.02 s] Raw data (loadavg): 1.01 1.03 1.00 2/63 23027 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18036 0 1 0 26793 48 0 0 25 0 10 0 838332851 855064576 23385 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208756 23385 13086 16 0 208740 0 vsize: 835024 [startup+300.026 s] Raw data (loadavg): 1.01 1.03 1.00 2/63 23027 Raw data (stat): 22963 (java) S 22962 10795 10794 0 -1 0 18059 0 1 0 27691 49 0 0 25 0 10 0 838332851 855064576 25250 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208756 25253 13086 16 0 208740 0 vsize: 835024 [startup+310.026 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 23028 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18066 0 1 0 28654 50 0 0 25 0 11 0 838332851 855592960 27454 4294967295 134512640 134569956 3221224368 3221214592 1131044207 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 27454 13086 16 0 208869 0 vsize: 835540 [startup+320.026 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 23028 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18066 0 1 0 29651 50 0 0 25 0 11 0 838332851 855592960 27454 4294967295 134512640 134569956 3221224368 3221214624 1131400868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 27454 13086 16 0 208869 0 vsize: 835540 [startup+330.027 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 23028 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18066 0 1 0 30648 50 0 0 25 0 11 0 838332851 855592960 27454 4294967295 134512640 134569956 3221224368 3221213956 1076882240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 27454 13086 16 0 208869 0 vsize: 835540 [startup+340.028 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 23028 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18066 0 1 0 31646 50 0 0 25 0 11 0 838332851 855592960 27454 4294967295 134512640 134569956 3221224368 3221214680 1131423396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 27454 13086 16 0 208869 0 vsize: 835540 [startup+350.029 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 23028 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18066 0 1 0 32644 50 0 0 25 0 11 0 838332851 855592960 27454 4294967295 134512640 134569956 3221224368 3221214544 1131272741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208885 27454 13086 16 0 208869 0 vsize: 835540 [startup+360.029 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23028 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18066 0 1 0 33640 50 0 0 25 0 11 0 838332851 855592960 27454 4294967295 134512640 134569956 3221224368 3221214680 1131423475 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 27454 13086 16 0 208869 0 vsize: 835540 [startup+370.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23028 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18076 0 1 0 34630 50 0 0 25 0 11 0 838332851 855592960 27475 4294967295 134512640 134569956 3221224368 3221214576 1131462347 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 27475 13086 16 0 208869 0 vsize: 835540 [startup+380.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23028 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18077 0 1 0 35614 50 0 0 25 0 11 0 838332851 855592960 27480 4294967295 134512640 134569956 3221224368 3221214680 1131421358 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 27480 13086 16 0 208869 0 vsize: 835540 [startup+390.031 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23028 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18077 0 1 0 36588 51 0 0 25 0 11 0 838332851 855592960 27330 4294967295 134512640 134569956 3221224368 3221214744 1131418503 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 27330 13086 16 0 208869 0 vsize: 835540 [startup+400.032 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23028 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18077 0 1 0 37546 51 0 0 25 0 11 0 838332851 855592960 27340 4294967295 134512640 134569956 3221224368 3221214672 1131294888 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 27340 13086 16 0 208869 0 vsize: 835540 [startup+410.031 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23028 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18077 0 1 0 38506 51 0 0 25 0 11 0 838332851 855592960 27387 4294967295 134512640 134569956 3221224368 3221214544 1131272596 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 27387 13086 16 0 208869 0 vsize: 835540 [startup+420.032 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23028 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18077 0 1 0 39470 51 0 0 25 0 11 0 838332851 855592960 27501 4294967295 134512640 134569956 3221224368 3221214624 1131400868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 27501 13086 16 0 208869 0 vsize: 835540 [startup+430.033 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18077 0 1 0 40431 51 0 0 25 0 11 0 838332851 855592960 27623 4294967295 134512640 134569956 3221224368 3221214544 1131274080 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 27623 13086 16 0 208869 0 vsize: 835540 [startup+440.034 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18077 0 1 0 41389 51 0 0 25 0 11 0 838332851 855592960 27691 4294967295 134512640 134569956 3221224368 3221214624 1131232704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 27691 13086 16 0 208869 0 vsize: 835540 [startup+450.034 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18077 0 1 0 42356 51 0 0 25 0 11 0 838332851 855592960 27817 4294967295 134512640 134569956 3221224368 3221214624 1131232876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 27817 13086 16 0 208869 0 vsize: 835540 [startup+460.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18077 0 1 0 43315 51 0 0 25 0 11 0 838332851 855592960 27950 4294967295 134512640 134569956 3221224368 3221214680 1131422596 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 27950 13086 16 0 208869 0 vsize: 835540 [startup+470.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18077 0 1 0 44284 51 0 0 25 0 11 0 838332851 855592960 28018 4294967295 134512640 134569956 3221224368 3221214544 1131274041 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 28018 13086 16 0 208869 0 vsize: 835540 [startup+480.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18077 0 1 0 45261 51 0 0 25 0 11 0 838332851 855592960 28128 4294967295 134512640 134569956 3221224368 3221214544 1131272847 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 28128 13086 16 0 208869 0 vsize: 835540 [startup+490.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18077 0 1 0 46246 51 0 0 25 0 11 0 838332851 855592960 28212 4294967295 134512640 134569956 3221224368 3221214680 1131424057 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 28212 13086 16 0 208869 0 vsize: 835540 [startup+500.037 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18078 0 1 0 47238 51 0 0 25 0 11 0 838332851 855592960 28216 4294967295 134512640 134569956 3221224368 3221214408 1131524343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208885 28216 13086 16 0 208869 0 vsize: 835540 [startup+510.037 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18079 0 1 0 48229 52 0 0 25 0 11 0 838332851 856641536 28543 4294967295 134512640 134569956 3221224368 3221214408 1131526423 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209141 28543 13086 16 0 209125 0 vsize: 836564 [startup+520.037 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18079 0 1 0 49220 52 0 0 25 0 11 0 838332851 858738688 28949 4294967295 134512640 134569956 3221224368 3221214608 1131478318 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 28949 13086 16 0 209637 0 vsize: 838612 [startup+530.038 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18079 0 1 0 50215 52 0 0 25 0 11 0 838332851 858738688 28991 4294967295 134512640 134569956 3221224368 3221214512 1131524343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209653 28991 13086 16 0 209637 0 vsize: 838612 [startup+540.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18079 0 1 0 51207 52 0 0 25 0 11 0 838332851 857690112 28880 4294967295 134512640 134569956 3221224368 3221214584 1131197944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 28880 13086 16 0 209381 0 vsize: 837588 [startup+550.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18079 0 1 0 52203 52 0 0 25 0 11 0 838332851 857690112 28880 4294967295 134512640 134569956 3221224368 3221214584 1131418558 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 28880 13086 16 0 209381 0 vsize: 837588 [startup+560.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 53174 52 0 0 25 0 11 0 838332851 857690112 28901 4294967295 134512640 134569956 3221224368 3221214568 1131275968 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 28901 13086 16 0 209381 0 vsize: 837588 [startup+570.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 54170 52 0 0 25 0 11 0 838332851 857690112 28901 4294967295 134512640 134569956 3221224368 3221214616 1131294698 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209397 28901 13086 16 0 209381 0 vsize: 837588 [startup+580.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 55160 52 0 0 25 0 11 0 838332851 857690112 28901 4294967295 134512640 134569956 3221224368 3221214544 1131272741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 28901 13086 16 0 209381 0 vsize: 837588 [startup+590.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 56150 52 0 0 25 0 11 0 838332851 857690112 28901 4294967295 134512640 134569956 3221224368 3221214544 1131274004 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 28901 13086 16 0 209381 0 vsize: 837588 [startup+600.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 57134 52 0 0 25 0 11 0 838332851 857690112 28902 4294967295 134512640 134569956 3221224368 3221214544 1131272741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 28902 13086 16 0 209381 0 vsize: 837588 [startup+610.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 58121 53 0 0 25 0 11 0 838332851 857690112 28954 4294967295 134512640 134569956 3221224368 3221214544 1131272931 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 28954 13086 16 0 209381 0 vsize: 837588 [startup+620.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 59105 53 0 0 25 0 11 0 838332851 857690112 28998 4294967295 134512640 134569956 3221224368 3221214544 1131274074 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 28998 13086 16 0 209381 0 vsize: 837588 [startup+630.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 60095 53 0 0 25 0 11 0 838332851 857690112 28998 4294967295 134512640 134569956 3221224368 3221214624 1131401282 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 28998 13086 16 0 209381 0 vsize: 837588 [startup+640.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 61086 53 0 0 25 0 11 0 838332851 857690112 29043 4294967295 134512640 134569956 3221224368 3221214624 1131232747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29043 13086 16 0 209381 0 vsize: 837588 [startup+650.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 62083 53 0 0 25 0 11 0 838332851 857690112 29043 4294967295 134512640 134569956 3221224368 3221214584 1131198008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29043 13086 16 0 209381 0 vsize: 837588 [startup+660.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 63079 53 0 0 25 0 11 0 838332851 857690112 29043 4294967295 134512640 134569956 3221224368 3221214616 1131413187 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29043 13086 16 0 209381 0 vsize: 837588 [startup+670.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 64070 53 0 0 25 0 11 0 838332851 857690112 29043 4294967295 134512640 134569956 3221224368 3221214624 1131401142 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29043 13086 16 0 209381 0 vsize: 837588 [startup+680.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 65053 53 0 0 25 0 11 0 838332851 857690112 29043 4294967295 134512640 134569956 3221224368 3221214544 1131272957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29043 13086 16 0 209381 0 vsize: 837588 [startup+690.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 66036 53 0 0 25 0 11 0 838332851 857690112 29044 4294967295 134512640 134569956 3221224368 3221214624 1131401250 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29044 13086 16 0 209381 0 vsize: 837588 [startup+700.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 67018 53 0 0 25 0 11 0 838332851 857690112 29164 4294967295 134512640 134569956 3221224368 3221214536 1131229388 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29164 13086 16 0 209381 0 vsize: 837588 [startup+710.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 68008 53 0 0 25 0 11 0 838332851 857690112 29164 4294967295 134512640 134569956 3221224368 3221214544 1131272697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29164 13086 16 0 209381 0 vsize: 837588 [startup+720.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 68998 54 0 0 25 0 11 0 838332851 857690112 29164 4294967295 134512640 134569956 3221224368 3221214680 1131421451 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29164 13086 16 0 209381 0 vsize: 837588 [startup+730.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 69991 54 0 0 24 0 11 0 838332851 857690112 29203 4294967295 134512640 134569956 3221224368 3221214624 1131400868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29203 13086 16 0 209381 0 vsize: 837588 [startup+740.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 70981 54 0 0 25 0 11 0 838332851 857690112 29203 4294967295 134512640 134569956 3221224368 3221214624 1131400947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29203 13086 16 0 209381 0 vsize: 837588 [startup+750.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 71970 54 0 0 25 0 11 0 838332851 857690112 29203 4294967295 134512640 134569956 3221224368 3221214680 1131424120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29203 13086 16 0 209381 0 vsize: 837588 [startup+760.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 72957 54 0 0 25 0 11 0 838332851 857690112 29245 4294967295 134512640 134569956 3221224368 3221214624 1131401146 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29245 13086 16 0 209381 0 vsize: 837588 [startup+770.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 73947 54 0 0 25 0 11 0 838332851 857690112 29245 4294967295 134512640 134569956 3221224368 3221214624 1131400868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29245 13086 16 0 209381 0 vsize: 837588 [startup+780.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 74937 54 0 0 25 0 11 0 838332851 857690112 29245 4294967295 134512640 134569956 3221224368 3221214680 1131423411 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29245 13086 16 0 209381 0 vsize: 837588 [startup+790.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 75926 54 0 0 25 0 11 0 838332851 857690112 29287 4294967295 134512640 134569956 3221224368 3221214544 1131274035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29287 13086 16 0 209381 0 vsize: 837588 [startup+800.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 76916 55 0 0 25 0 11 0 838332851 857690112 29287 4294967295 134512640 134569956 3221224368 3221214624 1131401264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29287 13086 16 0 209381 0 vsize: 837588 [startup+810.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 77905 55 0 0 24 0 11 0 838332851 857690112 29287 4294967295 134512640 134569956 3221224368 3221214544 1131273435 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29287 13086 16 0 209381 0 vsize: 837588 [startup+820.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 78897 55 0 0 25 0 11 0 838332851 857690112 29331 4294967295 134512640 134569956 3221224368 3221214544 1131273459 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29331 13086 16 0 209381 0 vsize: 837588 [startup+830.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 79885 55 0 0 25 0 11 0 838332851 857690112 29331 4294967295 134512640 134569956 3221224368 3221214680 1131424057 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29331 13086 16 0 209381 0 vsize: 837588 [startup+840.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 80874 55 0 0 25 0 11 0 838332851 857690112 29331 4294967295 134512640 134569956 3221224368 3221214624 1131401294 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29331 13086 16 0 209381 0 vsize: 837588 [startup+850.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 81862 55 0 0 25 0 11 0 838332851 857690112 29393 4294967295 134512640 134569956 3221224368 3221214544 1131273979 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29393 13086 16 0 209381 0 vsize: 837588 [startup+860.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 82859 55 0 0 25 0 11 0 838332851 857690112 29395 4294967295 134512640 134569956 3221224368 3221214608 1131282025 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29395 13086 16 0 209381 0 vsize: 837588 [startup+870.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 83850 55 0 0 25 0 11 0 838332851 857690112 29397 4294967295 134512640 134569956 3221224368 3221214680 1131421451 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29397 13086 16 0 209381 0 vsize: 837588 [startup+880.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 84840 55 0 0 25 0 11 0 838332851 857690112 29399 4294967295 134512640 134569956 3221224368 3221214624 1131400868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29399 13086 16 0 209381 0 vsize: 837588 [startup+890.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 85830 55 0 0 25 0 11 0 838332851 857690112 29400 4294967295 134512640 134569956 3221224368 3221214544 1131273530 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29400 13086 16 0 209381 0 vsize: 837588 [startup+900.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 86827 55 0 0 25 0 11 0 838332851 857690112 29449 4294967295 134512640 134569956 3221224368 3221214624 1131400868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29449 13086 16 0 209381 0 vsize: 837588 [startup+910.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 87825 55 0 0 25 0 11 0 838332851 857690112 29450 4294967295 134512640 134569956 3221224368 3221214544 1131272957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29450 13086 16 0 209381 0 vsize: 837588 [startup+920.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 88815 56 0 0 25 0 11 0 838332851 857690112 29451 4294967295 134512640 134569956 3221224368 3221214544 1131272741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29451 13086 16 0 209381 0 vsize: 837588 [startup+930.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 89804 56 0 0 25 0 11 0 838332851 857690112 29451 4294967295 134512640 134569956 3221224368 3221214624 1131401264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29451 13086 16 0 209381 0 vsize: 837588 [startup+940.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 90793 56 0 0 24 0 11 0 838332851 857690112 29452 4294967295 134512640 134569956 3221224368 3221214544 1131272655 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29452 13086 16 0 209381 0 vsize: 837588 [startup+950.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 91789 56 0 0 25 0 11 0 838332851 857690112 29494 4294967295 134512640 134569956 3221224368 3221214544 1131273996 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29494 13086 16 0 209381 0 vsize: 837588 [startup+960.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 92781 56 0 0 25 0 11 0 838332851 857690112 29494 4294967295 134512640 134569956 3221224368 3221214544 1131272699 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29494 13086 16 0 209381 0 vsize: 837588 [startup+970.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 93770 56 0 0 25 0 11 0 838332851 857690112 29494 4294967295 134512640 134569956 3221224368 3221214544 1131272806 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29494 13086 16 0 209381 0 vsize: 837588 [startup+980.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 94760 56 0 0 25 0 11 0 838332851 857690112 29494 4294967295 134512640 134569956 3221224368 3221214680 1131421193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29494 13086 16 0 209381 0 vsize: 837588 [startup+990.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 95757 56 0 0 25 0 11 0 838332851 857690112 29536 4294967295 134512640 134569956 3221224368 3221214680 1131424084 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29536 13086 16 0 209381 0 vsize: 837588 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 96754 56 0 0 25 0 11 0 838332851 857690112 29536 4294967295 134512640 134569956 3221224368 3221214544 1131274022 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29536 13086 16 0 209381 0 vsize: 837588 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 97739 56 0 0 25 0 11 0 838332851 857690112 29536 4294967295 134512640 134569956 3221224368 3221214680 1131422596 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29536 13086 16 0 209381 0 vsize: 837588 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 98724 56 0 0 25 0 11 0 838332851 857690112 29536 4294967295 134512640 134569956 3221224368 3221214544 1131272770 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29536 13086 16 0 209381 0 vsize: 837588 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 99710 56 0 0 25 0 11 0 838332851 857690112 29621 4294967295 134512640 134569956 3221224368 3221214544 1131272989 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29621 13086 16 0 209381 0 vsize: 837588 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 100708 56 0 0 25 0 11 0 838332851 857690112 29621 4294967295 134512640 134569956 3221224368 3221214544 1131272741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29621 13086 16 0 209381 0 vsize: 837588 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 101704 57 0 0 25 0 11 0 838332851 857690112 29621 4294967295 134512640 134569956 3221224368 3221214680 1131422652 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29621 13086 16 0 209381 0 vsize: 837588 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 102696 57 0 0 25 0 11 0 838332851 857690112 29621 4294967295 134512640 134569956 3221224368 3221214544 1131272741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29621 13086 16 0 209381 0 vsize: 837588 [startup+1070.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 103688 57 0 0 25 0 11 0 838332851 857690112 29621 4294967295 134512640 134569956 3221224368 3221214624 1131400870 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29621 13086 16 0 209381 0 vsize: 837588 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 104681 57 0 0 25 0 11 0 838332851 857690112 29665 4294967295 134512640 134569956 3221224368 3221214544 1131273956 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29665 13086 16 0 209381 0 vsize: 837588 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 105679 57 0 0 25 0 11 0 838332851 857690112 29665 4294967295 134512640 134569956 3221224368 3221214680 1131421451 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29665 13086 16 0 209381 0 vsize: 837588 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 106676 57 0 0 25 0 11 0 838332851 857690112 29665 4294967295 134512640 134569956 3221224368 3221214544 1131272724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29665 13086 16 0 209381 0 vsize: 837588 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 107670 57 0 0 25 0 11 0 838332851 857690112 29665 4294967295 134512640 134569956 3221224368 3221214544 1131274031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29665 13086 16 0 209381 0 vsize: 837588 [startup+1120.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 108658 57 0 0 25 0 11 0 838332851 857690112 29665 4294967295 134512640 134569956 3221224368 3221214544 1131273979 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29665 13086 16 0 209381 0 vsize: 837588 [startup+1130.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 109644 58 0 0 25 0 11 0 838332851 857690112 29665 4294967295 134512640 134569956 3221224368 3221214544 1131272741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29665 13086 16 0 209381 0 vsize: 837588 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 110635 58 0 0 25 0 11 0 838332851 857690112 29740 4294967295 134512640 134569956 3221224368 3221214624 1131401152 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29740 13086 16 0 209381 0 vsize: 837588 [startup+1150.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 111631 58 0 0 25 0 11 0 838332851 857690112 29742 4294967295 134512640 134569956 3221224368 3221214624 1131400947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29742 13086 16 0 209381 0 vsize: 837588 [startup+1160.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 112628 58 0 0 25 0 11 0 838332851 857690112 29743 4294967295 134512640 134569956 3221224368 3221214624 1131232725 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29743 13086 16 0 209381 0 vsize: 837588 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 113624 58 0 0 25 0 11 0 838332851 857690112 29745 4294967295 134512640 134569956 3221224368 3221214680 1131421231 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29745 13086 16 0 209381 0 vsize: 837588 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 114615 58 0 0 25 0 11 0 838332851 857690112 29747 4294967295 134512640 134569956 3221224368 3221214544 1131272741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29747 13086 16 0 209381 0 vsize: 837588 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 115603 58 0 0 25 0 11 0 838332851 857690112 29749 4294967295 134512640 134569956 3221224368 3221214544 1131274051 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29749 13086 16 0 209381 0 vsize: 837588 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 116591 58 0 0 24 0 11 0 838332851 857690112 29750 4294967295 134512640 134569956 3221224368 3221214544 1131274049 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29750 13086 16 0 209381 0 vsize: 837588 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 117584 59 0 0 25 0 11 0 838332851 857690112 29793 4294967295 134512640 134569956 3221224368 3221214624 1131232725 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29793 13086 16 0 209381 0 vsize: 837588 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 118582 59 0 0 25 0 11 0 838332851 857690112 29793 4294967295 134512640 134569956 3221224368 3221214624 1131401294 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29793 13086 16 0 209381 0 vsize: 837588 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 119575 59 0 0 25 0 11 0 838332851 857690112 29793 4294967295 134512640 134569956 3221224368 3221214624 1131400870 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29793 13086 16 0 209381 0 vsize: 837588 [startup+1240.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23030 Raw data (stat): 22963 (java) R 22962 10795 10794 0 -1 0 18080 0 1 0 120564 59 0 0 25 0 11 0 838332851 857690112 29793 4294967295 134512640 134569956 3221224368 3221214624 1131401190 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209397 29793 13086 16 0 209381 0 vsize: 837588 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.2 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 23032 Raw data (stat): 22963 (java) Z 22962 10795 10794 0 -1 1036 18080 14511 1 0 120569 59 3738 51 25 0 1 0 838332851 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1240.2 CPU time (s): 1244.19 CPU user time (s): 1243.08 CPU system time (s): 1.11283 CPU usage (%): 100.322 Max. virtual memory (Kb): 843932 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####