Name | normalized-opb/submitted/manquinho/ttp/normalized-circ6_3.opb |
MD5SUM | 509cfdb6810b13d9963718243e9046cd |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 66 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 3 |
Number of bits for the biggest coefficient in the objective function | 2 |
Sum of the numbers in the objective function | 324 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 324 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.98 |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-04-13 17:17:27 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2322 boxname=wulflinc6 idbench=258 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 509cfdb6810b13d9963718243e9046cd /oldhome/oroussel/tmp/wulflinc6/normalized-circ6_3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-circ6_3.opb IDLAUNCH: 2322 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 929580 kB Buffers: 33784 kB Cached: 49524 kB SwapCached: 2644 kB Active: 46140 kB Inactive: 42652 kB HighTotal: 131008 kB HighFree: 77644 kB LowTotal: 903652 kB LowFree: 851936 kB SwapTotal: 2097136 kB SwapFree: 2094492 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6928 kB Slab: 10824 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 17:38:49 (client local time) WITH STATUS 143 IN SECONDS stats: 2322 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc6/normalized-circ6_3.opb c reading problem c [nbvar=540] c [nbconstr=4476] c time 3.404 c #vars 540 c #clauses 4626 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=80 c Current CPU time (ms) : 8.186 c starts : 1 c conflicts : 37 c decisions : 388 c propagations : 2851 c inspects : 12517 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 37 c root simplifications : 1 c c CURRENT OPTIMUM=76 c Current CPU time (ms) : 71.892 c starts : 6 c conflicts : 924 c decisions : 3588 c propagations : 53920 c inspects : 550580 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 924 c root simplifications : 6 #### 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.85 0.97 0.94 2/54 30736 Raw data (stat): 30736 (runsolver) R 30735 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419464143 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.001 s] Raw data (loadavg): 1.10 1.02 0.95 4/64 30747 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 16135 3 1 0 579 42 0 0 25 0 11 0 419464143 868372480 19880 4294967295 134512640 134569956 3221224416 3221214900 1130905649 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212005 19880 13073 16 0 211989 0 vsize: 848020 [startup+20.0016 s] Raw data (loadavg): 1.16 1.03 0.96 2/64 30747 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18088 3 1 0 1476 47 0 0 25 0 11 0 419464143 865767424 23699 4294967295 134512640 134569956 3221224416 3221214848 1131303479 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 23699 13073 16 0 211353 0 vsize: 845476 [startup+30.0032 s] Raw data (loadavg): 1.14 1.03 0.96 2/64 30747 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18088 3 1 0 2424 47 0 0 25 0 11 0 419464143 865767424 23699 4294967295 134512640 134569956 3221224416 3221214792 1131341803 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 23699 13073 16 0 211353 0 vsize: 845476 [startup+40.0044 s] Raw data (loadavg): 1.11 1.03 0.96 2/64 30747 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18088 3 1 0 3346 47 0 0 25 0 11 0 419464143 865767424 23875 4294967295 134512640 134569956 3221224416 3221214696 1131217674 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 23875 13073 16 0 211353 0 vsize: 845476 [startup+50.005 s] Raw data (loadavg): 1.10 1.03 0.96 2/64 30747 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18088 3 1 0 4268 48 0 0 25 0 11 0 419464143 865767424 24197 4294967295 134512640 134569956 3221224416 3221214696 1131217838 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 24197 13073 16 0 211353 0 vsize: 845476 [startup+60.0056 s] Raw data (loadavg): 1.08 1.03 0.96 2/64 30747 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18088 3 1 0 5187 48 0 0 25 0 11 0 419464143 865767424 24473 4294967295 134512640 134569956 3221224416 3221214792 1131339897 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 24473 13073 16 0 211353 0 vsize: 845476 [startup+70.0058 s] Raw data (loadavg): 1.07 1.03 0.96 2/64 30747 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18088 3 1 0 6112 48 0 0 25 0 11 0 419464143 865767424 24699 4294967295 134512640 134569956 3221224416 3221214736 1131399202 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 24699 13073 16 0 211353 0 vsize: 845476 [startup+80.0055 s] Raw data (loadavg): 1.06 1.02 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 7034 48 0 0 25 0 11 0 419464143 865767424 24994 4294967295 134512640 134569956 3221224416 3221214672 1131218742 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 24994 13073 16 0 211353 0 vsize: 845476 [startup+90.0051 s] Raw data (loadavg): 1.05 1.02 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 7959 49 0 0 25 0 11 0 419464143 865767424 25184 4294967295 134512640 134569956 3221224416 3221214672 1131217838 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 25184 13073 16 0 211353 0 vsize: 845476 [startup+100.005 s] Raw data (loadavg): 1.04 1.02 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 8884 49 0 0 25 0 11 0 419464143 865767424 25430 4294967295 134512640 134569956 3221224416 3221214672 1131218115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 25430 13073 16 0 211353 0 vsize: 845476 [startup+110.005 s] Raw data (loadavg): 1.03 1.02 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 9799 49 0 0 25 0 11 0 419464143 865767424 25668 4294967295 134512640 134569956 3221224416 3221214840 1131303440 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 25668 13073 16 0 211353 0 vsize: 845476 [startup+120.006 s] Raw data (loadavg): 1.03 1.02 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 10725 50 0 0 25 0 11 0 419464143 865767424 25886 4294967295 134512640 134569956 3221224416 3221214768 1131339897 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 25886 13073 16 0 211353 0 vsize: 845476 [startup+130.006 s] Raw data (loadavg): 1.02 1.02 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 11651 50 0 0 25 0 11 0 419464143 865767424 26055 4294967295 134512640 134569956 3221224416 3221214672 1131218384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 26055 13073 16 0 211353 0 vsize: 845476 [startup+140.005 s] Raw data (loadavg): 1.02 1.02 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 12576 50 0 0 25 0 11 0 419464143 865767424 26258 4294967295 134512640 134569956 3221224416 3221214672 1131217786 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 26258 13073 16 0 211353 0 vsize: 845476 [startup+150.006 s] Raw data (loadavg): 1.02 1.02 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 13491 50 0 0 25 0 11 0 419464143 865767424 26479 4294967295 134512640 134569956 3221224416 3221214768 1131340001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 26479 13073 16 0 211353 0 vsize: 845476 [startup+160.006 s] Raw data (loadavg): 1.01 1.02 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 14417 51 0 0 25 0 11 0 419464143 865767424 26682 4294967295 134512640 134569956 3221224416 3221214768 1131339962 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 26682 13073 16 0 211353 0 vsize: 845476 [startup+170.005 s] Raw data (loadavg): 1.01 1.02 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 15342 51 0 0 25 0 11 0 419464143 865767424 26874 4294967295 134512640 134569956 3221224416 3221214840 1131303629 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 26874 13073 16 0 211353 0 vsize: 845476 [startup+180.004 s] Raw data (loadavg): 1.01 1.02 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 16261 51 0 0 25 0 11 0 419464143 865767424 27084 4294967295 134512640 134569956 3221224416 3221214672 1131217662 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 27084 13073 16 0 211353 0 vsize: 845476 [startup+190.004 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 17190 51 0 0 25 0 11 0 419464143 865767424 27263 4294967295 134512640 134569956 3221224416 3221214768 1131341026 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 27263 13073 16 0 211353 0 vsize: 845476 [startup+200.004 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) S 30735 29653 29652 0 -1 0 18089 3 1 0 18119 52 0 0 25 0 11 0 419464143 865767424 27466 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 27466 13073 16 0 211353 0 vsize: 845476 [startup+210.005 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 19041 52 0 0 25 0 11 0 419464143 865767424 27669 4294967295 134512640 134569956 3221224416 3221214576 1131552585 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 27669 13073 16 0 211353 0 vsize: 845476 [startup+220.005 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 19972 52 0 0 25 0 11 0 419464143 865767424 27837 4294967295 134512640 134569956 3221224416 3221214768 1131339890 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 27837 13073 16 0 211353 0 vsize: 845476 [startup+230.005 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) S 30735 29653 29652 0 -1 0 18089 3 1 0 20894 53 0 0 25 0 11 0 419464143 865767424 28008 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 28008 13073 16 0 211353 0 vsize: 845476 [startup+240.005 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 21816 53 0 0 18 0 11 0 419464143 865767424 28215 4294967295 134512640 134569956 3221224416 3221214736 1131244147 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 28215 13073 16 0 211353 0 vsize: 845476 [startup+250.005 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 22745 53 0 0 25 0 11 0 419464143 865767424 28407 4294967295 134512640 134569956 3221224416 3221214688 1131605840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 28407 13073 16 0 211353 0 vsize: 845476 [startup+260.006 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 23673 54 0 0 25 0 11 0 419464143 865767424 28580 4294967295 134512640 134569956 3221224416 3221214768 1131341093 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 28580 13073 16 0 211353 0 vsize: 845476 [startup+270.005 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 24594 54 0 0 24 0 11 0 419464143 865767424 28820 4294967295 134512640 134569956 3221224416 3221214672 1131218576 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 28820 13073 16 0 211353 0 vsize: 845476 [startup+280.005 s] Raw data (loadavg): 1.00 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 25526 55 0 0 25 0 11 0 419464143 865767424 29016 4294967295 134512640 134569956 3221224416 3221214672 1131217581 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 29016 13073 16 0 211353 0 vsize: 845476 [startup+290.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 26459 55 0 0 25 0 11 0 419464143 865767424 29165 4294967295 134512640 134569956 3221224416 3221214768 1131339890 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 29165 13073 16 0 211353 0 vsize: 845476 [startup+300.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 27393 55 0 0 25 0 11 0 419464143 865767424 29376 4294967295 134512640 134569956 3221224416 3221214672 1131217506 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 29376 13073 16 0 211353 0 vsize: 845476 [startup+310.004 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 28328 55 0 0 25 0 11 0 419464143 865767424 29520 4294967295 134512640 134569956 3221224416 3221214768 1131339962 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 29520 13073 16 0 211353 0 vsize: 845476 [startup+320.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 29254 55 0 0 24 0 11 0 419464143 865767424 29733 4294967295 134512640 134569956 3221224416 3221214736 1131244147 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 29733 13073 16 0 211353 0 vsize: 845476 [startup+330.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 30192 56 0 0 25 0 11 0 419464143 865767424 29890 4294967295 134512640 134569956 3221224416 3221214768 1131340924 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 29890 13073 16 0 211353 0 vsize: 845476 [startup+340.005 s] Raw data (loadavg): 1.08 1.02 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 31131 56 0 0 25 0 11 0 419464143 865767424 30030 4294967295 134512640 134569956 3221224416 3221214672 1131217885 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 30030 13073 16 0 211353 0 vsize: 845476 [startup+350.005 s] Raw data (loadavg): 1.07 1.02 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 32063 56 0 0 25 0 11 0 419464143 865767424 30215 4294967295 134512640 134569956 3221224416 3221214672 1131217885 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 30215 13073 16 0 211353 0 vsize: 845476 [startup+360.005 s] Raw data (loadavg): 1.06 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 33003 56 0 0 20 0 11 0 419464143 865767424 30370 4294967295 134512640 134569956 3221224416 3221214768 1131339897 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 30370 13073 16 0 211353 0 vsize: 845476 [startup+370.004 s] Raw data (loadavg): 1.05 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 33943 57 0 0 25 0 11 0 419464143 865767424 30508 4294967295 134512640 134569956 3221224416 3221214768 1131339897 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 30508 13073 16 0 211353 0 vsize: 845476 [startup+380.004 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 34881 57 0 0 25 0 11 0 419464143 865767424 30644 4294967295 134512640 134569956 3221224416 3221214840 1131303436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 30644 13073 16 0 211353 0 vsize: 845476 [startup+390.004 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) S 30735 29653 29652 0 -1 0 18089 3 1 0 35812 57 0 0 25 0 11 0 419464143 865767424 30785 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 30785 13073 16 0 211353 0 vsize: 845476 [startup+400.005 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 36747 57 0 0 25 0 11 0 419464143 865767424 30957 4294967295 134512640 134569956 3221224416 3221214728 1131399211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 30957 13073 16 0 211353 0 vsize: 845476 [startup+410.005 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 37688 57 0 0 25 0 11 0 419464143 865767424 31125 4294967295 134512640 134569956 3221224416 3221214672 1131218454 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 31125 13073 16 0 211353 0 vsize: 845476 [startup+420.005 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 38630 58 0 0 25 0 11 0 419464143 865767424 31269 4294967295 134512640 134569956 3221224416 3221214596 1130920447 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 31269 13073 16 0 211353 0 vsize: 845476 [startup+430.005 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 39565 58 0 0 25 0 11 0 419464143 865767424 31435 4294967295 134512640 134569956 3221224416 3221214688 1131149863 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 31435 13073 16 0 211353 0 vsize: 845476 [startup+440.005 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 40509 58 0 0 25 0 11 0 419464143 865767424 31562 4294967295 134512640 134569956 3221224416 3221214672 1131217477 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 31562 13073 16 0 211353 0 vsize: 845476 [startup+450.005 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 41446 58 0 0 25 0 11 0 419464143 865767424 31690 4294967295 134512640 134569956 3221224416 3221214672 1131218115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 31690 13073 16 0 211353 0 vsize: 845476 [startup+460.005 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 42389 58 0 0 25 0 11 0 419464143 865767424 31841 4294967295 134512640 134569956 3221224416 3221214672 1131217885 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 31841 13073 16 0 211353 0 vsize: 845476 [startup+470.006 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 43333 59 0 0 25 0 11 0 419464143 865767424 31991 4294967295 134512640 134569956 3221224416 3221214768 1131339981 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 31991 13073 16 0 211353 0 vsize: 845476 [startup+480.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 44277 59 0 0 20 0 11 0 419464143 865767424 32090 4294967295 134512640 134569956 3221224416 3221214672 1131217885 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 32090 13073 16 0 211353 0 vsize: 845476 [startup+490.006 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 45220 59 0 0 21 0 11 0 419464143 865767424 32210 4294967295 134512640 134569956 3221224416 3221214672 1131217885 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 32210 13073 16 0 211353 0 vsize: 845476 [startup+500.006 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 46162 59 0 0 25 0 11 0 419464143 865767424 32349 4294967295 134512640 134569956 3221224416 3221214768 1131340917 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 32349 13073 16 0 211353 0 vsize: 845476 [startup+510.006 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 47102 60 0 0 25 0 11 0 419464143 865767424 32474 4294967295 134512640 134569956 3221224416 3221214768 1131339897 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 32474 13073 16 0 211353 0 vsize: 845476 [startup+520.006 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) S 30735 29653 29652 0 -1 0 18089 3 1 0 48037 60 0 0 25 0 11 0 419464143 865767424 32622 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 32622 13073 16 0 211353 0 vsize: 845476 [startup+530.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 48971 60 0 0 24 0 11 0 419464143 865767424 32770 4294967295 134512640 134569956 3221224416 3221214768 1131340954 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 32770 13073 16 0 211353 0 vsize: 845476 [startup+540.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 49911 60 0 0 25 0 11 0 419464143 865767424 32896 4294967295 134512640 134569956 3221224416 3221214840 1131303436 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 32896 13073 16 0 211353 0 vsize: 845476 [startup+550.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 50852 60 0 0 25 0 11 0 419464143 865767424 33044 4294967295 134512640 134569956 3221224416 3221214672 1131217885 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 33044 13073 16 0 211353 0 vsize: 845476 [startup+560.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 51794 61 0 0 25 0 11 0 419464143 865767424 33180 4294967295 134512640 134569956 3221224416 3221214768 1131339897 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 33180 13073 16 0 211353 0 vsize: 845476 [startup+570.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 52737 61 0 0 25 0 11 0 419464143 865767424 33332 4294967295 134512640 134569956 3221224416 3221214840 1131303455 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 33332 13073 16 0 211353 0 vsize: 845476 [startup+580.006 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 53672 61 0 0 25 0 11 0 419464143 865767424 33461 4294967295 134512640 134569956 3221224416 3221214496 1131520153 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 33461 13073 16 0 211353 0 vsize: 845476 [startup+590.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 54616 61 0 0 25 0 11 0 419464143 865767424 33592 4294967295 134512640 134569956 3221224416 3221214768 1131340039 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 33592 13073 16 0 211353 0 vsize: 845476 [startup+600.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 55561 61 0 0 25 0 11 0 419464143 865767424 33712 4294967295 134512640 134569956 3221224416 3221214672 1131218523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 33712 13073 16 0 211353 0 vsize: 845476 [startup+610.006 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 56504 62 0 0 25 0 11 0 419464143 865767424 33841 4294967295 134512640 134569956 3221224416 3221214768 1131339985 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 33841 13073 16 0 211353 0 vsize: 845476 [startup+620.006 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 57439 62 0 0 17 0 11 0 419464143 865767424 34011 4294967295 134512640 134569956 3221224416 3221214672 1131218463 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 34011 13073 16 0 211353 0 vsize: 845476 [startup+630.006 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 58383 62 0 0 17 0 11 0 419464143 865767424 34124 4294967295 134512640 134569956 3221224416 3221214840 1131303452 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 34124 13073 16 0 211353 0 vsize: 845476 [startup+640.006 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 59327 62 0 0 21 0 11 0 419464143 865767424 34244 4294967295 134512640 134569956 3221224416 3221214768 1131341825 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 34244 13073 16 0 211353 0 vsize: 845476 [startup+650.006 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 60271 62 0 0 22 0 11 0 419464143 865767424 34397 4294967295 134512640 134569956 3221224416 3221214768 1131339897 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 34397 13073 16 0 211353 0 vsize: 845476 [startup+660.006 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 61217 62 0 0 25 0 11 0 419464143 865767424 34540 4294967295 134512640 134569956 3221224416 3221214768 1131339962 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 34540 13073 16 0 211353 0 vsize: 845476 [startup+670.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 62164 62 0 0 25 0 11 0 419464143 865767424 34645 4294967295 134512640 134569956 3221224416 3221214768 1131339962 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 34645 13073 16 0 211353 0 vsize: 845476 [startup+680.006 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 63104 62 0 0 17 0 11 0 419464143 865767424 34781 4294967295 134512640 134569956 3221224416 3221214768 1131341885 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 34781 13073 16 0 211353 0 vsize: 845476 [startup+690.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 64051 62 0 0 22 0 11 0 419464143 865767424 34900 4294967295 134512640 134569956 3221224416 3221214768 1131341020 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 34900 13073 16 0 211353 0 vsize: 845476 [startup+700.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 64999 62 0 0 24 0 11 0 419464143 865767424 35024 4294967295 134512640 134569956 3221224416 3221214840 1131303143 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 35024 13073 16 0 211353 0 vsize: 845476 [startup+710.006 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 65947 62 0 0 25 0 11 0 419464143 865767424 35140 4294967295 134512640 134569956 3221224416 3221214768 1131339894 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 35140 13073 16 0 211353 0 vsize: 845476 [startup+720.006 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 66886 62 0 0 18 0 11 0 419464143 865767424 35270 4294967295 134512640 134569956 3221224416 3221214672 1131217885 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 35270 13073 16 0 211353 0 vsize: 845476 [startup+730.006 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 67833 62 0 0 25 0 11 0 419464143 865767424 35387 4294967295 134512640 134569956 3221224416 3221214768 1131339897 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 35387 13073 16 0 211353 0 vsize: 845476 [startup+740.009 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) S 30735 29653 29652 0 -1 0 18089 3 1 0 68777 62 0 0 25 0 11 0 419464143 865767424 35499 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 35499 13073 16 0 211353 0 vsize: 845476 [startup+750.009 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 69714 62 0 0 21 0 11 0 419464143 865767424 35641 4294967295 134512640 134569956 3221224416 3221214672 1131217506 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 35641 13073 16 0 211353 0 vsize: 845476 [startup+760.01 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 70660 62 0 0 25 0 11 0 419464143 865767424 35778 4294967295 134512640 134569956 3221224416 3221214672 1131217817 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 35778 13073 16 0 211353 0 vsize: 845476 [startup+770.011 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 71599 62 0 0 25 0 11 0 419464143 865767424 35906 4294967295 134512640 134569956 3221224416 3221213708 1131657616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 35906 13073 16 0 211353 0 vsize: 845476 [startup+780.011 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 72560 62 0 0 25 0 11 0 419464143 865767424 35982 4294967295 134512640 134569956 3221224416 3221214768 1131339863 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 35982 13073 16 0 211353 0 vsize: 845476 [startup+790.011 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 73512 62 0 0 25 0 11 0 419464143 865767424 36099 4294967295 134512640 134569956 3221224416 3221214672 1131217885 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 36099 13073 16 0 211353 0 vsize: 845476 [startup+800.011 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 74455 63 0 0 18 0 11 0 419464143 865767424 36201 4294967295 134512640 134569956 3221224416 3221214768 1131339897 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 36201 13073 16 0 211353 0 vsize: 845476 [startup+810.011 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 75396 63 0 0 19 0 11 0 419464143 865767424 36302 4294967295 134512640 134569956 3221224416 3221214768 1131339985 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 36302 13073 16 0 211353 0 vsize: 845476 [startup+820.012 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 76339 63 0 0 21 0 11 0 419464143 865767424 36435 4294967295 134512640 134569956 3221224416 3221214768 1131343455 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 36435 13073 16 0 211353 0 vsize: 845476 [startup+830.011 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 77281 63 0 0 23 0 11 0 419464143 865767424 36577 4294967295 134512640 134569956 3221224416 3221214768 1131343447 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 36577 13073 16 0 211353 0 vsize: 845476 [startup+840.012 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 78222 63 0 0 25 0 11 0 419464143 865767424 36708 4294967295 134512640 134569956 3221224416 3221214672 1131217885 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 36708 13073 16 0 211353 0 vsize: 845476 [startup+850.012 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 79156 63 0 0 19 0 11 0 419464143 865767424 36837 4294967295 134512640 134569956 3221224416 3221214688 1131605840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 36837 13073 16 0 211353 0 vsize: 845476 [startup+860.012 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 80099 63 0 0 20 0 11 0 419464143 865767424 36956 4294967295 134512640 134569956 3221224416 3221214768 1131340950 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 36956 13073 16 0 211353 0 vsize: 845476 [startup+870.012 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 81041 63 0 0 25 0 11 0 419464143 865767424 37101 4294967295 134512640 134569956 3221224416 3221214672 1131217885 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 37101 13073 16 0 211353 0 vsize: 845476 [startup+880.013 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 81990 63 0 0 20 0 11 0 419464143 865767424 37211 4294967295 134512640 134569956 3221224416 3221214728 1131313511 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 37211 13073 16 0 211353 0 vsize: 845476 [startup+890.013 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 82946 63 0 0 25 0 11 0 419464143 865767424 37303 4294967295 134512640 134569956 3221224416 3221214672 1131217481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 37303 13073 16 0 211353 0 vsize: 845476 [startup+900.017 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) S 30735 29653 29652 0 -1 0 18089 3 1 0 83899 63 0 0 25 0 11 0 419464143 865767424 37389 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 37389 13073 16 0 211353 0 vsize: 845476 [startup+910.017 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 84850 63 0 0 22 0 11 0 419464143 865767424 37485 4294967295 134512640 134569956 3221224416 3221214768 1131339966 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 37485 13073 16 0 211353 0 vsize: 845476 [startup+920.018 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 85805 63 0 0 25 0 11 0 419464143 865767424 37585 4294967295 134512640 134569956 3221224416 3221214408 1085679325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 37585 13073 16 0 211353 0 vsize: 845476 [startup+930.018 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 86762 63 0 0 23 0 11 0 419464143 865767424 37673 4294967295 134512640 134569956 3221224416 3221214768 1131342677 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 37673 13073 16 0 211353 0 vsize: 845476 [startup+940.019 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 87721 63 0 0 25 0 11 0 419464143 865767424 37813 4294967295 134512640 134569956 3221224416 3221214728 1131394328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 37813 13073 16 0 211353 0 vsize: 845476 [startup+950.018 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 88667 63 0 0 20 0 11 0 419464143 865767424 37944 4294967295 134512640 134569956 3221224416 3221214672 1131218754 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 37944 13073 16 0 211353 0 vsize: 845476 [startup+960.018 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 89621 64 0 0 22 0 11 0 419464143 865767424 38027 4294967295 134512640 134569956 3221224416 3221214664 1131243786 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 38027 13073 16 0 211353 0 vsize: 845476 [startup+970.019 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 90583 64 0 0 24 0 11 0 419464143 865767424 38116 4294967295 134512640 134569956 3221224416 3221214576 1131553209 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 38116 13073 16 0 211353 0 vsize: 845476 [startup+980.019 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 91537 64 0 0 25 0 11 0 419464143 865767424 38210 4294967295 134512640 134569956 3221224416 3221214672 1131218115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 38210 13073 16 0 211353 0 vsize: 845476 [startup+990.019 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 92489 64 0 0 25 0 11 0 419464143 865767424 38305 4294967295 134512640 134569956 3221224416 3221214688 1131605852 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 38305 13073 16 0 211353 0 vsize: 845476 [startup+1000.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 93449 64 0 0 25 0 11 0 419464143 865767424 38375 4294967295 134512640 134569956 3221224416 3221214544 1131659030 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 38375 13073 16 0 211353 0 vsize: 845476 [startup+1010.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) S 30735 29653 29652 0 -1 0 18089 3 1 0 94410 65 0 0 25 0 11 0 419464143 865767424 38428 4294967295 134512640 134569956 3221224416 3221213376 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 38428 13073 16 0 211353 0 vsize: 845476 [startup+1020.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 95383 65 0 0 25 0 11 0 419464143 865767424 38486 4294967295 134512640 134569956 3221224416 3221214672 1131217885 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 38486 13073 16 0 211353 0 vsize: 845476 [startup+1030.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 96340 66 0 0 25 0 11 0 419464143 865767424 38581 4294967295 134512640 134569956 3221224416 3221213640 1131657617 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 38581 13073 16 0 211353 0 vsize: 845476 [startup+1040.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 97316 66 0 0 25 0 11 0 419464143 865767424 38624 4294967295 134512640 134569956 3221224416 3221213712 1131657596 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 38624 13073 16 0 211353 0 vsize: 845476 [startup+1050.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 98274 66 0 0 25 0 11 0 419464143 865767424 38718 4294967295 134512640 134569956 3221224416 3221214672 1131218077 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 38718 13073 16 0 211353 0 vsize: 845476 [startup+1060.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 99242 66 0 0 25 0 11 0 419464143 865767424 38773 4294967295 134512640 134569956 3221224416 3221214768 1131339962 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 38773 13073 16 0 211353 0 vsize: 845476 [startup+1070.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 100199 67 0 0 25 0 11 0 419464143 865767424 38852 4294967295 134512640 134569956 3221224416 3221214672 1131218466 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 38852 13073 16 0 211353 0 vsize: 845476 [startup+1080.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 101150 67 0 0 25 0 11 0 419464143 865767424 38947 4294967295 134512640 134569956 3221224416 3221214672 1131218111 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 38947 13073 16 0 211353 0 vsize: 845476 [startup+1090.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 102101 67 0 0 24 0 11 0 419464143 865767424 39064 4294967295 134512640 134569956 3221224416 3221214480 1085679449 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 39064 13073 16 0 211353 0 vsize: 845476 [startup+1100.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 103068 67 0 0 25 0 11 0 419464143 865767424 39118 4294967295 134512640 134569956 3221224416 3221214768 1131340935 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 39118 13073 16 0 211353 0 vsize: 845476 [startup+1110.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 104034 68 0 0 25 0 11 0 419464143 865767424 39179 4294967295 134512640 134569956 3221224416 3221214064 1131657548 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 39179 13073 16 0 211353 0 vsize: 845476 [startup+1120.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 104992 68 0 0 24 0 11 0 419464143 865767424 39262 4294967295 134512640 134569956 3221224416 3221214768 1131339897 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 39262 13073 16 0 211353 0 vsize: 845476 [startup+1130.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 105959 68 0 0 25 0 11 0 419464143 865767424 39348 4294967295 134512640 134569956 3221224416 3221214768 1131339876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211369 39348 13073 16 0 211353 0 vsize: 845476 [startup+1140.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 106917 68 0 0 25 0 11 0 419464143 865767424 39421 4294967295 134512640 134569956 3221224416 3221214672 1131217885 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 39421 13073 16 0 211353 0 vsize: 845476 [startup+1150.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 107878 68 0 0 19 0 11 0 419464143 865767424 39499 4294967295 134512640 134569956 3221224416 3221214256 1131659970 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 39499 13073 16 0 211353 0 vsize: 845476 [startup+1160.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 108830 69 0 0 25 0 11 0 419464143 865767424 39584 4294967295 134512640 134569956 3221224416 3221214672 1131217934 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 39584 13073 16 0 211353 0 vsize: 845476 [startup+1170.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 109791 69 0 0 25 0 11 0 419464143 865767424 39669 4294967295 134512640 134569956 3221224416 3221214672 1131217664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 39669 13073 16 0 211353 0 vsize: 845476 [startup+1180.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 110750 69 0 0 25 0 11 0 419464143 865767424 39757 4294967295 134512640 134569956 3221224416 3221214136 1131657556 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 39757 13073 16 0 211353 0 vsize: 845476 [startup+1190.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 111702 69 0 0 25 0 11 0 419464143 865767424 39853 4294967295 134512640 134569956 3221224416 3221214768 1131339962 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 39853 13073 16 0 211353 0 vsize: 845476 [startup+1200.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 112655 69 0 0 25 0 11 0 419464143 865767424 39953 4294967295 134512640 134569956 3221224416 3221214768 1131341913 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 39953 13073 16 0 211353 0 vsize: 845476 [startup+1210.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 113609 70 0 0 25 0 11 0 419464143 865767424 40048 4294967295 134512640 134569956 3221224416 3221214672 1131218548 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 40048 13073 16 0 211353 0 vsize: 845476 [startup+1220.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 114563 70 0 0 25 0 11 0 419464143 865767424 40143 4294967295 134512640 134569956 3221224416 3221214792 1131567452 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 40143 13073 16 0 211353 0 vsize: 845476 [startup+1230.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 115532 71 0 0 25 0 11 0 419464143 865767424 40216 4294967295 134512640 134569956 3221224416 3221214672 1131218434 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 40216 13073 16 0 211353 0 vsize: 845476 [startup+1240.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 116500 71 0 0 25 0 11 0 419464143 865767424 40261 4294967295 134512640 134569956 3221224416 3221214348 1131657616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 40261 13073 16 0 211353 0 vsize: 845476 [startup+1250.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 117461 72 0 0 25 0 11 0 419464143 865767424 40324 4294967295 134512640 134569956 3221224416 3221214320 1131656469 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 40324 13073 16 0 211353 0 vsize: 845476 [startup+1260.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 118413 72 0 0 25 0 11 0 419464143 865767424 40414 4294967295 134512640 134569956 3221224416 3221214672 1131217829 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 40414 13073 16 0 211353 0 vsize: 845476 [startup+1270.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 119380 72 0 0 25 0 11 0 419464143 865767424 40471 4294967295 134512640 134569956 3221224416 3221214256 1131659938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 40471 13073 16 0 211353 0 vsize: 845476 [startup+1280.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 30748 Raw data (stat): 30736 (java) R 30735 29653 29652 0 -1 0 18089 3 1 0 120340 72 0 0 25 0 11 0 419464143 865767424 40550 4294967295 134512640 134569956 3221224416 3221214672 1131218377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211369 40550 13073 16 0 211353 0 vsize: 845476 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1280.13 s] Raw data (loadavg): 1.00 1.00 0.96 1/54 30750 Raw data (stat): 30736 (java) Z 30735 29653 29652 0 -1 1036 18089 19346 1 0 120343 72 7122 54 25 0 1 0 419464143 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): 1280.13 CPU time (s): 1275.93 CPU user time (s): 1274.66 CPU system time (s): 1.27281 CPU usage (%): 99.6714 Max. virtual memory (Kb): 848020 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####