Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mod011.opb |
MD5SUM | 5b9b020cb595d55e8dbba526590c1088 |
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 | 144804 |
Biggest coefficient in the objective function | 37355509514240 |
Number of bits for the biggest coefficient in the objective function | 46 |
Sum of the numbers in the objective function | 86052429291555573 |
Number of bits of the sum of numbers in the objective function | 57 |
Biggest number in a constraint | 37355509514240 |
Number of bits of the biggest number in a constraint | 46 |
Biggest sum of numbers in a constraint | 86052429291555573 |
Number of bits of the biggest sum of numbers | 57 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.9477 |
Number of variables | 211663 |
Total number of constraints | 6093 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 128 |
Number of constraints which are nor clauses,nor cardinality constraints | 5965 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16460 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-04-21 15:55:14 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17715 boxname=wulflinc6 idbench=1363 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 5b9b020cb595d55e8dbba526590c1088 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mod011.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mod011.opb IDLAUNCH: 17715 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 546016 kB Buffers: 18708 kB Cached: 448248 kB SwapCached: 544 kB Active: 46820 kB Inactive: 422148 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 545764 kB SwapTotal: 2097136 kB SwapFree: 2095720 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5112 kB Slab: 13976 kB Committed_AS: 63592 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 16:17:07 (client local time) WITH STATUS 143 IN 1309.99 SECONDS stats: 17715 7 1309.99 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mod011.opb c reading problem c [nbvar=211663] c [nbconstr=6093] #### 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.79 0.90 0.90 2/54 19249 Raw data (stat): 19249 (runsolver) R 19248 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488100024 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0002 s] Raw data (loadavg): 0.82 0.90 0.90 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 881 38 0 0 21 0 10 0 488100024 853393408 19100 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208348 19100 13073 16 0 208332 0 vsize: 833392 [startup+20.0089 s] Raw data (loadavg): 0.85 0.91 0.90 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 1771 39 0 0 20 0 10 0 488100024 853590016 19633 4294967295 134512640 134569956 3221224400 3221214824 1131223423 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 19633 13073 16 0 208380 0 vsize: 833584 [startup+30.0096 s] Raw data (loadavg): 0.87 0.91 0.90 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 2670 40 0 0 23 0 10 0 488100024 853590016 20060 4294967295 134512640 134569956 3221224400 3221214824 1131222032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 20060 13073 16 0 208380 0 vsize: 833584 [startup+40.0108 s] Raw data (loadavg): 0.89 0.91 0.90 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 3601 40 0 0 25 0 10 0 488100024 853590016 20285 4294967295 134512640 134569956 3221224400 3221214812 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 20285 13073 16 0 208380 0 vsize: 833584 [startup+50.0122 s] Raw data (loadavg): 0.91 0.91 0.90 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 4530 41 0 0 25 0 10 0 488100024 853590016 20404 4294967295 134512640 134569956 3221224400 3221214824 1131223050 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 20404 13073 16 0 208380 0 vsize: 833584 [startup+60.0133 s] Raw data (loadavg): 0.92 0.92 0.90 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 5459 41 0 0 17 0 10 0 488100024 853753856 20521 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208436 20521 13073 16 0 208420 0 vsize: 833744 [startup+70.0135 s] Raw data (loadavg): 0.93 0.92 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 6404 42 0 0 25 0 10 0 488100024 853590016 20721 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 20721 13073 16 0 208380 0 vsize: 833584 [startup+80.0146 s] Raw data (loadavg): 0.94 0.92 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 7349 42 0 0 25 0 10 0 488100024 853590016 20803 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 20803 13073 16 0 208380 0 vsize: 833584 [startup+90.0158 s] Raw data (loadavg): 0.95 0.92 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 8295 43 0 0 24 0 10 0 488100024 853590016 20876 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 20876 13073 16 0 208380 0 vsize: 833584 [startup+100.017 s] Raw data (loadavg): 0.96 0.92 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 9243 43 0 0 25 0 10 0 488100024 853590016 20941 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 20941 13073 16 0 208380 0 vsize: 833584 [startup+110.018 s] Raw data (loadavg): 0.96 0.93 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 10189 44 0 0 18 0 10 0 488100024 853590016 21005 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 21005 13073 16 0 208380 0 vsize: 833584 [startup+120.019 s] Raw data (loadavg): 0.97 0.93 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 11136 44 0 0 24 0 10 0 488100024 853590016 21066 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 21066 13073 16 0 208380 0 vsize: 833584 [startup+130.02 s] Raw data (loadavg): 0.97 0.93 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 12085 44 0 0 25 0 10 0 488100024 853590016 21120 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 21120 13073 16 0 208380 0 vsize: 833584 [startup+140.022 s] Raw data (loadavg): 0.98 0.93 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 13032 45 0 0 25 0 10 0 488100024 853590016 21176 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 21176 13073 16 0 208380 0 vsize: 833584 [startup+150.023 s] Raw data (loadavg): 0.98 0.93 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 13978 45 0 0 25 0 10 0 488100024 853590016 21228 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 21228 13073 16 0 208380 0 vsize: 833584 [startup+160.024 s] Raw data (loadavg): 0.98 0.94 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 14924 46 0 0 24 0 10 0 488100024 853590016 21280 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 21280 13073 16 0 208380 0 vsize: 833584 [startup+170.025 s] Raw data (loadavg): 0.98 0.94 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 15858 46 0 0 25 0 10 0 488100024 853590016 21326 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 21326 13073 16 0 208380 0 vsize: 833584 [startup+180.026 s] Raw data (loadavg): 0.99 0.94 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 16785 47 0 0 25 0 10 0 488100024 853590016 21371 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 21371 13073 16 0 208380 0 vsize: 833584 [startup+190.027 s] Raw data (loadavg): 0.99 0.94 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 17720 47 0 0 25 0 10 0 488100024 853590016 21673 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 21673 13073 16 0 208380 0 vsize: 833584 [startup+200.031 s] Raw data (loadavg): 0.99 0.94 0.91 2/63 19258 Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 18663 48 0 0 25 0 10 0 488100024 853590016 21716 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 21716 13073 16 0 208380 0 vsize: 833584 [startup+210.031 s] Raw data (loadavg): 0.99 0.94 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 19607 48 0 0 25 0 10 0 488100024 853590016 21759 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 21759 13073 16 0 208380 0 vsize: 833584 [startup+220.033 s] Raw data (loadavg): 1.07 0.96 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 20548 48 0 0 25 0 10 0 488100024 853590016 21802 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 21802 13073 16 0 208380 0 vsize: 833584 [startup+230.034 s] Raw data (loadavg): 1.06 0.96 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 21492 49 0 0 25 0 10 0 488100024 853590016 21840 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208396 21840 13073 16 0 208380 0 vsize: 833584 [startup+240.034 s] Raw data (loadavg): 1.05 0.96 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 22432 49 0 0 25 0 10 0 488100024 853590016 21881 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 21881 13073 16 0 208380 0 vsize: 833584 [startup+250.034 s] Raw data (loadavg): 1.04 0.96 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 23372 50 0 0 25 0 10 0 488100024 853590016 21920 4294967295 134512640 134569956 3221224400 3221214804 1080204146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 21920 13073 16 0 208380 0 vsize: 833584 [startup+260.035 s] Raw data (loadavg): 1.03 0.96 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 24316 50 0 0 25 0 10 0 488100024 853590016 21956 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 21956 13073 16 0 208380 0 vsize: 833584 [startup+270.035 s] Raw data (loadavg): 1.03 0.97 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 25254 51 0 0 25 0 10 0 488100024 853590016 21994 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 21994 13073 16 0 208380 0 vsize: 833584 [startup+280.036 s] Raw data (loadavg): 1.02 0.97 0.91 2/63 19258 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 26196 51 0 0 21 0 10 0 488100024 853590016 22029 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208396 22029 13073 16 0 208380 0 vsize: 833584 [startup+290.037 s] Raw data (loadavg): 1.02 0.97 0.91 3/66 19296 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 27133 52 0 0 25 0 10 0 488100024 853590016 22065 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208396 22065 13073 16 0 208380 0 vsize: 833584 [startup+300.037 s] Raw data (loadavg): 1.02 0.97 0.91 2/63 19311 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 28074 52 0 0 19 0 10 0 488100024 853590016 22098 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208396 22098 13073 16 0 208380 0 vsize: 833584 [startup+310.037 s] Raw data (loadavg): 1.01 0.97 0.91 2/63 19311 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 29016 52 0 0 21 0 10 0 488100024 853590016 22131 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208396 22131 13073 16 0 208380 0 vsize: 833584 [startup+320.038 s] Raw data (loadavg): 1.01 0.97 0.91 2/63 19311 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 29954 52 0 0 20 0 10 0 488100024 853590016 22166 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22166 13073 16 0 208380 0 vsize: 833584 [startup+330.039 s] Raw data (loadavg): 1.01 0.97 0.91 2/63 19311 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 30893 52 0 0 25 0 10 0 488100024 853590016 22197 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22197 13073 16 0 208380 0 vsize: 833584 [startup+340.039 s] Raw data (loadavg): 1.01 0.97 0.91 2/63 19311 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 31827 52 0 0 25 0 10 0 488100024 853590016 22231 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22231 13073 16 0 208380 0 vsize: 833584 [startup+350.039 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19311 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 32766 53 0 0 25 0 10 0 488100024 853590016 22263 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22263 13073 16 0 208380 0 vsize: 833584 [startup+360.041 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 33700 53 0 0 25 0 10 0 488100024 853590016 22295 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22295 13073 16 0 208380 0 vsize: 833584 [startup+370.041 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 34638 54 0 0 25 0 10 0 488100024 853590016 22325 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22325 13073 16 0 208380 0 vsize: 833584 [startup+380.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 35571 55 0 0 24 0 10 0 488100024 853590016 22356 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22356 13073 16 0 208380 0 vsize: 833584 [startup+390.041 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 36508 55 0 0 25 0 10 0 488100024 853590016 22385 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22385 13073 16 0 208380 0 vsize: 833584 [startup+400.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 37444 55 0 0 25 0 10 0 488100024 853590016 22414 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22414 13073 16 0 208380 0 vsize: 833584 [startup+410.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 38375 56 0 0 25 0 10 0 488100024 853590016 22444 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22444 13073 16 0 208380 0 vsize: 833584 [startup+420.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 39311 56 0 0 25 0 10 0 488100024 853590016 22472 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22472 13073 16 0 208380 0 vsize: 833584 [startup+430.045 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 40242 56 0 0 24 0 10 0 488100024 853590016 22501 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22501 13073 16 0 208380 0 vsize: 833584 [startup+440.044 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 41177 56 0 0 25 0 10 0 488100024 853590016 22528 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22528 13073 16 0 208380 0 vsize: 833584 [startup+450.045 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 42112 57 0 0 25 0 10 0 488100024 853590016 22555 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22555 13073 16 0 208380 0 vsize: 833584 [startup+460.046 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 43042 57 0 0 24 0 10 0 488100024 853590016 22584 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22584 13073 16 0 208380 0 vsize: 833584 [startup+470.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 43975 57 0 0 25 0 10 0 488100024 853590016 22610 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22610 13073 16 0 208380 0 vsize: 833584 [startup+480.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 44909 57 0 0 25 0 10 0 488100024 853590016 22636 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22636 13073 16 0 208380 0 vsize: 833584 [startup+490.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 45839 58 0 0 21 0 10 0 488100024 853590016 22662 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208396 22662 13073 16 0 208380 0 vsize: 833584 [startup+500.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 46771 58 0 0 17 0 10 0 488100024 853590016 22689 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208396 22689 13073 16 0 208380 0 vsize: 833584 [startup+510.052 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 47703 58 0 0 18 0 10 0 488100024 853590016 22714 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208396 22714 13073 16 0 208380 0 vsize: 833584 [startup+520.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 48635 58 0 0 23 0 10 0 488100024 853590016 22739 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22739 13073 16 0 208380 0 vsize: 833584 [startup+530.054 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 49566 58 0 0 25 0 10 0 488100024 853590016 22764 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22764 13073 16 0 208380 0 vsize: 833584 [startup+540.059 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 50492 59 0 0 17 0 10 0 488100024 853590016 22791 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22791 13073 16 0 208380 0 vsize: 833584 [startup+550.059 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 51420 60 0 0 25 0 10 0 488100024 853590016 22815 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22815 13073 16 0 208380 0 vsize: 833584 [startup+560.059 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 52350 61 0 0 25 0 10 0 488100024 853590016 22839 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22839 13073 16 0 208380 0 vsize: 833584 [startup+570.061 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 53279 61 0 0 25 0 10 0 488100024 853590016 22863 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22863 13073 16 0 208380 0 vsize: 833584 [startup+580.062 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 54203 62 0 0 24 0 10 0 488100024 853590016 22888 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22888 13073 16 0 208380 0 vsize: 833584 [startup+590.063 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 55131 62 0 0 25 0 10 0 488100024 853590016 22912 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22912 13073 16 0 208380 0 vsize: 833584 [startup+600.063 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19313 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 56059 63 0 0 19 0 10 0 488100024 853590016 22935 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22935 13073 16 0 208380 0 vsize: 833584 [startup+610.064 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 56986 63 0 0 25 0 10 0 488100024 853590016 22958 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22958 13073 16 0 208380 0 vsize: 833584 [startup+620.064 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 57912 64 0 0 24 0 10 0 488100024 853590016 22981 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 22981 13073 16 0 208380 0 vsize: 833584 [startup+630.066 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 58834 64 0 0 24 0 10 0 488100024 853590016 23005 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 23005 13073 16 0 208380 0 vsize: 833584 [startup+640.067 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 59760 64 0 0 25 0 10 0 488100024 853590016 23027 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 23027 13073 16 0 208380 0 vsize: 833584 [startup+650.068 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 60685 64 0 0 25 0 10 0 488100024 853590016 23049 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 23049 13073 16 0 208380 0 vsize: 833584 [startup+660.068 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 61603 65 0 0 25 0 10 0 488100024 853590016 24090 4294967295 134512640 134569956 3221224400 3221214768 1131044787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24090 13073 16 0 208380 0 vsize: 833584 [startup+670.069 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 62531 65 0 0 25 0 10 0 488100024 853590016 24090 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24090 13073 16 0 208380 0 vsize: 833584 [startup+680.07 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 63449 66 0 0 25 0 10 0 488100024 853590016 24094 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24094 13073 16 0 208380 0 vsize: 833584 [startup+690.071 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 64363 66 0 0 25 0 10 0 488100024 853590016 24132 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24132 13073 16 0 208380 0 vsize: 833584 [startup+700.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 65278 67 0 0 25 0 10 0 488100024 853590016 24158 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24158 13073 16 0 208380 0 vsize: 833584 [startup+710.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 66191 67 0 0 25 0 10 0 488100024 853590016 24184 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24184 13073 16 0 208380 0 vsize: 833584 [startup+720.073 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 67105 68 0 0 25 0 10 0 488100024 853590016 24210 4294967295 134512640 134569956 3221224400 3221214200 1077559812 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24210 13073 16 0 208380 0 vsize: 833584 [startup+730.074 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 68019 68 0 0 25 0 10 0 488100024 853590016 24234 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24234 13073 16 0 208380 0 vsize: 833584 [startup+740.074 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 68934 69 0 0 25 0 10 0 488100024 853590016 24254 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24254 13073 16 0 208380 0 vsize: 833584 [startup+750.075 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 69847 69 0 0 25 0 10 0 488100024 853590016 24285 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24285 13073 16 0 208380 0 vsize: 833584 [startup+760.076 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 70765 70 0 0 25 0 10 0 488100024 853590016 24309 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24309 13073 16 0 208380 0 vsize: 833584 [startup+770.076 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 71678 71 0 0 25 0 10 0 488100024 853590016 24333 4294967295 134512640 134569956 3221224400 3221214804 1080204160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24333 13073 16 0 208380 0 vsize: 833584 [startup+780.077 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 72590 71 0 0 23 0 10 0 488100024 853590016 24353 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24353 13073 16 0 208380 0 vsize: 833584 [startup+790.078 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 73502 72 0 0 25 0 10 0 488100024 853590016 24383 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24383 13073 16 0 208380 0 vsize: 833584 [startup+800.079 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 74414 72 0 0 25 0 10 0 488100024 853590016 24407 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24407 13073 16 0 208380 0 vsize: 833584 [startup+810.079 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 75326 72 0 0 25 0 10 0 488100024 853590016 24432 4294967295 134512640 134569956 3221224400 3221214712 1079678056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24432 13073 16 0 208380 0 vsize: 833584 [startup+820.081 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 76236 73 0 0 20 0 10 0 488100024 853590016 24452 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24452 13073 16 0 208380 0 vsize: 833584 [startup+830.085 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 77151 73 0 0 25 0 10 0 488100024 853590016 24478 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24478 13073 16 0 208380 0 vsize: 833584 [startup+840.085 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 78065 73 0 0 25 0 10 0 488100024 853590016 24499 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24499 13073 16 0 208380 0 vsize: 833584 [startup+850.087 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 78976 74 0 0 25 0 10 0 488100024 853590016 24524 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24524 13073 16 0 208380 0 vsize: 833584 [startup+860.088 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 79886 74 0 0 18 0 10 0 488100024 853590016 24543 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24543 13073 16 0 208380 0 vsize: 833584 [startup+870.088 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 80796 74 0 0 25 0 10 0 488100024 853590016 24570 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24570 13073 16 0 208380 0 vsize: 833584 [startup+880.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 81704 75 0 0 19 0 10 0 488100024 853590016 24593 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24593 13073 16 0 208380 0 vsize: 833584 [startup+890.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 82619 75 0 0 21 0 10 0 488100024 853590016 24611 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24611 13073 16 0 208380 0 vsize: 833584 [startup+900.091 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 83528 76 0 0 25 0 10 0 488100024 853590016 24639 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24639 13073 16 0 208380 0 vsize: 833584 [startup+910.092 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 84437 76 0 0 25 0 10 0 488100024 853590016 24658 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24658 13073 16 0 208380 0 vsize: 833584 [startup+920.093 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 85345 77 0 0 17 0 10 0 488100024 853590016 24683 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24683 13073 16 0 208380 0 vsize: 833584 [startup+930.093 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 86253 77 0 0 24 0 10 0 488100024 853590016 24703 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24703 13073 16 0 208380 0 vsize: 833584 [startup+940.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 87167 77 0 0 25 0 10 0 488100024 853590016 24720 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24720 13073 16 0 208380 0 vsize: 833584 [startup+950.096 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 88073 77 0 0 21 0 10 0 488100024 853590016 24750 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24750 13073 16 0 208380 0 vsize: 833584 [startup+960.097 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 88978 78 0 0 19 0 10 0 488100024 853590016 24772 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24772 13073 16 0 208380 0 vsize: 833584 [startup+970.097 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 89885 78 0 0 23 0 10 0 488100024 853590016 24790 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24790 13073 16 0 208380 0 vsize: 833584 [startup+980.097 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 90796 79 0 0 21 0 10 0 488100024 853590016 24813 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24813 13073 16 0 208380 0 vsize: 833584 [startup+990.099 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 91703 79 0 0 22 0 10 0 488100024 853590016 24836 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24836 13073 16 0 208380 0 vsize: 833584 [startup+1000.1 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 92608 80 0 0 19 0 10 0 488100024 853590016 24857 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24857 13073 16 0 208380 0 vsize: 833584 [startup+1010.1 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 93520 80 0 0 24 0 10 0 488100024 853590016 24874 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24874 13073 16 0 208380 0 vsize: 833584 [startup+1020.11 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 94426 80 0 0 22 0 10 0 488100024 853590016 24892 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24892 13073 16 0 208380 0 vsize: 833584 [startup+1030.11 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 95330 81 0 0 20 0 10 0 488100024 853590016 24920 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24920 13073 16 0 208380 0 vsize: 833584 [startup+1040.11 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 96234 82 0 0 24 0 10 0 488100024 853590016 24938 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24938 13073 16 0 208380 0 vsize: 833584 [startup+1050.11 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 97144 82 0 0 22 0 10 0 488100024 853590016 24961 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24961 13073 16 0 208380 0 vsize: 833584 [startup+1060.11 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 98047 83 0 0 20 0 10 0 488100024 853590016 24985 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 24985 13073 16 0 208380 0 vsize: 833584 [startup+1070.11 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 98949 83 0 0 23 0 10 0 488100024 853590016 25004 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25004 13073 16 0 208380 0 vsize: 833584 [startup+1080.11 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 99858 83 0 0 23 0 10 0 488100024 853590016 25023 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25023 13073 16 0 208380 0 vsize: 833584 [startup+1090.11 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 100762 84 0 0 20 0 10 0 488100024 853590016 25044 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25044 13073 16 0 208380 0 vsize: 833584 [startup+1100.11 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 101669 84 0 0 23 0 10 0 488100024 853590016 25066 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25066 13073 16 0 208380 0 vsize: 833584 [startup+1110.11 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 102572 85 0 0 21 0 10 0 488100024 853590016 25085 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25085 13073 16 0 208380 0 vsize: 833584 [startup+1120.11 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 103474 86 0 0 19 0 10 0 488100024 853590016 25105 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25105 13073 16 0 208380 0 vsize: 833584 [startup+1130.11 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 104382 86 0 0 21 0 10 0 488100024 853590016 25125 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25125 13073 16 0 208380 0 vsize: 833584 [startup+1140.11 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 105284 86 0 0 21 0 10 0 488100024 853590016 25144 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25144 13073 16 0 208380 0 vsize: 833584 [startup+1150.12 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 106185 87 0 0 19 0 10 0 488100024 853590016 25166 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25166 13073 16 0 208380 0 vsize: 833584 [startup+1160.12 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 107091 87 0 0 20 0 10 0 488100024 853590016 25184 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25184 13073 16 0 208380 0 vsize: 833584 [startup+1170.12 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 107993 88 0 0 20 0 10 0 488100024 853590016 25204 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25204 13073 16 0 208380 0 vsize: 833584 [startup+1180.12 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 108900 88 0 0 24 0 10 0 488100024 853590016 25219 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25219 13073 16 0 208380 0 vsize: 833584 [startup+1190.12 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 109799 89 0 0 21 0 10 0 488100024 853590016 25244 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25244 13073 16 0 208380 0 vsize: 833584 [startup+1200.12 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 110697 89 0 0 19 0 10 0 488100024 853590016 25263 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25263 13073 16 0 208380 0 vsize: 833584 [startup+1210.12 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 111601 89 0 0 22 0 10 0 488100024 853590016 25281 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25281 13073 16 0 208380 0 vsize: 833584 [startup+1220.12 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 112501 89 0 0 18 0 10 0 488100024 853590016 25301 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25301 13073 16 0 208380 0 vsize: 833584 [startup+1230.12 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 113407 89 0 0 23 0 10 0 488100024 853590016 25316 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25316 13073 16 0 208380 0 vsize: 833584 [startup+1240.12 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 114305 90 0 0 20 0 10 0 488100024 853590016 25332 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25332 13073 16 0 208380 0 vsize: 833584 [startup+1250.12 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 115209 90 0 0 21 0 10 0 488100024 853590016 25347 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25347 13073 16 0 208380 0 vsize: 833584 [startup+1260.13 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 116107 91 0 0 20 0 10 0 488100024 853590016 25376 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25376 13073 16 0 208380 0 vsize: 833584 [startup+1270.13 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 117010 91 0 0 23 0 10 0 488100024 853590016 25396 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25396 13073 16 0 208380 0 vsize: 833584 [startup+1280.13 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 117910 92 0 0 21 0 10 0 488100024 853590016 25417 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25417 13073 16 0 208380 0 vsize: 833584 [startup+1290.13 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 118809 92 0 0 19 0 10 0 488100024 853590016 25430 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25430 13073 16 0 208380 0 vsize: 833584 [startup+1300.13 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 119714 93 0 0 21 0 10 0 488100024 853590016 25460 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25460 13073 16 0 208380 0 vsize: 833584 [startup+1310.13 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 19315 Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 120616 94 0 0 20 0 10 0 488100024 853590016 25475 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208396 25475 13073 16 0 208380 0 vsize: 833584 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.22 s] Raw data (loadavg): 1.00 0.97 0.91 1/54 19316 Raw data (stat): 19249 (java) Z 19248 29653 29652 0 -1 1036 17983 7178 1 0 120620 94 10239 44 21 0 1 0 488100024 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1310.22 CPU time (s): 1309.99 CPU user time (s): 1308.6 CPU system time (s): 1.38579 CPU usage (%): 99.982 Max. virtual memory (Kb): 833744 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####