Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-tr12-30.opb |
MD5SUM | 2d8f46b77d84c45a7178d4a463744176 |
Bench Category | optimization, medium integers (OPTMEDINT) |
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 | 7560 |
Biggest coefficient in the objective function | 2097152 |
Number of bits for the biggest coefficient in the objective function | 22 |
Sum of the numbers in the objective function | 876993750 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 2097152 |
Number of bits of the biggest number in a constraint | 22 |
Biggest sum of numbers in a constraint | 876993750 |
Number of bits of the biggest sum of numbers | 30 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.128979 |
Number of variables | 14760 |
Total number of constraints | 1110 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 360 |
Number of constraints which are nor clauses,nor cardinality constraints | 750 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 252 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc18 THE 2005-05-25 13:40:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21405 boxname=wulflinc18 idbench=1393 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 2d8f46b77d84c45a7178d4a463744176 /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-tr12-30.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-tr12-30.opb IDLAUNCH: 21405 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 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: 757048 kB Buffers: 37212 kB Cached: 212032 kB SwapCached: 588 kB Active: 63704 kB Inactive: 190888 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 756796 kB SwapTotal: 2097892 kB SwapFree: 2096632 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5664 kB Slab: 17204 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 14:01:30 (client local time) WITH STATUS 143 IN 1240.49 SECONDS stats: 21405 7 1240.49 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/wulflinc18/normalized-mps-v2-13-7-tr12-30.opb c reading problem ... done. Time 67.926 ms. c #vars 14760 c #constraints 1110 c starts : 4 c conflicts : 581 c decisions : 85215 c propagations : 222779 c inspects : 1626813 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 581 c root simplifications : 576 s UNKNOWN c Total CPU time (ms) : 1229.132 #### 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.99 1.00 1.00 2/54 2229 Raw data (stat): 2229 (runsolver) R 2228 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839301594 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.0008 s] Raw data (loadavg): 0.99 1.00 1.00 2/63 2238 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18000 0 1 0 873 40 0 0 24 0 10 0 839301594 853241856 19358 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208311 19358 13086 16 0 208295 0 vsize: 833244 [startup+20.0013 s] Raw data (loadavg): 0.99 1.00 1.00 2/63 2238 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18009 0 1 0 1777 40 0 0 25 0 10 0 839301594 854478848 20034 4294967295 134512640 134569956 3221224368 3221214644 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208613 20034 13086 16 0 208597 0 vsize: 834452 [startup+30.0028 s] Raw data (loadavg): 1.07 1.02 1.00 2/63 2238 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18010 0 1 0 2622 40 0 0 25 0 10 0 839301594 857432064 21320 4294967295 134512640 134569956 3221224368 3221214672 1131184205 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209334 21320 13086 16 0 209318 0 vsize: 837336 [startup+40.0031 s] Raw data (loadavg): 1.06 1.01 1.00 2/63 2238 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18010 0 1 0 3501 40 0 0 24 0 10 0 839301594 857432064 21598 4294967295 134512640 134569956 3221224368 3221214352 1079668490 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209334 21598 13086 16 0 209318 0 vsize: 837336 [startup+50.0035 s] Raw data (loadavg): 1.05 1.01 1.00 2/63 2238 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18010 0 1 0 4374 40 0 0 24 0 10 0 839301594 857432064 21932 4294967295 134512640 134569956 3221224368 3221214788 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209334 21932 13086 16 0 209318 0 vsize: 837336 [startup+60.0149 s] Raw data (loadavg): 1.04 1.01 1.00 2/63 2238 Raw data (stat): 2229 (java) S 2228 24172 24171 0 -1 0 18011 0 1 0 5253 41 0 0 25 0 10 0 839301594 857432064 22211 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209334 22211 13086 16 0 209318 0 vsize: 837336 [startup+70.0156 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18054 0 1 0 6127 41 0 0 25 0 11 0 839301594 859009024 22735 4294967295 134512640 134569956 3221224368 3221214560 1131353458 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 22735 13086 16 0 209703 0 vsize: 838876 [startup+80.0174 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 6997 41 0 0 25 0 11 0 839301594 859009024 23145 4294967295 134512640 134569956 3221224368 3221214832 1131213657 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 23145 13086 16 0 209703 0 vsize: 838876 [startup+90.0183 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 7900 42 0 0 25 0 11 0 839301594 859009024 23288 4294967295 134512640 134569956 3221224368 3221214640 1131349022 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 23288 13086 16 0 209703 0 vsize: 838876 [startup+100.018 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 8808 42 0 0 25 0 11 0 839301594 859009024 23369 4294967295 134512640 134569956 3221224368 3221214744 1131211025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 23369 13086 16 0 209703 0 vsize: 838876 [startup+110.019 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 9736 42 0 0 25 0 11 0 839301594 859009024 24011 4294967295 134512640 134569956 3221224368 3221214744 1131211025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 24011 13086 16 0 209703 0 vsize: 838876 [startup+120.02 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 10700 43 0 0 25 0 11 0 839301594 859009024 24167 4294967295 134512640 134569956 3221224368 3221214728 1131211044 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 24167 13086 16 0 209703 0 vsize: 838876 [startup+130.021 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 11673 43 0 0 25 0 11 0 839301594 859009024 24253 4294967295 134512640 134569956 3221224368 3221214664 1131367139 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 24253 13086 16 0 209703 0 vsize: 838876 [startup+140.022 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 12646 43 0 0 25 0 11 0 839301594 859009024 24327 4294967295 134512640 134569956 3221224368 3221214624 1131348920 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 24327 13086 16 0 209703 0 vsize: 838876 [startup+150.022 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 13620 44 0 0 25 0 11 0 839301594 859009024 24393 4294967295 134512640 134569956 3221224368 3221214624 1131349025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 24393 13086 16 0 209703 0 vsize: 838876 [startup+160.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 14598 44 0 0 25 0 11 0 839301594 859009024 24493 4294967295 134512640 134569956 3221224368 3221214720 1131336029 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 24493 13086 16 0 209703 0 vsize: 838876 [startup+170.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 15575 44 0 0 24 0 11 0 839301594 859009024 24549 4294967295 134512640 134569956 3221224368 3221214720 1131336036 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 24549 13086 16 0 209703 0 vsize: 838876 [startup+180.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 16556 45 0 0 25 0 11 0 839301594 859009024 24592 4294967295 134512640 134569956 3221224368 3221214624 1131349850 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 24592 13086 16 0 209703 0 vsize: 838876 [startup+190.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 17537 45 0 0 25 0 11 0 839301594 859009024 24636 4294967295 134512640 134569956 3221224368 3221214728 1131211008 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 24636 13086 16 0 209703 0 vsize: 838876 [startup+200.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 18520 45 0 0 25 0 11 0 839301594 859009024 24675 4294967295 134512640 134569956 3221224368 3221214664 1131367059 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 24675 13086 16 0 209703 0 vsize: 838876 [startup+210.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 19502 46 0 0 25 0 11 0 839301594 859009024 24709 4294967295 134512640 134569956 3221224368 3221214720 1131336386 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 24709 13086 16 0 209703 0 vsize: 838876 [startup+220.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 20484 46 0 0 25 0 11 0 839301594 859009024 24748 4294967295 134512640 134569956 3221224368 3221214632 1131233076 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 24748 13086 16 0 209703 0 vsize: 838876 [startup+230.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 21464 46 0 0 25 0 11 0 839301594 859009024 24778 4294967295 134512640 134569956 3221224368 3221214624 1131349025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 24778 13086 16 0 209703 0 vsize: 838876 [startup+240.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 22438 47 0 0 25 0 11 0 839301594 859009024 24813 4294967295 134512640 134569956 3221224368 3221214728 1131211040 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 24813 13086 16 0 209703 0 vsize: 838876 [startup+250.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 23413 47 0 0 25 0 11 0 839301594 859009024 24843 4294967295 134512640 134569956 3221224368 3221214624 1131349866 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 24843 13086 16 0 209703 0 vsize: 838876 [startup+260.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 24391 47 0 0 25 0 11 0 839301594 859009024 24959 4294967295 134512640 134569956 3221224368 3221214624 1131349025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 24959 13086 16 0 209703 0 vsize: 838876 [startup+270.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 25374 48 0 0 24 0 11 0 839301594 859009024 25006 4294967295 134512640 134569956 3221224368 3221214720 1131336048 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25006 13086 16 0 209703 0 vsize: 838876 [startup+280.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 26358 48 0 0 25 0 11 0 839301594 859009024 25032 4294967295 134512640 134569956 3221224368 3221214632 1131319561 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25032 13086 16 0 209703 0 vsize: 838876 [startup+290.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 27344 48 0 0 25 0 11 0 839301594 859009024 25062 4294967295 134512640 134569956 3221224368 3221214776 1131458482 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25062 13086 16 0 209703 0 vsize: 838876 [startup+300.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 28329 48 0 0 25 0 11 0 839301594 859009024 25088 4294967295 134512640 134569956 3221224368 3221214632 1131232634 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25088 13086 16 0 209703 0 vsize: 838876 [startup+310.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 29313 48 0 0 25 0 11 0 839301594 859009024 25114 4294967295 134512640 134569956 3221224368 3221214624 1131349185 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25114 13086 16 0 209703 0 vsize: 838876 [startup+320.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 30299 49 0 0 25 0 11 0 839301594 859009024 25141 4294967295 134512640 134569956 3221224368 3221214728 1131211025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25141 13086 16 0 209703 0 vsize: 838876 [startup+330.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 31283 49 0 0 24 0 11 0 839301594 859009024 25167 4294967295 134512640 134569956 3221224368 3221214772 1131336012 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25167 13086 16 0 209703 0 vsize: 838876 [startup+340.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 32268 50 0 0 25 0 11 0 839301594 859009024 25192 4294967295 134512640 134569956 3221224368 3221214624 1131348964 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25192 13086 16 0 209703 0 vsize: 838876 [startup+350.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 33254 50 0 0 25 0 11 0 839301594 859009024 25214 4294967295 134512640 134569956 3221224368 3221214624 1131349025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25214 13086 16 0 209703 0 vsize: 838876 [startup+360.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 34239 50 0 0 25 0 11 0 839301594 859009024 25235 4294967295 134512640 134569956 3221224368 3221214624 1131349025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25235 13086 16 0 209703 0 vsize: 838876 [startup+370.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 35225 50 0 0 25 0 11 0 839301594 859009024 25261 4294967295 134512640 134569956 3221224368 3221214624 1131349146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25261 13086 16 0 209703 0 vsize: 838876 [startup+380.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 36210 51 0 0 25 0 11 0 839301594 859009024 25283 4294967295 134512640 134569956 3221224368 3221214720 1131336066 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25283 13086 16 0 209703 0 vsize: 838876 [startup+390.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 37195 51 0 0 25 0 11 0 839301594 859009024 25304 4294967295 134512640 134569956 3221224368 3221214624 1131348985 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25304 13086 16 0 209703 0 vsize: 838876 [startup+400.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 38182 51 0 0 25 0 11 0 839301594 859009024 25326 4294967295 134512640 134569956 3221224368 3221214728 1131375919 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25326 13086 16 0 209703 0 vsize: 838876 [startup+410.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 39167 51 0 0 25 0 11 0 839301594 859009024 25347 4294967295 134512640 134569956 3221224368 3221214720 1131336033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25347 13086 16 0 209703 0 vsize: 838876 [startup+420.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 40153 52 0 0 25 0 11 0 839301594 859009024 25369 4294967295 134512640 134569956 3221224368 3221214624 1131349146 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 25369 13086 16 0 209703 0 vsize: 838876 [startup+430.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 41140 52 0 0 25 0 11 0 839301594 859009024 25390 4294967295 134512640 134569956 3221224368 3221214776 1131458455 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25390 13086 16 0 209703 0 vsize: 838876 [startup+440.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 42124 52 0 0 25 0 11 0 839301594 859009024 25412 4294967295 134512640 134569956 3221224368 3221214624 1131348985 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25412 13086 16 0 209703 0 vsize: 838876 [startup+450.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 43110 53 0 0 25 0 11 0 839301594 859009024 25433 4294967295 134512640 134569956 3221224368 3221214624 1131349245 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25433 13086 16 0 209703 0 vsize: 838876 [startup+460.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 44097 53 0 0 25 0 11 0 839301594 859009024 25450 4294967295 134512640 134569956 3221224368 3221214728 1131211008 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25450 13086 16 0 209703 0 vsize: 838876 [startup+470.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 45083 53 0 0 25 0 11 0 839301594 859009024 25472 4294967295 134512640 134569956 3221224368 3221214720 1131336082 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25472 13086 16 0 209703 0 vsize: 838876 [startup+480.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 46070 53 0 0 25 0 11 0 839301594 859009024 25489 4294967295 134512640 134569956 3221224368 3221214624 1131349025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25489 13086 16 0 209703 0 vsize: 838876 [startup+490.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 47055 54 0 0 25 0 11 0 839301594 859009024 25511 4294967295 134512640 134569956 3221224368 3221214776 1131458564 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25511 13086 16 0 209703 0 vsize: 838876 [startup+500.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 48042 54 0 0 25 0 11 0 839301594 859009024 25528 4294967295 134512640 134569956 3221224368 3221214624 1131348913 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25528 13086 16 0 209703 0 vsize: 838876 [startup+510.049 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 49028 54 0 0 25 0 11 0 839301594 859009024 25545 4294967295 134512640 134569956 3221224368 3221214624 1131349025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25545 13086 16 0 209703 0 vsize: 838876 [startup+520.049 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 50015 54 0 0 25 0 11 0 839301594 859009024 25562 4294967295 134512640 134569956 3221224368 3221214712 1131204449 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25562 13086 16 0 209703 0 vsize: 838876 [startup+530.05 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 51000 55 0 0 24 0 11 0 839301594 859009024 25584 4294967295 134512640 134569956 3221224368 3221214728 1131211008 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25584 13086 16 0 209703 0 vsize: 838876 [startup+540.05 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 51987 55 0 0 25 0 11 0 839301594 859009024 25601 4294967295 134512640 134569956 3221224368 3221214624 1131349214 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25601 13086 16 0 209703 0 vsize: 838876 [startup+550.051 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 52974 55 0 0 25 0 11 0 839301594 859009024 25618 4294967295 134512640 134569956 3221224368 3221214624 1131348940 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25618 13086 16 0 209703 0 vsize: 838876 [startup+560.052 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 53961 55 0 0 25 0 11 0 839301594 859009024 25636 4294967295 134512640 134569956 3221224368 3221214624 1131349237 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25636 13086 16 0 209703 0 vsize: 838876 [startup+570.052 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 54947 56 0 0 25 0 11 0 839301594 859009024 25654 4294967295 134512640 134569956 3221224368 3221214720 1131336212 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 25654 13086 16 0 209703 0 vsize: 838876 [startup+580.053 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 55933 56 0 0 25 0 11 0 839301594 859009024 25671 4294967295 134512640 134569956 3221224368 3221214728 1131211054 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25671 13086 16 0 209703 0 vsize: 838876 [startup+590.054 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 56920 56 0 0 25 0 11 0 839301594 859009024 25688 4294967295 134512640 134569956 3221224368 3221214720 1131336066 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25688 13086 16 0 209703 0 vsize: 838876 [startup+600.055 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 57906 57 0 0 25 0 11 0 839301594 859009024 25705 4294967295 134512640 134569956 3221224368 3221214720 1131336038 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25705 13086 16 0 209703 0 vsize: 838876 [startup+610.056 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 58893 57 0 0 25 0 11 0 839301594 859009024 25722 4294967295 134512640 134569956 3221224368 3221214716 1131232608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25722 13086 16 0 209703 0 vsize: 838876 [startup+620.057 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) S 2228 24172 24171 0 -1 0 18058 0 1 0 59878 58 0 0 25 0 11 0 839301594 859009024 25736 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25736 13086 16 0 209703 0 vsize: 838876 [startup+630.058 s] Raw data (loadavg): 1.09 1.02 1.01 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 60849 58 0 0 24 0 11 0 839301594 859009024 25753 4294967295 134512640 134569956 3221224368 3221214632 1131232665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25753 13086 16 0 209703 0 vsize: 838876 [startup+640.058 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 61818 58 0 0 25 0 11 0 839301594 859009024 25770 4294967295 134512640 134569956 3221224368 3221214624 1131349025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25770 13086 16 0 209703 0 vsize: 838876 [startup+650.058 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 62787 59 0 0 25 0 11 0 839301594 859009024 25851 4294967295 134512640 134569956 3221224368 3221214720 1131336038 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25851 13086 16 0 209703 0 vsize: 838876 [startup+660.057 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 63768 59 0 0 25 0 11 0 839301594 859009024 25972 4294967295 134512640 134569956 3221224368 3221214624 1131348971 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 25972 13086 16 0 209703 0 vsize: 838876 [startup+670.059 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 64754 60 0 0 25 0 11 0 839301594 859009024 26014 4294967295 134512640 134569956 3221224368 3221214624 1131349866 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26014 13086 16 0 209703 0 vsize: 838876 [startup+680.059 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 65741 60 0 0 25 0 11 0 839301594 859009024 26027 4294967295 134512640 134569956 3221224368 3221214624 1131349022 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26027 13086 16 0 209703 0 vsize: 838876 [startup+690.059 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 66727 61 0 0 25 0 11 0 839301594 859009024 26044 4294967295 134512640 134569956 3221224368 3221214720 1131336422 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26044 13086 16 0 209703 0 vsize: 838876 [startup+700.06 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 67712 61 0 0 25 0 11 0 839301594 859009024 26062 4294967295 134512640 134569956 3221224368 3221214624 1131349025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26062 13086 16 0 209703 0 vsize: 838876 [startup+710.06 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 68698 62 0 0 25 0 11 0 839301594 859009024 26075 4294967295 134512640 134569956 3221224368 3221214728 1131211008 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26075 13086 16 0 209703 0 vsize: 838876 [startup+720.06 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 69685 62 0 0 25 0 11 0 839301594 859009024 26092 4294967295 134512640 134569956 3221224368 3221214776 1131459383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26092 13086 16 0 209703 0 vsize: 838876 [startup+730.062 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 70672 63 0 0 25 0 11 0 839301594 859009024 26105 4294967295 134512640 134569956 3221224368 3221214776 1131459453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26105 13086 16 0 209703 0 vsize: 838876 [startup+740.062 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 71657 63 0 0 25 0 11 0 839301594 859009024 26122 4294967295 134512640 134569956 3221224368 3221214720 1131336084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26122 13086 16 0 209703 0 vsize: 838876 [startup+750.062 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 72643 63 0 0 25 0 11 0 839301594 859009024 26135 4294967295 134512640 134569956 3221224368 3221214776 1131458721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26135 13086 16 0 209703 0 vsize: 838876 [startup+760.062 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 73631 63 0 0 25 0 11 0 839301594 859009024 26149 4294967295 134512640 134569956 3221224368 3221214624 1131349025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26149 13086 16 0 209703 0 vsize: 838876 [startup+770.063 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 74617 63 0 0 25 0 11 0 839301594 859009024 26166 4294967295 134512640 134569956 3221224368 3221214624 1131348888 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26166 13086 16 0 209703 0 vsize: 838876 [startup+780.063 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 75603 64 0 0 25 0 11 0 839301594 859009024 26179 4294967295 134512640 134569956 3221224368 3221214776 1131459458 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26179 13086 16 0 209703 0 vsize: 838876 [startup+790.064 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 76589 64 0 0 25 0 11 0 839301594 859009024 26192 4294967295 134512640 134569956 3221224368 3221214720 1131336212 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26192 13086 16 0 209703 0 vsize: 838876 [startup+800.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 77576 65 0 0 25 0 11 0 839301594 859009024 26209 4294967295 134512640 134569956 3221224368 3221214624 1131348985 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26209 13086 16 0 209703 0 vsize: 838876 [startup+810.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 78562 65 0 0 25 0 11 0 839301594 859009024 26222 4294967295 134512640 134569956 3221224368 3221214728 1131211013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26222 13086 16 0 209703 0 vsize: 838876 [startup+820.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 79549 65 0 0 25 0 11 0 839301594 859009024 26235 4294967295 134512640 134569956 3221224368 3221214624 1131348934 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26235 13086 16 0 209703 0 vsize: 838876 [startup+830.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 80535 65 0 0 24 0 11 0 839301594 859009024 26248 4294967295 134512640 134569956 3221224368 3221214624 1131349271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26248 13086 16 0 209703 0 vsize: 838876 [startup+840.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 81521 66 0 0 25 0 11 0 839301594 859009024 26265 4294967295 134512640 134569956 3221224368 3221214776 1131459493 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26265 13086 16 0 209703 0 vsize: 838876 [startup+850.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 82508 66 0 0 25 0 11 0 839301594 859009024 26278 4294967295 134512640 134569956 3221224368 3221214720 1131336339 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26278 13086 16 0 209703 0 vsize: 838876 [startup+860.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 83495 66 0 0 25 0 11 0 839301594 859009024 26291 4294967295 134512640 134569956 3221224368 3221214776 1131458821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26291 13086 16 0 209703 0 vsize: 838876 [startup+870.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 84480 67 0 0 24 0 11 0 839301594 859009024 26303 4294967295 134512640 134569956 3221224368 3221214720 1131336036 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26303 13086 16 0 209703 0 vsize: 838876 [startup+880.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 85467 67 0 0 25 0 11 0 839301594 859009024 26316 4294967295 134512640 134569956 3221224368 3221214720 1131336044 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26316 13086 16 0 209703 0 vsize: 838876 [startup+890.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 86454 67 0 0 25 0 11 0 839301594 859009024 26329 4294967295 134512640 134569956 3221224368 3221214624 1131349025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26329 13086 16 0 209703 0 vsize: 838876 [startup+900.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 87441 67 0 0 25 0 11 0 839301594 859009024 26342 4294967295 134512640 134569956 3221224368 3221214632 1131232646 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26342 13086 16 0 209703 0 vsize: 838876 [startup+910.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 88427 67 0 0 25 0 11 0 839301594 859009024 26355 4294967295 134512640 134569956 3221224368 3221214624 1131348985 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26355 13086 16 0 209703 0 vsize: 838876 [startup+920.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 89413 67 0 0 25 0 11 0 839301594 859009024 26368 4294967295 134512640 134569956 3221224368 3221214624 1131349025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26368 13086 16 0 209703 0 vsize: 838876 [startup+930.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 90399 68 0 0 25 0 11 0 839301594 859009024 26381 4294967295 134512640 134569956 3221224368 3221214624 1131349025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26381 13086 16 0 209703 0 vsize: 838876 [startup+940.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 91386 68 0 0 25 0 11 0 839301594 859009024 26394 4294967295 134512640 134569956 3221224368 3221214624 1131349876 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26394 13086 16 0 209703 0 vsize: 838876 [startup+950.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 92372 68 0 0 25 0 11 0 839301594 859009024 26407 4294967295 134512640 134569956 3221224368 3221214720 1131412349 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26407 13086 16 0 209703 0 vsize: 838876 [startup+960.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 93358 69 0 0 25 0 11 0 839301594 859009024 26420 4294967295 134512640 134569956 3221224368 3221214720 1131336063 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26420 13086 16 0 209703 0 vsize: 838876 [startup+970.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 94345 69 0 0 25 0 11 0 839301594 859009024 26432 4294967295 134512640 134569956 3221224368 3221214624 1131348964 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26432 13086 16 0 209703 0 vsize: 838876 [startup+980.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 95331 69 0 0 25 0 11 0 839301594 859009024 26445 4294967295 134512640 134569956 3221224368 3221214720 1131336066 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26445 13086 16 0 209703 0 vsize: 838876 [startup+990.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 96318 70 0 0 25 0 11 0 839301594 859009024 26458 4294967295 134512640 134569956 3221224368 3221214720 1131336210 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209719 26458 13086 16 0 209703 0 vsize: 838876 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 97305 70 0 0 25 0 11 0 839301594 859009024 26471 4294967295 134512640 134569956 3221224368 3221214776 1131458629 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26471 13086 16 0 209703 0 vsize: 838876 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 98291 70 0 0 24 0 11 0 839301594 859009024 26484 4294967295 134512640 134569956 3221224368 3221214632 1131233692 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26484 13086 16 0 209703 0 vsize: 838876 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 99279 70 0 0 24 0 11 0 839301594 859009024 26497 4294967295 134512640 134569956 3221224368 3221214720 1131336029 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26497 13086 16 0 209703 0 vsize: 838876 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 100267 70 0 0 25 0 11 0 839301594 859009024 26506 4294967295 134512640 134569956 3221224368 3221214624 1131349237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26506 13086 16 0 209703 0 vsize: 838876 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 101254 70 0 0 25 0 11 0 839301594 859009024 26518 4294967295 134512640 134569956 3221224368 3221214624 1131349087 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26518 13086 16 0 209703 0 vsize: 838876 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 102242 70 0 0 25 0 11 0 839301594 859009024 26531 4294967295 134512640 134569956 3221224368 3221214720 1131336115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26531 13086 16 0 209703 0 vsize: 838876 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 103230 70 0 0 25 0 11 0 839301594 859009024 26544 4294967295 134512640 134569956 3221224368 3221214776 1131458957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26544 13086 16 0 209703 0 vsize: 838876 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 104217 70 0 0 25 0 11 0 839301594 859009024 26553 4294967295 134512640 134569956 3221224368 3221214720 1131336419 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26553 13086 16 0 209703 0 vsize: 838876 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 105205 70 0 0 25 0 11 0 839301594 859009024 26566 4294967295 134512640 134569956 3221224368 3221214624 1131349271 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26566 13086 16 0 209703 0 vsize: 838876 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 106192 70 0 0 25 0 11 0 839301594 859009024 26579 4294967295 134512640 134569956 3221224368 3221214624 1131348895 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26579 13086 16 0 209703 0 vsize: 838876 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 107180 70 0 0 25 0 11 0 839301594 859009024 26587 4294967295 134512640 134569956 3221224368 3221214624 1131348985 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26587 13086 16 0 209703 0 vsize: 838876 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 108168 70 0 0 25 0 11 0 839301594 859009024 26600 4294967295 134512640 134569956 3221224368 3221214728 1131211025 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26600 13086 16 0 209703 0 vsize: 838876 [startup+1120.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 109155 70 0 0 25 0 11 0 839301594 859009024 26613 4294967295 134512640 134569956 3221224368 3221214728 1131211131 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26613 13086 16 0 209703 0 vsize: 838876 [startup+1130.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 110141 70 0 0 24 0 11 0 839301594 859009024 26622 4294967295 134512640 134569956 3221224368 3221214720 1131336212 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26622 13086 16 0 209703 0 vsize: 838876 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 2239 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 111129 70 0 0 25 0 11 0 839301594 859009024 26635 4294967295 134512640 134569956 3221224368 3221214624 1131349183 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26635 13086 16 0 209703 0 vsize: 838876 [startup+1150.09 s] Raw data (loadavg): 1.08 1.02 1.01 3/68 2292 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 112116 70 0 0 25 0 11 0 839301594 859009024 26648 4294967295 134512640 134569956 3221224368 3221214728 1131211008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26648 13086 16 0 209703 0 vsize: 838876 [startup+1160.09 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 2292 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 113103 70 0 0 25 0 11 0 839301594 859009024 26656 4294967295 134512640 134569956 3221224368 3221214720 1131336150 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26656 13086 16 0 209703 0 vsize: 838876 [startup+1170.09 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 2292 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 114090 71 0 0 25 0 11 0 839301594 859009024 26670 4294967295 134512640 134569956 3221224368 3221214624 1131349183 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26670 13086 16 0 209703 0 vsize: 838876 [startup+1180.09 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 2292 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 115078 71 0 0 25 0 11 0 839301594 859009024 26679 4294967295 134512640 134569956 3221224368 3221214624 1131349863 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26679 13086 16 0 209703 0 vsize: 838876 [startup+1190.09 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 2292 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 116066 71 0 0 25 0 11 0 839301594 859009024 26692 4294967295 134512640 134569956 3221224368 3221214624 1131349025 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26692 13086 16 0 209703 0 vsize: 838876 [startup+1200.09 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 2292 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 117053 71 0 0 25 0 11 0 839301594 859009024 26704 4294967295 134512640 134569956 3221224368 3221214728 1131211115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26704 13086 16 0 209703 0 vsize: 838876 [startup+1210.09 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 2292 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 118040 71 0 0 25 0 11 0 839301594 859009024 26713 4294967295 134512640 134569956 3221224368 3221214624 1131349025 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26713 13086 16 0 209703 0 vsize: 838876 [startup+1220.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 2294 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 119028 72 0 0 25 0 11 0 839301594 859009024 26726 4294967295 134512640 134569956 3221224368 3221214624 1131349073 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26726 13086 16 0 209703 0 vsize: 838876 [startup+1230.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 2294 Raw data (stat): 2229 (java) R 2228 24172 24171 0 -1 0 18058 0 1 0 120014 72 0 0 24 0 11 0 839301594 859009024 26735 4294967295 134512640 134569956 3221224368 3221214728 1131211150 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209719 26735 13086 16 0 209703 0 vsize: 838876 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.19 s] Raw data (loadavg): 1.02 1.01 1.00 1/54 2296 Raw data (stat): 2229 (java) Z 2228 24172 24171 0 -1 1036 18058 14102 1 0 120018 77 3906 46 25 0 1 0 839301594 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): 1230.19 CPU time (s): 1240.49 CPU user time (s): 1239.25 CPU system time (s): 1.23781 CPU usage (%): 100.837 Max. virtual memory (Kb): 838876 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####