Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm2.opb |
MD5SUM | 62c9b9620bb6a6d25dc0851d660e9763 |
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 | 1380 |
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 | 281320357626 |
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 | 0.951855 |
Number of variables | 27420 |
Total number of constraints | 660 |
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 | 660 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1710 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc7 THE 2005-05-25 08:03:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20876 boxname=wulflinc7 idbench=864 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 62c9b9620bb6a6d25dc0851d660e9763 /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-scfxm2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-scfxm2.opb IDLAUNCH: 20876 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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: 747624 kB Buffers: 23304 kB Cached: 243468 kB SwapCached: 740 kB Active: 51572 kB Inactive: 217284 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 747372 kB SwapTotal: 2097136 kB SwapFree: 2095584 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5128 kB Slab: 12568 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 08:24:37 (client local time) WITH STATUS 143 IN 1259.61 SECONDS stats: 20876 7 1259.61 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/wulflinc7/normalized-mps-v2-20-10-scfxm2.opb c reading problem ... done. Time 227.788 ms. c #vars 27420 c #constraints 1024 c starts : 5 c conflicts : 1037 c decisions : 7824 c propagations : 42731 c inspects : 2379023 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1037 c root simplifications : 360 s UNKNOWN c Total CPU time (ms) : 1249.104 #### 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.88 0.98 0.99 2/54 7369 Raw data (stat): 7369 (runsolver) R 7368 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779078945 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.001 s] Raw data (loadavg): 1.13 1.03 1.01 2/63 7378 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 787 40 0 0 24 0 10 0 779078945 857235456 20849 4294967295 134512640 134569956 3221224368 3221214408 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209286 20849 13086 16 0 209270 0 vsize: 837144 [startup+20.0021 s] Raw data (loadavg): 1.11 1.03 1.00 2/63 7378 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 1651 40 0 0 25 0 10 0 779078945 856358912 21497 4294967295 134512640 134569956 3221224368 3221214628 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209072 21497 13086 16 0 209056 0 vsize: 836288 [startup+30.0028 s] Raw data (loadavg): 1.10 1.03 1.00 2/63 7378 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 2518 40 0 0 25 0 10 0 779078945 856358912 22037 4294967295 134512640 134569956 3221224368 3221214628 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209072 22037 13086 16 0 209056 0 vsize: 836288 [startup+40.003 s] Raw data (loadavg): 1.08 1.02 1.00 2/63 7378 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 3386 41 0 0 24 0 10 0 779078945 856358912 22206 4294967295 134512640 134569956 3221224368 3221214760 1131354173 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209072 22206 13086 16 0 209056 0 vsize: 836288 [startup+50.0039 s] Raw data (loadavg): 1.07 1.02 1.00 2/63 7378 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 4250 41 0 0 25 0 10 0 779078945 856358912 22661 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209072 22661 13086 16 0 209056 0 vsize: 836288 [startup+60.0041 s] Raw data (loadavg): 1.06 1.02 1.00 2/63 7378 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 5132 42 0 0 25 0 10 0 779078945 856358912 22991 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209072 22991 13086 16 0 209056 0 vsize: 836288 [startup+70.0047 s] Raw data (loadavg): 1.05 1.02 1.00 2/63 7378 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 6017 43 0 0 25 0 10 0 779078945 857407488 23486 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209328 23486 13086 16 0 209312 0 vsize: 837312 [startup+80.0048 s] Raw data (loadavg): 1.04 1.02 1.00 2/63 7378 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 6879 43 0 0 25 0 10 0 779078945 857407488 23621 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209328 23621 13086 16 0 209312 0 vsize: 837312 [startup+90.0055 s] Raw data (loadavg): 1.03 1.02 1.00 2/63 7378 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 7748 44 0 0 25 0 10 0 779078945 857407488 24149 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209328 24149 13086 16 0 209312 0 vsize: 837312 [startup+100.006 s] Raw data (loadavg): 1.03 1.02 1.00 2/63 7378 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 8648 45 0 0 25 0 10 0 779078945 857407488 24282 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209328 24282 13086 16 0 209312 0 vsize: 837312 [startup+110.007 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 7378 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 9543 46 0 0 25 0 10 0 779078945 857407488 24544 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209328 24544 13086 16 0 209312 0 vsize: 837312 [startup+120.007 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 7378 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 10439 46 0 0 25 0 10 0 779078945 857407488 24768 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209328 24768 13086 16 0 209312 0 vsize: 837312 [startup+130.006 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 7378 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 11335 46 0 0 24 0 10 0 779078945 857407488 25015 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209328 25015 13086 16 0 209312 0 vsize: 837312 [startup+140.008 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 7378 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 12254 47 0 0 25 0 10 0 779078945 857407488 25159 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209328 25159 13086 16 0 209312 0 vsize: 837312 [startup+150.008 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 7380 Raw data (stat): 7369 (java) S 7368 24300 24299 0 -1 0 18029 0 1 0 13156 48 0 0 25 0 10 0 779078945 857407488 25317 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209328 25317 13086 16 0 209312 0 vsize: 837312 [startup+160.007 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 7380 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 14064 48 0 0 21 0 10 0 779078945 857407488 25492 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209328 25492 13086 16 0 209312 0 vsize: 837312 [startup+170.007 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 7380 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 14984 48 0 0 25 0 10 0 779078945 857407488 25694 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209328 25694 13086 16 0 209312 0 vsize: 837312 [startup+180.007 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 7380 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 15912 49 0 0 25 0 10 0 779078945 857407488 25819 4294967295 134512640 134569956 3221224368 3221214760 1131355549 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209328 25819 13086 16 0 209312 0 vsize: 837312 [startup+190.007 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 7380 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 16821 49 0 0 25 0 10 0 779078945 857407488 25916 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209328 25916 13086 16 0 209312 0 vsize: 837312 [startup+200.007 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 7380 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 17732 50 0 0 25 0 10 0 779078945 857407488 26079 4294967295 134512640 134569956 3221224368 3221214752 1080203573 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209328 26079 13086 16 0 209312 0 vsize: 837312 [startup+210.008 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 7380 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 18651 50 0 0 25 0 10 0 779078945 857407488 26283 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209328 26283 13086 16 0 209312 0 vsize: 837312 [startup+220.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 7380 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18029 0 1 0 19569 51 0 0 25 0 10 0 779078945 857407488 26404 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209328 26404 13086 16 0 209312 0 vsize: 837312 [startup+230.008 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 7380 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18064 0 1 0 20470 52 0 0 25 0 10 0 779078945 859504640 27056 4294967295 134512640 134569956 3221224368 3221214616 1131339057 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209840 27056 13086 16 0 209824 0 vsize: 839360 [startup+240.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 7380 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18064 0 1 0 21362 52 0 0 25 0 10 0 779078945 859504640 27119 4294967295 134512640 134569956 3221224368 3221214712 1131378121 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209840 27119 13086 16 0 209824 0 vsize: 839360 [startup+250.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18081 0 1 0 22263 53 0 0 25 0 11 0 779078945 858984448 27101 4294967295 134512640 134569956 3221224368 3221214664 1131378174 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 27101 13086 16 0 209697 0 vsize: 838852 [startup+260.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18082 0 1 0 23169 53 0 0 25 0 11 0 779078945 858984448 27427 4294967295 134512640 134569956 3221224368 3221214568 1131338606 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 27427 13086 16 0 209697 0 vsize: 838852 [startup+270.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18082 0 1 0 24119 53 0 0 25 0 11 0 779078945 858984448 27881 4294967295 134512640 134569956 3221224368 3221214568 1131338626 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 27881 13086 16 0 209697 0 vsize: 838852 [startup+280.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18084 0 1 0 25084 53 0 0 25 0 11 0 779078945 858984448 27984 4294967295 134512640 134569956 3221224368 3221214664 1131378239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 27984 13086 16 0 209697 0 vsize: 838852 [startup+290.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18084 0 1 0 26049 54 0 0 25 0 11 0 779078945 858984448 28124 4294967295 134512640 134569956 3221224368 3221214568 1131339110 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 28124 13086 16 0 209697 0 vsize: 838852 [startup+300.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18084 0 1 0 27032 54 0 0 25 0 11 0 779078945 858984448 28161 4294967295 134512640 134569956 3221224368 3221214664 1131377981 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28161 13086 16 0 209697 0 vsize: 838852 [startup+310.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 28015 54 0 0 25 0 11 0 779078945 858984448 28197 4294967295 134512640 134569956 3221224368 3221214568 1131339194 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28197 13086 16 0 209697 0 vsize: 838852 [startup+320.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 28997 54 0 0 25 0 11 0 779078945 858984448 28244 4294967295 134512640 134569956 3221224368 3221214568 1131338638 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28244 13086 16 0 209697 0 vsize: 838852 [startup+330.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 29980 54 0 0 25 0 11 0 779078945 858984448 28303 4294967295 134512640 134569956 3221224368 3221214568 1131339057 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28303 13086 16 0 209697 0 vsize: 838852 [startup+340.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 30964 54 0 0 25 0 11 0 779078945 858984448 28348 4294967295 134512640 134569956 3221224368 3221214664 1131379294 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28348 13086 16 0 209697 0 vsize: 838852 [startup+350.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 31949 54 0 0 25 0 11 0 779078945 858984448 28394 4294967295 134512640 134569956 3221224368 3221214664 1131379321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28394 13086 16 0 209697 0 vsize: 838852 [startup+360.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 32935 54 0 0 25 0 11 0 779078945 858984448 28433 4294967295 134512640 134569956 3221224368 3221214616 1131282405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28433 13086 16 0 209697 0 vsize: 838852 [startup+370.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 33921 54 0 0 25 0 11 0 779078945 858984448 28470 4294967295 134512640 134569956 3221224368 3221214568 1131339230 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28470 13086 16 0 209697 0 vsize: 838852 [startup+380.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 34908 54 0 0 25 0 11 0 779078945 858984448 28505 4294967295 134512640 134569956 3221224368 3221214664 1131379340 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28505 13086 16 0 209697 0 vsize: 838852 [startup+390.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 35895 54 0 0 25 0 11 0 779078945 858984448 28534 4294967295 134512640 134569956 3221224368 3221214568 1131339146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 28534 13086 16 0 209697 0 vsize: 838852 [startup+400.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 36880 54 0 0 25 0 11 0 779078945 858984448 28566 4294967295 134512640 134569956 3221224368 3221214568 1131339146 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28566 13086 16 0 209697 0 vsize: 838852 [startup+410.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 37866 54 0 0 25 0 11 0 779078945 858984448 28598 4294967295 134512640 134569956 3221224368 3221214472 1131204776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28598 13086 16 0 209697 0 vsize: 838852 [startup+420.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 38852 55 0 0 25 0 11 0 779078945 858984448 28638 4294967295 134512640 134569956 3221224368 3221214568 1131339289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28638 13086 16 0 209697 0 vsize: 838852 [startup+430.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 39838 55 0 0 25 0 11 0 779078945 858984448 28675 4294967295 134512640 134569956 3221224368 3221214664 1131378239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28675 13086 16 0 209697 0 vsize: 838852 [startup+440.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 40825 55 0 0 25 0 11 0 779078945 858984448 28708 4294967295 134512640 134569956 3221224368 3221214568 1131339230 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28708 13086 16 0 209697 0 vsize: 838852 [startup+450.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) S 7368 24300 24299 0 -1 0 18085 0 1 0 41813 55 0 0 25 0 11 0 779078945 858984448 28735 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28735 13086 16 0 209697 0 vsize: 838852 [startup+460.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 42801 55 0 0 25 0 11 0 779078945 858984448 28764 4294967295 134512640 134569956 3221224368 3221214568 1131338746 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28764 13086 16 0 209697 0 vsize: 838852 [startup+470.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 43789 55 0 0 25 0 11 0 779078945 858984448 28788 4294967295 134512640 134569956 3221224368 3221214616 1131282088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28788 13086 16 0 209697 0 vsize: 838852 [startup+480.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 44777 55 0 0 25 0 11 0 779078945 858984448 28813 4294967295 134512640 134569956 3221224368 3221214664 1131382206 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28813 13086 16 0 209697 0 vsize: 838852 [startup+490.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 45766 55 0 0 25 0 11 0 779078945 858984448 28835 4294967295 134512640 134569956 3221224368 3221214664 1131382138 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28835 13086 16 0 209697 0 vsize: 838852 [startup+500.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 46754 55 0 0 25 0 11 0 779078945 858984448 28860 4294967295 134512640 134569956 3221224368 3221214568 1131339116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28860 13086 16 0 209697 0 vsize: 838852 [startup+510.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 47743 55 0 0 25 0 11 0 779078945 858984448 28881 4294967295 134512640 134569956 3221224368 3221214664 1131379294 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28881 13086 16 0 209697 0 vsize: 838852 [startup+520.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 48732 55 0 0 25 0 11 0 779078945 858984448 28902 4294967295 134512640 134569956 3221224368 3221214712 1131396572 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28902 13086 16 0 209697 0 vsize: 838852 [startup+530.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 49719 56 0 0 25 0 11 0 779078945 858984448 28925 4294967295 134512640 134569956 3221224368 3221214568 1131338626 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28925 13086 16 0 209697 0 vsize: 838852 [startup+540.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 50708 56 0 0 25 0 11 0 779078945 858984448 28944 4294967295 134512640 134569956 3221224368 3221214664 1131380156 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28944 13086 16 0 209697 0 vsize: 838852 [startup+550.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 51696 57 0 0 25 0 11 0 779078945 858984448 28967 4294967295 134512640 134569956 3221224368 3221214568 1131339230 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28967 13086 16 0 209697 0 vsize: 838852 [startup+560.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 52685 57 0 0 25 0 11 0 779078945 858984448 28986 4294967295 134512640 134569956 3221224368 3221214664 1131379321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 28986 13086 16 0 209697 0 vsize: 838852 [startup+570.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 53674 57 0 0 25 0 11 0 779078945 858984448 29007 4294967295 134512640 134569956 3221224368 3221214568 1131338597 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29007 13086 16 0 209697 0 vsize: 838852 [startup+580.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 54662 57 0 0 25 0 11 0 779078945 858984448 29027 4294967295 134512640 134569956 3221224368 3221214784 1131436720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29027 13086 16 0 209697 0 vsize: 838852 [startup+590.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 55651 57 0 0 25 0 11 0 779078945 858984448 29047 4294967295 134512640 134569956 3221224368 3221214568 1131339348 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29047 13086 16 0 209697 0 vsize: 838852 [startup+600.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 56638 57 0 0 25 0 11 0 779078945 858984448 29067 4294967295 134512640 134569956 3221224368 3221214568 1131339230 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29067 13086 16 0 209697 0 vsize: 838852 [startup+610.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 57624 57 0 0 25 0 11 0 779078945 858984448 29086 4294967295 134512640 134569956 3221224368 3221214568 1131339057 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29086 13086 16 0 209697 0 vsize: 838852 [startup+620.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 58609 57 0 0 25 0 11 0 779078945 858984448 29115 4294967295 134512640 134569956 3221224368 3221214568 1131339009 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29115 13086 16 0 209697 0 vsize: 838852 [startup+630.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 59596 57 0 0 25 0 11 0 779078945 858984448 29152 4294967295 134512640 134569956 3221224368 3221214568 1131339202 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29152 13086 16 0 209697 0 vsize: 838852 [startup+640.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 60581 57 0 0 24 0 11 0 779078945 858984448 29189 4294967295 134512640 134569956 3221224368 3221214568 1131338661 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29189 13086 16 0 209697 0 vsize: 838852 [startup+650.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 61569 58 0 0 25 0 11 0 779078945 858984448 29211 4294967295 134512640 134569956 3221224368 3221214664 1131378174 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29211 13086 16 0 209697 0 vsize: 838852 [startup+660.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 62557 58 0 0 25 0 11 0 779078945 858984448 29240 4294967295 134512640 134569956 3221224368 3221214568 1131339057 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29240 13086 16 0 209697 0 vsize: 838852 [startup+670.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 63544 58 0 0 25 0 11 0 779078945 858984448 29262 4294967295 134512640 134569956 3221224368 3221214664 1131378306 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29262 13086 16 0 209697 0 vsize: 838852 [startup+680.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 64533 58 0 0 25 0 11 0 779078945 858984448 29283 4294967295 134512640 134569956 3221224368 3221214568 1131339230 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29283 13086 16 0 209697 0 vsize: 838852 [startup+690.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 65521 58 0 0 25 0 11 0 779078945 858984448 29307 4294967295 134512640 134569956 3221224368 3221214568 1131339230 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29307 13086 16 0 209697 0 vsize: 838852 [startup+700.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 66510 58 0 0 25 0 11 0 779078945 858984448 29324 4294967295 134512640 134569956 3221224368 3221214568 1131339256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29324 13086 16 0 209697 0 vsize: 838852 [startup+710.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18085 0 1 0 67499 58 0 0 25 0 11 0 779078945 858984448 29343 4294967295 134512640 134569956 3221224368 3221214568 1131339256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29343 13086 16 0 209697 0 vsize: 838852 [startup+720.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 68484 58 0 0 25 0 11 0 779078945 858984448 29366 4294967295 134512640 134569956 3221224368 3221214568 1131338593 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29366 13086 16 0 209697 0 vsize: 838852 [startup+730.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 69473 58 0 0 25 0 11 0 779078945 858984448 29380 4294967295 134512640 134569956 3221224368 3221214568 1131339057 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29380 13086 16 0 209697 0 vsize: 838852 [startup+740.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 70462 58 0 0 25 0 11 0 779078945 858984448 29397 4294967295 134512640 134569956 3221224368 3221214568 1131339057 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29397 13086 16 0 209697 0 vsize: 838852 [startup+750.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 71451 58 0 0 25 0 11 0 779078945 858984448 29413 4294967295 134512640 134569956 3221224368 3221214664 1131378258 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29413 13086 16 0 209697 0 vsize: 838852 [startup+760.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 72441 58 0 0 25 0 11 0 779078945 858984448 29428 4294967295 134512640 134569956 3221224368 3221214568 1131339242 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29428 13086 16 0 209697 0 vsize: 838852 [startup+770.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 73429 58 0 0 25 0 11 0 779078945 858984448 29442 4294967295 134512640 134569956 3221224368 3221214664 1131382114 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29442 13086 16 0 209697 0 vsize: 838852 [startup+780.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 74415 58 0 0 25 0 11 0 779078945 858984448 29457 4294967295 134512640 134569956 3221224368 3221214664 1131379214 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29457 13086 16 0 209697 0 vsize: 838852 [startup+790.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 75399 59 0 0 25 0 11 0 779078945 858984448 29471 4294967295 134512640 134569956 3221224368 3221214472 1131204776 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29471 13086 16 0 209697 0 vsize: 838852 [startup+800.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 76383 59 0 0 25 0 11 0 779078945 858984448 29497 4294967295 134512640 134569956 3221224368 3221214664 1131377953 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29497 13086 16 0 209697 0 vsize: 838852 [startup+810.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 77368 60 0 0 25 0 11 0 779078945 858984448 29521 4294967295 134512640 134569956 3221224368 3221214616 1131282090 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209713 29521 13086 16 0 209697 0 vsize: 838852 [startup+820.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 78350 60 0 0 25 0 11 0 779078945 858984448 29547 4294967295 134512640 134569956 3221224368 3221214664 1131382226 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29547 13086 16 0 209697 0 vsize: 838852 [startup+830.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 79333 61 0 0 25 0 11 0 779078945 858984448 29574 4294967295 134512640 134569956 3221224368 3221214568 1131339878 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29574 13086 16 0 209697 0 vsize: 838852 [startup+840.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) S 7368 24300 24299 0 -1 0 18086 0 1 0 80318 61 0 0 25 0 11 0 779078945 858984448 29597 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29597 13086 16 0 209697 0 vsize: 838852 [startup+850.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 81305 61 0 0 25 0 11 0 779078945 858984448 29614 4294967295 134512640 134569956 3221224368 3221214664 1131379273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29614 13086 16 0 209697 0 vsize: 838852 [startup+860.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 82290 62 0 0 25 0 11 0 779078945 858984448 29627 4294967295 134512640 134569956 3221224368 3221214568 1131338604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29627 13086 16 0 209697 0 vsize: 838852 [startup+870.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 83276 62 0 0 25 0 11 0 779078945 858984448 29632 4294967295 134512640 134569956 3221224368 3221214496 1131497694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29632 13086 16 0 209697 0 vsize: 838852 [startup+880.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 84262 62 0 0 25 0 11 0 779078945 858984448 29644 4294967295 134512640 134569956 3221224368 3221214664 1131377953 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29644 13086 16 0 209697 0 vsize: 838852 [startup+890.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 85249 63 0 0 25 0 11 0 779078945 858984448 29650 4294967295 134512640 134569956 3221224368 3221214712 1131397407 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29650 13086 16 0 209697 0 vsize: 838852 [startup+900.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 86234 63 0 0 25 0 11 0 779078945 858984448 29664 4294967295 134512640 134569956 3221224368 3221214568 1131338672 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29664 13086 16 0 209697 0 vsize: 838852 [startup+910.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) S 7368 24300 24299 0 -1 0 18086 0 1 0 87224 64 0 0 25 0 11 0 779078945 858984448 29674 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29674 13086 16 0 209697 0 vsize: 838852 [startup+920.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 88213 64 0 0 25 0 11 0 779078945 858984448 29683 4294967295 134512640 134569956 3221224368 3221214664 1131379276 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29683 13086 16 0 209697 0 vsize: 838852 [startup+930.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 89201 64 0 0 25 0 11 0 779078945 858984448 29690 4294967295 134512640 134569956 3221224368 3221214568 1131338661 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29690 13086 16 0 209697 0 vsize: 838852 [startup+940.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 90190 65 0 0 25 0 11 0 779078945 858984448 29711 4294967295 134512640 134569956 3221224368 3221214568 1131339054 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29711 13086 16 0 209697 0 vsize: 838852 [startup+950.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 91179 65 0 0 25 0 11 0 779078945 858984448 29722 4294967295 134512640 134569956 3221224368 3221214568 1131339230 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29722 13086 16 0 209697 0 vsize: 838852 [startup+960.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 92168 66 0 0 25 0 11 0 779078945 858984448 29734 4294967295 134512640 134569956 3221224368 3221214664 1131379340 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29734 13086 16 0 209697 0 vsize: 838852 [startup+970.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 93158 66 0 0 25 0 11 0 779078945 858984448 29742 4294967295 134512640 134569956 3221224368 3221214564 1131205374 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29742 13086 16 0 209697 0 vsize: 838852 [startup+980.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 94147 67 0 0 25 0 11 0 779078945 858984448 29754 4294967295 134512640 134569956 3221224368 3221214568 1131339009 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29754 13086 16 0 209697 0 vsize: 838852 [startup+990.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 95137 67 0 0 25 0 11 0 779078945 858984448 29761 4294967295 134512640 134569956 3221224368 3221214664 1131380101 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29761 13086 16 0 209697 0 vsize: 838852 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 96126 67 0 0 25 0 11 0 779078945 858984448 29773 4294967295 134512640 134569956 3221224368 3221214664 1131378174 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29773 13086 16 0 209697 0 vsize: 838852 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 97115 68 0 0 25 0 11 0 779078945 858984448 29782 4294967295 134512640 134569956 3221224368 3221214568 1131338626 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29782 13086 16 0 209697 0 vsize: 838852 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 98104 68 0 0 25 0 11 0 779078945 858984448 29794 4294967295 134512640 134569956 3221224368 3221214568 1131339110 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29794 13086 16 0 209697 0 vsize: 838852 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 99094 69 0 0 25 0 11 0 779078945 858984448 29802 4294967295 134512640 134569956 3221224368 3221214664 1131380077 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29802 13086 16 0 209697 0 vsize: 838852 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 100083 69 0 0 25 0 11 0 779078945 858984448 29814 4294967295 134512640 134569956 3221224368 3221214616 1131282088 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29814 13086 16 0 209697 0 vsize: 838852 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 101072 70 0 0 25 0 11 0 779078945 858984448 29821 4294967295 134512640 134569956 3221224368 3221214568 1131338997 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29821 13086 16 0 209697 0 vsize: 838852 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 102061 70 0 0 25 0 11 0 779078945 858984448 29832 4294967295 134512640 134569956 3221224368 3221214564 1131205380 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29832 13086 16 0 209697 0 vsize: 838852 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 103050 71 0 0 25 0 11 0 779078945 858984448 29844 4294967295 134512640 134569956 3221224368 3221214472 1131204277 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29844 13086 16 0 209697 0 vsize: 838852 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 104039 71 0 0 25 0 11 0 779078945 858984448 29853 4294967295 134512640 134569956 3221224368 3221214568 1131338604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29853 13086 16 0 209697 0 vsize: 838852 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 105028 72 0 0 25 0 11 0 779078945 858984448 29865 4294967295 134512640 134569956 3221224368 3221214568 1131339285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29865 13086 16 0 209697 0 vsize: 838852 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 106018 72 0 0 25 0 11 0 779078945 858984448 29872 4294967295 134512640 134569956 3221224368 3221214664 1131378239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29872 13086 16 0 209697 0 vsize: 838852 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 107007 72 0 0 25 0 11 0 779078945 858984448 29880 4294967295 134512640 134569956 3221224368 3221214568 1131339106 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29880 13086 16 0 209697 0 vsize: 838852 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 107996 73 0 0 25 0 11 0 779078945 858984448 29892 4294967295 134512640 134569956 3221224368 3221214568 1131339289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29892 13086 16 0 209697 0 vsize: 838852 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 108985 73 0 0 25 0 11 0 779078945 858984448 29901 4294967295 134512640 134569956 3221224368 3221214568 1131339230 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29901 13086 16 0 209697 0 vsize: 838852 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 109975 73 0 0 25 0 11 0 779078945 858984448 29908 4294967295 134512640 134569956 3221224368 3221214472 1131205355 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29908 13086 16 0 209697 0 vsize: 838852 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 110964 74 0 0 25 0 11 0 779078945 858984448 29917 4294967295 134512640 134569956 3221224368 3221214568 1131339057 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29917 13086 16 0 209697 0 vsize: 838852 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 111953 74 0 0 25 0 11 0 779078945 858984448 29929 4294967295 134512640 134569956 3221224368 3221214664 1131377961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29929 13086 16 0 209697 0 vsize: 838852 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 112941 75 0 0 25 0 11 0 779078945 858984448 29937 4294967295 134512640 134569956 3221224368 3221214568 1131339116 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29937 13086 16 0 209697 0 vsize: 838852 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 113930 75 0 0 25 0 11 0 779078945 858984448 29944 4294967295 134512640 134569956 3221224368 3221214664 1131380271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29944 13086 16 0 209697 0 vsize: 838852 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 114919 76 0 0 25 0 11 0 779078945 858984448 29952 4294967295 134512640 134569956 3221224368 3221214568 1131338626 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29952 13086 16 0 209697 0 vsize: 838852 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 115909 77 0 0 25 0 11 0 779078945 858984448 29964 4294967295 134512640 134569956 3221224368 3221214664 1131378167 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29964 13086 16 0 209697 0 vsize: 838852 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 116899 77 0 0 25 0 11 0 779078945 858984448 29972 4294967295 134512640 134569956 3221224368 3221214568 1131339057 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29972 13086 16 0 209697 0 vsize: 838852 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 117887 77 0 0 25 0 11 0 779078945 858984448 29979 4294967295 134512640 134569956 3221224368 3221214568 1131339009 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29979 13086 16 0 209697 0 vsize: 838852 [startup+1230.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 118877 78 0 0 25 0 11 0 779078945 858984448 29988 4294967295 134512640 134569956 3221224368 3221214660 1131338572 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29988 13086 16 0 209697 0 vsize: 838852 [startup+1240.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 119865 78 0 0 25 0 11 0 779078945 858984448 29998 4294967295 134512640 134569956 3221224368 3221214568 1131339057 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 29998 13086 16 0 209697 0 vsize: 838852 [startup+1250.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7381 Raw data (stat): 7369 (java) R 7368 24300 24299 0 -1 0 18086 0 1 0 120854 78 0 0 25 0 11 0 779078945 858984448 30008 4294967295 134512640 134569956 3221224368 3221214568 1131339106 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209713 30008 13086 16 0 209697 0 vsize: 838852 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.14 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 7383 Raw data (stat): 7369 (java) Z 7368 24300 24299 0 -1 1036 18086 15135 1 0 120855 84 4973 46 25 0 1 0 779078945 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1250.14 CPU time (s): 1259.61 CPU user time (s): 1258.3 CPU system time (s): 1.3098 CPU usage (%): 100.757 Max. virtual memory (Kb): 839360 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####