Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm3.opb |
MD5SUM | 4386d3a42d53adecf557a6eee4db5bf4 |
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 | 2070 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 421980536439 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 53687091200000 |
Number of bits of the biggest number in a constraint | 46 |
Biggest sum of numbers in a constraint | 326830904793855 |
Number of bits of the biggest sum of numbers | 49 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.39679 |
Number of variables | 41130 |
Total number of constraints | 990 |
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 | 990 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1710 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc28 THE 2005-05-25 08:04:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20877 boxname=wulflinc28 idbench=865 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 4386d3a42d53adecf557a6eee4db5bf4 /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-scfxm3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-scfxm3.opb IDLAUNCH: 20877 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 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: 681584 kB Buffers: 24012 kB Cached: 307320 kB SwapCached: 1052 kB Active: 41708 kB Inactive: 292192 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 681332 kB SwapTotal: 2097640 kB SwapFree: 2096168 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5464 kB Slab: 13528 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 08:25:25 (client local time) WITH STATUS 143 IN 1259.07 SECONDS stats: 20877 7 1259.07 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/wulflinc28/normalized-mps-v2-20-10-scfxm3.opb c reading problem ... done. Time 496.008 ms. c #vars 41130 c #constraints 1536 c starts : 3 c conflicts : 279 c decisions : 3004 c propagations : 42559 c inspects : 1426244 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 279 c root simplifications : 281 s UNKNOWN c Total CPU time (ms) : 1259.171 #### 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.97 0.99 2/54 3728 Raw data (stat): 3728 (runsolver) R 3727 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837302202 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 0.87 0.97 0.99 2/63 3737 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 831 36 0 0 25 0 10 0 837302202 857022464 20591 4294967295 134512640 134569956 3221224368 3221214640 1131188685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209234 20591 13086 16 0 209218 0 vsize: 836936 [startup+20.004 s] Raw data (loadavg): 0.89 0.97 0.99 2/63 3737 Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 1690 36 0 0 25 0 10 0 837302202 857939968 21860 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 21860 13086 16 0 209442 0 vsize: 837832 [startup+30.0045 s] Raw data (loadavg): 0.91 0.97 0.99 2/63 3737 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 2557 37 0 0 25 0 10 0 837302202 857939968 22159 4294967295 134512640 134569956 3221224368 3221214072 1131215024 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 22159 13086 16 0 209442 0 vsize: 837832 [startup+40.0083 s] Raw data (loadavg): 0.92 0.97 0.99 2/63 3737 Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 3424 37 0 0 25 0 10 0 837302202 857939968 22600 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 22600 13086 16 0 209442 0 vsize: 837832 [startup+50.009 s] Raw data (loadavg): 0.93 0.97 0.99 2/63 3737 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 4282 37 0 0 25 0 10 0 837302202 857939968 23040 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 23040 13086 16 0 209442 0 vsize: 837832 [startup+60.0103 s] Raw data (loadavg): 0.94 0.97 0.99 2/63 3737 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 5160 38 0 0 25 0 10 0 837302202 857939968 23390 4294967295 134512640 134569956 3221224368 3221214720 1131045363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 23390 13086 16 0 209442 0 vsize: 837832 [startup+70.0104 s] Raw data (loadavg): 0.95 0.97 0.99 2/63 3737 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 6052 38 0 0 25 0 10 0 837302202 857939968 23643 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 23643 13086 16 0 209442 0 vsize: 837832 [startup+80.0106 s] Raw data (loadavg): 0.96 0.97 0.99 2/63 3737 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 6918 39 0 0 24 0 10 0 837302202 857939968 23884 4294967295 134512640 134569956 3221224368 3221213768 1073952732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 23884 13086 16 0 209442 0 vsize: 837832 [startup+90.0145 s] Raw data (loadavg): 0.96 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 7788 39 0 0 25 0 10 0 837302202 857939968 24142 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 24142 13086 16 0 209442 0 vsize: 837832 [startup+100.014 s] Raw data (loadavg): 0.97 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 8678 40 0 0 25 0 10 0 837302202 857939968 24579 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 24579 13086 16 0 209442 0 vsize: 837832 [startup+110.015 s] Raw data (loadavg): 0.97 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 9567 40 0 0 18 0 10 0 837302202 857939968 24690 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 24690 13086 16 0 209442 0 vsize: 837832 [startup+120.016 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 10463 40 0 0 18 0 10 0 837302202 857939968 24996 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 24996 13086 16 0 209442 0 vsize: 837832 [startup+130.015 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 11363 40 0 0 23 0 10 0 837302202 857939968 25181 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 25181 13086 16 0 209442 0 vsize: 837832 [startup+140.015 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 12263 40 0 0 25 0 10 0 837302202 857939968 25462 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 25462 13086 16 0 209442 0 vsize: 837832 [startup+150.02 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 13178 40 0 0 25 0 10 0 837302202 857939968 25552 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 25552 13086 16 0 209442 0 vsize: 837832 [startup+160.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 14081 40 0 0 25 0 10 0 837302202 857939968 25717 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 25717 13086 16 0 209442 0 vsize: 837832 [startup+170.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 14987 41 0 0 24 0 10 0 837302202 857939968 25924 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 25924 13086 16 0 209442 0 vsize: 837832 [startup+180.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 15909 41 0 0 24 0 10 0 837302202 857939968 26056 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 26056 13086 16 0 209442 0 vsize: 837832 [startup+190.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 16823 41 0 0 25 0 10 0 837302202 857939968 26187 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 26187 13086 16 0 209442 0 vsize: 837832 [startup+200.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 17724 41 0 0 25 0 10 0 837302202 857939968 26282 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 26282 13086 16 0 209442 0 vsize: 837832 [startup+210.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 18645 42 0 0 25 0 10 0 837302202 857939968 26597 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 26597 13086 16 0 209442 0 vsize: 837832 [startup+220.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 19570 42 0 0 25 0 10 0 837302202 857939968 26640 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 26640 13086 16 0 209442 0 vsize: 837832 [startup+230.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 20479 42 0 0 25 0 10 0 837302202 857939968 26764 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 26764 13086 16 0 209442 0 vsize: 837832 [startup+240.031 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 21370 43 0 0 25 0 10 0 837302202 857939968 26882 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209458 26882 13086 16 0 209442 0 vsize: 837832 [startup+250.031 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 22241 43 0 0 24 0 10 0 837302202 856891392 26754 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 26754 13086 16 0 209186 0 vsize: 836808 [startup+260.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 23147 43 0 0 25 0 10 0 837302202 856891392 27128 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 27128 13086 16 0 209186 0 vsize: 836808 [startup+270.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 24073 44 0 0 25 0 10 0 837302202 856891392 27187 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 27187 13086 16 0 209186 0 vsize: 836808 [startup+280.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 24979 44 0 0 25 0 10 0 837302202 856891392 27241 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 27241 13086 16 0 209186 0 vsize: 836808 [startup+290.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 25879 44 0 0 25 0 10 0 837302202 856891392 27438 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 27438 13086 16 0 209186 0 vsize: 836808 [startup+300.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 26789 44 0 0 25 0 10 0 837302202 856891392 27544 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 27544 13086 16 0 209186 0 vsize: 836808 [startup+310.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 27704 45 0 0 25 0 10 0 837302202 856891392 27697 4294967295 134512640 134569956 3221224368 3221214720 1131044787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 27697 13086 16 0 209186 0 vsize: 836808 [startup+320.041 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 28606 45 0 0 25 0 10 0 837302202 856891392 27771 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 27771 13086 16 0 209186 0 vsize: 836808 [startup+330.042 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 29507 45 0 0 25 0 10 0 837302202 856891392 27961 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 27961 13086 16 0 209186 0 vsize: 836808 [startup+340.042 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 30426 45 0 0 25 0 10 0 837302202 856891392 28076 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 28076 13086 16 0 209186 0 vsize: 836808 [startup+350.046 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 31346 45 0 0 25 0 10 0 837302202 856891392 28128 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 28128 13086 16 0 209186 0 vsize: 836808 [startup+360.047 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 32261 46 0 0 25 0 10 0 837302202 856891392 28237 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 28237 13086 16 0 209186 0 vsize: 836808 [startup+370.047 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 33164 46 0 0 24 0 10 0 837302202 856891392 28343 4294967295 134512640 134569956 3221224368 3221214128 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 28343 13086 16 0 209186 0 vsize: 836808 [startup+380.048 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 34072 46 0 0 25 0 10 0 837302202 856891392 28449 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 28449 13086 16 0 209186 0 vsize: 836808 [startup+390.049 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 34984 47 0 0 25 0 10 0 837302202 856891392 28611 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 28611 13086 16 0 209186 0 vsize: 836808 [startup+400.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 35905 47 0 0 24 0 10 0 837302202 856891392 28641 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 28641 13086 16 0 209186 0 vsize: 836808 [startup+410.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 36831 47 0 0 25 0 10 0 837302202 856891392 28741 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 28741 13086 16 0 209186 0 vsize: 836808 [startup+420.049 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 37754 47 0 0 25 0 10 0 837302202 856891392 28795 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 28795 13086 16 0 209186 0 vsize: 836808 [startup+430.051 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 38663 47 0 0 25 0 10 0 837302202 856891392 28864 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 28864 13086 16 0 209186 0 vsize: 836808 [startup+440.051 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 39581 48 0 0 25 0 10 0 837302202 856891392 28923 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 28923 13086 16 0 209186 0 vsize: 836808 [startup+450.051 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 40507 48 0 0 25 0 10 0 837302202 856891392 29037 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 29037 13086 16 0 209186 0 vsize: 836808 [startup+460.052 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 41426 48 0 0 25 0 10 0 837302202 856891392 29065 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 29065 13086 16 0 209186 0 vsize: 836808 [startup+470.055 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 42343 48 0 0 25 0 10 0 837302202 856891392 29140 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 29140 13086 16 0 209186 0 vsize: 836808 [startup+480.054 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 43258 49 0 0 25 0 10 0 837302202 856891392 29213 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 29213 13086 16 0 209186 0 vsize: 836808 [startup+490.055 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 44164 49 0 0 25 0 10 0 837302202 856891392 29307 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209202 29307 13086 16 0 209186 0 vsize: 836808 [startup+500.055 s] Raw data (loadavg): 1.15 1.00 1.00 3/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18090 0 1 0 45053 49 0 0 25 0 10 0 837302202 861085696 30532 4294967295 134512640 134569956 3221224368 3221214712 1131396756 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210226 30532 13086 16 0 210210 0 vsize: 840904 [startup+510.056 s] Raw data (loadavg): 1.13 1.00 1.00 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18090 0 1 0 45960 50 0 0 24 0 10 0 837302202 861085696 30475 4294967295 134512640 134569956 3221224368 3221214600 1131356691 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210226 30475 13086 16 0 210210 0 vsize: 840904 [startup+520.057 s] Raw data (loadavg): 1.11 1.00 1.00 2/63 3739 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18090 0 1 0 46872 50 0 0 25 0 10 0 837302202 860037120 30608 4294967295 134512640 134569956 3221224368 3221214696 1131392892 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209970 30608 13086 16 0 209954 0 vsize: 839880 [startup+530.057 s] Raw data (loadavg): 1.09 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18108 0 1 0 47795 50 0 0 25 0 11 0 837302202 860565504 30671 4294967295 134512640 134569956 3221224368 3221214576 1131355158 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210099 30671 13086 16 0 210083 0 vsize: 840396 [startup+540.058 s] Raw data (loadavg): 1.08 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18109 0 1 0 48719 50 0 0 24 0 11 0 837302202 860565504 31268 4294967295 134512640 134569956 3221224368 3221214616 1131349990 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210099 31268 13086 16 0 210083 0 vsize: 840396 [startup+550.058 s] Raw data (loadavg): 1.07 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18109 0 1 0 49679 50 0 0 25 0 11 0 837302202 860565504 31413 4294967295 134512640 134569956 3221224368 3221214660 1131193925 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210099 31413 13086 16 0 210083 0 vsize: 840396 [startup+560.058 s] Raw data (loadavg): 1.06 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18109 0 1 0 50660 51 0 0 21 0 11 0 837302202 860565504 31484 4294967295 134512640 134569956 3221224368 3221214664 1131392356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210099 31484 13086 16 0 210083 0 vsize: 840396 [startup+570.059 s] Raw data (loadavg): 1.05 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18110 0 1 0 51648 51 0 0 25 0 11 0 837302202 860565504 31547 4294967295 134512640 134569956 3221224368 3221214576 1131353903 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210099 31547 13086 16 0 210083 0 vsize: 840396 [startup+580.059 s] Raw data (loadavg): 1.04 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18110 0 1 0 52641 51 0 0 25 0 11 0 837302202 860565504 31559 4294967295 134512640 134569956 3221224368 3221214576 1131354713 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210099 31559 13086 16 0 210083 0 vsize: 840396 [startup+590.059 s] Raw data (loadavg): 1.03 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18110 0 1 0 53635 51 0 0 25 0 11 0 837302202 860565504 31573 4294967295 134512640 134569956 3221224368 3221214664 1131394064 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210099 31573 13086 16 0 210083 0 vsize: 840396 [startup+600.058 s] Raw data (loadavg): 1.03 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18110 0 1 0 54628 51 0 0 25 0 11 0 837302202 860565504 31596 4294967295 134512640 134569956 3221224368 3221214660 1131216480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210099 31596 13086 16 0 210083 0 vsize: 840396 [startup+610.06 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18110 0 1 0 55621 51 0 0 25 0 11 0 837302202 862662656 31958 4294967295 134512640 134569956 3221224368 3221214576 1131353833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210611 31958 13086 16 0 210595 0 vsize: 842444 [startup+620.06 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18110 0 1 0 56613 51 0 0 25 0 11 0 837302202 862662656 31972 4294967295 134512640 134569956 3221224368 3221214576 1131355131 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 31972 13086 16 0 210595 0 vsize: 842444 [startup+630.06 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18110 0 1 0 57607 51 0 0 25 0 11 0 837302202 862662656 31984 4294967295 134512640 134569956 3221224368 3221214576 1131355139 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 31984 13086 16 0 210595 0 vsize: 842444 [startup+640.061 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 58601 51 0 0 25 0 11 0 837302202 862662656 31999 4294967295 134512640 134569956 3221224368 3221214576 1131353688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 31999 13086 16 0 210595 0 vsize: 842444 [startup+650.06 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 59594 51 0 0 25 0 11 0 837302202 862662656 32009 4294967295 134512640 134569956 3221224368 3221214664 1131392878 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32009 13086 16 0 210595 0 vsize: 842444 [startup+660.061 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 60587 51 0 0 25 0 11 0 837302202 862662656 32018 4294967295 134512640 134569956 3221224368 3221214576 1131354703 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32018 13086 16 0 210595 0 vsize: 842444 [startup+670.062 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 61582 51 0 0 25 0 11 0 837302202 862662656 32026 4294967295 134512640 134569956 3221224368 3221214656 1131193870 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32026 13086 16 0 210595 0 vsize: 842444 [startup+680.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 62568 52 0 0 25 0 11 0 837302202 862662656 32037 4294967295 134512640 134569956 3221224368 3221214576 1131353943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210611 32037 13086 16 0 210595 0 vsize: 842444 [startup+690.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 63561 52 0 0 25 0 11 0 837302202 862662656 32045 4294967295 134512640 134569956 3221224368 3221214664 1131392356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32045 13086 16 0 210595 0 vsize: 842444 [startup+700.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 64554 52 0 0 25 0 11 0 837302202 862662656 32052 4294967295 134512640 134569956 3221224368 3221214576 1131353785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32052 13086 16 0 210595 0 vsize: 842444 [startup+710.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 65546 52 0 0 17 0 11 0 837302202 862662656 32060 4294967295 134512640 134569956 3221224368 3221214664 1131395621 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32060 13086 16 0 210595 0 vsize: 842444 [startup+720.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 66538 52 0 0 25 0 11 0 837302202 862662656 32078 4294967295 134512640 134569956 3221224368 3221214664 1131390972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32078 13086 16 0 210595 0 vsize: 842444 [startup+730.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 67531 52 0 0 25 0 11 0 837302202 862662656 32092 4294967295 134512640 134569956 3221224368 3221214664 1131391037 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32092 13086 16 0 210595 0 vsize: 842444 [startup+740.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 68525 52 0 0 25 0 11 0 837302202 862662656 32105 4294967295 134512640 134569956 3221224368 3221214576 1131353692 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32105 13086 16 0 210595 0 vsize: 842444 [startup+750.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 69518 52 0 0 25 0 11 0 837302202 862662656 32111 4294967295 134512640 134569956 3221224368 3221214660 1131419945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32111 13086 16 0 210595 0 vsize: 842444 [startup+760.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 70512 52 0 0 25 0 11 0 837302202 862662656 32119 4294967295 134512640 134569956 3221224368 3221214568 1131216565 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32119 13086 16 0 210595 0 vsize: 842444 [startup+770.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 71506 53 0 0 25 0 11 0 837302202 862662656 32125 4294967295 134512640 134569956 3221224368 3221214576 1131353960 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32125 13086 16 0 210595 0 vsize: 842444 [startup+780.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 72499 53 0 0 25 0 11 0 837302202 862662656 32132 4294967295 134512640 134569956 3221224368 3221214664 1131392188 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32132 13086 16 0 210595 0 vsize: 842444 [startup+790.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 73493 53 0 0 25 0 11 0 837302202 862662656 32138 4294967295 134512640 134569956 3221224368 3221214664 1131390905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32138 13086 16 0 210595 0 vsize: 842444 [startup+800.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 74486 54 0 0 25 0 11 0 837302202 862662656 32144 4294967295 134512640 134569956 3221224368 3221214664 1131392356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32144 13086 16 0 210595 0 vsize: 842444 [startup+810.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 75480 54 0 0 25 0 11 0 837302202 862662656 32151 4294967295 134512640 134569956 3221224368 3221214664 1131391056 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32151 13086 16 0 210595 0 vsize: 842444 [startup+820.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 76473 54 0 0 25 0 11 0 837302202 862662656 32157 4294967295 134512640 134569956 3221224368 3221214608 1131258839 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32157 13086 16 0 210595 0 vsize: 842444 [startup+830.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 77467 54 0 0 25 0 11 0 837302202 862662656 32163 4294967295 134512640 134569956 3221224368 3221214664 1131394032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32163 13086 16 0 210595 0 vsize: 842444 [startup+840.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 78461 54 0 0 25 0 11 0 837302202 862662656 32168 4294967295 134512640 134569956 3221224368 3221214576 1131353833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32168 13086 16 0 210595 0 vsize: 842444 [startup+850.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 79454 54 0 0 25 0 11 0 837302202 862662656 32174 4294967295 134512640 134569956 3221224368 3221214664 1131390972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32174 13086 16 0 210595 0 vsize: 842444 [startup+860.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 80448 54 0 0 25 0 11 0 837302202 862662656 32181 4294967295 134512640 134569956 3221224368 3221214664 1131392356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32181 13086 16 0 210595 0 vsize: 842444 [startup+870.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 81442 54 0 0 25 0 11 0 837302202 862662656 32186 4294967295 134512640 134569956 3221224368 3221214664 1131392356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32186 13086 16 0 210595 0 vsize: 842444 [startup+880.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 82434 55 0 0 25 0 11 0 837302202 862662656 32192 4294967295 134512640 134569956 3221224368 3221214576 1131353833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32192 13086 16 0 210595 0 vsize: 842444 [startup+890.065 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 83428 55 0 0 25 0 11 0 837302202 862662656 32198 4294967295 134512640 134569956 3221224368 3221214576 1131353833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32198 13086 16 0 210595 0 vsize: 842444 [startup+900.065 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 84422 55 0 0 25 0 11 0 837302202 862662656 32203 4294967295 134512640 134569956 3221224368 3221214664 1131396185 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32203 13086 16 0 210595 0 vsize: 842444 [startup+910.066 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 85415 55 0 0 25 0 11 0 837302202 862662656 32209 4294967295 134512640 134569956 3221224368 3221214576 1131354587 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32209 13086 16 0 210595 0 vsize: 842444 [startup+920.066 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 86409 55 0 0 25 0 11 0 837302202 862662656 32214 4294967295 134512640 134569956 3221224368 3221214656 1131193902 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32214 13086 16 0 210595 0 vsize: 842444 [startup+930.066 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 87402 55 0 0 25 0 11 0 837302202 862662656 32219 4294967295 134512640 134569956 3221224368 3221214280 1131199711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32219 13086 16 0 210595 0 vsize: 842444 [startup+940.067 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 88394 56 0 0 25 0 11 0 837302202 862662656 32227 4294967295 134512640 134569956 3221224368 3221214664 1131391060 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32227 13086 16 0 210595 0 vsize: 842444 [startup+950.067 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 89386 56 0 0 19 0 11 0 837302202 862662656 32231 4294967295 134512640 134569956 3221224368 3221214576 1131353697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32231 13086 16 0 210595 0 vsize: 842444 [startup+960.068 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 90378 56 0 0 25 0 11 0 837302202 862662656 32237 4294967295 134512640 134569956 3221224368 3221214664 1131392892 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32237 13086 16 0 210595 0 vsize: 842444 [startup+970.068 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 91368 56 0 0 25 0 11 0 837302202 862662656 32264 4294967295 134512640 134569956 3221224368 3221214576 1131353833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32264 13086 16 0 210595 0 vsize: 842444 [startup+980.068 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 92360 56 0 0 25 0 11 0 837302202 862662656 32268 4294967295 134512640 134569956 3221224368 3221214576 1131353873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32268 13086 16 0 210595 0 vsize: 842444 [startup+990.068 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 93352 56 0 0 25 0 11 0 837302202 862662656 32288 4294967295 134512640 134569956 3221224368 3221214576 1131353960 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32288 13086 16 0 210595 0 vsize: 842444 [startup+1000.07 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 94344 56 0 0 25 0 11 0 837302202 862662656 32302 4294967295 134512640 134569956 3221224368 3221214576 1131353746 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32302 13086 16 0 210595 0 vsize: 842444 [startup+1010.07 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 95338 56 0 0 25 0 11 0 837302202 862662656 32307 4294967295 134512640 134569956 3221224368 3221214664 1131396756 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32307 13086 16 0 210595 0 vsize: 842444 [startup+1020.07 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 96331 56 0 0 25 0 11 0 837302202 862662656 32311 4294967295 134512640 134569956 3221224368 3221214576 1131353833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32311 13086 16 0 210595 0 vsize: 842444 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 97323 56 0 0 25 0 11 0 837302202 862662656 32316 4294967295 134512640 134569956 3221224368 3221214576 1131353873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32316 13086 16 0 210595 0 vsize: 842444 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 98317 56 0 0 25 0 11 0 837302202 862662656 32321 4294967295 134512640 134569956 3221224368 3221214664 1131392356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32321 13086 16 0 210595 0 vsize: 842444 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 99310 56 0 0 25 0 11 0 837302202 862662656 32326 4294967295 134512640 134569956 3221224368 3221214576 1131353940 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32326 13086 16 0 210595 0 vsize: 842444 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 100302 56 0 0 25 0 11 0 837302202 862662656 32330 4294967295 134512640 134569956 3221224368 3221214664 1131396694 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32330 13086 16 0 210595 0 vsize: 842444 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 101296 56 0 0 25 0 11 0 837302202 862662656 32335 4294967295 134512640 134569956 3221224368 3221214568 1131216553 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32335 13086 16 0 210595 0 vsize: 842444 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 102289 57 0 0 25 0 11 0 837302202 862662656 32340 4294967295 134512640 134569956 3221224368 3221214664 1131392892 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32340 13086 16 0 210595 0 vsize: 842444 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 103281 57 0 0 25 0 11 0 837302202 862662656 32345 4294967295 134512640 134569956 3221224368 3221214576 1131353743 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32345 13086 16 0 210595 0 vsize: 842444 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 104274 57 0 0 25 0 11 0 837302202 862662656 32349 4294967295 134512640 134569956 3221224368 3221214664 1131396742 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32349 13086 16 0 210595 0 vsize: 842444 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 105267 57 0 0 25 0 11 0 837302202 862662656 32354 4294967295 134512640 134569956 3221224368 3221214664 1131390972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32354 13086 16 0 210595 0 vsize: 842444 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 106260 57 0 0 25 0 11 0 837302202 862662656 32359 4294967295 134512640 134569956 3221224368 3221214576 1131353960 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32359 13086 16 0 210595 0 vsize: 842444 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 107253 57 0 0 25 0 11 0 837302202 862662656 32362 4294967295 134512640 134569956 3221224368 3221214576 1131354703 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32362 13086 16 0 210595 0 vsize: 842444 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 108245 57 0 0 25 0 11 0 837302202 862662656 32367 4294967295 134512640 134569956 3221224368 3221214576 1131355116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32367 13086 16 0 210595 0 vsize: 842444 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 109239 57 0 0 25 0 11 0 837302202 862662656 32371 4294967295 134512640 134569956 3221224368 3221214576 1131353833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32371 13086 16 0 210595 0 vsize: 842444 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 110232 57 0 0 25 0 11 0 837302202 862662656 32375 4294967295 134512640 134569956 3221224368 3221214576 1131354088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32375 13086 16 0 210595 0 vsize: 842444 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 111224 58 0 0 25 0 11 0 837302202 862662656 32379 4294967295 134512640 134569956 3221224368 3221214576 1131353833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32379 13086 16 0 210595 0 vsize: 842444 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 112217 58 0 0 25 0 11 0 837302202 862662656 32384 4294967295 134512640 134569956 3221224368 3221214576 1131353697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32384 13086 16 0 210595 0 vsize: 842444 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 113210 58 0 0 25 0 11 0 837302202 862662656 32387 4294967295 134512640 134569956 3221224368 3221214576 1131354015 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32387 13086 16 0 210595 0 vsize: 842444 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 114202 58 0 0 25 0 11 0 837302202 862662656 32392 4294967295 134512640 134569956 3221224368 3221214664 1131394070 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32392 13086 16 0 210595 0 vsize: 842444 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 115195 58 0 0 25 0 11 0 837302202 862662656 32397 4294967295 134512640 134569956 3221224368 3221214664 1131397864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32397 13086 16 0 210595 0 vsize: 842444 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 116188 58 0 0 25 0 11 0 837302202 862662656 32400 4294967295 134512640 134569956 3221224368 3221214664 1131392356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32400 13086 16 0 210595 0 vsize: 842444 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 117181 58 0 0 25 0 11 0 837302202 862662656 32405 4294967295 134512640 134569956 3221224368 3221214664 1131396192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32405 13086 16 0 210595 0 vsize: 842444 [startup+1240.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 118173 58 0 0 25 0 11 0 837302202 862662656 32409 4294967295 134512640 134569956 3221224368 3221214576 1131353847 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32409 13086 16 0 210595 0 vsize: 842444 [startup+1250.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 119166 58 0 0 25 0 11 0 837302202 862662656 32413 4294967295 134512640 134569956 3221224368 3221214576 1131353736 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32413 13086 16 0 210595 0 vsize: 842444 [startup+1260.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 3740 Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 120159 58 0 0 25 0 11 0 837302202 862662656 32417 4294967295 134512640 134569956 3221224368 3221214664 1131391963 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210611 32417 13086 16 0 210595 0 vsize: 842444 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.19 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 3742 Raw data (stat): 3728 (java) Z 3727 24821 24820 0 -1 1036 18111 11927 1 0 120163 58 5639 45 25 0 1 0 837302202 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): 1260.19 CPU time (s): 1259.07 CPU user time (s): 1258.03 CPU system time (s): 1.04384 CPU usage (%): 99.9113 Max. virtual memory (Kb): 842444 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####