Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing1.opb |
MD5SUM | 0ab24c5b60e18c0be832cc4080b37d61 |
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 | 6523 |
Biggest coefficient in the objective function | 24535000678400 |
Number of bits for the biggest coefficient in the objective function | 45 |
Sum of the numbers in the objective function | 1761916844753634 |
Number of bits of the sum of numbers in the objective function | 51 |
Biggest number in a constraint | 4102681610158080 |
Number of bits of the biggest number in a constraint | 52 |
Biggest sum of numbers in a constraint | 384599747612655519 |
Number of bits of the biggest sum of numbers | 59 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.081987 |
Number of variables | 8869 |
Total number of constraints | 593 |
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 | 593 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 6849 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-05-25 07:35:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20826 boxname=wulflinc11 idbench=814 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 0ab24c5b60e18c0be832cc4080b37d61 /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-boeing1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-boeing1.opb IDLAUNCH: 20826 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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 : 2 cpu MHz : 451.028 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: 861616 kB Buffers: 26208 kB Cached: 125680 kB SwapCached: 772 kB Active: 38844 kB Inactive: 115080 kB HighTotal: 131008 kB HighFree: 5516 kB LowTotal: 903652 kB LowFree: 856100 kB SwapTotal: 2097136 kB SwapFree: 2095468 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5024 kB Slab: 13648 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 07:55:56 (client local time) WITH STATUS 143 IN 1225.59 SECONDS stats: 20826 7 1225.59 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/wulflinc11/normalized-mps-v2-20-10-boeing1.opb c reading problem ... done. Time 30.171 ms. c #vars 8869 c #constraints 568 c starts : 3 c conflicts : 416 c decisions : 31398 c propagations : 56061 c inspects : 224592 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 416 c root simplifications : 42 s UNKNOWN c Total CPU time (ms) : 1219.137 #### 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.86 0.97 0.99 2/54 5146 Raw data (stat): 5146 (runsolver) R 5145 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778897753 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.0014 s] Raw data (loadavg): 0.88 0.97 0.99 2/63 5155 Raw data (stat): 5146 (java) S 5145 25830 25829 0 -1 0 18010 0 1 0 874 38 0 0 25 0 10 0 778897753 853733376 19373 4294967295 134512640 134569956 3221224368 3221213600 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208431 19373 13086 16 0 208415 0 vsize: 833724 [startup+20.0024 s] Raw data (loadavg): 0.90 0.97 0.99 3/63 5155 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18021 0 1 0 1742 38 0 0 25 0 10 0 778897753 858537984 21211 4294967295 134512640 134569956 3221224368 3221214488 1077558368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209604 21211 13086 16 0 209588 0 vsize: 838416 [startup+30.003 s] Raw data (loadavg): 0.91 0.97 0.99 2/63 5155 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18022 0 1 0 2597 39 0 0 25 0 10 0 778897753 856338432 21199 4294967295 134512640 134569956 3221224368 3221213896 1131244023 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209067 21199 13086 16 0 209051 0 vsize: 836268 [startup+40.0035 s] Raw data (loadavg): 0.93 0.97 0.99 2/63 5155 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18043 0 1 0 3530 40 0 0 25 0 10 0 778897753 857124864 23913 4294967295 134512640 134569956 3221224368 3221214584 1131335591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209259 23913 13086 16 0 209243 0 vsize: 837036 [startup+50.0038 s] Raw data (loadavg): 0.94 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18059 0 1 0 4504 41 0 0 25 0 11 0 778897753 857653248 23942 4294967295 134512640 134569956 3221224368 3221214512 1131335549 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 23942 13086 16 0 209372 0 vsize: 837552 [startup+60.0036 s] Raw data (loadavg): 0.95 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18059 0 1 0 5473 41 0 0 25 0 11 0 778897753 857653248 23946 4294967295 134512640 134569956 3221224368 3221214648 1131384517 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 23946 13086 16 0 209372 0 vsize: 837552 [startup+70.0052 s] Raw data (loadavg): 0.95 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18059 0 1 0 6457 41 0 0 25 0 11 0 778897753 857653248 24118 4294967295 134512640 134569956 3221224368 3221214528 1131335626 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24118 13086 16 0 209372 0 vsize: 837552 [startup+80.0061 s] Raw data (loadavg): 0.96 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18059 0 1 0 7449 42 0 0 25 0 11 0 778897753 857653248 24125 4294967295 134512640 134569956 3221224368 3221214608 1131349644 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24125 13086 16 0 209372 0 vsize: 837552 [startup+90.0059 s] Raw data (loadavg): 0.97 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18059 0 1 0 8441 43 0 0 25 0 11 0 778897753 857653248 24139 4294967295 134512640 134569956 3221224368 3221214608 1131349307 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24139 13086 16 0 209372 0 vsize: 837552 [startup+100.007 s] Raw data (loadavg): 0.97 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18059 0 1 0 9436 43 0 0 25 0 11 0 778897753 857653248 24165 4294967295 134512640 134569956 3221224368 3221214664 1131383610 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24165 13086 16 0 209372 0 vsize: 837552 [startup+110.007 s] Raw data (loadavg): 0.97 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18059 0 1 0 10432 44 0 0 25 0 11 0 778897753 857653248 24176 4294967295 134512640 134569956 3221224368 3221214608 1131349676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24176 13086 16 0 209372 0 vsize: 837552 [startup+120.008 s] Raw data (loadavg): 0.98 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 11428 44 0 0 25 0 11 0 778897753 857653248 24182 4294967295 134512640 134569956 3221224368 3221214664 1131383578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24182 13086 16 0 209372 0 vsize: 837552 [startup+130.009 s] Raw data (loadavg): 0.98 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 12423 44 0 0 25 0 11 0 778897753 857653248 24182 4294967295 134512640 134569956 3221224368 3221214608 1131349637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24182 13086 16 0 209372 0 vsize: 837552 [startup+140.009 s] Raw data (loadavg): 0.98 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 13415 45 0 0 25 0 11 0 778897753 857653248 24182 4294967295 134512640 134569956 3221224368 3221214528 1131335747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24182 13086 16 0 209372 0 vsize: 837552 [startup+150.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 14408 45 0 0 25 0 11 0 778897753 857653248 24204 4294967295 134512640 134569956 3221224368 3221214664 1131382267 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24204 13086 16 0 209372 0 vsize: 837552 [startup+160.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 15400 46 0 0 25 0 11 0 778897753 857653248 24213 4294967295 134512640 134569956 3221224368 3221214608 1131349670 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24213 13086 16 0 209372 0 vsize: 837552 [startup+170.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 16393 46 0 0 25 0 11 0 778897753 857653248 24214 4294967295 134512640 134569956 3221224368 3221214608 1131349303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24214 13086 16 0 209372 0 vsize: 837552 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 17388 47 0 0 25 0 11 0 778897753 857653248 24245 4294967295 134512640 134569956 3221224368 3221214512 1131290697 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24245 13086 16 0 209372 0 vsize: 837552 [startup+190.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 18386 47 0 0 25 0 11 0 778897753 857653248 24251 4294967295 134512640 134569956 3221224368 3221214528 1131336394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24251 13086 16 0 209372 0 vsize: 837552 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 19382 47 0 0 25 0 11 0 778897753 857653248 24253 4294967295 134512640 134569956 3221224368 3221214608 1131349601 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24253 13086 16 0 209372 0 vsize: 837552 [startup+210.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 20375 48 0 0 25 0 11 0 778897753 857653248 24253 4294967295 134512640 134569956 3221224368 3221214608 1131349570 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24253 13086 16 0 209372 0 vsize: 837552 [startup+220.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 21368 49 0 0 25 0 11 0 778897753 857653248 24253 4294967295 134512640 134569956 3221224368 3221214528 1131335604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24253 13086 16 0 209372 0 vsize: 837552 [startup+230.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 22363 49 0 0 25 0 11 0 778897753 857653248 24280 4294967295 134512640 134569956 3221224368 3221214664 1131384409 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24280 13086 16 0 209372 0 vsize: 837552 [startup+240.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 23360 50 0 0 25 0 11 0 778897753 857653248 24287 4294967295 134512640 134569956 3221224368 3221214664 1131383578 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24287 13086 16 0 209372 0 vsize: 837552 [startup+250.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 24358 50 0 0 25 0 11 0 778897753 857653248 24287 4294967295 134512640 134569956 3221224368 3221214528 1131335756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24287 13086 16 0 209372 0 vsize: 837552 [startup+260.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 25352 50 0 0 25 0 11 0 778897753 857653248 24287 4294967295 134512640 134569956 3221224368 3221214528 1131335619 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24287 13086 16 0 209372 0 vsize: 837552 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 26346 50 0 0 25 0 11 0 778897753 857653248 24287 4294967295 134512640 134569956 3221224368 3221214664 1131382547 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24287 13086 16 0 209372 0 vsize: 837552 [startup+280.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 27340 50 0 0 25 0 11 0 778897753 857653248 24299 4294967295 134512640 134569956 3221224368 3221214608 1131349220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24299 13086 16 0 209372 0 vsize: 837552 [startup+290.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 28336 50 0 0 25 0 11 0 778897753 857653248 24321 4294967295 134512640 134569956 3221224368 3221214608 1131349630 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24321 13086 16 0 209372 0 vsize: 837552 [startup+300.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 29334 50 0 0 25 0 11 0 778897753 857653248 24321 4294967295 134512640 134569956 3221224368 3221214608 1131349644 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24321 13086 16 0 209372 0 vsize: 837552 [startup+310.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 30333 50 0 0 25 0 11 0 778897753 857653248 24322 4294967295 134512640 134569956 3221224368 3221214608 1131349285 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24322 13086 16 0 209372 0 vsize: 837552 [startup+320.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 31325 50 0 0 25 0 11 0 778897753 857653248 24325 4294967295 134512640 134569956 3221224368 3221214608 1131349220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24325 13086 16 0 209372 0 vsize: 837552 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 32318 50 0 0 25 0 11 0 778897753 857653248 24325 4294967295 134512640 134569956 3221224368 3221214664 1131382547 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24325 13086 16 0 209372 0 vsize: 837552 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 33312 50 0 0 25 0 11 0 778897753 857653248 24325 4294967295 134512640 134569956 3221224368 3221214608 1131349220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24325 13086 16 0 209372 0 vsize: 837552 [startup+350.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 34308 50 0 0 25 0 11 0 778897753 857653248 24358 4294967295 134512640 134569956 3221224368 3221214664 1131387174 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24358 13086 16 0 209372 0 vsize: 837552 [startup+360.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 35305 50 0 0 25 0 11 0 778897753 857653248 24359 4294967295 134512640 134569956 3221224368 3221214664 1131383596 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24359 13086 16 0 209372 0 vsize: 837552 [startup+370.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18060 0 1 0 36298 51 0 0 25 0 11 0 778897753 857653248 24359 4294967295 134512640 134569956 3221224368 3221214608 1131349303 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24359 13086 16 0 209372 0 vsize: 837552 [startup+380.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18062 0 1 0 37287 51 0 0 25 0 11 0 778897753 857653248 24393 4294967295 134512640 134569956 3221224368 3221214528 1131335775 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24393 13086 16 0 209372 0 vsize: 837552 [startup+390.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18062 0 1 0 38276 51 0 0 25 0 11 0 778897753 857653248 24410 4294967295 134512640 134569956 3221224368 3221214528 1131335448 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24410 13086 16 0 209372 0 vsize: 837552 [startup+400.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18062 0 1 0 39267 51 0 0 25 0 11 0 778897753 857653248 24450 4294967295 134512640 134569956 3221224368 3221214528 1131335767 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24450 13086 16 0 209372 0 vsize: 837552 [startup+410.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18062 0 1 0 40264 51 0 0 25 0 11 0 778897753 857653248 24475 4294967295 134512640 134569956 3221224368 3221214528 1131336513 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24475 13086 16 0 209372 0 vsize: 837552 [startup+420.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18062 0 1 0 41261 51 0 0 25 0 11 0 778897753 857653248 24475 4294967295 134512640 134569956 3221224368 3221214608 1131349630 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24475 13086 16 0 209372 0 vsize: 837552 [startup+430.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18062 0 1 0 42259 51 0 0 25 0 11 0 778897753 857653248 24476 4294967295 134512640 134569956 3221224368 3221214528 1131335607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24476 13086 16 0 209372 0 vsize: 837552 [startup+440.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 43252 52 0 0 25 0 11 0 778897753 857653248 24488 4294967295 134512640 134569956 3221224368 3221214528 1131335607 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 24488 13086 16 0 209372 0 vsize: 837552 [startup+450.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 44243 52 0 0 25 0 11 0 778897753 857653248 24498 4294967295 134512640 134569956 3221224368 3221214608 1131349293 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24498 13086 16 0 209372 0 vsize: 837552 [startup+460.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 45232 52 0 0 25 0 11 0 778897753 857653248 24498 4294967295 134512640 134569956 3221224368 3221214648 1131382570 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24498 13086 16 0 209372 0 vsize: 837552 [startup+470.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 46219 52 0 0 25 0 11 0 778897753 857653248 24513 4294967295 134512640 134569956 3221224368 3221214512 1131336348 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24513 13086 16 0 209372 0 vsize: 837552 [startup+480.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 47204 52 0 0 25 0 11 0 778897753 857653248 24556 4294967295 134512640 134569956 3221224368 3221214512 1131336374 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24556 13086 16 0 209372 0 vsize: 837552 [startup+490.028 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) S 5145 25830 25829 0 -1 0 18063 0 1 0 48189 52 0 0 25 0 11 0 778897753 857653248 24590 4294967295 134512640 134569956 3221224368 3221213336 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24590 13086 16 0 209372 0 vsize: 837552 [startup+500.029 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 49176 52 0 0 25 0 11 0 778897753 857653248 24619 4294967295 134512640 134569956 3221224368 3221214592 1131349220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24619 13086 16 0 209372 0 vsize: 837552 [startup+510.029 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 50164 52 0 0 25 0 11 0 778897753 857653248 24660 4294967295 134512640 134569956 3221224368 3221214592 1131349232 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24660 13086 16 0 209372 0 vsize: 837552 [startup+520.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 51153 52 0 0 25 0 11 0 778897753 857653248 24684 4294967295 134512640 134569956 3221224368 3221214648 1131383596 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24684 13086 16 0 209372 0 vsize: 837552 [startup+530.031 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 52142 53 0 0 25 0 11 0 778897753 857653248 24703 4294967295 134512640 134569956 3221224368 3221214512 1131335607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24703 13086 16 0 209372 0 vsize: 837552 [startup+540.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 53130 53 0 0 25 0 11 0 778897753 857653248 24725 4294967295 134512640 134569956 3221224368 3221214592 1131349303 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24725 13086 16 0 209372 0 vsize: 837552 [startup+550.032 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 54118 53 0 0 25 0 11 0 778897753 857653248 24741 4294967295 134512640 134569956 3221224368 3221214648 1131383752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24741 13086 16 0 209372 0 vsize: 837552 [startup+560.032 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 55104 53 0 0 25 0 11 0 778897753 857653248 24764 4294967295 134512640 134569956 3221224368 3221214592 1131349309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24764 13086 16 0 209372 0 vsize: 837552 [startup+570.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 56090 53 0 0 25 0 11 0 778897753 857653248 24804 4294967295 134512640 134569956 3221224368 3221214512 1131335523 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24804 13086 16 0 209372 0 vsize: 837552 [startup+580.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 57065 53 0 0 25 0 11 0 778897753 857653248 24823 4294967295 134512640 134569956 3221224368 3221214592 1131349379 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24823 13086 16 0 209372 0 vsize: 837552 [startup+590.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) S 5145 25830 25829 0 -1 0 18063 0 1 0 58047 53 0 0 25 0 11 0 778897753 857653248 24855 4294967295 134512640 134569956 3221224368 3221213336 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24855 13086 16 0 209372 0 vsize: 837552 [startup+600.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 59033 53 0 0 25 0 11 0 778897753 857653248 24893 4294967295 134512640 134569956 3221224368 3221214512 1131336791 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24893 13086 16 0 209372 0 vsize: 837552 [startup+610.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 60018 54 0 0 25 0 11 0 778897753 857653248 24925 4294967295 134512640 134569956 3221224368 3221214512 1131335607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24925 13086 16 0 209372 0 vsize: 837552 [startup+620.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 61002 54 0 0 24 0 11 0 778897753 857653248 24964 4294967295 134512640 134569956 3221224368 3221214512 1131336168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24964 13086 16 0 209372 0 vsize: 837552 [startup+630.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 61989 54 0 0 25 0 11 0 778897753 857653248 24982 4294967295 134512640 134569956 3221224368 3221214512 1131337032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 24982 13086 16 0 209372 0 vsize: 837552 [startup+640.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 62976 54 0 0 25 0 11 0 778897753 857653248 25023 4294967295 134512640 134569956 3221224368 3221214512 1131335570 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25023 13086 16 0 209372 0 vsize: 837552 [startup+650.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 63965 54 0 0 25 0 11 0 778897753 857653248 25047 4294967295 134512640 134569956 3221224368 3221214648 1131387937 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25047 13086 16 0 209372 0 vsize: 837552 [startup+660.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 64952 54 0 0 25 0 11 0 778897753 857653248 25047 4294967295 134512640 134569956 3221224368 3221214512 1131336394 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25047 13086 16 0 209372 0 vsize: 837552 [startup+670.039 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 65939 54 0 0 25 0 11 0 778897753 857653248 25085 4294967295 134512640 134569956 3221224368 3221214648 1131383578 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25085 13086 16 0 209372 0 vsize: 837552 [startup+680.039 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 66926 54 0 0 25 0 11 0 778897753 857653248 25107 4294967295 134512640 134569956 3221224368 3221214648 1131382492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25107 13086 16 0 209372 0 vsize: 837552 [startup+690.039 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 67913 54 0 0 25 0 11 0 778897753 857653248 25136 4294967295 134512640 134569956 3221224368 3221214592 1131349586 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25136 13086 16 0 209372 0 vsize: 837552 [startup+700.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 68898 54 0 0 25 0 11 0 778897753 857653248 25152 4294967295 134512640 134569956 3221224368 3221214512 1131335607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25152 13086 16 0 209372 0 vsize: 837552 [startup+710.04 s] Raw data (loadavg): 0.99 0.97 0.99 3/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18063 0 1 0 69885 54 0 0 25 0 11 0 778897753 861671424 26068 4294967295 134512640 134569956 3221224368 3221214412 1131373747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210369 26068 13086 16 0 210353 0 vsize: 841476 [startup+720.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 70861 54 0 0 25 0 11 0 778897753 857653248 25224 4294967295 134512640 134569956 3221224368 3221214648 1131383547 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25224 13086 16 0 209372 0 vsize: 837552 [startup+730.041 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 71842 54 0 0 25 0 11 0 778897753 857653248 25257 4294967295 134512640 134569956 3221224368 3221214512 1131335767 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25257 13086 16 0 209372 0 vsize: 837552 [startup+740.041 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 72822 54 0 0 25 0 11 0 778897753 857653248 25258 4294967295 134512640 134569956 3221224368 3221214512 1131336808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25258 13086 16 0 209372 0 vsize: 837552 [startup+750.042 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 73802 55 0 0 25 0 11 0 778897753 857653248 25345 4294967295 134512640 134569956 3221224368 3221214512 1131336806 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25345 13086 16 0 209372 0 vsize: 837552 [startup+760.042 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 74786 55 0 0 25 0 11 0 778897753 857653248 25403 4294967295 134512640 134569956 3221224368 3221214512 1131336513 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25403 13086 16 0 209372 0 vsize: 837552 [startup+770.043 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 75772 55 0 0 25 0 11 0 778897753 857653248 25417 4294967295 134512640 134569956 3221224368 3221214648 1131384488 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25417 13086 16 0 209372 0 vsize: 837552 [startup+780.043 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 76745 55 0 0 24 0 11 0 778897753 857653248 25456 4294967295 134512640 134569956 3221224368 3221214512 1131335793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25456 13086 16 0 209372 0 vsize: 837552 [startup+790.044 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 77730 55 0 0 25 0 11 0 778897753 857653248 25482 4294967295 134512640 134569956 3221224368 3221214592 1131349601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25482 13086 16 0 209372 0 vsize: 837552 [startup+800.044 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 78715 55 0 0 25 0 11 0 778897753 857653248 25511 4294967295 134512640 134569956 3221224368 3221214512 1131335607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25511 13086 16 0 209372 0 vsize: 837552 [startup+810.044 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 79701 55 0 0 25 0 11 0 778897753 857653248 25539 4294967295 134512640 134569956 3221224368 3221214512 1131335769 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25539 13086 16 0 209372 0 vsize: 837552 [startup+820.045 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 80691 55 0 0 25 0 11 0 778897753 857653248 25575 4294967295 134512640 134569956 3221224368 3221214592 1131349503 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25575 13086 16 0 209372 0 vsize: 837552 [startup+830.045 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 81687 55 0 0 25 0 11 0 778897753 857653248 25595 4294967295 134512640 134569956 3221224368 3221214592 1131349232 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25595 13086 16 0 209372 0 vsize: 837552 [startup+840.045 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 82684 55 0 0 25 0 11 0 778897753 857653248 25602 4294967295 134512640 134569956 3221224368 3221214648 1131387104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25602 13086 16 0 209372 0 vsize: 837552 [startup+850.046 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 83676 55 0 0 25 0 11 0 778897753 857653248 25602 4294967295 134512640 134569956 3221224368 3221214512 1131335607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25602 13086 16 0 209372 0 vsize: 837552 [startup+860.047 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 84666 55 0 0 25 0 11 0 778897753 857653248 25602 4294967295 134512640 134569956 3221224368 3221214648 1131382485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25602 13086 16 0 209372 0 vsize: 837552 [startup+870.047 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 85655 56 0 0 25 0 11 0 778897753 857653248 25603 4294967295 134512640 134569956 3221224368 3221214648 1131384386 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25603 13086 16 0 209372 0 vsize: 837552 [startup+880.048 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 86646 56 0 0 25 0 11 0 778897753 857653248 25647 4294967295 134512640 134569956 3221224368 3221214648 1131384517 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25647 13086 16 0 209372 0 vsize: 837552 [startup+890.048 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 87643 56 0 0 25 0 11 0 778897753 857653248 25654 4294967295 134512640 134569956 3221224368 3221214512 1131336368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25654 13086 16 0 209372 0 vsize: 837552 [startup+900.049 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 88640 56 0 0 25 0 11 0 778897753 857653248 25658 4294967295 134512640 134569956 3221224368 3221214648 1131382570 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209388 25658 13086 16 0 209372 0 vsize: 837552 [startup+910.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 89633 56 0 0 25 0 11 0 778897753 857653248 25658 4294967295 134512640 134569956 3221224368 3221214592 1131349220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25658 13086 16 0 209372 0 vsize: 837552 [startup+920.051 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 90623 56 0 0 25 0 11 0 778897753 857653248 25658 4294967295 134512640 134569956 3221224368 3221214512 1131335607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25658 13086 16 0 209372 0 vsize: 837552 [startup+930.051 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 91613 56 0 0 25 0 11 0 778897753 857653248 25658 4294967295 134512640 134569956 3221224368 3221214592 1131349630 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25658 13086 16 0 209372 0 vsize: 837552 [startup+940.051 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 92607 56 0 0 25 0 11 0 778897753 857653248 25699 4294967295 134512640 134569956 3221224368 3221214592 1131349676 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25699 13086 16 0 209372 0 vsize: 837552 [startup+950.052 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 93603 56 0 0 25 0 11 0 778897753 857653248 25701 4294967295 134512640 134569956 3221224368 3221214512 1131335540 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25701 13086 16 0 209372 0 vsize: 837552 [startup+960.051 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 94600 56 0 0 25 0 11 0 778897753 857653248 25702 4294967295 134512640 134569956 3221224368 3221214648 1131386996 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209388 25702 13086 16 0 209372 0 vsize: 837552 [startup+970.053 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 95587 57 0 0 25 0 11 0 778897753 858701824 25977 4294967295 134512640 134569956 3221224368 3221214512 1131335619 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209644 25977 13086 16 0 209628 0 vsize: 838576 [startup+980.053 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 96576 57 0 0 25 0 11 0 778897753 858701824 25985 4294967295 134512640 134569956 3221224368 3221214512 1131336404 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 25985 13086 16 0 209628 0 vsize: 838576 [startup+990.053 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 97565 57 0 0 25 0 11 0 778897753 858701824 25986 4294967295 134512640 134569956 3221224368 3221214512 1131335841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 25986 13086 16 0 209628 0 vsize: 838576 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 98554 58 0 0 25 0 11 0 778897753 858701824 25998 4294967295 134512640 134569956 3221224368 3221214648 1131383596 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 25998 13086 16 0 209628 0 vsize: 838576 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 99541 58 0 0 25 0 11 0 778897753 858701824 26004 4294967295 134512640 134569956 3221224368 3221214648 1131387056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26004 13086 16 0 209628 0 vsize: 838576 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 100530 59 0 0 25 0 11 0 778897753 858701824 26004 4294967295 134512640 134569956 3221224368 3221214648 1131386992 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26004 13086 16 0 209628 0 vsize: 838576 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 101517 59 0 0 25 0 11 0 778897753 858701824 26014 4294967295 134512640 134569956 3221224368 3221214148 1131431512 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26014 13086 16 0 209628 0 vsize: 838576 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.99 3/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 102504 60 0 0 25 0 11 0 778897753 858853376 26065 4294967295 134512640 134569956 3221224368 3221214712 1131456156 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209681 26065 13086 16 0 209665 0 vsize: 838724 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 103493 60 0 0 25 0 11 0 778897753 858701824 26064 4294967295 134512640 134569956 3221224368 3221214512 1131335763 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209644 26064 13086 16 0 209628 0 vsize: 838576 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 104478 61 0 0 25 0 11 0 778897753 858701824 26089 4294967295 134512640 134569956 3221224368 3221214512 1131336795 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26089 13086 16 0 209628 0 vsize: 838576 [startup+1070.06 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 105467 61 0 0 25 0 11 0 778897753 858701824 26108 4294967295 134512640 134569956 3221224368 3221214648 1131386981 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26108 13086 16 0 209628 0 vsize: 838576 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 106456 61 0 0 25 0 11 0 778897753 858701824 26108 4294967295 134512640 134569956 3221224368 3221214512 1131336145 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26108 13086 16 0 209628 0 vsize: 838576 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18064 0 1 0 107445 62 0 0 25 0 11 0 778897753 858701824 26146 4294967295 134512640 134569956 3221224368 3221214496 1131220096 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26146 13086 16 0 209628 0 vsize: 838576 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18066 0 1 0 108436 62 0 0 24 0 11 0 778897753 858701824 26150 4294967295 134512640 134569956 3221224368 3221214592 1131349559 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26150 13086 16 0 209628 0 vsize: 838576 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18066 0 1 0 109425 62 0 0 25 0 11 0 778897753 858701824 26171 4294967295 134512640 134569956 3221224368 3221214512 1131335767 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26171 13086 16 0 209628 0 vsize: 838576 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18066 0 1 0 110419 63 0 0 25 0 11 0 778897753 858701824 26180 4294967295 134512640 134569956 3221224368 3221214392 1131342556 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26180 13086 16 0 209628 0 vsize: 838576 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18066 0 1 0 111413 63 0 0 25 0 11 0 778897753 858701824 26181 4294967295 134512640 134569956 3221224368 3221214592 1131349213 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209644 26181 13086 16 0 209628 0 vsize: 838576 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18066 0 1 0 112401 64 0 0 25 0 11 0 778897753 858701824 26202 4294967295 134512640 134569956 3221224368 3221214512 1131335753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26202 13086 16 0 209628 0 vsize: 838576 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18066 0 1 0 113392 66 0 0 25 0 11 0 778897753 858701824 26216 4294967295 134512640 134569956 3221224368 3221214592 1131349549 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26216 13086 16 0 209628 0 vsize: 838576 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18066 0 1 0 114381 66 0 0 25 0 11 0 778897753 858701824 26216 4294967295 134512640 134569956 3221224368 3221214648 1131386996 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26216 13086 16 0 209628 0 vsize: 838576 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18066 0 1 0 115371 67 0 0 25 0 11 0 778897753 858701824 26248 4294967295 134512640 134569956 3221224368 3221214504 1131439988 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26248 13086 16 0 209628 0 vsize: 838576 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18066 0 1 0 116364 67 0 0 25 0 11 0 778897753 858701824 26248 4294967295 134512640 134569956 3221224368 3221214512 1131335681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26248 13086 16 0 209628 0 vsize: 838576 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18066 0 1 0 117351 68 0 0 25 0 11 0 778897753 858701824 26266 4294967295 134512640 134569956 3221224368 3221214592 1131349303 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26266 13086 16 0 209628 0 vsize: 838576 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18066 0 1 0 118342 69 0 0 25 0 11 0 778897753 858701824 26280 4294967295 134512640 134569956 3221224368 3221214592 1131349220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26280 13086 16 0 209628 0 vsize: 838576 [startup+1210.06 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18066 0 1 0 119331 69 0 0 24 0 11 0 778897753 858701824 26282 4294967295 134512640 134569956 3221224368 3221214592 1131349486 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26282 13086 16 0 209628 0 vsize: 838576 [startup+1220.06 s] Raw data (loadavg): 0.99 0.97 0.99 2/64 5156 Raw data (stat): 5146 (java) R 5145 25830 25829 0 -1 0 18066 0 1 0 120322 69 0 0 25 0 11 0 778897753 858701824 26314 4294967295 134512640 134569956 3221224368 3221214648 1131382492 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209644 26314 13086 16 0 209628 0 vsize: 838576 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.16 s] Raw data (loadavg): 0.99 0.97 0.99 1/54 5158 Raw data (stat): 5146 (java) Z 5145 25830 25829 0 -1 1036 18066 10001 1 0 120325 69 2129 34 25 0 1 0 778897753 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): 1220.16 CPU time (s): 1225.59 CPU user time (s): 1224.55 CPU system time (s): 1.04584 CPU usage (%): 100.446 Max. virtual memory (Kb): 841476 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####