Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sierra.opb |
MD5SUM | 4eeca712f5c43ba16697ebe3806a3a23 |
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 | 36989 |
Biggest coefficient in the objective function | 40063152947200 |
Number of bits for the biggest coefficient in the objective function | 46 |
Sum of the numbers in the objective function | 712861332680300 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 40063152947200 |
Number of bits of the biggest number in a constraint | 46 |
Biggest sum of numbers in a constraint | 712861332680300 |
Number of bits of the biggest sum of numbers | 50 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.344947 |
Number of variables | 38715 |
Total number of constraints | 3263 |
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 | 3263 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 498 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-05-25 08:21:23 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20896 boxname=wulflinc23 idbench=884 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 4eeca712f5c43ba16697ebe3806a3a23 /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-sierra.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-sierra.opb IDLAUNCH: 20896 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 722896 kB Buffers: 32216 kB Cached: 257640 kB SwapCached: 640 kB Active: 80404 kB Inactive: 211908 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 722644 kB SwapTotal: 2097136 kB SwapFree: 2096032 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5628 kB Slab: 13840 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 08:42:25 (client local time) WITH STATUS 143 IN 1257.25 SECONDS stats: 20896 7 1257.25 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/wulflinc23/normalized-mps-v2-20-10-sierra.opb c reading problem ... done. Time 427.073 ms. c #vars 38715 c #constraints 3791 c starts : 8 c conflicts : 3612 c decisions : 9970 c propagations : 28417 c inspects : 4824062 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 3612 c root simplifications : 8 s UNKNOWN c Total CPU time (ms) : 1259.116 #### 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 14594 Raw data (stat): 14594 (runsolver) R 14593 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837400114 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99987 s] Raw data (loadavg): 0.87 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 869 42 0 0 25 0 10 0 837400114 853741568 19354 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208433 19354 13086 16 0 208417 0 vsize: 833732 [startup+20.0006 s] Raw data (loadavg): 0.89 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 1764 43 0 0 25 0 10 0 837400114 853741568 19873 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208433 19873 13086 16 0 208417 0 vsize: 833732 [startup+30.0012 s] Raw data (loadavg): 0.91 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 2650 43 0 0 25 0 10 0 837400114 853741568 20377 4294967295 134512640 134569956 3221224368 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 20377 13086 16 0 208417 0 vsize: 833732 [startup+40.0009 s] Raw data (loadavg): 0.92 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 3567 44 0 0 25 0 10 0 837400114 853970944 20726 4294967295 134512640 134569956 3221224368 3221214768 1131239931 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208489 20726 13086 16 0 208473 0 vsize: 833956 [startup+50.0021 s] Raw data (loadavg): 0.93 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 4487 44 0 0 25 0 10 0 837400114 853970944 20896 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208489 20896 13086 16 0 208473 0 vsize: 833956 [startup+60.0022 s] Raw data (loadavg): 0.94 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 5404 44 0 0 25 0 10 0 837400114 853970944 21025 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208489 21025 13086 16 0 208473 0 vsize: 833956 [startup+70.0028 s] Raw data (loadavg): 0.95 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 6327 45 0 0 25 0 10 0 837400114 853741568 21221 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 21221 13086 16 0 208417 0 vsize: 833732 [startup+80.0035 s] Raw data (loadavg): 0.96 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 7267 45 0 0 25 0 10 0 837400114 853741568 21321 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 21321 13086 16 0 208417 0 vsize: 833732 [startup+90.0031 s] Raw data (loadavg): 0.96 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 8207 46 0 0 25 0 10 0 837400114 853741568 21411 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 21411 13086 16 0 208417 0 vsize: 833732 [startup+100.004 s] Raw data (loadavg): 0.97 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 9145 46 0 0 24 0 10 0 837400114 853741568 21500 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 21500 13086 16 0 208417 0 vsize: 833732 [startup+110.005 s] Raw data (loadavg): 0.97 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 10087 46 0 0 25 0 10 0 837400114 853741568 21580 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 21580 13086 16 0 208417 0 vsize: 833732 [startup+120.006 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 11030 47 0 0 25 0 10 0 837400114 853741568 21654 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 21654 13086 16 0 208417 0 vsize: 833732 [startup+130.006 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 11969 47 0 0 24 0 10 0 837400114 853741568 21728 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 21728 13086 16 0 208417 0 vsize: 833732 [startup+140.007 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 12913 48 0 0 25 0 10 0 837400114 853741568 21795 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 21795 13086 16 0 208417 0 vsize: 833732 [startup+150.007 s] Raw data (loadavg): 0.98 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 13855 48 0 0 25 0 10 0 837400114 853741568 21859 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 21859 13086 16 0 208417 0 vsize: 833732 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 14796 49 0 0 24 0 10 0 837400114 853741568 21925 4294967295 134512640 134569956 3221224368 3221214112 1076874552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 21925 13086 16 0 208417 0 vsize: 833732 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 15739 49 0 0 25 0 10 0 837400114 853741568 21984 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 21984 13086 16 0 208417 0 vsize: 833732 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 16658 50 0 0 25 0 10 0 837400114 853741568 22041 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 22041 13086 16 0 208417 0 vsize: 833732 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 17575 50 0 0 24 0 10 0 837400114 853741568 22098 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 22098 13086 16 0 208417 0 vsize: 833732 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 18512 50 0 0 25 0 10 0 837400114 853741568 22407 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 22407 13086 16 0 208417 0 vsize: 833732 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 19452 51 0 0 25 0 10 0 837400114 853741568 22460 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 22460 13086 16 0 208417 0 vsize: 833732 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 20392 52 0 0 25 0 10 0 837400114 853741568 22510 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 22510 13086 16 0 208417 0 vsize: 833732 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 21328 52 0 0 24 0 10 0 837400114 853741568 22563 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 22563 13086 16 0 208417 0 vsize: 833732 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 22267 52 0 0 25 0 10 0 837400114 853741568 22613 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 22613 13086 16 0 208417 0 vsize: 833732 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 23206 52 0 0 25 0 10 0 837400114 853741568 22660 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 22660 13086 16 0 208417 0 vsize: 833732 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 24144 53 0 0 25 0 10 0 837400114 853741568 22706 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 22706 13086 16 0 208417 0 vsize: 833732 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) S 14593 5562 5561 0 -1 0 18012 0 1 0 25080 54 0 0 25 0 10 0 837400114 853741568 22752 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 22752 13086 16 0 208417 0 vsize: 833732 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 26017 54 0 0 25 0 10 0 837400114 853741568 22798 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 22798 13086 16 0 208417 0 vsize: 833732 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 26953 55 0 0 25 0 10 0 837400114 853741568 22842 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 22842 13086 16 0 208417 0 vsize: 833732 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 27890 55 0 0 25 0 10 0 837400114 853741568 22885 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 22885 13086 16 0 208417 0 vsize: 833732 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 28827 55 0 0 25 0 10 0 837400114 853741568 22926 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 22926 13086 16 0 208417 0 vsize: 833732 [startup+320.009 s] Raw data (loadavg): 1.07 0.99 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 29763 56 0 0 25 0 10 0 837400114 853741568 22968 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 22968 13086 16 0 208417 0 vsize: 833732 [startup+330.009 s] Raw data (loadavg): 1.06 0.99 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 30695 56 0 0 24 0 10 0 837400114 853741568 23011 4294967295 134512640 134569956 3221224368 3221214756 1080204146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 23011 13086 16 0 208417 0 vsize: 833732 [startup+340.009 s] Raw data (loadavg): 1.05 0.99 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 31630 56 0 0 25 0 10 0 837400114 853741568 23050 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 23050 13086 16 0 208417 0 vsize: 833732 [startup+350.009 s] Raw data (loadavg): 1.04 0.99 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 32565 57 0 0 25 0 10 0 837400114 853741568 23090 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 23090 13086 16 0 208417 0 vsize: 833732 [startup+360.01 s] Raw data (loadavg): 1.03 0.99 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 33500 57 0 0 25 0 10 0 837400114 853741568 23129 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 23129 13086 16 0 208417 0 vsize: 833732 [startup+370.009 s] Raw data (loadavg): 1.03 0.99 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 34434 58 0 0 25 0 10 0 837400114 853741568 23167 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 23167 13086 16 0 208417 0 vsize: 833732 [startup+380.009 s] Raw data (loadavg): 1.02 0.99 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18012 0 1 0 35368 58 0 0 25 0 10 0 837400114 853741568 23205 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 23205 13086 16 0 208417 0 vsize: 833732 [startup+390.01 s] Raw data (loadavg): 1.02 0.99 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18020 0 1 0 36290 59 0 0 24 0 10 0 837400114 853741568 23253 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 23253 13086 16 0 208417 0 vsize: 833732 [startup+400.01 s] Raw data (loadavg): 1.02 0.99 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18020 0 1 0 37218 59 0 0 25 0 10 0 837400114 853741568 23287 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208433 23287 13086 16 0 208417 0 vsize: 833732 [startup+410.01 s] Raw data (loadavg): 1.01 0.99 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18020 0 1 0 38146 59 0 0 25 0 10 0 837400114 853741568 23424 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208433 23424 13086 16 0 208417 0 vsize: 833732 [startup+420.009 s] Raw data (loadavg): 1.01 0.99 0.99 2/63 14603 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18028 0 1 0 38994 60 0 0 24 0 10 0 837400114 857329664 24569 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209309 24569 13086 16 0 209293 0 vsize: 837236 [startup+430.02 s] Raw data (loadavg): 1.01 0.99 0.99 3/64 14604 Raw data (stat): 14594 (java) S 14593 5562 5561 0 -1 0 18060 0 1 0 39841 62 0 0 25 0 11 0 837400114 858140672 28979 4294967295 134512640 134569956 3221224368 3221213296 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209507 28979 13086 16 0 209491 0 vsize: 838028 [startup+440.02 s] Raw data (loadavg): 1.01 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18085 0 1 0 40634 62 0 0 25 0 11 0 837400114 862142464 31965 4294967295 134512640 134569956 3221224368 3221214504 1131319539 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210484 31965 13086 16 0 210468 0 vsize: 841936 [startup+450.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 41585 63 0 0 25 0 11 0 837400114 859299840 31303 4294967295 134512640 134569956 3221224368 3221214504 1131318817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 31303 13086 16 0 209774 0 vsize: 839160 [startup+460.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 42528 63 0 0 25 0 11 0 837400114 859299840 31303 4294967295 134512640 134569956 3221224368 3221214600 1131370608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 31303 13086 16 0 209774 0 vsize: 839160 [startup+470.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 43461 64 0 0 22 0 11 0 837400114 859299840 31334 4294967295 134512640 134569956 3221224368 3221214656 1131415557 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 31334 13086 16 0 209774 0 vsize: 839160 [startup+480.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 44412 64 0 0 25 0 11 0 837400114 859299840 31780 4294967295 134512640 134569956 3221224368 3221214600 1131370852 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 31780 13086 16 0 209774 0 vsize: 839160 [startup+490.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 45379 65 0 0 24 0 11 0 837400114 859299840 31927 4294967295 134512640 134569956 3221224368 3221214600 1131370642 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 31927 13086 16 0 209774 0 vsize: 839160 [startup+500.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 46354 65 0 0 25 0 11 0 837400114 859299840 32016 4294967295 134512640 134569956 3221224368 3221214656 1131415729 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 32016 13086 16 0 209774 0 vsize: 839160 [startup+510.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 47326 66 0 0 25 0 11 0 837400114 859299840 32083 4294967295 134512640 134569956 3221224368 3221214656 1131415729 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 32083 13086 16 0 209774 0 vsize: 839160 [startup+520.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 48299 66 0 0 25 0 11 0 837400114 859299840 32153 4294967295 134512640 134569956 3221224368 3221214504 1131318703 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 32153 13086 16 0 209774 0 vsize: 839160 [startup+530.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 49274 66 0 0 25 0 11 0 837400114 859299840 32227 4294967295 134512640 134569956 3221224368 3221214600 1131370720 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 32227 13086 16 0 209774 0 vsize: 839160 [startup+540.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 50251 67 0 0 25 0 11 0 837400114 859299840 32299 4294967295 134512640 134569956 3221224368 3221214504 1131318817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 32299 13086 16 0 209774 0 vsize: 839160 [startup+550.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 51228 68 0 0 25 0 11 0 837400114 859299840 32349 4294967295 134512640 134569956 3221224368 3221214448 1131473162 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 32349 13086 16 0 209774 0 vsize: 839160 [startup+560.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 52204 68 0 0 25 0 11 0 837400114 859299840 32404 4294967295 134512640 134569956 3221224368 3221214600 1131370736 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 32404 13086 16 0 209774 0 vsize: 839160 [startup+570.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 53180 68 0 0 25 0 11 0 837400114 859299840 32454 4294967295 134512640 134569956 3221224368 3221214656 1131420374 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 32454 13086 16 0 209774 0 vsize: 839160 [startup+580.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 54154 69 0 0 25 0 11 0 837400114 859299840 32503 4294967295 134512640 134569956 3221224368 3221214600 1131370626 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 32503 13086 16 0 209774 0 vsize: 839160 [startup+590.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 55129 69 0 0 25 0 11 0 837400114 859299840 32574 4294967295 134512640 134569956 3221224368 3221214504 1131319455 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 32574 13086 16 0 209774 0 vsize: 839160 [startup+600.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 56104 70 0 0 25 0 11 0 837400114 859299840 32629 4294967295 134512640 134569956 3221224368 3221214504 1131318876 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 32629 13086 16 0 209774 0 vsize: 839160 [startup+610.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 57080 71 0 0 25 0 11 0 837400114 859299840 32688 4294967295 134512640 134569956 3221224368 3221214504 1131318773 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 32688 13086 16 0 209774 0 vsize: 839160 [startup+620.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 58058 71 0 0 25 0 11 0 837400114 859299840 32736 4294967295 134512640 134569956 3221224368 3221214656 1131415729 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 32736 13086 16 0 209774 0 vsize: 839160 [startup+630.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 59039 71 0 0 25 0 11 0 837400114 859299840 32792 4294967295 134512640 134569956 3221224368 3221214656 1131417753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 32792 13086 16 0 209774 0 vsize: 839160 [startup+640.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 60020 72 0 0 25 0 11 0 837400114 859299840 32829 4294967295 134512640 134569956 3221224368 3221214504 1131318714 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209790 32829 13086 16 0 209774 0 vsize: 839160 [startup+650.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 61001 72 0 0 25 0 11 0 837400114 859299840 32867 4294967295 134512640 134569956 3221224368 3221214544 1131229273 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 32867 13086 16 0 209774 0 vsize: 839160 [startup+660.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 61983 72 0 0 25 0 11 0 837400114 859299840 32902 4294967295 134512640 134569956 3221224368 3221214504 1131318684 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 32902 13086 16 0 209774 0 vsize: 839160 [startup+670.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 62964 73 0 0 25 0 11 0 837400114 859299840 32931 4294967295 134512640 134569956 3221224368 3221214600 1131371025 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 32931 13086 16 0 209774 0 vsize: 839160 [startup+680.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 63945 73 0 0 25 0 11 0 837400114 859299840 32962 4294967295 134512640 134569956 3221224368 3221214720 1131553658 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 32962 13086 16 0 209774 0 vsize: 839160 [startup+690.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 64925 73 0 0 25 0 11 0 837400114 859299840 33001 4294967295 134512640 134569956 3221224368 3221214504 1131318946 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33001 13086 16 0 209774 0 vsize: 839160 [startup+700.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 65905 73 0 0 25 0 11 0 837400114 859299840 33036 4294967295 134512640 134569956 3221224368 3221214600 1131370993 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33036 13086 16 0 209774 0 vsize: 839160 [startup+710.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 66885 73 0 0 25 0 11 0 837400114 859299840 33077 4294967295 134512640 134569956 3221224368 3221214820 1130912065 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33077 13086 16 0 209774 0 vsize: 839160 [startup+720.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 67865 74 0 0 25 0 11 0 837400114 859299840 33113 4294967295 134512640 134569956 3221224368 3221214656 1131416972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33113 13086 16 0 209774 0 vsize: 839160 [startup+730.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 68845 74 0 0 25 0 11 0 837400114 859299840 33147 4294967295 134512640 134569956 3221224368 3221214656 1131420465 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33147 13086 16 0 209774 0 vsize: 839160 [startup+740.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 69825 74 0 0 25 0 11 0 837400114 859299840 33183 4294967295 134512640 134569956 3221224368 3221214656 1131415729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33183 13086 16 0 209774 0 vsize: 839160 [startup+750.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 70806 74 0 0 25 0 11 0 837400114 859299840 33217 4294967295 134512640 134569956 3221224368 3221214584 1131390827 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33217 13086 16 0 209774 0 vsize: 839160 [startup+760.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 71785 74 0 0 25 0 11 0 837400114 859299840 33252 4294967295 134512640 134569956 3221224368 3221214504 1131318777 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33252 13086 16 0 209774 0 vsize: 839160 [startup+770.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 72765 74 0 0 25 0 11 0 837400114 859299840 33284 4294967295 134512640 134569956 3221224368 3221214504 1131318817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33284 13086 16 0 209774 0 vsize: 839160 [startup+780.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 73742 74 0 0 24 0 11 0 837400114 859299840 33323 4294967295 134512640 134569956 3221224368 3221214504 1131318676 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33323 13086 16 0 209774 0 vsize: 839160 [startup+790.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 74718 74 0 0 24 0 11 0 837400114 859299840 33361 4294967295 134512640 134569956 3221224368 3221214568 1131340288 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33361 13086 16 0 209774 0 vsize: 839160 [startup+800.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 75695 74 0 0 24 0 11 0 837400114 859299840 33399 4294967295 134512640 134569956 3221224368 3221214656 1131416816 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33399 13086 16 0 209774 0 vsize: 839160 [startup+810.026 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 76675 74 0 0 25 0 11 0 837400114 859299840 33430 4294967295 134512640 134569956 3221224368 3221214656 1131415729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33430 13086 16 0 209774 0 vsize: 839160 [startup+820.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 77654 74 0 0 25 0 11 0 837400114 859299840 33492 4294967295 134512640 134569956 3221224368 3221214600 1131371028 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33492 13086 16 0 209774 0 vsize: 839160 [startup+830.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 78632 74 0 0 25 0 11 0 837400114 859299840 33519 4294967295 134512640 134569956 3221224368 3221214656 1131416916 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33519 13086 16 0 209774 0 vsize: 839160 [startup+840.026 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 79610 75 0 0 25 0 11 0 837400114 859299840 33559 4294967295 134512640 134569956 3221224368 3221214504 1131318817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33559 13086 16 0 209774 0 vsize: 839160 [startup+850.026 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 80587 75 0 0 25 0 11 0 837400114 859299840 33589 4294967295 134512640 134569956 3221224368 3221214656 1131415810 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33589 13086 16 0 209774 0 vsize: 839160 [startup+860.026 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 81564 75 0 0 25 0 11 0 837400114 859299840 33633 4294967295 134512640 134569956 3221224368 3221214600 1131370941 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33633 13086 16 0 209774 0 vsize: 839160 [startup+870.026 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 82541 75 0 0 25 0 11 0 837400114 859299840 33675 4294967295 134512640 134569956 3221224368 3221214512 1131234393 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33675 13086 16 0 209774 0 vsize: 839160 [startup+880.028 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) S 14593 5562 5561 0 -1 0 18086 0 1 0 83519 75 0 0 25 0 11 0 837400114 859299840 33707 4294967295 134512640 134569956 3221224368 3221213104 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33707 13086 16 0 209774 0 vsize: 839160 [startup+890.028 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 84498 75 0 0 25 0 11 0 837400114 859299840 33739 4294967295 134512640 134569956 3221224368 3221214504 1131319021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33739 13086 16 0 209774 0 vsize: 839160 [startup+900.029 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 85476 75 0 0 25 0 11 0 837400114 859299840 33777 4294967295 134512640 134569956 3221224368 3221214712 1131444092 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33777 13086 16 0 209774 0 vsize: 839160 [startup+910.029 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 86453 75 0 0 25 0 11 0 837400114 859299840 33814 4294967295 134512640 134569956 3221224368 3221214504 1131320701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33814 13086 16 0 209774 0 vsize: 839160 [startup+920.029 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 87430 76 0 0 25 0 11 0 837400114 859299840 33848 4294967295 134512640 134569956 3221224368 3221214656 1131419585 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33848 13086 16 0 209774 0 vsize: 839160 [startup+930.029 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 88407 76 0 0 25 0 11 0 837400114 859299840 33883 4294967295 134512640 134569956 3221224368 3221214600 1131370855 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33883 13086 16 0 209774 0 vsize: 839160 [startup+940.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 89386 76 0 0 25 0 11 0 837400114 859299840 33924 4294967295 134512640 134569956 3221224368 3221214504 1131318817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33924 13086 16 0 209774 0 vsize: 839160 [startup+950.031 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 90364 76 0 0 25 0 11 0 837400114 859299840 33957 4294967295 134512640 134569956 3221224368 3221214656 1131415775 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33957 13086 16 0 209774 0 vsize: 839160 [startup+960.031 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 91342 76 0 0 25 0 11 0 837400114 859299840 33993 4294967295 134512640 134569956 3221224368 3221214656 1131415680 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 33993 13086 16 0 209774 0 vsize: 839160 [startup+970.032 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 92319 76 0 0 25 0 11 0 837400114 859299840 34022 4294967295 134512640 134569956 3221224368 3221214656 1131417024 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34022 13086 16 0 209774 0 vsize: 839160 [startup+980.032 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 93297 76 0 0 25 0 11 0 837400114 859299840 34061 4294967295 134512640 134569956 3221224368 3221214504 1131320319 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34061 13086 16 0 209774 0 vsize: 839160 [startup+990.031 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 94275 76 0 0 25 0 11 0 837400114 859299840 34093 4294967295 134512640 134569956 3221224368 3221214504 1131318864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34093 13086 16 0 209774 0 vsize: 839160 [startup+1000.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 95255 76 0 0 25 0 11 0 837400114 859299840 34120 4294967295 134512640 134569956 3221224368 3221214656 1131415729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34120 13086 16 0 209774 0 vsize: 839160 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 96232 76 0 0 25 0 11 0 837400114 859299840 34149 4294967295 134512640 134569956 3221224368 3221214504 1131318817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34149 13086 16 0 209774 0 vsize: 839160 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 97208 76 0 0 25 0 11 0 837400114 859299840 34184 4294967295 134512640 134569956 3221224368 3221214600 1131370608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34184 13086 16 0 209774 0 vsize: 839160 [startup+1030.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 98184 77 0 0 25 0 11 0 837400114 859299840 34224 4294967295 134512640 134569956 3221224368 3221214656 1131415779 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34224 13086 16 0 209774 0 vsize: 839160 [startup+1040.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 99163 77 0 0 25 0 11 0 837400114 859299840 34254 4294967295 134512640 134569956 3221224368 3221214504 1131318817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34254 13086 16 0 209774 0 vsize: 839160 [startup+1050.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 100139 77 0 0 25 0 11 0 837400114 859299840 34294 4294967295 134512640 134569956 3221224368 3221214504 1131319739 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34294 13086 16 0 209774 0 vsize: 839160 [startup+1060.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 101115 77 0 0 25 0 11 0 837400114 859299840 34324 4294967295 134512640 134569956 3221224368 3221214504 1131318817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34324 13086 16 0 209774 0 vsize: 839160 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 102091 78 0 0 25 0 11 0 837400114 859299840 34367 4294967295 134512640 134569956 3221224368 3221214504 1131318840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34367 13086 16 0 209774 0 vsize: 839160 [startup+1080.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 103068 78 0 0 24 0 11 0 837400114 859299840 34402 4294967295 134512640 134569956 3221224368 3221214596 1131227168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34402 13086 16 0 209774 0 vsize: 839160 [startup+1090.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 104047 78 0 0 25 0 11 0 837400114 859299840 34424 4294967295 134512640 134569956 3221224368 3221214504 1131318735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34424 13086 16 0 209774 0 vsize: 839160 [startup+1100.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 105023 78 0 0 25 0 11 0 837400114 859299840 34456 4294967295 134512640 134569956 3221224368 3221214656 1131417686 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34456 13086 16 0 209774 0 vsize: 839160 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 105998 78 0 0 25 0 11 0 837400114 859299840 34481 4294967295 134512640 134569956 3221224368 3221214600 1131371028 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34481 13086 16 0 209774 0 vsize: 839160 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 106972 78 0 0 25 0 11 0 837400114 859299840 34519 4294967295 134512640 134569956 3221224368 3221214504 1131319429 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34519 13086 16 0 209774 0 vsize: 839160 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 107950 78 0 0 25 0 11 0 837400114 859299840 34554 4294967295 134512640 134569956 3221224368 3221214504 1131318817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34554 13086 16 0 209774 0 vsize: 839160 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 108927 78 0 0 25 0 11 0 837400114 859299840 34598 4294967295 134512640 134569956 3221224368 3221214600 1131370938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34598 13086 16 0 209774 0 vsize: 839160 [startup+1150.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 109904 78 0 0 25 0 11 0 837400114 859299840 34629 4294967295 134512640 134569956 3221224368 3221214504 1131319112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34629 13086 16 0 209774 0 vsize: 839160 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 110880 78 0 0 25 0 11 0 837400114 859299840 34651 4294967295 134512640 134569956 3221224368 3221214600 1131370826 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34651 13086 16 0 209774 0 vsize: 839160 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 111855 78 0 0 24 0 11 0 837400114 859299840 34677 4294967295 134512640 134569956 3221224368 3221214504 1131318817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34677 13086 16 0 209774 0 vsize: 839160 [startup+1180.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 112831 79 0 0 25 0 11 0 837400114 859299840 34712 4294967295 134512640 134569956 3221224368 3221214656 1131416982 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34712 13086 16 0 209774 0 vsize: 839160 [startup+1190.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 113802 79 0 0 25 0 11 0 837400114 859299840 34747 4294967295 134512640 134569956 3221224368 3221214656 1131420486 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34747 13086 16 0 209774 0 vsize: 839160 [startup+1200.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 114773 79 0 0 25 0 11 0 837400114 859299840 34788 4294967295 134512640 134569956 3221224368 3221214504 1131318817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34788 13086 16 0 209774 0 vsize: 839160 [startup+1210.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 115744 79 0 0 25 0 11 0 837400114 859299840 34838 4294967295 134512640 134569956 3221224368 3221214656 1131415729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34838 13086 16 0 209774 0 vsize: 839160 [startup+1220.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 116715 79 0 0 24 0 11 0 837400114 859299840 34885 4294967295 134512640 134569956 3221224368 3221214504 1131318817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34885 13086 16 0 209774 0 vsize: 839160 [startup+1230.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 117690 79 0 0 25 0 11 0 837400114 859299840 34926 4294967295 134512640 134569956 3221224368 3221214656 1131415729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34926 13086 16 0 209774 0 vsize: 839160 [startup+1240.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 118663 79 0 0 25 0 11 0 837400114 859299840 34973 4294967295 134512640 134569956 3221224368 3221214600 1131370593 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 34973 13086 16 0 209774 0 vsize: 839160 [startup+1250.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 119637 79 0 0 25 0 11 0 837400114 859299840 35015 4294967295 134512640 134569956 3221224368 3221214600 1131370626 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 35015 13086 16 0 209774 0 vsize: 839160 [startup+1260.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/64 14604 Raw data (stat): 14594 (java) R 14593 5562 5561 0 -1 0 18086 0 1 0 120610 79 0 0 25 0 11 0 837400114 859299840 35053 4294967295 134512640 134569956 3221224368 3221214504 1131318946 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209790 35053 13086 16 0 209774 0 vsize: 839160 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.15 s] Raw data (loadavg): 1.00 0.99 0.99 1/54 14606 Raw data (stat): 14594 (java) Z 14593 5562 5561 0 -1 1036 18086 15332 1 0 120614 79 4974 56 25 0 1 0 837400114 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.15 CPU time (s): 1257.25 CPU user time (s): 1255.89 CPU system time (s): 1.36079 CPU usage (%): 99.7699 Max. virtual memory (Kb): 841936 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####