Name | normalized-opb/submitted/een/normalized-nw04.opb |
MD5SUM | c4c13764e2ea959929790d6ef6d0273c |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 87482 |
Biggest coefficient in the objective function | 5220 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 120189580 |
Number of bits of the sum of numbers in the objective function | 27 |
Biggest number in a constraint | 42031 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 120189580 |
Number of bits of the biggest sum of numbers | 27 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 18.0483 |
Number of variables | 87482 |
Total number of constraints | 72 |
Number of constraints which are clauses | 36 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 599 |
Maximum length of a constraint | 42032 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc10 THE 2005-04-14 21:06:27 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5092 boxname=wulflinc10 idbench=392 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: c4c13764e2ea959929790d6ef6d0273c /oldhome/oroussel/tmp/wulflinc10/normalized-nw04.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-nw04.opb IDLAUNCH: 5092 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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: 815908 kB Buffers: 35944 kB Cached: 161908 kB SwapCached: 164 kB Active: 85972 kB Inactive: 114928 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 815656 kB SwapTotal: 2097136 kB SwapFree: 2096972 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6920 kB Slab: 12152 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-14 21:28:20 (client local time) WITH STATUS 143 IN 1309.7 SECONDS stats: 5092 7 1309.7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc10/normalized-nw04.opb c reading problem c [nbvar=87482] c [nbconstr=72] #### 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.80 0.95 0.88 2/54 5727 Raw data (stat): 5727 (runsolver) R 5726 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 429487160 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0007 s] Raw data (loadavg): 0.83 0.95 0.88 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17977 0 1 0 883 41 0 0 25 0 10 0 429487160 853692416 19164 4294967295 134512640 134569956 3221224416 3221214536 1077558368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208421 19164 13073 16 0 208405 0 vsize: 833684 [startup+20.0012 s] Raw data (loadavg): 0.86 0.95 0.88 2/63 5736 Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 1774 41 0 0 25 0 10 0 429487160 853856256 19667 4294967295 134512640 134569956 3221224416 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 19667 13073 16 0 208445 0 vsize: 833844 [startup+30.0066 s] Raw data (loadavg): 0.88 0.95 0.89 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 2681 41 0 0 25 0 10 0 429487160 853856256 20082 4294967295 134512640 134569956 3221224416 3221214828 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 20082 13073 16 0 208445 0 vsize: 833844 [startup+40.0063 s] Raw data (loadavg): 0.90 0.96 0.89 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 3608 42 0 0 24 0 10 0 429487160 853856256 20309 4294967295 134512640 134569956 3221224416 3221214208 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 20309 13073 16 0 208445 0 vsize: 833844 [startup+50.0069 s] Raw data (loadavg): 0.91 0.96 0.89 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 4541 42 0 0 25 0 10 0 429487160 853856256 20417 4294967295 134512640 134569956 3221224416 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 20417 13073 16 0 208445 0 vsize: 833844 [startup+60.0081 s] Raw data (loadavg): 0.92 0.96 0.89 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 5471 43 0 0 25 0 10 0 429487160 853856256 20514 4294967295 134512640 134569956 3221224416 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 20514 13073 16 0 208445 0 vsize: 833844 [startup+70.0083 s] Raw data (loadavg): 0.94 0.96 0.89 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 6417 43 0 0 25 0 10 0 429487160 853856256 20721 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 20721 13073 16 0 208445 0 vsize: 833844 [startup+80.0098 s] Raw data (loadavg): 0.94 0.96 0.89 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 7363 43 0 0 25 0 10 0 429487160 853856256 20798 4294967295 134512640 134569956 3221224416 3221214828 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 20798 13073 16 0 208445 0 vsize: 833844 [startup+90.0138 s] Raw data (loadavg): 0.95 0.96 0.89 2/63 5736 Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 8312 44 0 0 25 0 10 0 429487160 853856256 20866 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 20866 13073 16 0 208445 0 vsize: 833844 [startup+100.013 s] Raw data (loadavg): 0.96 0.96 0.89 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 9260 44 0 0 25 0 10 0 429487160 853856256 20930 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 20930 13073 16 0 208445 0 vsize: 833844 [startup+110.013 s] Raw data (loadavg): 0.97 0.96 0.89 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 10207 45 0 0 24 0 10 0 429487160 853856256 20991 4294967295 134512640 134569956 3221224416 3221214280 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 20991 13073 16 0 208445 0 vsize: 833844 [startup+120.014 s] Raw data (loadavg): 0.97 0.96 0.89 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 11157 45 0 0 25 0 10 0 429487160 853856256 21045 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 21045 13073 16 0 208445 0 vsize: 833844 [startup+130.014 s] Raw data (loadavg): 0.97 0.96 0.89 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 12105 45 0 0 25 0 10 0 429487160 853856256 21100 4294967295 134512640 134569956 3221224416 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 21100 13073 16 0 208445 0 vsize: 833844 [startup+140.014 s] Raw data (loadavg): 0.98 0.97 0.90 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 13055 46 0 0 25 0 10 0 429487160 853856256 21150 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 21150 13073 16 0 208445 0 vsize: 833844 [startup+150.014 s] Raw data (loadavg): 0.98 0.97 0.90 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 14002 46 0 0 25 0 10 0 429487160 853856256 21200 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 21200 13073 16 0 208445 0 vsize: 833844 [startup+160.014 s] Raw data (loadavg): 0.98 0.97 0.90 2/63 5736 Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 14951 46 0 0 25 0 10 0 429487160 853856256 21246 4294967295 134512640 134569956 3221224416 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 21246 13073 16 0 208445 0 vsize: 833844 [startup+170.014 s] Raw data (loadavg): 0.99 0.97 0.90 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 15885 47 0 0 25 0 10 0 429487160 853856256 21294 4294967295 134512640 134569956 3221224416 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 21294 13073 16 0 208445 0 vsize: 833844 [startup+180.015 s] Raw data (loadavg): 0.99 0.97 0.90 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 16812 48 0 0 25 0 10 0 429487160 853856256 21340 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 21340 13073 16 0 208445 0 vsize: 833844 [startup+190.015 s] Raw data (loadavg): 0.99 0.97 0.90 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 17749 48 0 0 25 0 10 0 429487160 853856256 21637 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 21637 13073 16 0 208445 0 vsize: 833844 [startup+200.014 s] Raw data (loadavg): 0.99 0.97 0.90 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 18693 48 0 0 25 0 10 0 429487160 853856256 21680 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 21680 13073 16 0 208445 0 vsize: 833844 [startup+210.015 s] Raw data (loadavg): 0.99 0.97 0.90 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 19638 49 0 0 25 0 10 0 429487160 853856256 21719 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 21719 13073 16 0 208445 0 vsize: 833844 [startup+220.015 s] Raw data (loadavg): 0.99 0.97 0.90 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 20580 49 0 0 25 0 10 0 429487160 853856256 21759 4294967295 134512640 134569956 3221224416 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 21759 13073 16 0 208445 0 vsize: 833844 [startup+230.015 s] Raw data (loadavg): 0.99 0.97 0.90 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 21525 49 0 0 25 0 10 0 429487160 853856256 21797 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 21797 13073 16 0 208445 0 vsize: 833844 [startup+240.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 22466 50 0 0 25 0 10 0 429487160 853856256 21836 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 21836 13073 16 0 208445 0 vsize: 833844 [startup+250.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 23409 50 0 0 25 0 10 0 429487160 853856256 21871 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 21871 13073 16 0 208445 0 vsize: 833844 [startup+260.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 24349 50 0 0 24 0 10 0 429487160 853856256 21908 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 21908 13073 16 0 208445 0 vsize: 833844 [startup+270.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 25293 51 0 0 25 0 10 0 429487160 853856256 21941 4294967295 134512640 134569956 3221224416 3221214200 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 21941 13073 16 0 208445 0 vsize: 833844 [startup+280.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 26235 51 0 0 25 0 10 0 429487160 853856256 21975 4294967295 134512640 134569956 3221224416 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 21975 13073 16 0 208445 0 vsize: 833844 [startup+290.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 27174 51 0 0 25 0 10 0 429487160 853856256 22009 4294967295 134512640 134569956 3221224416 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22009 13073 16 0 208445 0 vsize: 833844 [startup+300.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 28116 52 0 0 25 0 10 0 429487160 853856256 22041 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22041 13073 16 0 208445 0 vsize: 833844 [startup+310.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 29053 52 0 0 24 0 10 0 429487160 853856256 22074 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22074 13073 16 0 208445 0 vsize: 833844 [startup+320.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 29994 53 0 0 25 0 10 0 429487160 853856256 22105 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22105 13073 16 0 208445 0 vsize: 833844 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 30934 53 0 0 25 0 10 0 429487160 853856256 22136 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22136 13073 16 0 208445 0 vsize: 833844 [startup+340.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 31871 54 0 0 25 0 10 0 429487160 853856256 22167 4294967295 134512640 134569956 3221224416 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22167 13073 16 0 208445 0 vsize: 833844 [startup+350.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 32810 54 0 0 25 0 10 0 429487160 853856256 22197 4294967295 134512640 134569956 3221224416 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22197 13073 16 0 208445 0 vsize: 833844 [startup+360.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 33749 54 0 0 25 0 10 0 429487160 853856256 22226 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22226 13073 16 0 208445 0 vsize: 833844 [startup+370.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 34684 55 0 0 25 0 10 0 429487160 853856256 22256 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22256 13073 16 0 208445 0 vsize: 833844 [startup+380.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 35622 55 0 0 25 0 10 0 429487160 853856256 22284 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22284 13073 16 0 208445 0 vsize: 833844 [startup+390.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 36560 56 0 0 25 0 10 0 429487160 853856256 22313 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22313 13073 16 0 208445 0 vsize: 833844 [startup+400.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 37493 57 0 0 24 0 10 0 429487160 853856256 22342 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22342 13073 16 0 208445 0 vsize: 833844 [startup+410.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 38429 57 0 0 25 0 10 0 429487160 853856256 22369 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22369 13073 16 0 208445 0 vsize: 833844 [startup+420.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 39365 57 0 0 25 0 10 0 429487160 853856256 22395 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22395 13073 16 0 208445 0 vsize: 833844 [startup+430.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 40300 58 0 0 25 0 10 0 429487160 853856256 22422 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22422 13073 16 0 208445 0 vsize: 833844 [startup+440.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 41232 58 0 0 25 0 10 0 429487160 853856256 22449 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22449 13073 16 0 208445 0 vsize: 833844 [startup+450.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 42168 58 0 0 25 0 10 0 429487160 853856256 22475 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22475 13073 16 0 208445 0 vsize: 833844 [startup+460.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 43102 59 0 0 25 0 10 0 429487160 853856256 22501 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22501 13073 16 0 208445 0 vsize: 833844 [startup+470.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 44036 60 0 0 25 0 10 0 429487160 853856256 22526 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22526 13073 16 0 208445 0 vsize: 833844 [startup+480.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 44969 60 0 0 25 0 10 0 429487160 853856256 22551 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22551 13073 16 0 208445 0 vsize: 833844 [startup+490.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 45898 60 0 0 25 0 10 0 429487160 853856256 22577 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22577 13073 16 0 208445 0 vsize: 833844 [startup+500.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 46831 61 0 0 25 0 10 0 429487160 853856256 22601 4294967295 134512640 134569956 3221224416 3221214828 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22601 13073 16 0 208445 0 vsize: 833844 [startup+510.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 47763 62 0 0 25 0 10 0 429487160 853856256 22625 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22625 13073 16 0 208445 0 vsize: 833844 [startup+520.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 48695 62 0 0 25 0 10 0 429487160 853856256 22649 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22649 13073 16 0 208445 0 vsize: 833844 [startup+530.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 49627 62 0 0 25 0 10 0 429487160 853856256 22672 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22672 13073 16 0 208445 0 vsize: 833844 [startup+540.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 50555 62 0 0 25 0 10 0 429487160 853856256 22696 4294967295 134512640 134569956 3221224416 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22696 13073 16 0 208445 0 vsize: 833844 [startup+550.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 51484 63 0 0 25 0 10 0 429487160 853856256 22720 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22720 13073 16 0 208445 0 vsize: 833844 [startup+560.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 52414 63 0 0 25 0 10 0 429487160 853856256 22743 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22743 13073 16 0 208445 0 vsize: 833844 [startup+570.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 53344 64 0 0 25 0 10 0 429487160 853856256 22766 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22766 13073 16 0 208445 0 vsize: 833844 [startup+580.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 54273 64 0 0 25 0 10 0 429487160 853856256 22789 4294967295 134512640 134569956 3221224416 3221214296 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22789 13073 16 0 208445 0 vsize: 833844 [startup+590.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 55203 65 0 0 25 0 10 0 429487160 853856256 22812 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22812 13073 16 0 208445 0 vsize: 833844 [startup+600.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 56130 65 0 0 25 0 10 0 429487160 853856256 22834 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22834 13073 16 0 208445 0 vsize: 833844 [startup+610.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 57059 65 0 0 25 0 10 0 429487160 853856256 22856 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22856 13073 16 0 208445 0 vsize: 833844 [startup+620.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 57987 66 0 0 25 0 10 0 429487160 853856256 22878 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22878 13073 16 0 208445 0 vsize: 833844 [startup+630.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 58914 66 0 0 25 0 10 0 429487160 853856256 22900 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22900 13073 16 0 208445 0 vsize: 833844 [startup+640.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 59842 67 0 0 25 0 10 0 429487160 853856256 22924 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22924 13073 16 0 208445 0 vsize: 833844 [startup+650.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 60768 67 0 0 25 0 10 0 429487160 853856256 22950 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22950 13073 16 0 208445 0 vsize: 833844 [startup+660.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 61695 68 0 0 25 0 10 0 429487160 853856256 22976 4294967295 134512640 134569956 3221224416 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 22976 13073 16 0 208445 0 vsize: 833844 [startup+670.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 62615 68 0 0 25 0 10 0 429487160 853856256 24012 4294967295 134512640 134569956 3221224416 3221214200 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24012 13073 16 0 208445 0 vsize: 833844 [startup+680.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 63538 69 0 0 25 0 10 0 429487160 853856256 24012 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24012 13073 16 0 208445 0 vsize: 833844 [startup+690.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 64454 69 0 0 25 0 10 0 429487160 853856256 24043 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24043 13073 16 0 208445 0 vsize: 833844 [startup+700.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 65370 70 0 0 22 0 10 0 429487160 853856256 24067 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24067 13073 16 0 208445 0 vsize: 833844 [startup+710.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 66285 70 0 0 25 0 10 0 429487160 853856256 24093 4294967295 134512640 134569956 3221224416 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24093 13073 16 0 208445 0 vsize: 833844 [startup+720.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 67200 71 0 0 24 0 10 0 429487160 853856256 24115 4294967295 134512640 134569956 3221224416 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24115 13073 16 0 208445 0 vsize: 833844 [startup+730.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 68117 71 0 0 25 0 10 0 429487160 853856256 24139 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24139 13073 16 0 208445 0 vsize: 833844 [startup+740.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 69035 71 0 0 25 0 10 0 429487160 853856256 24160 4294967295 134512640 134569956 3221224416 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24160 13073 16 0 208445 0 vsize: 833844 [startup+750.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 69949 72 0 0 25 0 10 0 429487160 853856256 24180 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24180 13073 16 0 208445 0 vsize: 833844 [startup+760.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 70862 73 0 0 25 0 10 0 429487160 853856256 24211 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24211 13073 16 0 208445 0 vsize: 833844 [startup+770.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 71776 73 0 0 25 0 10 0 429487160 853856256 24234 4294967295 134512640 134569956 3221224416 3221214280 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24234 13073 16 0 208445 0 vsize: 833844 [startup+780.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 72690 73 0 0 25 0 10 0 429487160 853856256 24255 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24255 13073 16 0 208445 0 vsize: 833844 [startup+790.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 73609 74 0 0 25 0 10 0 429487160 853856256 24273 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24273 13073 16 0 208445 0 vsize: 833844 [startup+800.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 74522 74 0 0 25 0 10 0 429487160 853856256 24304 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24304 13073 16 0 208445 0 vsize: 833844 [startup+810.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 75435 75 0 0 25 0 10 0 429487160 853856256 24328 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24328 13073 16 0 208445 0 vsize: 833844 [startup+820.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 76349 75 0 0 25 0 10 0 429487160 853856256 24347 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24347 13073 16 0 208445 0 vsize: 833844 [startup+830.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 77261 76 0 0 24 0 10 0 429487160 853856256 24373 4294967295 134512640 134569956 3221224416 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24373 13073 16 0 208445 0 vsize: 833844 [startup+840.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 78178 76 0 0 25 0 10 0 429487160 853856256 24395 4294967295 134512640 134569956 3221224416 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24395 13073 16 0 208445 0 vsize: 833844 [startup+850.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 79089 76 0 0 25 0 10 0 429487160 853856256 24414 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24414 13073 16 0 208445 0 vsize: 833844 [startup+860.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 80001 76 0 0 25 0 10 0 429487160 853856256 24437 4294967295 134512640 134569956 3221224416 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24437 13073 16 0 208445 0 vsize: 833844 [startup+870.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 80914 77 0 0 25 0 10 0 429487160 853856256 24455 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24455 13073 16 0 208445 0 vsize: 833844 [startup+880.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 81828 77 0 0 25 0 10 0 429487160 853856256 24484 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24484 13073 16 0 208445 0 vsize: 833844 [startup+890.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 82737 77 0 0 25 0 10 0 429487160 853856256 24504 4294967295 134512640 134569956 3221224416 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24504 13073 16 0 208445 0 vsize: 833844 [startup+900.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 83647 78 0 0 24 0 10 0 429487160 853856256 24528 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24528 13073 16 0 208445 0 vsize: 833844 [startup+910.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 84562 79 0 0 25 0 10 0 429487160 853856256 24549 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24549 13073 16 0 208445 0 vsize: 833844 [startup+920.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 85472 79 0 0 25 0 10 0 429487160 853856256 24568 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24568 13073 16 0 208445 0 vsize: 833844 [startup+930.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 86380 79 0 0 20 0 10 0 429487160 853856256 24591 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24591 13073 16 0 208445 0 vsize: 833844 [startup+940.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 87294 80 0 0 25 0 10 0 429487160 853856256 24608 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24608 13073 16 0 208445 0 vsize: 833844 [startup+950.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 88202 80 0 0 25 0 10 0 429487160 853856256 24633 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208461 24633 13073 16 0 208445 0 vsize: 833844 [startup+960.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/63 5736 Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 89111 80 0 0 25 0 10 0 429487160 853856256 24654 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24654 13073 16 0 208445 0 vsize: 833844 [startup+970.032 s] Raw data (loadavg): 1.07 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 90022 81 0 0 25 0 10 0 429487160 853856256 24674 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24674 13073 16 0 208445 0 vsize: 833844 [startup+980.034 s] Raw data (loadavg): 1.06 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 90929 81 0 0 25 0 10 0 429487160 853856256 24695 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24695 13073 16 0 208445 0 vsize: 833844 [startup+990.034 s] Raw data (loadavg): 1.05 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 91842 81 0 0 25 0 10 0 429487160 853856256 24713 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24713 13073 16 0 208445 0 vsize: 833844 [startup+1000.03 s] Raw data (loadavg): 1.04 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 92750 81 0 0 25 0 10 0 429487160 853856256 24737 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24737 13073 16 0 208445 0 vsize: 833844 [startup+1010.03 s] Raw data (loadavg): 1.03 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 93656 82 0 0 24 0 10 0 429487160 853856256 24755 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24755 13073 16 0 208445 0 vsize: 833844 [startup+1020.03 s] Raw data (loadavg): 1.03 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 94568 82 0 0 25 0 10 0 429487160 853856256 24771 4294967295 134512640 134569956 3221224416 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24771 13073 16 0 208445 0 vsize: 833844 [startup+1030.03 s] Raw data (loadavg): 1.02 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 95474 83 0 0 19 0 10 0 429487160 853856256 24796 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24796 13073 16 0 208445 0 vsize: 833844 [startup+1040.03 s] Raw data (loadavg): 1.02 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 96379 83 0 0 19 0 10 0 429487160 853856256 24816 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24816 13073 16 0 208445 0 vsize: 833844 [startup+1050.04 s] Raw data (loadavg): 1.02 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 97291 83 0 0 22 0 10 0 429487160 853856256 24832 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24832 13073 16 0 208445 0 vsize: 833844 [startup+1060.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 98196 84 0 0 21 0 10 0 429487160 853856256 24856 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24856 13073 16 0 208445 0 vsize: 833844 [startup+1070.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 99105 84 0 0 23 0 10 0 429487160 853856256 24876 4294967295 134512640 134569956 3221224416 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24876 13073 16 0 208445 0 vsize: 833844 [startup+1080.04 s] Raw data (loadavg): 1.01 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 100008 84 0 0 20 0 10 0 429487160 853856256 24896 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24896 13073 16 0 208445 0 vsize: 833844 [startup+1090.04 s] Raw data (loadavg): 1.01 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 100912 85 0 0 19 0 10 0 429487160 853856256 24913 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24913 13073 16 0 208445 0 vsize: 833844 [startup+1100.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 101821 85 0 0 22 0 10 0 429487160 853856256 24934 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24934 13073 16 0 208445 0 vsize: 833844 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 102724 86 0 0 19 0 10 0 429487160 853856256 24954 4294967295 134512640 134569956 3221224416 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24954 13073 16 0 208445 0 vsize: 833844 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 103632 86 0 0 23 0 10 0 429487160 853856256 24973 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24973 13073 16 0 208445 0 vsize: 833844 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 104534 87 0 0 19 0 10 0 429487160 853856256 24992 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 24992 13073 16 0 208445 0 vsize: 833844 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 105442 87 0 0 23 0 10 0 429487160 853856256 25012 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25012 13073 16 0 208445 0 vsize: 833844 [startup+1150.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 106345 88 0 0 21 0 10 0 429487160 853856256 25029 4294967295 134512640 134569956 3221224416 3221214820 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25029 13073 16 0 208445 0 vsize: 833844 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 107252 88 0 0 24 0 10 0 429487160 853856256 25050 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25050 13073 16 0 208445 0 vsize: 833844 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 108155 89 0 0 21 0 10 0 429487160 853856256 25067 4294967295 134512640 134569956 3221224416 3221214392 1079668463 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25067 13073 16 0 208445 0 vsize: 833844 [startup+1180.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 109059 90 0 0 23 0 10 0 429487160 853856256 25085 4294967295 134512640 134569956 3221224416 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25085 13073 16 0 208445 0 vsize: 833844 [startup+1190.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 109964 90 0 0 21 0 10 0 429487160 853856256 25107 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25107 13073 16 0 208445 0 vsize: 833844 [startup+1200.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 110864 90 0 0 23 0 10 0 429487160 853856256 25125 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25125 13073 16 0 208445 0 vsize: 833844 [startup+1210.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 111769 90 0 0 21 0 10 0 429487160 853856256 25143 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25143 13073 16 0 208445 0 vsize: 833844 [startup+1220.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 112674 90 0 0 24 0 10 0 429487160 853856256 25160 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25160 13073 16 0 208445 0 vsize: 833844 [startup+1230.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 113575 90 0 0 21 0 10 0 429487160 853856256 25178 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25178 13073 16 0 208445 0 vsize: 833844 [startup+1240.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 114480 91 0 0 24 0 10 0 429487160 853856256 25192 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25192 13073 16 0 208445 0 vsize: 833844 [startup+1250.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 115380 91 0 0 20 0 10 0 429487160 853856256 25207 4294967295 134512640 134569956 3221224416 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25207 13073 16 0 208445 0 vsize: 833844 [startup+1260.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 116286 91 0 0 23 0 10 0 429487160 853856256 25234 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25234 13073 16 0 208445 0 vsize: 833844 [startup+1270.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 117185 91 0 0 19 0 10 0 429487160 853856256 25251 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25251 13073 16 0 208445 0 vsize: 833844 [startup+1280.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 118089 91 0 0 22 0 10 0 429487160 853856256 25271 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25271 13073 16 0 208445 0 vsize: 833844 [startup+1290.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 118988 91 0 0 19 0 10 0 429487160 853856256 25288 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25288 13073 16 0 208445 0 vsize: 833844 [startup+1300.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 119893 92 0 0 21 0 10 0 429487160 853856256 25305 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25305 13073 16 0 208445 0 vsize: 833844 [startup+1310.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/63 5736 Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 120793 92 0 0 18 0 10 0 429487160 853856256 25331 4294967295 134512640 134569956 3221224416 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208461 25331 13073 16 0 208445 0 vsize: 833844 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.11 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 5737 Raw data (stat): 5727 (java) Z 5726 25347 25346 0 -1 1036 17978 6984 1 0 120794 92 10044 38 19 0 1 0 429487160 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.11 CPU time (s): 1309.7 CPU user time (s): 1308.39 CPU system time (s): 1.3078 CPU usage (%): 99.9684 Max. virtual memory (Kb): 833844 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####