Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb |
MD5SUM | f9a3a990ebca4aa5457d0675d3f1fe27 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 41 |
Number of bits of the biggest sum of numbers | 6 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.9477 |
Number of variables | 2400 |
Total number of constraints | 1720 |
Number of constraints which are clauses | 1640 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 40 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-28 10:11:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=23980 boxname=wulflinc31 idbench=54 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: f9a3a990ebca4aa5457d0675d3f1fe27 /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_40_sat_pb.cnf.cr.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_40_sat_pb.cnf.cr.opb IDLAUNCH: 23980 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 887736 kB Buffers: 34436 kB Cached: 89768 kB SwapCached: 1052 kB Active: 78152 kB Inactive: 48240 kB HighTotal: 131008 kB HighFree: 41188 kB LowTotal: 903652 kB LowFree: 846548 kB SwapTotal: 2097892 kB SwapFree: 2095928 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5108 kB Slab: 14868 kB Committed_AS: 63796 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 10:31:24 (client local time) WITH STATUS 0 IN 1200.34 SECONDS stats: 23980 7 1200.34 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 2320/7040 Time: 22.6536/86400 Decision: 2320/7040 Time: 25.1902/86400 Decision: 2320/7040 Time: 27.4208/86400 Decision: 2320/7040 Time: 30.5764/86400 Decision: 2320/7040 Time: 33.3819/86400 Decision: 2320/7040 Time: 36.5075/86400 Decision: 2320/7040 Time: 39.8639/86400 Decision: 2320/7040 Time: 42.0036/86400 Decision: 2320/7040 Time: 44.6582/86400 Decision: 2320/7040 Time: 47.5198/86400 Decision: 2320/7040 Time: 50.1254/86400 Decision: 2320/7040 Time: 52.504/86400 Decision: 2320/7040 Time: 55.4106/86400 Decision: 2320/7040 Time: 58.6171/86400 Decision: 2320/7040 Time: 61.8356/86400 Decision: 2320/7040 Time: 64.4512/86400 Decision: 2320/7040 Time: 67.9367/86400 Decision: 2320/7040 Time: 70.7762/86400 Decision: 2320/7040 Time: 74.4157/86400 Decision: 2320/7040 Time: 77.0163/86400 Decision: 2320/7040 Time: 79.4119/86400 Decision: 2320/7040 Time: 82.5664/86400 Decision: 2320/7040 Time: 86.0359/86400 Decision: 2320/7040 Time: 89.3184/86400 Decision: 2320/7040 Time: 91.779/86400 Decision: 2320/7040 Time: 95.1685/86400 Decision: 2320/7040 Time: 98.762/86400 Decision: 2320/7040 Time: 102.74/86400 Decision: 2320/7040 Time: 106.625/86400 Decision: 2320/7040 Time: 109.682/86400 Decision: 2320/7040 Time: 113.378/86400 Decision: 2320/7040 Time: 116.803/86400 Decision: 2320/7040 Time: 120.763/86400 Decision: 2320/7040 Time: 124.716/86400 Decision: 2320/7040 Time: 127.998/86400 Decision: 2320/7040 Time: 131.086/86400 Decision: 2320/7040 Time: 134.571/86400 Decision: 2320/7040 Time: 138.874/86400 Decision: 2320/7040 Time: 143.38/86400 Decision: 2320/7040 Time: 147.576/86400 Decision: 2320/7040 Time: 152.15/86400 Decision: 2320/7040 Time: 156.089/86400 Decision: 2320/7040 Time: 160.406/86400 Decision: 2320/7040 Time: 164.493/86400 Decision: 2320/7040 Time: 167.822/86400 Decision: 2320/7040 Time: 171.679/86400 Decision: 2320/7040 Time: 176.02/86400 Decision: 2320/7040 Time: 179.681/86400 Decision: 2320/7040 Time: 182.87/86400 Decision: 2320/7040 Time: 187.313/86400 Decision: 2320/7040 Time: 191.017/86400 Decision: 2320/7040 Time: 194.291/86400 Decision: 2320/7040 Time: 198.603/86400 Decision: 2320/7040 Time: 202.624/86400 Decision: 2320/7040 Time: 206.129/86400 Decision: 2320/7040 Time: 210.006/86400 Decision: 2320/7040 Time: 213.646/86400 Decision: 2320/7040 Time: 217.668/86400 Decision: 2320/7040 Time: 221.911/86400 Decision: 2320/7040 Time: 225.91/86400 Decision: 2320/7040 Time: 228.671/86400 Decision: 2320/7040 Time: 232.598/86400 Decision: 2320/7040 Time: 235.7/86400 Decision: 2320/7040 Time: 239.023/86400 Decision: 2320/7040 Time: 242.697/86400 Decision: 2320/7040 Time: 246.58/86400 Decision: 2320/7040 Time: 249.812/86400 Decision: 2320/7040 Time: 254.365/86400 Decision: 2320/7040 Time: 258.845/86400 Decision: 2320/7040 Time: 263.774/86400 Decision: 2320/7040 Time: 267.233/86400 Decision: 2320/7040 Time: 270.697/86400 Decision: 2320/7040 Time: 274.257/86400 Decision: 2320/7040 Time: 278.87/86400 Decision: 2320/7040 Time: 282.773/86400 Decision: 2320/7040 Time: 287.428/86400 Decision: 2320/7040 Time: 291.925/86400 Decision: 2320/7040 Time: 295.245/86400 Decision: 2320/7040 Time: 298.568/86400 Decision: 2320/7040 Time: 303.032/86400 Decision: 2320/7040 Time: 307.834/86400 Decision: 2320/7040 Time: 311.633/86400 Decision: 2320/7040 Time: 316.055/86400 Decision: 2320/7040 Time: 320.017/86400 Decision: 2320/7040 Time: 325.341/86400 Decision: 2320/7040 Time: 329.511/86400 Decision: 2320/7040 Time: 333.636/86400 Decision: 2320/7040 Time: 337.587/86400 Decision: 2320/7040 Time: 341.67/86400 Decision: 2320/7040 Time: 346.709/86400 Decision: 2320/7040 Time: 351.924/86400 Decision: 2320/7040 Time: 355.378/86400 Decision: 2320/7040 Time: 359.133/86400 Decision: 2320/7040 Time: 362.404/86400 Decision: 2320/7040 Time: 365.836/86400 Decision: 2320/7040 Time: 369.365/86400 Decision: 2320/7040 Time: 372.287/86400 Decision: 2320/7040 Time: 376.149/86400 Decision: 2320/7040 Time: 380.354/86400 Decision: 2320/7040 Time: 383.77/86400 Decision: 2320/7040 Time: 386.742/86400 Decision: 2320/7040 Time: 390.364/86400 Decision: 2320/7040 Time: 394.778/86400 Decision: 2320/7040 Time: 397.915/86400 Decision: 2320/7040 Time: 402.201/86400 Decision: 2320/7040 Time: 406.521/86400 Decision: 2320/7040 Time: 411.558/86400 Decision: 2320/7040 Time: 417.034/86400 Decision: 2320/7040 Time: 422.656/86400 Decision: 2320/7040 Time: 426.613/86400 Decision: 2320/7040 Time: 430.973/86400 Decision: 2320/7040 Time: 434.882/86400 Decision: 2320/7040 Time: 440.304/86400 Decision: 2320/7040 Time: 444.828/86400 Decision: 2320/7040 Time: 450.291/86400 Decision: 2320/7040 Time: 455.857/86400 Decision: 2320/7040 Time: 461.082/86400 Decision: 2320/7040 Time: 465.229/86400 Decision: 2320/7040 Time: 470.253/86400 Decision: 2320/7040 Time: 475.719/86400 Decision: 2320/7040 Time: 479.324/86400 Decision: 2320/7040 Time: 483.226/86400 Decision: 2320/7040 Time: 488.666/86400 Decision: 2320/7040 Time: 494/86400 Decision: 2320/7040 Time: 496.864/86400 Decision: 2320/7040 Time: 501.011/86400 Decision: 2320/7040 Time: 505.933/86400 Decision: 2320/7040 Time: 510.001/86400 Decision: 2320/7040 Time: 514.336/86400 Decision: 2320/7040 Time: 519.063/86400 Decision: 2320/7040 Time: 522.892/86400 Decision: 2320/7040 Time: 527.812/86400 Decision: 2320/7040 Time: 532.144/86400 Decision: 2320/7040 Time: 535.81/86400 Decision: 2320/7040 Time: 540.61/86400 Decision: 2320/7040 Time: 545.308/86400 Decision: 2320/7040 Time: 550.229/86400 Decision: 2320/7040 Time: 554.08/86400 Decision: 2320/7040 Time: 559.903/86400 Decision: 2320/7040 Time: 565.892/86400 Decision: 2320/7040 Time: 571.763/86400 Decision: 2320/7040 Time: 577.27/86400 Decision: 2320/7040 Time: 582.781/86400 Decision: 2320/7040 Time: 589.184/86400 Decision: 2320/7040 Time: 594.171/86400 Decision: 2320/7040 Time: 600.002/86400 Decision: 2320/7040 Time: 605.278/86400 Decision: 2320/7040 Time: 609.5/86400 Decision: 2320/7040 Time: 613.741/86400 Decision: 2320/7040 Time: 618.081/86400 Decision: 2320/7040 Time: 623.765/86400 Decision: 2320/7040 Time: 629.827/86400 Decision: 2320/7040 Time: 634.869/86400 Decision: 2320/7040 Time: 639.771/86400 Decision: 2320/7040 Time: 645.597/86400 Decision: 2320/7040 Time: 650.895/86400 Decision: 2320/7040 Time: 656.128/86400 Decision: 2320/7040 Time: 660.447/86400 Decision: 2320/7040 Time: 667.036/86400 Decision: 2320/7040 Time: 673.389/86400 Decision: 2320/7040 Time: 679.747/86400 Decision: 2320/7040 Time: 685.146/86400 Decision: 2320/7040 Time: 690.63/86400 Decision: 2320/7040 Time: 694.949/86400 Decision: 2320/7040 Time: 699.893/86400 Decision: 2320/7040 Time: 704.975/86400 Decision: 2320/7040 Time: 710.859/86400 Decision: 2320/7040 Time: 716.589/86400 Decision: 2320/7040 Time: 722.991/86400 Decision: 2320/7040 Time: 728.381/86400 Decision: 2320/7040 Time: 734.678/86400 Decision: 2320/7040 Time: 740.685/86400 Decision: 2320/7040 Time: 744.946/86400 Decision: 2320/7040 Time: 749.656/86400 Decision: 2320/7040 Time: 754.824/86400 Decision: 2320/7040 Time: 760.835/86400 Decision: 2320/7040 Time: 764.424/86400 Decision: 2320/7040 Time: 769.25/86400 Decision: 2320/7040 Time: 775.475/86400 Decision: 2320/7040 Time: 782.021/86400 Decision: 2320/7040 Time: 786.334/86400 Decision: 2320/7040 Time: 792.492/86400 Decision: 2320/7040 Time: 798.428/86400 Decision: 2320/7040 Time: 806.038/86400 Decision: 2320/7040 Time: 812.061/86400 Decision: 2320/7040 Time: 818.946/86400 Decision: 2320/7040 Time: 826.497/86400 Decision: 2320/7040 Time: 832.965/86400 Decision: 2320/7040 Time: 838.752/86400 Decision: 2320/7040 Time: 846.104/86400 Decision: 2320/7040 Time: 851.896/86400 Decision: 2320/7040 Time: 856.768/86400 Decision: 2320/7040 Time: 862.277/86400 Decision: 2320/7040 Time: 867.169/86400 Decision: 2320/7040 Time: 872.586/86400 Decision: 2320/7040 Time: 878.275/86400 Decision: 2320/7040 Time: 882.612/86400 Decision: 2320/7040 Time: 886.981/86400 Decision: 2320/7040 Time: 889.815/86400 Decision: 2320/7040 Time: 894.266/86400 Decision: 2320/7040 Time: 899.302/86400 Decision: 2320/7040 Time: 903.958/86400 Decision: 2320/7040 Time: 910.1/86400 Decision: 2320/7040 Time: 917.63/86400 Decision: 2320/7040 Time: 924.146/86400 Decision: 2320/7040 Time: 930.246/86400 Decision: 2320/7040 Time: 936.624/86400 Decision: 2320/7040 Time: 942.565/86400 Decision: 2320/7040 Time: 947.63/86400 Decision: 2320/7040 Time: 954.182/86400 Decision: 2320/7040 Time: 961.994/86400 Decision: 2320/7040 Time: 968.124/86400 Decision: 2320/7040 Time: 974.294/86400 Decision: 2320/7040 Time: 978.645/86400 Decision: 2320/7040 Time: 982.817/86400 Decision: 2320/7040 Time: 988.156/86400 Decision: 2320/7040 Time: 993.071/86400 Decision: 2320/7040 Time: 999.773/86400 Decision: 2320/7040 Time: 1006.12/86400 Decision: 2320/7040 Time: 1011.02/86400 Decision: 2320/7040 Time: 1017.15/86400 Decision: 2320/7040 Time: 1023.76/86400 Decision: 2320/7040 Time: 1030.38/86400 Decision: 2320/7040 Time: 1035.08/86400 Decision: 2320/7040 Time: 1040.15/86400 Decision: 2320/7040 Time: 1046.73/86400 Decision: 2320/7040 Time: 1053.37/86400 Decision: 2320/7040 Time: 1058.86/86400 Decision: 2320/7040 Time: 1063.39/86400 Decision: 2320/7040 Time: 1068.7/86400 Decision: 2320/7040 Time: 1074.48/86400 Decision: 2320/7040 Time: 1080.2/86400 Decision: 2320/7040 Time: 1086.22/86400 Decision: 2320/7040 Time: 1090.28/86400 Decision: 2320/7040 Time: 1096.13/86400 Decision: 2320/7040 Time: 1100.2/86400 Decision: 2320/7040 Time: 1106.28/86400 Decision: 2320/7040 Time: 1112.46/86400 Decision: 2320/7040 Time: 1117.53/86400 Decision: 2320/7040 Time: 1123.65/86400 Decision: 2320/7040 Time: 1130.28/86400 Decision: 2320/7040 Time: 1137.25/86400 Decision: 2320/7040 Time: 1144.3/86400 Decision: 2320/7040 Time: 1150.18/86400 Decision: 2320/7040 Time: 1157.77/86400 Decision: 2320/7040 Time: 1164.04/86400 Decision: 2320/7040 Time: 1170.36/86400 Decision: 2320/7040 Time: 1177.49/86400 Decision: 2320/7040 Time: 1181.79/86400 Decision: 2320/7040 Time: 1188.77/86400 Decision: 2320/7040 Time: 1195.07/86400s UNKNOWN #### 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.55 0.18 0.06 2/55 17834 Raw data (stat): 17834 (runsolver) R 17833 29618 29617 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 863961280 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0014 s] Raw data (loadavg): 0.61 0.21 0.07 2/55 17834 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 1420 0 0 0 981 17 0 0 25 0 1 0 863961280 6688768 1145 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1633 1145 300 300 0 1333 0 vsize: 6532 [startup+20.0029 s] Raw data (loadavg): 0.67 0.24 0.08 2/55 17836 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 1771 0 0 0 1964 35 0 0 25 0 1 0 863961280 7217152 1496 4294967295 134512640 135726644 3221224576 3221222896 134729200 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1762 1496 300 300 0 1462 0 vsize: 7048 [startup+30.0038 s] Raw data (loadavg): 0.72 0.26 0.09 2/55 17836 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 1982 0 0 0 2950 50 0 0 25 0 1 0 863961280 9773056 1707 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2386 1707 300 300 0 2086 0 vsize: 9544 [startup+40.0041 s] Raw data (loadavg): 0.77 0.28 0.10 2/55 17836 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2035 0 0 0 3936 63 0 0 25 0 1 0 863961280 10006528 1760 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2443 1760 300 300 0 2143 0 vsize: 9772 [startup+50.0046 s] Raw data (loadavg): 0.80 0.31 0.11 2/55 17836 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2077 0 0 0 4922 78 0 0 25 0 1 0 863961280 10141696 1802 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2476 1802 300 300 0 2176 0 vsize: 9904 [startup+60.0045 s] Raw data (loadavg): 0.83 0.33 0.12 2/55 17836 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2335 0 0 0 5909 91 0 0 25 0 1 0 863961280 11063296 1867 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2701 1867 300 300 0 2401 0 vsize: 10804 [startup+70.0059 s] Raw data (loadavg): 0.86 0.35 0.13 2/55 17836 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2386 0 0 0 6896 103 0 0 25 0 1 0 863961280 11153408 1918 4294967295 134512640 135726644 3221224576 3221223200 134744532 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2723 1918 300 300 0 2423 0 vsize: 10892 [startup+80.0063 s] Raw data (loadavg): 0.88 0.37 0.14 2/55 17838 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2426 0 0 0 7885 115 0 0 25 0 1 0 863961280 11337728 1958 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2768 1958 300 300 0 2468 0 vsize: 11072 [startup+90.0062 s] Raw data (loadavg): 0.90 0.39 0.14 2/55 17838 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2465 0 0 0 8872 127 0 0 25 0 1 0 863961280 11444224 1997 4294967295 134512640 135726644 3221224576 3221223264 134744810 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2794 1997 300 300 0 2494 0 vsize: 11176 [startup+100.008 s] Raw data (loadavg): 0.91 0.41 0.15 2/55 17838 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2530 0 0 0 9860 139 0 0 25 0 1 0 863961280 11657216 2062 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2846 2062 300 300 0 2546 0 vsize: 11384 [startup+110.009 s] Raw data (loadavg): 0.92 0.43 0.16 2/55 17838 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2552 0 0 0 10851 149 0 0 25 0 1 0 863961280 11657216 2084 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2846 2084 300 300 0 2546 0 vsize: 11384 [startup+120.01 s] Raw data (loadavg): 0.94 0.45 0.17 2/55 17838 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2591 0 0 0 11840 160 0 0 25 0 1 0 863961280 11751424 2123 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2869 2123 300 300 0 2569 0 vsize: 11476 [startup+130.01 s] Raw data (loadavg): 0.95 0.47 0.18 2/55 17838 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2617 0 0 0 12832 168 0 0 25 0 1 0 863961280 11837440 2149 4294967295 134512640 135726644 3221224576 3221223200 134744656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2890 2149 300 300 0 2590 0 vsize: 11560 [startup+140.01 s] Raw data (loadavg): 0.95 0.48 0.19 2/55 17840 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2655 0 0 0 13818 182 0 0 25 0 1 0 863961280 11915264 2187 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2909 2187 300 300 0 2609 0 vsize: 11636 [startup+150.011 s] Raw data (loadavg): 0.96 0.50 0.20 2/55 17840 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2676 0 0 0 14809 191 0 0 25 0 1 0 863961280 12038144 2208 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2939 2208 300 300 0 2639 0 vsize: 11756 [startup+160.011 s] Raw data (loadavg): 0.97 0.52 0.20 2/55 17840 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2697 0 0 0 15797 203 0 0 25 0 1 0 863961280 12038144 2229 4294967295 134512640 135726644 3221224576 3221222896 134729268 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2939 2229 300 300 0 2639 0 vsize: 11756 [startup+170.012 s] Raw data (loadavg): 0.97 0.53 0.21 2/55 17840 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2728 0 0 0 16786 215 0 0 25 0 1 0 863961280 12128256 2260 4294967295 134512640 135726644 3221224576 3221223200 134744520 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2961 2260 300 300 0 2661 0 vsize: 11844 [startup+180.012 s] Raw data (loadavg): 0.97 0.55 0.22 2/55 17840 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2774 0 0 0 17776 225 0 0 25 0 1 0 863961280 12214272 2306 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2982 2306 300 300 0 2682 0 vsize: 11928 [startup+190.013 s] Raw data (loadavg): 0.98 0.56 0.23 2/55 17840 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2810 0 0 0 18763 238 0 0 25 0 1 0 863961280 12292096 2342 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3001 2342 300 300 0 2701 0 vsize: 12004 [startup+200.013 s] Raw data (loadavg): 0.98 0.57 0.23 2/55 17842 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2836 0 0 0 19753 248 0 0 25 0 1 0 863961280 12382208 2368 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3023 2368 300 300 0 2723 0 vsize: 12092 [startup+210.013 s] Raw data (loadavg): 0.98 0.59 0.24 2/55 17842 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2849 0 0 0 20743 258 0 0 25 0 1 0 863961280 12382208 2381 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3023 2381 300 300 0 2723 0 vsize: 12092 [startup+220.014 s] Raw data (loadavg): 0.99 0.60 0.25 2/55 17842 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 2881 0 0 0 21734 267 0 0 25 0 1 0 863961280 12464128 2413 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3043 2413 300 300 0 2743 0 vsize: 12172 [startup+230.015 s] Raw data (loadavg): 0.99 0.61 0.26 2/55 17842 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3300 0 0 0 22724 278 0 0 25 0 1 0 863961280 14118912 2447 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3447 2447 300 300 0 3147 0 vsize: 13788 [startup+240.015 s] Raw data (loadavg): 0.99 0.63 0.27 2/55 17842 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3331 0 0 0 23712 290 0 0 25 0 1 0 863961280 14204928 2478 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3468 2478 300 300 0 3168 0 vsize: 13872 [startup+250.016 s] Raw data (loadavg): 0.99 0.64 0.27 2/55 17842 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3354 0 0 0 24701 300 0 0 25 0 1 0 863961280 14204928 2501 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3468 2501 300 300 0 3168 0 vsize: 13872 [startup+260.017 s] Raw data (loadavg): 0.99 0.65 0.28 2/55 17844 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3387 0 0 0 25691 310 0 0 25 0 1 0 863961280 14327808 2534 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3498 2534 300 300 0 3198 0 vsize: 13992 [startup+270.018 s] Raw data (loadavg): 0.99 0.66 0.29 2/55 17844 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3436 0 0 0 26680 322 0 0 25 0 1 0 863961280 14405632 2583 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3517 2583 300 300 0 3217 0 vsize: 14068 [startup+280.018 s] Raw data (loadavg): 0.99 0.67 0.29 2/55 17844 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3461 0 0 0 27670 332 0 0 25 0 1 0 863961280 14405632 2608 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3517 2608 300 300 0 3217 0 vsize: 14068 [startup+290.019 s] Raw data (loadavg): 0.99 0.68 0.30 2/55 17844 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3483 0 0 0 28661 342 0 0 25 0 1 0 863961280 14491648 2630 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3538 2630 300 300 0 3238 0 vsize: 14152 [startup+300.019 s] Raw data (loadavg): 0.99 0.69 0.31 2/55 17844 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3511 0 0 0 29652 351 0 0 25 0 1 0 863961280 14573568 2658 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3558 2658 300 300 0 3258 0 vsize: 14232 [startup+310.02 s] Raw data (loadavg): 0.99 0.70 0.31 2/55 17844 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3531 0 0 0 30642 360 0 0 25 0 1 0 863961280 14573568 2678 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3558 2678 300 300 0 3258 0 vsize: 14232 [startup+320.02 s] Raw data (loadavg): 0.99 0.71 0.32 2/55 17846 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3554 0 0 0 31634 369 0 0 25 0 1 0 863961280 14651392 2701 4294967295 134512640 135726644 3221224576 3221223184 134741071 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3577 2701 300 300 0 3277 0 vsize: 14308 [startup+330.021 s] Raw data (loadavg): 0.99 0.72 0.33 2/55 17846 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3563 0 0 0 32625 378 0 0 25 0 1 0 863961280 14651392 2710 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3577 2710 300 300 0 3277 0 vsize: 14308 [startup+340.021 s] Raw data (loadavg): 0.99 0.73 0.34 2/55 17846 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3594 0 0 0 33618 385 0 0 25 0 1 0 863961280 14749696 2741 4294967295 134512640 135726644 3221224576 3221223184 134741131 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3601 2741 300 300 0 3301 0 vsize: 14404 [startup+350.022 s] Raw data (loadavg): 0.99 0.74 0.34 2/55 17846 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3610 0 0 0 34609 394 0 0 25 0 1 0 863961280 14749696 2757 4294967295 134512640 135726644 3221224576 3221223196 134727347 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3601 2757 300 300 0 3301 0 vsize: 14404 [startup+360.023 s] Raw data (loadavg): 0.99 0.74 0.35 2/55 17846 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3632 0 0 0 35598 405 0 0 25 0 1 0 863961280 14848000 2779 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3625 2779 300 300 0 3325 0 vsize: 14500 [startup+370.023 s] Raw data (loadavg): 0.99 0.75 0.36 2/55 17846 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3663 0 0 0 36588 416 0 0 25 0 1 0 863961280 14925824 2810 4294967295 134512640 135726644 3221224576 3221223072 134743951 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3644 2810 300 300 0 3344 0 vsize: 14576 [startup+380.024 s] Raw data (loadavg): 0.99 0.76 0.36 2/55 17848 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3692 0 0 0 37577 426 0 0 25 0 1 0 863961280 14925824 2839 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3644 2839 300 300 0 3344 0 vsize: 14576 [startup+390.024 s] Raw data (loadavg): 0.99 0.77 0.37 2/55 17848 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3717 0 0 0 38566 438 0 0 25 0 1 0 863961280 15007744 2864 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3664 2864 300 300 0 3364 0 vsize: 14656 [startup+400.025 s] Raw data (loadavg): 0.99 0.77 0.37 2/55 17848 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3746 0 0 0 39558 446 0 0 25 0 1 0 863961280 15097856 2893 4294967295 134512640 135726644 3221224576 3221223184 134740866 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3686 2893 300 300 0 3386 0 vsize: 14744 [startup+410.026 s] Raw data (loadavg): 0.99 0.78 0.38 2/55 17848 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3761 0 0 0 40549 455 0 0 25 0 1 0 863961280 15097856 2908 4294967295 134512640 135726644 3221224576 3221223184 134740866 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3686 2908 300 300 0 3386 0 vsize: 14744 [startup+420.025 s] Raw data (loadavg): 0.99 0.79 0.39 2/55 17848 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3778 0 0 0 41540 464 0 0 25 0 1 0 863961280 15187968 2925 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3708 2925 300 300 0 3408 0 vsize: 14832 [startup+430.026 s] Raw data (loadavg): 0.99 0.80 0.39 2/55 17848 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3797 0 0 0 42532 473 0 0 25 0 1 0 863961280 15187968 2944 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3708 2944 300 300 0 3408 0 vsize: 14832 [startup+440.026 s] Raw data (loadavg): 0.99 0.80 0.40 2/55 17850 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3814 0 0 0 43525 480 0 0 25 0 1 0 863961280 15187968 2961 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3708 2961 300 300 0 3408 0 vsize: 14832 [startup+450.027 s] Raw data (loadavg): 0.99 0.81 0.40 2/55 17850 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3834 0 0 0 44518 487 0 0 25 0 1 0 863961280 15278080 2981 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3730 2981 300 300 0 3430 0 vsize: 14920 [startup+460.027 s] Raw data (loadavg): 0.99 0.81 0.41 2/55 17850 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3849 0 0 0 45510 495 0 0 25 0 1 0 863961280 15278080 2996 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3730 2996 300 300 0 3430 0 vsize: 14920 [startup+470.027 s] Raw data (loadavg): 0.99 0.82 0.42 2/55 17850 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3864 0 0 0 46503 502 0 0 25 0 1 0 863961280 15360000 3011 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3750 3011 300 300 0 3450 0 vsize: 15000 [startup+480.028 s] Raw data (loadavg): 0.99 0.82 0.42 2/55 17850 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3881 0 0 0 47495 511 0 0 25 0 1 0 863961280 15360000 3028 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3750 3028 300 300 0 3450 0 vsize: 15000 [startup+490.028 s] Raw data (loadavg): 0.99 0.83 0.43 2/55 17850 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3909 0 0 0 48486 520 0 0 25 0 1 0 863961280 15458304 3056 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3774 3056 300 300 0 3474 0 vsize: 15096 [startup+500.029 s] Raw data (loadavg): 0.99 0.83 0.43 2/55 17852 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3926 0 0 0 49477 528 0 0 25 0 1 0 863961280 15458304 3073 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3774 3073 300 300 0 3474 0 vsize: 15096 [startup+510.028 s] Raw data (loadavg): 0.99 0.84 0.44 2/55 17852 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3949 0 0 0 50470 535 0 0 25 0 1 0 863961280 15536128 3096 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3793 3096 300 300 0 3493 0 vsize: 15172 [startup+520.029 s] Raw data (loadavg): 0.99 0.84 0.45 2/55 17852 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3973 0 0 0 51462 543 0 0 25 0 1 0 863961280 15622144 3120 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3814 3120 300 300 0 3514 0 vsize: 15256 [startup+530.03 s] Raw data (loadavg): 0.99 0.85 0.45 2/55 17852 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 3992 0 0 0 52455 550 0 0 25 0 1 0 863961280 15622144 3139 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3814 3139 300 300 0 3514 0 vsize: 15256 [startup+540.029 s] Raw data (loadavg): 0.99 0.85 0.46 2/55 17852 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 4012 0 0 0 53444 562 0 0 25 0 1 0 863961280 15704064 3159 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3834 3159 300 300 0 3534 0 vsize: 15336 [startup+550.029 s] Raw data (loadavg): 0.99 0.86 0.46 2/55 17852 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 4032 0 0 0 54434 572 0 0 25 0 1 0 863961280 15704064 3179 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3834 3179 300 300 0 3534 0 vsize: 15336 [startup+560.03 s] Raw data (loadavg): 0.99 0.86 0.47 2/55 17854 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 4050 0 0 0 55427 579 0 0 25 0 1 0 863961280 15785984 3197 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3854 3197 300 300 0 3554 0 vsize: 15416 [startup+570.03 s] Raw data (loadavg): 0.99 0.87 0.47 2/55 17854 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 4069 0 0 0 56418 588 0 0 25 0 1 0 863961280 15785984 3216 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3854 3216 300 300 0 3554 0 vsize: 15416 [startup+580.03 s] Raw data (loadavg): 0.99 0.87 0.48 2/55 17854 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 4086 0 0 0 57410 597 0 0 25 0 1 0 863961280 15880192 3233 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3877 3233 300 300 0 3577 0 vsize: 15508 [startup+590.03 s] Raw data (loadavg): 0.99 0.87 0.48 2/55 17854 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 4098 0 0 0 58403 603 0 0 25 0 1 0 863961280 15880192 3245 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3877 3245 300 300 0 3577 0 vsize: 15508 [startup+600.032 s] Raw data (loadavg): 0.99 0.88 0.49 2/55 17854 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 4116 0 0 0 59394 612 0 0 25 0 1 0 863961280 15880192 3263 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3877 3263 300 300 0 3577 0 vsize: 15508 [startup+610.032 s] Raw data (loadavg): 0.99 0.88 0.49 2/55 17854 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 4135 0 0 0 60387 620 0 0 25 0 1 0 863961280 15958016 3282 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3896 3282 300 300 0 3596 0 vsize: 15584 [startup+620.033 s] Raw data (loadavg): 0.99 0.88 0.50 2/55 17856 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 4157 0 0 0 61378 629 0 0 25 0 1 0 863961280 16035840 3304 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3915 3304 300 300 0 3615 0 vsize: 15660 [startup+630.033 s] Raw data (loadavg): 0.99 0.89 0.50 2/55 17856 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 4166 0 0 0 62371 636 0 0 25 0 1 0 863961280 16035840 3313 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3915 3313 300 300 0 3615 0 vsize: 15660 [startup+640.034 s] Raw data (loadavg): 0.99 0.89 0.51 2/55 17856 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 4954 0 0 0 63362 645 0 0 25 0 1 0 863961280 19181568 3332 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4683 3332 300 300 0 4383 0 vsize: 18732 [startup+650.035 s] Raw data (loadavg): 0.99 0.89 0.51 2/55 17856 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 4971 0 0 0 64356 651 0 0 25 0 1 0 863961280 19271680 3349 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4705 3349 300 300 0 4405 0 vsize: 18820 [startup+660.035 s] Raw data (loadavg): 0.99 0.90 0.52 2/55 17856 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 4988 0 0 0 65348 660 0 0 25 0 1 0 863961280 19271680 3366 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4705 3366 300 300 0 4405 0 vsize: 18820 [startup+670.035 s] Raw data (loadavg): 0.99 0.90 0.52 2/55 17856 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5002 0 0 0 66340 668 0 0 25 0 1 0 863961280 19271680 3380 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4705 3380 300 300 0 4405 0 vsize: 18820 [startup+680.036 s] Raw data (loadavg): 0.99 0.90 0.53 2/55 17858 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5012 0 0 0 67333 675 0 0 25 0 1 0 863961280 19357696 3390 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4726 3390 300 300 0 4426 0 vsize: 18904 [startup+690.036 s] Raw data (loadavg): 0.99 0.91 0.53 2/55 17858 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5033 0 0 0 68325 683 0 0 25 0 1 0 863961280 19357696 3411 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4726 3411 300 300 0 4426 0 vsize: 18904 [startup+700.037 s] Raw data (loadavg): 0.99 0.91 0.54 2/55 17858 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5053 0 0 0 69320 689 0 0 25 0 1 0 863961280 19435520 3431 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4745 3431 300 300 0 4445 0 vsize: 18980 [startup+710.037 s] Raw data (loadavg): 0.99 0.91 0.54 2/55 17858 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5065 0 0 0 70315 694 0 0 25 0 1 0 863961280 19435520 3443 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4745 3443 300 300 0 4445 0 vsize: 18980 [startup+720.037 s] Raw data (loadavg): 0.99 0.91 0.54 2/55 17858 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5084 0 0 0 71309 700 0 0 25 0 1 0 863961280 19521536 3462 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4766 3462 300 300 0 4466 0 vsize: 19064 [startup+730.037 s] Raw data (loadavg): 0.99 0.92 0.55 2/55 17858 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5101 0 0 0 72302 707 0 0 25 0 1 0 863961280 19521536 3479 4294967295 134512640 135726644 3221224576 3221223184 134741128 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4766 3479 300 300 0 4466 0 vsize: 19064 [startup+740.038 s] Raw data (loadavg): 0.99 0.92 0.55 2/55 17860 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5116 0 0 0 73295 714 0 0 25 0 1 0 863961280 19521536 3494 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4766 3494 300 300 0 4466 0 vsize: 19064 [startup+750.038 s] Raw data (loadavg): 0.99 0.92 0.56 2/55 17860 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5135 0 0 0 74286 723 0 0 25 0 1 0 863961280 19611648 3513 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4788 3513 300 300 0 4488 0 vsize: 19152 [startup+760.039 s] Raw data (loadavg): 0.99 0.92 0.56 2/55 17860 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5155 0 0 0 75278 731 0 0 25 0 1 0 863961280 19689472 3533 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4807 3533 300 300 0 4507 0 vsize: 19228 [startup+770.039 s] Raw data (loadavg): 1.15 0.96 0.58 2/55 17860 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5172 0 0 0 76271 739 0 0 25 0 1 0 863961280 19689472 3550 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4807 3550 300 300 0 4507 0 vsize: 19228 [startup+780.039 s] Raw data (loadavg): 1.13 0.96 0.58 2/55 17860 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5192 0 0 0 77265 744 0 0 25 0 1 0 863961280 19775488 3570 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4828 3570 300 300 0 4528 0 vsize: 19312 [startup+790.039 s] Raw data (loadavg): 1.11 0.96 0.58 2/55 17860 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5208 0 0 0 78260 750 0 0 25 0 1 0 863961280 19775488 3586 4294967295 134512640 135726644 3221224576 3221223184 134740854 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4828 3586 300 300 0 4528 0 vsize: 19312 [startup+800.04 s] Raw data (loadavg): 1.09 0.96 0.59 2/55 17862 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5224 0 0 0 79254 756 0 0 25 0 1 0 863961280 19775488 3602 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4828 3602 300 300 0 4528 0 vsize: 19312 [startup+810.041 s] Raw data (loadavg): 1.08 0.96 0.59 2/55 17862 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5235 0 0 0 80246 764 0 0 25 0 1 0 863961280 19869696 3613 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4851 3613 300 300 0 4551 0 vsize: 19404 [startup+820.041 s] Raw data (loadavg): 1.07 0.96 0.60 2/55 17862 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5245 0 0 0 81242 769 0 0 25 0 1 0 863961280 19869696 3623 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4851 3623 300 300 0 4551 0 vsize: 19404 [startup+830.042 s] Raw data (loadavg): 1.06 0.96 0.60 2/55 17862 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5258 0 0 0 82236 774 0 0 25 0 1 0 863961280 19869696 3636 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4851 3636 300 300 0 4551 0 vsize: 19404 [startup+840.043 s] Raw data (loadavg): 1.05 0.96 0.60 2/55 17862 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5274 0 0 0 83230 781 0 0 25 0 1 0 863961280 19955712 3652 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4872 3652 300 300 0 4572 0 vsize: 19488 [startup+850.043 s] Raw data (loadavg): 1.04 0.96 0.61 2/55 17862 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5286 0 0 0 84223 788 0 0 25 0 1 0 863961280 19955712 3664 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4872 3664 300 300 0 4572 0 vsize: 19488 [startup+860.043 s] Raw data (loadavg): 1.03 0.97 0.61 2/55 17864 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5304 0 0 0 85214 797 0 0 25 0 1 0 863961280 19955712 3682 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4872 3682 300 300 0 4572 0 vsize: 19488 [startup+870.042 s] Raw data (loadavg): 1.03 0.97 0.61 2/55 17864 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5323 0 0 0 86205 806 0 0 25 0 1 0 863961280 20045824 3701 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4894 3701 300 300 0 4594 0 vsize: 19576 [startup+880.043 s] Raw data (loadavg): 1.02 0.97 0.62 2/55 17864 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5339 0 0 0 87195 817 0 0 25 0 1 0 863961280 20045824 3717 4294967295 134512640 135726644 3221224576 3221223184 134741065 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4894 3717 300 300 0 4594 0 vsize: 19576 [startup+890.043 s] Raw data (loadavg): 1.02 0.97 0.62 2/55 17864 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5357 0 0 0 88186 826 0 0 25 0 1 0 863961280 20131840 3735 4294967295 134512640 135726644 3221224576 3221223184 134740848 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4915 3735 300 300 0 4615 0 vsize: 19660 [startup+900.043 s] Raw data (loadavg): 1.02 0.97 0.63 2/55 17864 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5380 0 0 0 89177 835 0 0 25 0 1 0 863961280 20131840 3758 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4915 3758 300 300 0 4615 0 vsize: 19660 [startup+910.043 s] Raw data (loadavg): 1.01 0.97 0.63 2/55 17864 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5398 0 0 0 90168 844 0 0 25 0 1 0 863961280 20209664 3776 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4934 3776 300 300 0 4634 0 vsize: 19736 [startup+920.043 s] Raw data (loadavg): 1.01 0.97 0.63 2/55 17866 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5413 0 0 0 91161 851 0 0 25 0 1 0 863961280 20209664 3791 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4934 3791 300 300 0 4634 0 vsize: 19736 [startup+930.044 s] Raw data (loadavg): 1.01 0.97 0.64 2/55 17866 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5420 0 0 0 92155 857 0 0 25 0 1 0 863961280 20209664 3798 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4934 3798 300 300 0 4634 0 vsize: 19736 [startup+940.044 s] Raw data (loadavg): 1.01 0.97 0.64 2/55 17866 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5433 0 0 0 93148 865 0 0 25 0 1 0 863961280 20291584 3811 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4954 3811 300 300 0 4654 0 vsize: 19816 [startup+950.045 s] Raw data (loadavg): 1.00 0.97 0.64 2/55 17866 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5450 0 0 0 94143 870 0 0 25 0 1 0 863961280 20291584 3828 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4954 3828 300 300 0 4654 0 vsize: 19816 [startup+960.045 s] Raw data (loadavg): 1.00 0.97 0.65 2/55 17866 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5461 0 0 0 95136 877 0 0 25 0 1 0 863961280 20291584 3839 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4954 3839 300 300 0 4654 0 vsize: 19816 [startup+970.046 s] Raw data (loadavg): 1.00 0.97 0.65 2/55 17866 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5479 0 0 0 96131 882 0 0 25 0 1 0 863961280 20389888 3857 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4978 3857 300 300 0 4678 0 vsize: 19912 [startup+980.046 s] Raw data (loadavg): 1.00 0.97 0.65 2/55 17868 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5492 0 0 0 97122 891 0 0 25 0 1 0 863961280 20389888 3870 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4978 3870 300 300 0 4678 0 vsize: 19912 [startup+990.046 s] Raw data (loadavg): 1.00 0.97 0.66 2/55 17868 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5514 0 0 0 98115 899 0 0 25 0 1 0 863961280 20480000 3892 4294967295 134512640 135726644 3221224576 3221223184 134740848 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5000 3892 300 300 0 4700 0 vsize: 20000 [startup+1000.05 s] Raw data (loadavg): 1.00 0.97 0.66 2/55 17868 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5521 0 0 0 99111 902 0 0 25 0 1 0 863961280 20480000 3899 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5000 3899 300 300 0 4700 0 vsize: 20000 [startup+1010.05 s] Raw data (loadavg): 1.00 0.97 0.66 2/55 17868 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5536 0 0 0 100105 909 0 0 25 0 1 0 863961280 20480000 3914 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5000 3914 300 300 0 4700 0 vsize: 20000 [startup+1020.05 s] Raw data (loadavg): 1.00 0.97 0.66 2/55 17868 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5552 0 0 0 101098 916 0 0 25 0 1 0 863961280 20480000 3930 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5000 3930 300 300 0 4700 0 vsize: 20000 [startup+1030.05 s] Raw data (loadavg): 1.00 0.97 0.67 2/55 17868 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5561 0 0 0 102093 922 0 0 25 0 1 0 863961280 20566016 3939 4294967295 134512640 135726644 3221224576 3221223184 134741278 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5021 3939 300 300 0 4721 0 vsize: 20084 [startup+1040.05 s] Raw data (loadavg): 1.00 0.97 0.67 2/55 17870 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5582 0 0 0 103085 929 0 0 25 0 1 0 863961280 20566016 3960 4294967295 134512640 135726644 3221224576 3221223056 134729216 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5021 3960 300 300 0 4721 0 vsize: 20084 [startup+1050.05 s] Raw data (loadavg): 1.00 0.97 0.67 2/55 17870 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5595 0 0 0 104079 935 0 0 25 0 1 0 863961280 20566016 3973 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5021 3973 300 300 0 4721 0 vsize: 20084 [startup+1060.05 s] Raw data (loadavg): 1.00 0.97 0.68 2/55 17870 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5613 0 0 0 105073 942 0 0 25 0 1 0 863961280 20672512 3991 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5047 3991 300 300 0 4747 0 vsize: 20188 [startup+1070.05 s] Raw data (loadavg): 1.00 0.97 0.68 2/55 17870 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5633 0 0 0 106064 950 0 0 25 0 1 0 863961280 20672512 4011 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5047 4011 300 300 0 4747 0 vsize: 20188 [startup+1080.05 s] Raw data (loadavg): 1.00 0.97 0.68 2/55 17870 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5644 0 0 0 107058 957 0 0 25 0 1 0 863961280 20754432 4022 4294967295 134512640 135726644 3221224576 3221223184 134740863 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5067 4022 300 300 0 4767 0 vsize: 20268 [startup+1090.05 s] Raw data (loadavg): 1.00 0.97 0.68 2/55 17870 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5659 0 0 0 108051 964 0 0 25 0 1 0 863961280 20754432 4037 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5067 4037 300 300 0 4767 0 vsize: 20268 [startup+1100.05 s] Raw data (loadavg): 1.00 0.97 0.69 3/55 17872 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5676 0 0 0 109044 971 0 0 25 0 1 0 863961280 20754432 4054 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5067 4054 300 300 0 4767 0 vsize: 20268 [startup+1110.05 s] Raw data (loadavg): 1.00 0.97 0.69 2/55 17872 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5695 0 0 0 110038 978 0 0 25 0 1 0 863961280 20848640 4073 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5090 4073 300 300 0 4790 0 vsize: 20360 [startup+1120.05 s] Raw data (loadavg): 1.00 0.97 0.69 2/55 17872 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5713 0 0 0 111030 985 0 0 25 0 1 0 863961280 20848640 4091 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5090 4091 300 300 0 4790 0 vsize: 20360 [startup+1130.05 s] Raw data (loadavg): 1.00 0.97 0.70 2/55 17872 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5724 0 0 0 112024 992 0 0 25 0 1 0 863961280 20926464 4102 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5109 4102 300 300 0 4809 0 vsize: 20436 [startup+1140.05 s] Raw data (loadavg): 1.00 0.97 0.70 2/55 17872 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5735 0 0 0 113019 997 0 0 25 0 1 0 863961280 20926464 4113 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5109 4113 300 300 0 4809 0 vsize: 20436 [startup+1150.05 s] Raw data (loadavg): 1.00 0.97 0.70 2/55 17872 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5747 0 0 0 114015 1001 0 0 25 0 1 0 863961280 20926464 4125 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5109 4125 300 300 0 4809 0 vsize: 20436 [startup+1160.05 s] Raw data (loadavg): 1.00 0.97 0.71 2/55 17874 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5762 0 0 0 115008 1009 0 0 25 0 1 0 863961280 21008384 4140 4294967295 134512640 135726644 3221224576 3221223184 134740854 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5129 4140 300 300 0 4829 0 vsize: 20516 [startup+1170.05 s] Raw data (loadavg): 1.00 0.97 0.71 2/55 17874 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5770 0 0 0 116003 1014 0 0 25 0 1 0 863961280 21008384 4148 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5129 4148 300 300 0 4829 0 vsize: 20516 [startup+1180.06 s] Raw data (loadavg): 1.00 0.97 0.71 2/55 17874 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5783 0 0 0 116998 1019 0 0 25 0 1 0 863961280 21008384 4161 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5129 4161 300 300 0 4829 0 vsize: 20516 [startup+1190.06 s] Raw data (loadavg): 1.00 0.97 0.71 2/55 17874 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5803 0 0 0 117989 1028 0 0 25 0 1 0 863961280 21094400 4181 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5150 4181 300 300 0 4850 0 vsize: 20600 [startup+1200.06 s] Raw data (loadavg): 1.00 0.97 0.72 2/55 17874 Raw data (stat): 17834 (pb2sat) R 17833 29618 29617 0 -1 0 5814 0 0 0 118984 1033 0 0 25 0 1 0 863961280 21094400 4192 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5150 4192 300 300 0 4850 0 vsize: 20600 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.21 s] Raw data (loadavg): 1.00 0.97 0.72 1/55 17874 Raw data (stat): 17834 (pb2sat) Z 17833 29618 29617 0 -1 12 5815 0 0 0 118998 1034 0 0 25 0 1 0 863961280 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1200.21 CPU time (s): 1200.34 CPU user time (s): 1189.99 CPU system time (s): 10.3484 CPU usage (%): 100.01 Max. virtual memory (Kb): 20600 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####