Name | normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb |
MD5SUM | 6bfe4c2dce1e5dbe61cc34b52b1b387f |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
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 | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 130 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 512 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 45.816 |
Number of variables | 87751 |
Total number of constraints | 254772 |
Number of constraints which are clauses | 247060 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 7712 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc29 THE 2005-04-13 17:19:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2520 boxname=wulflinc29 idbench=280 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 6bfe4c2dce1e5dbe61cc34b52b1b387f /oldhome/oroussel/tmp/wulflinc29/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc29/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb IDLAUNCH: 2520 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 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.020 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: 857672 kB Buffers: 35420 kB Cached: 103628 kB SwapCached: 12 kB Active: 59852 kB Inactive: 81980 kB HighTotal: 131008 kB HighFree: 23996 kB LowTotal: 903652 kB LowFree: 833676 kB SwapTotal: 2097892 kB SwapFree: 2097880 kB Dirty: 4 kB Writeback: 0 kB Mapped: 6928 kB Slab: 29536 kB Committed_AS: 63492 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 17:41:38 (client local time) WITH STATUS 143 IN SECONDS stats: 2520 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc29/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb c reading problem c [nbvar=87751] c [nbconstr=254772] #### 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.91 0.97 0.95 2/54 28316 Raw data (stat): 28316 (runsolver) R 28315 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477694134 1052672 99 4294967295 134512640 135381576 3221224416 3221219664 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.0009 s] Raw data (loadavg): 0.93 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 807 38 0 0 25 0 10 0 477694134 856129536 20755 4294967295 134512640 134569956 3221224384 3221214512 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 20755 13073 16 0 209000 0 vsize: 836064 [startup+20.0016 s] Raw data (loadavg): 0.94 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 1673 39 0 0 25 0 10 0 477694134 856129536 21676 4294967295 134512640 134569956 3221224384 3221214484 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209016 21676 13073 16 0 209000 0 vsize: 836064 [startup+30.0008 s] Raw data (loadavg): 0.95 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 2531 39 0 0 25 0 10 0 477694134 856129536 22260 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 22260 13073 16 0 209000 0 vsize: 836064 [startup+40.0023 s] Raw data (loadavg): 0.95 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 3391 40 0 0 25 0 10 0 477694134 856129536 22675 4294967295 134512640 134569956 3221224384 3221214476 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 22675 13073 16 0 209000 0 vsize: 836064 [startup+50.003 s] Raw data (loadavg): 0.96 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 4248 40 0 0 25 0 10 0 477694134 856129536 23032 4294967295 134512640 134569956 3221224384 3221214476 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 23032 13073 16 0 209000 0 vsize: 836064 [startup+60.0033 s] Raw data (loadavg): 0.97 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 5107 40 0 0 25 0 10 0 477694134 856129536 23302 4294967295 134512640 134569956 3221224384 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 23302 13073 16 0 209000 0 vsize: 836064 [startup+70.0035 s] Raw data (loadavg): 0.97 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 5969 40 0 0 25 0 10 0 477694134 856129536 23591 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 23591 13073 16 0 209000 0 vsize: 836064 [startup+80.0044 s] Raw data (loadavg): 0.98 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 6822 40 0 0 25 0 10 0 477694134 856129536 23989 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 23989 13073 16 0 209000 0 vsize: 836064 [startup+90.0076 s] Raw data (loadavg): 0.98 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 7691 40 0 0 25 0 10 0 477694134 856129536 24242 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 24242 13073 16 0 209000 0 vsize: 836064 [startup+100.011 s] Raw data (loadavg): 0.98 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 8562 40 0 0 25 0 10 0 477694134 856129536 24597 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 24597 13073 16 0 209000 0 vsize: 836064 [startup+110.013 s] Raw data (loadavg): 0.98 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 9435 40 0 0 25 0 10 0 477694134 856129536 24857 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 24857 13073 16 0 209000 0 vsize: 836064 [startup+120.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 10318 40 0 0 25 0 10 0 477694134 856129536 25095 4294967295 134512640 134569956 3221224384 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 25095 13073 16 0 209000 0 vsize: 836064 [startup+130.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 11197 40 0 0 25 0 10 0 477694134 856129536 25335 4294967295 134512640 134569956 3221224384 3221214184 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 25335 13073 16 0 209000 0 vsize: 836064 [startup+140.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 12090 41 0 0 25 0 10 0 477694134 856129536 25552 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 25552 13073 16 0 209000 0 vsize: 836064 [startup+150.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 12980 41 0 0 25 0 10 0 477694134 856129536 25751 4294967295 134512640 134569956 3221224384 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 25751 13073 16 0 209000 0 vsize: 836064 [startup+160.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 13857 41 0 0 24 0 10 0 477694134 856129536 25949 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 25949 13073 16 0 209000 0 vsize: 836064 [startup+170.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 14745 41 0 0 25 0 10 0 477694134 856129536 26235 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 26235 13073 16 0 209000 0 vsize: 836064 [startup+180.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 15645 41 0 0 25 0 10 0 477694134 856129536 26420 4294967295 134512640 134569956 3221224384 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 26420 13073 16 0 209000 0 vsize: 836064 [startup+190.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 16539 41 0 0 25 0 10 0 477694134 856129536 26605 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 26605 13073 16 0 209000 0 vsize: 836064 [startup+200.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 17440 41 0 0 25 0 10 0 477694134 856129536 26777 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 26777 13073 16 0 209000 0 vsize: 836064 [startup+210.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 18334 41 0 0 25 0 10 0 477694134 856129536 26954 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 26954 13073 16 0 209000 0 vsize: 836064 [startup+220.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 19237 42 0 0 25 0 10 0 477694134 856129536 27118 4294967295 134512640 134569956 3221224384 3221214184 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 27118 13073 16 0 209000 0 vsize: 836064 [startup+230.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 20134 42 0 0 25 0 10 0 477694134 856129536 27282 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 27282 13073 16 0 209000 0 vsize: 836064 [startup+240.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 21039 42 0 0 25 0 10 0 477694134 856129536 27438 4294967295 134512640 134569956 3221224384 3221214708 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 27438 13073 16 0 209000 0 vsize: 836064 [startup+250.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 21939 42 0 0 25 0 10 0 477694134 856129536 27602 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 27602 13073 16 0 209000 0 vsize: 836064 [startup+260.023 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 22837 42 0 0 24 0 10 0 477694134 856129536 27756 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 27756 13073 16 0 209000 0 vsize: 836064 [startup+270.024 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 23734 42 0 0 25 0 10 0 477694134 856129536 27886 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 27886 13073 16 0 209000 0 vsize: 836064 [startup+280.027 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 24627 42 0 0 25 0 10 0 477694134 856129536 28018 4294967295 134512640 134569956 3221224384 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 28018 13073 16 0 209000 0 vsize: 836064 [startup+290.028 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 25530 42 0 0 25 0 10 0 477694134 856129536 28325 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 28325 13073 16 0 209000 0 vsize: 836064 [startup+300.032 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 26436 43 0 0 25 0 10 0 477694134 856129536 28460 4294967295 134512640 134569956 3221224384 3221213392 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 28460 13073 16 0 209000 0 vsize: 836064 [startup+310.033 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 27339 43 0 0 25 0 10 0 477694134 856129536 28600 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 28600 13073 16 0 209000 0 vsize: 836064 [startup+320.036 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 28243 43 0 0 25 0 10 0 477694134 856129536 28735 4294967295 134512640 134569956 3221224384 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 28735 13073 16 0 209000 0 vsize: 836064 [startup+330.036 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 29148 43 0 0 25 0 10 0 477694134 856129536 28873 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 28873 13073 16 0 209000 0 vsize: 836064 [startup+340.038 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 30050 43 0 0 24 0 10 0 477694134 856129536 29013 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 29013 13073 16 0 209000 0 vsize: 836064 [startup+350.038 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 30960 43 0 0 25 0 10 0 477694134 856129536 29136 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 29136 13073 16 0 209000 0 vsize: 836064 [startup+360.039 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 31863 44 0 0 24 0 10 0 477694134 856129536 29267 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 29267 13073 16 0 209000 0 vsize: 836064 [startup+370.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 32774 44 0 0 25 0 10 0 477694134 856129536 29383 4294967295 134512640 134569956 3221224384 3221214568 1131155724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 29383 13073 16 0 209000 0 vsize: 836064 [startup+380.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 33677 44 0 0 24 0 10 0 477694134 856129536 29509 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 29509 13073 16 0 209000 0 vsize: 836064 [startup+390.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 34587 44 0 0 25 0 10 0 477694134 856129536 29626 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 29626 13073 16 0 209000 0 vsize: 836064 [startup+400.041 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 35489 44 0 0 25 0 10 0 477694134 856129536 29752 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 29752 13073 16 0 209000 0 vsize: 836064 [startup+410.043 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 36399 44 0 0 25 0 10 0 477694134 856129536 29865 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 29865 13073 16 0 209000 0 vsize: 836064 [startup+420.043 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 37300 44 0 0 25 0 10 0 477694134 856129536 29989 4294967295 134512640 134569956 3221224384 3221214568 1131155727 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 29989 13073 16 0 209000 0 vsize: 836064 [startup+430.044 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 38209 44 0 0 25 0 10 0 477694134 856129536 30101 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 30101 13073 16 0 209000 0 vsize: 836064 [startup+440.045 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 39111 44 0 0 25 0 10 0 477694134 856129536 30221 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 30221 13073 16 0 209000 0 vsize: 836064 [startup+450.046 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 40020 45 0 0 25 0 10 0 477694134 856129536 30321 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 30321 13073 16 0 209000 0 vsize: 836064 [startup+460.047 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 40921 45 0 0 25 0 10 0 477694134 856129536 30437 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 30437 13073 16 0 209000 0 vsize: 836064 [startup+470.048 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 41830 45 0 0 22 0 10 0 477694134 856129536 30544 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 30544 13073 16 0 209000 0 vsize: 836064 [startup+480.048 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 42731 45 0 0 17 0 10 0 477694134 856129536 30657 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 30657 13073 16 0 209000 0 vsize: 836064 [startup+490.049 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 43640 45 0 0 20 0 10 0 477694134 856129536 30760 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 30760 13073 16 0 209000 0 vsize: 836064 [startup+500.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 44542 45 0 0 18 0 10 0 477694134 856129536 30871 4294967295 134512640 134569956 3221224384 3221214716 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 30871 13073 16 0 209000 0 vsize: 836064 [startup+510.052 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 45454 45 0 0 22 0 10 0 477694134 856129536 30972 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 30972 13073 16 0 209000 0 vsize: 836064 [startup+520.052 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 46360 45 0 0 19 0 10 0 477694134 856129536 31074 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 31074 13073 16 0 209000 0 vsize: 836064 [startup+530.052 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 47259 45 0 0 22 0 10 0 477694134 856129536 31168 4294967295 134512640 134569956 3221224384 3221214160 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 31168 13073 16 0 209000 0 vsize: 836064 [startup+540.053 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 48145 45 0 0 16 0 10 0 477694134 856129536 31265 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 31265 13073 16 0 209000 0 vsize: 836064 [startup+550.054 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 49043 45 0 0 19 0 10 0 477694134 856129536 31542 4294967295 134512640 134569956 3221224384 3221214568 1131155873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 31542 13073 16 0 209000 0 vsize: 836064 [startup+560.055 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 49953 45 0 0 22 0 10 0 477694134 856129536 31627 4294967295 134512640 134569956 3221224384 3221214708 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 31627 13073 16 0 209000 0 vsize: 836064 [startup+570.058 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 50856 46 0 0 24 0 10 0 477694134 856129536 31726 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 31726 13073 16 0 209000 0 vsize: 836064 [startup+580.059 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 51767 46 0 0 19 0 10 0 477694134 856129536 31826 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 31826 13073 16 0 209000 0 vsize: 836064 [startup+590.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 52678 46 0 0 22 0 10 0 477694134 856129536 31920 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 31920 13073 16 0 209000 0 vsize: 836064 [startup+600.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 53588 46 0 0 23 0 10 0 477694134 856129536 32016 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 32016 13073 16 0 209000 0 vsize: 836064 [startup+610.061 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 54491 46 0 0 18 0 10 0 477694134 856129536 32116 4294967295 134512640 134569956 3221224384 3221214568 1131155856 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 32116 13073 16 0 209000 0 vsize: 836064 [startup+620.062 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 55401 46 0 0 19 0 10 0 477694134 856129536 32210 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 32210 13073 16 0 209000 0 vsize: 836064 [startup+630.063 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 56310 46 0 0 20 0 10 0 477694134 856129536 32303 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 32303 13073 16 0 209000 0 vsize: 836064 [startup+640.064 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 57220 46 0 0 22 0 10 0 477694134 856129536 32395 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 32395 13073 16 0 209000 0 vsize: 836064 [startup+650.065 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 58123 46 0 0 18 0 10 0 477694134 856129536 32491 4294967295 134512640 134569956 3221224384 3221214568 1131155880 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 32491 13073 16 0 209000 0 vsize: 836064 [startup+660.065 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 59034 46 0 0 20 0 10 0 477694134 856129536 32581 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 32581 13073 16 0 209000 0 vsize: 836064 [startup+670.065 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 59939 47 0 0 19 0 10 0 477694134 856129536 32671 4294967295 134512640 134569956 3221224384 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 32671 13073 16 0 209000 0 vsize: 836064 [startup+680.066 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 60853 47 0 0 25 0 10 0 477694134 856129536 32761 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 32761 13073 16 0 209000 0 vsize: 836064 [startup+690.068 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 61761 47 0 0 25 0 10 0 477694134 856129536 32841 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 32841 13073 16 0 209000 0 vsize: 836064 [startup+700.068 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 62675 47 0 0 25 0 10 0 477694134 856129536 32915 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 32915 13073 16 0 209000 0 vsize: 836064 [startup+710.069 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 63579 47 0 0 25 0 10 0 477694134 856129536 32999 4294967295 134512640 134569956 3221224384 3221214184 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 32999 13073 16 0 209000 0 vsize: 836064 [startup+720.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 64491 47 0 0 25 0 10 0 477694134 856129536 33078 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 33078 13073 16 0 209000 0 vsize: 836064 [startup+730.073 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 65395 47 0 0 25 0 10 0 477694134 856129536 33157 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 33159 13073 16 0 209000 0 vsize: 836064 [startup+740.074 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 66306 47 0 0 25 0 10 0 477694134 856129536 33241 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 33241 13073 16 0 209000 0 vsize: 836064 [startup+750.074 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 67217 47 0 0 25 0 10 0 477694134 856129536 33319 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 33319 13073 16 0 209000 0 vsize: 836064 [startup+760.079 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 68122 47 0 0 25 0 10 0 477694134 856129536 33398 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 33398 13073 16 0 209000 0 vsize: 836064 [startup+770.08 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 69028 47 0 0 24 0 10 0 477694134 856129536 33482 4294967295 134512640 134569956 3221224384 3221214568 1131155863 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 33482 13073 16 0 209000 0 vsize: 836064 [startup+780.08 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 69937 47 0 0 25 0 10 0 477694134 856129536 33560 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 33560 13073 16 0 209000 0 vsize: 836064 [startup+790.084 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 70845 47 0 0 25 0 10 0 477694134 856129536 33640 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 33640 13073 16 0 209000 0 vsize: 836064 [startup+800.084 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 71753 47 0 0 25 0 10 0 477694134 856129536 33721 4294967295 134512640 134569956 3221224384 3221214568 1131155852 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 33721 13073 16 0 209000 0 vsize: 836064 [startup+810.086 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 72655 47 0 0 25 0 10 0 477694134 856129536 33802 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 33803 13073 16 0 209000 0 vsize: 836064 [startup+820.087 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 73564 48 0 0 25 0 10 0 477694134 856129536 33884 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 33884 13073 16 0 209000 0 vsize: 836064 [startup+830.088 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 74473 48 0 0 25 0 10 0 477694134 856129536 33961 4294967295 134512640 134569956 3221224384 3221214208 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 33961 13073 16 0 209000 0 vsize: 836064 [startup+840.088 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 75381 48 0 0 25 0 10 0 477694134 856129536 34038 4294967295 134512640 134569956 3221224384 3221214768 1131045363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 34038 13073 16 0 209000 0 vsize: 836064 [startup+850.088 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 76289 48 0 0 25 0 10 0 477694134 856129536 34116 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 34116 13073 16 0 209000 0 vsize: 836064 [startup+860.089 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 77197 48 0 0 25 0 10 0 477694134 856129536 34193 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 34193 13073 16 0 209000 0 vsize: 836064 [startup+870.089 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 78100 48 0 0 25 0 10 0 477694134 856129536 34270 4294967295 134512640 134569956 3221224384 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 34270 13073 16 0 209000 0 vsize: 836064 [startup+880.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 79004 48 0 0 17 0 10 0 477694134 856129536 34351 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 34351 13073 16 0 209000 0 vsize: 836064 [startup+890.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 79911 48 0 0 17 0 10 0 477694134 856129536 34427 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 34427 13073 16 0 209000 0 vsize: 836064 [startup+900.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 80816 48 0 0 18 0 10 0 477694134 856129536 34503 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 34503 13073 16 0 209000 0 vsize: 836064 [startup+910.091 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 81723 48 0 0 20 0 10 0 477694134 856129536 34579 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 34579 13073 16 0 209000 0 vsize: 836064 [startup+920.092 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 82629 48 0 0 20 0 10 0 477694134 856129536 34655 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 34655 13073 16 0 209000 0 vsize: 836064 [startup+930.092 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 83535 48 0 0 21 0 10 0 477694134 856129536 34728 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 34728 13073 16 0 209000 0 vsize: 836064 [startup+940.093 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 84442 48 0 0 22 0 10 0 477694134 856129536 34804 4294967295 134512640 134569956 3221224384 3221214184 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 34804 13073 16 0 209000 0 vsize: 836064 [startup+950.097 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 85344 48 0 0 24 0 10 0 477694134 856129536 34878 4294967295 134512640 134569956 3221224384 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 34878 13073 16 0 209000 0 vsize: 836064 [startup+960.096 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 86249 49 0 0 17 0 10 0 477694134 856129536 34955 4294967295 134512640 134569956 3221224384 3221214176 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 34955 13073 16 0 209000 0 vsize: 836064 [startup+970.097 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 87155 49 0 0 19 0 10 0 477694134 856129536 35017 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 35017 13073 16 0 209000 0 vsize: 836064 [startup+980.098 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 88061 49 0 0 20 0 10 0 477694134 856129536 35090 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 35090 13073 16 0 209000 0 vsize: 836064 [startup+990.099 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 88966 49 0 0 24 0 10 0 477694134 856129536 35161 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 35161 13073 16 0 209000 0 vsize: 836064 [startup+1000.1 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 89864 49 0 0 17 0 10 0 477694134 856129536 35237 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 35237 13073 16 0 209000 0 vsize: 836064 [startup+1010.1 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 90764 49 0 0 18 0 10 0 477694134 856129536 35800 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 35800 13073 16 0 209000 0 vsize: 836064 [startup+1020.1 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 91679 50 0 0 25 0 10 0 477694134 856129536 35800 4294967295 134512640 134569956 3221224384 3221214568 1131155880 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 35800 13073 16 0 209000 0 vsize: 836064 [startup+1030.1 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 92584 50 0 0 25 0 10 0 477694134 856129536 35902 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 35902 13073 16 0 209000 0 vsize: 836064 [startup+1040.1 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 93484 50 0 0 25 0 10 0 477694134 856129536 35936 4294967295 134512640 134569956 3221224384 3221214568 1131155827 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 35936 13073 16 0 209000 0 vsize: 836064 [startup+1050.1 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 94381 50 0 0 25 0 10 0 477694134 856129536 36007 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 36007 13073 16 0 209000 0 vsize: 836064 [startup+1060.1 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 95279 50 0 0 25 0 10 0 477694134 856129536 36074 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 36074 13073 16 0 209000 0 vsize: 836064 [startup+1070.1 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 96177 50 0 0 25 0 10 0 477694134 856129536 36143 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 36143 13073 16 0 209000 0 vsize: 836064 [startup+1080.1 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 97076 50 0 0 25 0 10 0 477694134 856129536 36216 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 36216 13073 16 0 209000 0 vsize: 836064 [startup+1090.11 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 97974 51 0 0 25 0 10 0 477694134 856129536 36290 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 36290 13073 16 0 209000 0 vsize: 836064 [startup+1100.11 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 98871 51 0 0 25 0 10 0 477694134 856129536 36347 4294967295 134512640 134569956 3221224384 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 36347 13073 16 0 209000 0 vsize: 836064 [startup+1110.11 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 99761 51 0 0 25 0 10 0 477694134 856129536 36443 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 36443 13073 16 0 209000 0 vsize: 836064 [startup+1120.11 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 100661 51 0 0 25 0 10 0 477694134 856129536 36494 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 36494 13073 16 0 209000 0 vsize: 836064 [startup+1130.11 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 101562 51 0 0 25 0 10 0 477694134 856129536 36551 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 36551 13073 16 0 209000 0 vsize: 836064 [startup+1140.11 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 102464 51 0 0 25 0 10 0 477694134 856129536 36611 4294967295 134512640 134569956 3221224384 3221214112 1076874558 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 36611 13073 16 0 209000 0 vsize: 836064 [startup+1150.11 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 103363 51 0 0 25 0 10 0 477694134 856129536 36673 4294967295 134512640 134569956 3221224384 3221214568 1131155856 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 36673 13073 16 0 209000 0 vsize: 836064 [startup+1160.11 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 104265 51 0 0 23 0 10 0 477694134 856129536 36764 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 36764 13073 16 0 209000 0 vsize: 836064 [startup+1170.11 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) S 28315 27222 27221 0 -1 0 18011 0 1 0 105161 52 0 0 23 0 10 0 477694134 856129536 36796 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 36796 13073 16 0 209000 0 vsize: 836064 [startup+1180.11 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 106059 52 0 0 17 0 10 0 477694134 856129536 36866 4294967295 134512640 134569956 3221224384 3221214184 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 36866 13073 16 0 209000 0 vsize: 836064 [startup+1190.12 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 106961 52 0 0 19 0 10 0 477694134 856129536 36958 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 36958 13073 16 0 209000 0 vsize: 836064 [startup+1200.12 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 107865 52 0 0 21 0 10 0 477694134 856129536 37027 4294967295 134512640 134569956 3221224384 3221214568 1131155737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 37027 13073 16 0 209000 0 vsize: 836064 [startup+1210.12 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 108766 52 0 0 20 0 10 0 477694134 856129536 37043 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 37043 13073 16 0 209000 0 vsize: 836064 [startup+1220.12 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 109668 52 0 0 20 0 10 0 477694134 856129536 37162 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 37162 13073 16 0 209000 0 vsize: 836064 [startup+1230.12 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 110574 52 0 0 21 0 10 0 477694134 856129536 37204 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 37204 13073 16 0 209000 0 vsize: 836064 [startup+1240.12 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 111474 52 0 0 20 0 10 0 477694134 856129536 37242 4294967295 134512640 134569956 3221224384 3221214112 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 37242 13073 16 0 209000 0 vsize: 836064 [startup+1250.12 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 112371 52 0 0 20 0 10 0 477694134 856129536 37358 4294967295 134512640 134569956 3221224384 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 37358 13073 16 0 209000 0 vsize: 836064 [startup+1260.12 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 113274 52 0 0 21 0 10 0 477694134 856129536 37368 4294967295 134512640 134569956 3221224384 3221214568 1131155880 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 37368 13073 16 0 209000 0 vsize: 836064 [startup+1270.12 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 114175 52 0 0 21 0 10 0 477694134 856129536 37489 4294967295 134512640 134569956 3221224384 3221214568 1131155779 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 37489 13073 16 0 209000 0 vsize: 836064 [startup+1280.12 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 115082 52 0 0 23 0 10 0 477694134 856129536 37545 4294967295 134512640 134569956 3221224384 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 37545 13073 16 0 209000 0 vsize: 836064 [startup+1290.12 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 115989 53 0 0 22 0 10 0 477694134 856129536 37578 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 37578 13073 16 0 209000 0 vsize: 836064 [startup+1300.12 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 116893 53 0 0 23 0 10 0 477694134 856129536 37644 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 37644 13073 16 0 209000 0 vsize: 836064 [startup+1310.12 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 117798 53 0 0 23 0 10 0 477694134 856129536 37717 4294967295 134512640 134569956 3221224384 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 37717 13073 16 0 209000 0 vsize: 836064 [startup+1320.12 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 118700 53 0 0 21 0 10 0 477694134 856129536 37757 4294967295 134512640 134569956 3221224384 3221214708 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 37757 13073 16 0 209000 0 vsize: 836064 [startup+1330.12 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 119606 53 0 0 25 0 10 0 477694134 856129536 37870 4294967295 134512640 134569956 3221224384 3221214184 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 37870 13073 16 0 209000 0 vsize: 836064 [startup+1340.12 s] Raw data (loadavg): 0.99 0.97 0.95 2/63 28325 Raw data (stat): 28316 (java) R 28315 27222 27221 0 -1 0 18011 0 1 0 120516 53 0 0 25 0 10 0 477694134 856129536 37932 4294967295 134512640 134569956 3221224384 3221214184 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209016 37932 13073 16 0 209000 0 vsize: 836064 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1340.25 s] Raw data (loadavg): 0.99 0.97 0.95 1/54 28326 Raw data (stat): 28316 (java) Z 28315 27222 27221 0 -1 1036 18011 19055 1 0 120521 53 13314 58 25 0 1 0 477694134 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): 1340.25 CPU time (s): 1339.48 CPU user time (s): 1338.36 CPU system time (s): 1.12083 CPU usage (%): 99.9426 Max. virtual memory (Kb): 836064 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####