Name | normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb |
MD5SUM | 2fc65c15b9b26fc3028e8a890f1d86ad |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 131 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 513 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1075.62 |
Number of variables | 201731 |
Total number of constraints | 592525 |
Number of constraints which are clauses | 579429 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13096 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc10 THE 2005-04-13 17:19:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2538 boxname=wulflinc10 idbench=282 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 2fc65c15b9b26fc3028e8a890f1d86ad /oldhome/oroussel/tmp/wulflinc10/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb IDLAUNCH: 2538 /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: 895204 kB Buffers: 32948 kB Cached: 86296 kB SwapCached: 164 kB Active: 65024 kB Inactive: 57264 kB HighTotal: 131008 kB HighFree: 40964 kB LowTotal: 903652 kB LowFree: 854240 kB SwapTotal: 2097136 kB SwapFree: 2096972 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6916 kB Slab: 11592 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 17:41:47 (client local time) WITH STATUS 143 IN SECONDS stats: 2538 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc10/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb c reading problem c [nbvar=201731] c [nbconstr=592525] #### 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): 1.22 1.06 0.97 2/54 26647 Raw data (stat): 26647 (runsolver) R 26646 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419483347 1052672 99 4294967295 134512640 135381576 3221224416 3221219664 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 1.18 1.06 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 807 42 0 0 25 0 10 0 419483347 855560192 20655 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208877 20655 13073 16 0 208861 0 vsize: 835508 [startup+20.0014 s] Raw data (loadavg): 1.23 1.07 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 1676 42 0 0 25 0 10 0 419483347 855560192 21431 4294967295 134512640 134569956 3221224384 3221214468 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208877 21431 13073 16 0 208861 0 vsize: 835508 [startup+30.0015 s] Raw data (loadavg): 1.20 1.07 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 2533 42 0 0 25 0 10 0 419483347 855560192 21973 4294967295 134512640 134569956 3221224384 3221214704 1130896151 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208877 21973 13073 16 0 208861 0 vsize: 835508 [startup+40.0022 s] Raw data (loadavg): 1.17 1.07 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 3389 43 0 0 25 0 10 0 419483347 855560192 22437 4294967295 134512640 134569956 3221224384 3221214856 1131170610 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208877 22437 13073 16 0 208861 0 vsize: 835508 [startup+50.0042 s] Raw data (loadavg): 1.14 1.06 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 4246 43 0 0 25 0 10 0 419483347 855560192 22780 4294967295 134512640 134569956 3221224384 3221214460 1074489757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208877 22780 13073 16 0 208861 0 vsize: 835508 [startup+60.0042 s] Raw data (loadavg): 1.12 1.06 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 5105 44 0 0 25 0 10 0 419483347 855560192 23094 4294967295 134512640 134569956 3221224384 3221214744 1131296375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208877 23094 13073 16 0 208861 0 vsize: 835508 [startup+70.0038 s] Raw data (loadavg): 1.10 1.06 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 5966 44 0 0 25 0 10 0 419483347 855560192 23398 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208877 23398 13073 16 0 208861 0 vsize: 835508 [startup+80.005 s] Raw data (loadavg): 1.08 1.06 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 6816 45 0 0 25 0 10 0 419483347 855560192 23811 4294967295 134512640 134569956 3221224384 3221214792 1131321138 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208877 23811 13073 16 0 208861 0 vsize: 835508 [startup+90.0049 s] Raw data (loadavg): 1.07 1.05 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 7682 46 0 0 25 0 10 0 419483347 855560192 24078 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208877 24078 13073 16 0 208861 0 vsize: 835508 [startup+100.005 s] Raw data (loadavg): 1.06 1.05 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 8553 46 0 0 25 0 10 0 419483347 855560192 24405 4294967295 134512640 134569956 3221224384 3221214240 1077558368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208877 24405 13073 16 0 208861 0 vsize: 835508 [startup+110.006 s] Raw data (loadavg): 1.05 1.05 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 9433 46 0 0 25 0 10 0 419483347 855560192 24660 4294967295 134512640 134569956 3221224384 3221214636 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208877 24660 13073 16 0 208861 0 vsize: 835508 [startup+120.008 s] Raw data (loadavg): 1.04 1.05 0.97 2/63 26656 Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 10314 47 0 0 25 0 10 0 419483347 855560192 24895 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208877 24895 13073 16 0 208861 0 vsize: 835508 [startup+130.008 s] Raw data (loadavg): 1.04 1.05 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 11193 47 0 0 25 0 10 0 419483347 855560192 25127 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 25127 13073 16 0 208861 0 vsize: 835508 [startup+140.008 s] Raw data (loadavg): 1.03 1.04 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 12082 47 0 0 25 0 10 0 419483347 855560192 25346 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 25346 13073 16 0 208861 0 vsize: 835508 [startup+150.009 s] Raw data (loadavg): 1.02 1.04 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 12968 47 0 0 25 0 10 0 419483347 855560192 25553 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 25553 13073 16 0 208861 0 vsize: 835508 [startup+160.009 s] Raw data (loadavg): 1.02 1.04 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 13854 47 0 0 25 0 10 0 419483347 855560192 25751 4294967295 134512640 134569956 3221224384 3221214780 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 25751 13073 16 0 208861 0 vsize: 835508 [startup+170.009 s] Raw data (loadavg): 1.02 1.04 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 14734 47 0 0 24 0 10 0 419483347 855560192 26056 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 26056 13073 16 0 208861 0 vsize: 835508 [startup+180.009 s] Raw data (loadavg): 1.01 1.04 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 15636 47 0 0 20 0 10 0 419483347 855560192 26224 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 26224 13073 16 0 208861 0 vsize: 835508 [startup+190.01 s] Raw data (loadavg): 1.01 1.03 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 16538 47 0 0 22 0 10 0 419483347 855560192 26393 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 26393 13073 16 0 208861 0 vsize: 835508 [startup+200.011 s] Raw data (loadavg): 1.01 1.03 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 17431 47 0 0 17 0 10 0 419483347 855560192 26578 4294967295 134512640 134569956 3221224384 3221214684 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 26578 13073 16 0 208861 0 vsize: 835508 [startup+210.011 s] Raw data (loadavg): 1.01 1.03 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 18333 48 0 0 20 0 10 0 419483347 855560192 26747 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 26747 13073 16 0 208861 0 vsize: 835508 [startup+220.011 s] Raw data (loadavg): 1.01 1.03 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 19237 48 0 0 23 0 10 0 419483347 855560192 26915 4294967295 134512640 134569956 3221224384 3221214552 1131155852 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 26915 13073 16 0 208861 0 vsize: 835508 [startup+230.011 s] Raw data (loadavg): 1.00 1.03 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 20136 48 0 0 19 0 10 0 419483347 855560192 27089 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 27089 13073 16 0 208861 0 vsize: 835508 [startup+240.011 s] Raw data (loadavg): 1.00 1.03 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 21044 48 0 0 22 0 10 0 419483347 855560192 27244 4294967295 134512640 134569956 3221224384 3221214552 1131155880 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 27244 13073 16 0 208861 0 vsize: 835508 [startup+250.012 s] Raw data (loadavg): 1.00 1.03 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 21944 48 0 0 17 0 10 0 419483347 855560192 27399 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 27399 13073 16 0 208861 0 vsize: 835508 [startup+260.013 s] Raw data (loadavg): 1.00 1.02 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 22850 48 0 0 19 0 10 0 419483347 855560192 27547 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 27547 13073 16 0 208861 0 vsize: 835508 [startup+270.013 s] Raw data (loadavg): 1.00 1.02 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 23744 48 0 0 22 0 10 0 419483347 855560192 27688 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 27688 13073 16 0 208861 0 vsize: 835508 [startup+280.014 s] Raw data (loadavg): 1.00 1.02 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 24630 48 0 0 16 0 10 0 419483347 855560192 27840 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 27840 13073 16 0 208861 0 vsize: 835508 [startup+290.015 s] Raw data (loadavg): 1.00 1.02 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 25532 49 0 0 20 0 10 0 419483347 855560192 28133 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 28133 13073 16 0 208861 0 vsize: 835508 [startup+300.015 s] Raw data (loadavg): 1.00 1.02 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 26439 49 0 0 23 0 10 0 419483347 855560192 28268 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 28268 13073 16 0 208861 0 vsize: 835508 [startup+310.014 s] Raw data (loadavg): 1.00 1.02 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 27338 49 0 0 18 0 10 0 419483347 855560192 28412 4294967295 134512640 134569956 3221224384 3221214552 1131155873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 28412 13073 16 0 208861 0 vsize: 835508 [startup+320.014 s] Raw data (loadavg): 1.00 1.02 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 28245 49 0 0 22 0 10 0 419483347 855560192 28544 4294967295 134512640 134569956 3221224384 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 28544 13073 16 0 208861 0 vsize: 835508 [startup+330.014 s] Raw data (loadavg): 1.00 1.02 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 29146 49 0 0 20 0 10 0 419483347 855560192 28682 4294967295 134512640 134569956 3221224384 3221214192 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 28682 13073 16 0 208861 0 vsize: 835508 [startup+340.015 s] Raw data (loadavg): 1.00 1.02 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 30057 49 0 0 24 0 10 0 419483347 855560192 28809 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 28809 13073 16 0 208861 0 vsize: 835508 [startup+350.016 s] Raw data (loadavg): 1.00 1.02 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 30963 50 0 0 21 0 10 0 419483347 855560192 28933 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 28933 13073 16 0 208861 0 vsize: 835508 [startup+360.02 s] Raw data (loadavg): 1.00 1.01 0.97 2/63 26656 Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 31870 50 0 0 24 0 10 0 419483347 855560192 29051 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 29051 13073 16 0 208861 0 vsize: 835508 [startup+370.02 s] Raw data (loadavg): 1.00 1.01 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 32779 50 0 0 20 0 10 0 419483347 855560192 29168 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 29168 13073 16 0 208861 0 vsize: 835508 [startup+380.021 s] Raw data (loadavg): 1.00 1.01 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 33689 50 0 0 24 0 10 0 419483347 855560192 29281 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 29281 13073 16 0 208861 0 vsize: 835508 [startup+390.021 s] Raw data (loadavg): 1.00 1.01 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 34592 50 0 0 20 0 10 0 419483347 855560192 29408 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 29408 13073 16 0 208861 0 vsize: 835508 [startup+400.022 s] Raw data (loadavg): 1.00 1.01 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 35503 50 0 0 24 0 10 0 419483347 855560192 29527 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 29527 13073 16 0 208861 0 vsize: 835508 [startup+410.022 s] Raw data (loadavg): 1.00 1.01 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 36408 50 0 0 19 0 10 0 419483347 855560192 29645 4294967295 134512640 134569956 3221224384 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 29645 13073 16 0 208861 0 vsize: 835508 [startup+420.021 s] Raw data (loadavg): 1.00 1.01 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 37319 51 0 0 23 0 10 0 419483347 855560192 29755 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 29755 13073 16 0 208861 0 vsize: 835508 [startup+430.022 s] Raw data (loadavg): 1.00 1.01 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 38223 51 0 0 19 0 10 0 419483347 855560192 29873 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 29873 13073 16 0 208861 0 vsize: 835508 [startup+440.022 s] Raw data (loadavg): 1.00 1.01 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 39134 51 0 0 22 0 10 0 419483347 855560192 29981 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 29981 13073 16 0 208861 0 vsize: 835508 [startup+450.022 s] Raw data (loadavg): 1.00 1.01 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 40037 51 0 0 18 0 10 0 419483347 855560192 30098 4294967295 134512640 134569956 3221224384 3221214192 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 30098 13073 16 0 208861 0 vsize: 835508 [startup+460.022 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 40947 51 0 0 21 0 10 0 419483347 855560192 30206 4294967295 134512640 134569956 3221224384 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 30206 13073 16 0 208861 0 vsize: 835508 [startup+470.026 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 41854 51 0 0 24 0 10 0 419483347 855560192 30313 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 30313 13073 16 0 208861 0 vsize: 835508 [startup+480.026 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 42760 51 0 0 20 0 10 0 419483347 855560192 30424 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 30424 13073 16 0 208861 0 vsize: 835508 [startup+490.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 43670 52 0 0 23 0 10 0 419483347 855560192 30530 4294967295 134512640 134569956 3221224384 3221214240 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 30530 13073 16 0 208861 0 vsize: 835508 [startup+500.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 44573 52 0 0 19 0 10 0 419483347 855560192 30639 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 30639 13073 16 0 208861 0 vsize: 835508 [startup+510.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 45484 52 0 0 22 0 10 0 419483347 855560192 30738 4294967295 134512640 134569956 3221224384 3221214256 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 30738 13073 16 0 208861 0 vsize: 835508 [startup+520.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 46389 53 0 0 24 0 10 0 419483347 855560192 30834 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 30834 13073 16 0 208861 0 vsize: 835508 [startup+530.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 47293 53 0 0 17 0 10 0 419483347 855560192 30986 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 30986 13073 16 0 208861 0 vsize: 835508 [startup+540.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 48187 53 0 0 18 0 10 0 419483347 855560192 31061 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 31061 13073 16 0 208861 0 vsize: 835508 [startup+550.032 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 49081 53 0 0 20 0 10 0 419483347 855560192 31157 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 31157 13073 16 0 208861 0 vsize: 835508 [startup+560.032 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 49988 53 0 0 24 0 10 0 419483347 855560192 31420 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 31420 13073 16 0 208861 0 vsize: 835508 [startup+570.032 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 50889 53 0 0 17 0 10 0 419483347 855560192 31525 4294967295 134512640 134569956 3221224384 3221214240 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 31525 13073 16 0 208861 0 vsize: 835508 [startup+580.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 51799 53 0 0 20 0 10 0 419483347 855560192 31619 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 31619 13073 16 0 208861 0 vsize: 835508 [startup+590.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 52708 54 0 0 22 0 10 0 419483347 855560192 31712 4294967295 134512640 134569956 3221224384 3221214552 1131155709 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 31712 13073 16 0 208861 0 vsize: 835508 [startup+600.035 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 53612 54 0 0 18 0 10 0 419483347 855560192 31812 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 31812 13073 16 0 208861 0 vsize: 835508 [startup+610.034 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 54525 54 0 0 25 0 10 0 419483347 855560192 31900 4294967295 134512640 134569956 3221224384 3221214168 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 31900 13073 16 0 208861 0 vsize: 835508 [startup+620.037 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 55435 54 0 0 25 0 10 0 419483347 855560192 31985 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 31985 13073 16 0 208861 0 vsize: 835508 [startup+630.037 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 56344 54 0 0 25 0 10 0 419483347 855560192 32079 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 32079 13073 16 0 208861 0 vsize: 835508 [startup+640.038 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 57255 54 0 0 25 0 10 0 419483347 855560192 32161 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 32161 13073 16 0 208861 0 vsize: 835508 [startup+650.039 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 58165 54 0 0 25 0 10 0 419483347 855560192 32240 4294967295 134512640 134569956 3221224384 3221214552 1131155880 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 32240 13073 16 0 208861 0 vsize: 835508 [startup+660.039 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 59067 55 0 0 17 0 10 0 419483347 855560192 32335 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 32335 13073 16 0 208861 0 vsize: 835508 [startup+670.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 59977 55 0 0 18 0 10 0 419483347 855560192 32422 4294967295 134512640 134569956 3221224384 3221214240 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 32422 13073 16 0 208861 0 vsize: 835508 [startup+680.041 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 60887 55 0 0 20 0 10 0 419483347 855560192 32510 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 32510 13073 16 0 208861 0 vsize: 835508 [startup+690.041 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 61796 55 0 0 23 0 10 0 419483347 855560192 32599 4294967295 134512640 134569956 3221224384 3221214552 1131155880 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 32599 13073 16 0 208861 0 vsize: 835508 [startup+700.045 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 62705 55 0 0 24 0 10 0 419483347 855560192 32688 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 32688 13073 16 0 208861 0 vsize: 835508 [startup+710.047 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 63609 55 0 0 18 0 10 0 419483347 855560192 32776 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 32776 13073 16 0 208861 0 vsize: 835508 [startup+720.047 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 64519 55 0 0 20 0 10 0 419483347 855560192 32860 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 32860 13073 16 0 208861 0 vsize: 835508 [startup+730.048 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 65429 55 0 0 22 0 10 0 419483347 855560192 32941 4294967295 134512640 134569956 3221224384 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 32941 13073 16 0 208861 0 vsize: 835508 [startup+740.049 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 66339 56 0 0 23 0 10 0 419483347 855560192 33024 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 33024 13073 16 0 208861 0 vsize: 835508 [startup+750.051 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 67247 56 0 0 24 0 10 0 419483347 855560192 33107 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 33107 13073 16 0 208861 0 vsize: 835508 [startup+760.052 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 68149 56 0 0 17 0 10 0 419483347 855560192 33195 4294967295 134512640 134569956 3221224384 3221214664 1131044787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 33195 13073 16 0 208861 0 vsize: 835508 [startup+770.053 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 69059 56 0 0 18 0 10 0 419483347 855560192 33277 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 33277 13073 16 0 208861 0 vsize: 835508 [startup+780.053 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 69968 56 0 0 19 0 10 0 419483347 855560192 33357 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 33357 13073 16 0 208861 0 vsize: 835508 [startup+790.052 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 70877 56 0 0 20 0 10 0 419483347 855560192 33436 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 33436 13073 16 0 208861 0 vsize: 835508 [startup+800.053 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 71784 56 0 0 21 0 10 0 419483347 855560192 33516 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 33516 13073 16 0 208861 0 vsize: 835508 [startup+810.053 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 72693 56 0 0 22 0 10 0 419483347 855560192 33597 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 33597 13073 16 0 208861 0 vsize: 835508 [startup+820.053 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 73601 56 0 0 23 0 10 0 419483347 855560192 33676 4294967295 134512640 134569956 3221224384 3221214780 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 33676 13073 16 0 208861 0 vsize: 835508 [startup+830.054 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 74509 56 0 0 23 0 10 0 419483347 855560192 33756 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208877 33756 13073 16 0 208861 0 vsize: 835508 [startup+840.057 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 75410 56 0 0 25 0 10 0 419483347 855560192 33840 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 33840 13073 16 0 208861 0 vsize: 835508 [startup+850.058 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 76317 56 0 0 19 0 10 0 419483347 855560192 33917 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 33917 13073 16 0 208861 0 vsize: 835508 [startup+860.058 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 77224 57 0 0 20 0 10 0 419483347 855560192 33994 4294967295 134512640 134569956 3221224384 3221214168 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 33994 13073 16 0 208861 0 vsize: 835508 [startup+870.058 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 78132 57 0 0 23 0 10 0 419483347 855560192 34069 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 34069 13073 16 0 208861 0 vsize: 835508 [startup+880.062 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 79034 57 0 0 24 0 10 0 419483347 855560192 34147 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 34147 13073 16 0 208861 0 vsize: 835508 [startup+890.061 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 79938 57 0 0 18 0 10 0 419483347 855560192 34224 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 34224 13073 16 0 208861 0 vsize: 835508 [startup+900.061 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 80844 57 0 0 20 0 10 0 419483347 855560192 34295 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 34295 13073 16 0 208861 0 vsize: 835508 [startup+910.062 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 81750 57 0 0 20 0 10 0 419483347 855560192 34371 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 34371 13073 16 0 208861 0 vsize: 835508 [startup+920.062 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 82656 58 0 0 21 0 10 0 419483347 855560192 34443 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 34443 13073 16 0 208861 0 vsize: 835508 [startup+930.062 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 83561 58 0 0 22 0 10 0 419483347 855560192 34517 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 34517 13073 16 0 208861 0 vsize: 835508 [startup+940.062 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 84467 58 0 0 22 0 10 0 419483347 855560192 34589 4294967295 134512640 134569956 3221224384 3221214552 1131155788 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 34589 13073 16 0 208861 0 vsize: 835508 [startup+950.064 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 85372 58 0 0 23 0 10 0 419483347 855560192 34664 4294967295 134512640 134569956 3221224384 3221214552 1131155744 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 34664 13073 16 0 208861 0 vsize: 835508 [startup+960.064 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 86276 58 0 0 22 0 10 0 419483347 855560192 34736 4294967295 134512640 134569956 3221224384 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 34736 13073 16 0 208861 0 vsize: 835508 [startup+970.063 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 87181 58 0 0 23 0 10 0 419483347 855560192 34808 4294967295 134512640 134569956 3221224384 3221214712 1131135458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 34808 13073 16 0 208861 0 vsize: 835508 [startup+980.064 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 88086 58 0 0 24 0 10 0 419483347 855560192 34881 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 34881 13073 16 0 208861 0 vsize: 835508 [startup+990.065 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 88990 58 0 0 23 0 10 0 419483347 855560192 34952 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 34952 13073 16 0 208861 0 vsize: 835508 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 89890 58 0 0 24 0 10 0 419483347 855560192 35022 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 35022 13073 16 0 208861 0 vsize: 835508 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 90791 58 0 0 24 0 10 0 419483347 855560192 35095 4294967295 134512640 134569956 3221224384 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 35095 13073 16 0 208861 0 vsize: 835508 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 91696 59 0 0 25 0 10 0 419483347 855560192 35830 4294967295 134512640 134569956 3221224384 3221214552 1131155880 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 35830 13073 16 0 208861 0 vsize: 835508 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 92618 59 0 0 25 0 10 0 419483347 855560192 35830 4294967295 134512640 134569956 3221224384 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 35830 13073 16 0 208861 0 vsize: 835508 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 93527 59 0 0 25 0 10 0 419483347 855560192 35830 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 35830 13073 16 0 208861 0 vsize: 835508 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 94427 59 0 0 25 0 10 0 419483347 855560192 35885 4294967295 134512640 134569956 3221224384 3221214192 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 35885 13073 16 0 208861 0 vsize: 835508 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 95327 59 0 0 25 0 10 0 419483347 855560192 35952 4294967295 134512640 134569956 3221224384 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 35952 13073 16 0 208861 0 vsize: 835508 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 96226 59 0 0 25 0 10 0 419483347 855560192 36016 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 36016 13073 16 0 208861 0 vsize: 835508 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 97120 59 0 0 24 0 10 0 419483347 855560192 36085 4294967295 134512640 134569956 3221224384 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 36085 13073 16 0 208861 0 vsize: 835508 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 98023 59 0 0 25 0 10 0 419483347 855560192 36148 4294967295 134512640 134569956 3221224384 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 36148 13073 16 0 208861 0 vsize: 835508 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 98927 59 0 0 25 0 10 0 419483347 855560192 36228 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 36228 13073 16 0 208861 0 vsize: 835508 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 99828 59 0 0 25 0 10 0 419483347 855560192 36300 4294967295 134512640 134569956 3221224384 3221214168 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 36300 13073 16 0 208861 0 vsize: 835508 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 100728 60 0 0 25 0 10 0 419483347 855560192 36340 4294967295 134512640 134569956 3221224384 3221214240 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 36340 13073 16 0 208861 0 vsize: 835508 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 101628 60 0 0 25 0 10 0 419483347 855560192 36407 4294967295 134512640 134569956 3221224384 3221214552 1131155827 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 36407 13073 16 0 208861 0 vsize: 835508 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 102527 60 0 0 25 0 10 0 419483347 855560192 36514 4294967295 134512640 134569956 3221224384 3221214552 1131155709 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 36514 13073 16 0 208861 0 vsize: 835508 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 103428 60 0 0 25 0 10 0 419483347 855560192 36570 4294967295 134512640 134569956 3221224384 3221214552 1131155852 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 36570 13073 16 0 208861 0 vsize: 835508 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 104329 60 0 0 25 0 10 0 419483347 855560192 36609 4294967295 134512640 134569956 3221224384 3221214568 1131263971 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 36609 13073 16 0 208861 0 vsize: 835508 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 105227 60 0 0 25 0 10 0 419483347 855560192 36671 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 36671 13073 16 0 208861 0 vsize: 835508 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 106130 60 0 0 25 0 10 0 419483347 855560192 36747 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 36747 13073 16 0 208861 0 vsize: 835508 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 107033 60 0 0 25 0 10 0 419483347 855560192 36803 4294967295 134512640 134569956 3221224384 3221214552 1131155873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 36803 13073 16 0 208861 0 vsize: 835508 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 107935 60 0 0 25 0 10 0 419483347 855560192 36872 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 36872 13073 16 0 208861 0 vsize: 835508 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 108832 60 0 0 25 0 10 0 419483347 855560192 36932 4294967295 134512640 134569956 3221224384 3221214192 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 36932 13073 16 0 208861 0 vsize: 835508 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 109731 60 0 0 21 0 10 0 419483347 855560192 37034 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 37034 13073 16 0 208861 0 vsize: 835508 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 110630 60 0 0 19 0 10 0 419483347 855560192 37070 4294967295 134512640 134569956 3221224384 3221214752 1131045363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 37070 13073 16 0 208861 0 vsize: 835508 [startup+1240.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 111527 60 0 0 19 0 10 0 419483347 855560192 37134 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 37134 13073 16 0 208861 0 vsize: 835508 [startup+1250.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 112426 60 0 0 17 0 10 0 419483347 855560192 37200 4294967295 134512640 134569956 3221224384 3221214552 1131155880 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 37200 13073 16 0 208861 0 vsize: 835508 [startup+1260.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 113328 60 0 0 17 0 10 0 419483347 855560192 37264 4294967295 134512640 134569956 3221224384 3221214256 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 37264 13073 16 0 208861 0 vsize: 835508 [startup+1270.09 s] Raw data (loadavg): 1.08 1.02 0.98 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 114239 61 0 0 23 0 10 0 419483347 855560192 37332 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 37332 13073 16 0 208861 0 vsize: 835508 [startup+1280.09 s] Raw data (loadavg): 1.07 1.02 0.98 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 115139 61 0 0 23 0 10 0 419483347 855560192 37431 4294967295 134512640 134569956 3221224384 3221214552 1131155709 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 37431 13073 16 0 208861 0 vsize: 835508 [startup+1290.09 s] Raw data (loadavg): 1.06 1.01 0.98 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 116044 61 0 0 21 0 10 0 419483347 855560192 37500 4294967295 134512640 134569956 3221224384 3221214552 1131155880 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 37500 13073 16 0 208861 0 vsize: 835508 [startup+1300.09 s] Raw data (loadavg): 1.05 1.01 0.98 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 116946 61 0 0 20 0 10 0 419483347 855560192 37526 4294967295 134512640 134569956 3221224384 3221214552 1131155856 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 37526 13073 16 0 208861 0 vsize: 835508 [startup+1310.09 s] Raw data (loadavg): 1.04 1.01 0.98 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 117851 61 0 0 20 0 10 0 419483347 855560192 37589 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 37589 13073 16 0 208861 0 vsize: 835508 [startup+1320.09 s] Raw data (loadavg): 1.03 1.01 0.98 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 118753 61 0 0 19 0 10 0 419483347 855560192 37698 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 37698 13073 16 0 208861 0 vsize: 835508 [startup+1330.09 s] Raw data (loadavg): 1.03 1.01 0.98 2/63 26656 Raw data (stat): 26647 (java) S 26646 25347 25346 0 -1 0 17995 0 1 0 119656 61 0 0 23 0 10 0 419483347 855560192 37715 4294967295 134512640 134569956 3221224384 3221213328 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 37715 13073 16 0 208861 0 vsize: 835508 [startup+1340.1 s] Raw data (loadavg): 1.02 1.01 0.98 2/63 26656 Raw data (stat): 26647 (java) R 26646 25347 25346 0 -1 0 17995 0 1 0 120568 61 0 0 24 0 10 0 419483347 855560192 37828 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208877 37828 13073 16 0 208861 0 vsize: 835508 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1340.18 s] Raw data (loadavg): 1.02 1.01 0.98 1/54 26657 Raw data (stat): 26647 (java) Z 26646 25347 25346 0 -1 1036 17995 19095 1 0 120569 61 13256 60 25 0 1 0 419483347 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): 1340.18 CPU time (s): 1339.48 CPU user time (s): 1338.25 CPU system time (s): 1.22181 CPU usage (%): 99.9475 Max. virtual memory (Kb): 835508 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####