Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb |
MD5SUM | 88aaed929c30a489c8806c3852596de3 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 56 |
Number of bits of the biggest sum of numbers | 6 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.173973 |
Number of variables | 5500 |
Total number of constraints | 210 |
Number of constraints which are clauses | 110 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 50 |
Maximum length of a constraint | 55 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc24 THE 2005-05-28 10:10:18 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=23947 boxname=wulflinc24 idbench=21 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 88aaed929c30a489c8806c3852596de3 /oldhome/oroussel/tmp/wulflinc24/normalized-chnl50_55_pb.cnf.cr.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc24/normalized-chnl50_55_pb.cnf.cr.opb IDLAUNCH: 23947 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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: 582336 kB Buffers: 36840 kB Cached: 393772 kB SwapCached: 644 kB Active: 63588 kB Inactive: 369168 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 582084 kB SwapTotal: 2097892 kB SwapFree: 2096352 kB Dirty: 16 kB Writeback: 0 kB Mapped: 5144 kB Slab: 13812 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 10:30:35 (client local time) WITH STATUS 0 IN 1207.51 SECONDS stats: 23947 7 1207.51 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 5400/16300 Time: 75.3565/86400 Decision: 5400/16300 Time: 78.0141/86400 Decision: 5400/16300 Time: 80.9597/86400 Decision: 5400/16300 Time: 83.6653/86400 Decision: 5400/16300 Time: 86.8248/86400 Decision: 5400/16300 Time: 90.0353/86400 Decision: 5400/16300 Time: 92.7689/86400 Decision: 5400/16300 Time: 95.7814/86400 Decision: 5400/16300 Time: 98.827/86400 Decision: 5400/16300 Time: 101.941/86400 Decision: 5400/16300 Time: 105.345/86400 Decision: 5400/16300 Time: 112.677/86400 Decision: 5400/16300 Time: 114.969/86400 Decision: 5400/16300 Time: 117.462/86400 Decision: 5400/16300 Time: 119.415/86400 Decision: 5400/16300 Time: 122.463/86400 Decision: 5400/16300 Time: 124.476/86400 Decision: 5400/16300 Time: 126.606/86400 Decision: 5400/16300 Time: 129.026/86400 Decision: 5400/16300 Time: 131.513/86400 Decision: 5400/16300 Time: 134.19/86400 Decision: 5400/16300 Time: 136.838/86400 Decision: 5400/16300 Time: 139.202/86400 Decision: 5400/16300 Time: 141.851/86400 Decision: 5400/16300 Time: 144.25/86400 Decision: 5400/16300 Time: 146.862/86400 Decision: 5400/16300 Time: 149.405/86400 Decision: 5400/16300 Time: 151.872/86400 Decision: 5400/16300 Time: 154.086/86400 Decision: 5400/16300 Time: 156.513/86400 Decision: 5400/16300 Time: 159.715/86400 Decision: 5400/16300 Time: 162.426/86400 Decision: 5400/16300 Time: 165.108/86400 Decision: 5400/16300 Time: 167.908/86400 Decision: 5400/16300 Time: 170.696/86400 Decision: 5400/16300 Time: 173.893/86400 Decision: 5400/16300 Time: 176.559/86400 Decision: 5400/16300 Time: 179.147/86400 Decision: 5400/16300 Time: 182.024/86400 Decision: 5400/16300 Time: 184.834/86400 Decision: 5400/16300 Time: 188.034/86400 Decision: 5400/16300 Time: 190.769/86400 Decision: 5400/16300 Time: 193.618/86400 Decision: 5400/16300 Time: 196.299/86400 Decision: 5400/16300 Time: 199.236/86400 Decision: 5400/16300 Time: 202.536/86400 Decision: 5400/16300 Time: 205.385/86400 Decision: 5400/16300 Time: 208.277/86400 Decision: 5400/16300 Time: 211.15/86400 Decision: 5400/16300 Time: 213.997/86400 Decision: 5400/16300 Time: 217.337/86400 Decision: 5400/16300 Time: 220.296/86400 Decision: 5400/16300 Time: 223.077/86400 Decision: 5400/16300 Time: 225.887/86400 Decision: 5400/16300 Time: 231.369/86400 Decision: 5400/16300 Time: 234.016/86400 Decision: 5400/16300 Time: 238.741/86400 Decision: 5400/16300 Time: 240.44/86400 Decision: 5400/16300 Time: 242.822/86400 Decision: 5400/16300 Time: 245.196/86400 Decision: 5400/16300 Time: 247.835/86400 Decision: 5400/16300 Time: 250.617/86400 Decision: 5400/16300 Time: 253.191/86400 Decision: 5400/16300 Time: 255.549/86400 Decision: 5400/16300 Time: 258.081/86400 Decision: 5400/16300 Time: 260.92/86400 Decision: 5400/16300 Time: 263.286/86400 Decision: 5400/16300 Time: 265.76/86400 Decision: 5400/16300 Time: 267.966/86400 Decision: 5400/16300 Time: 270.622/86400 Decision: 5400/16300 Time: 273.568/86400 Decision: 5400/16300 Time: 276.002/86400 Decision: 5400/16300 Time: 278.427/86400 Decision: 5400/16300 Time: 281.127/86400 Decision: 5400/16300 Time: 283.847/86400 Decision: 5400/16300 Time: 286.927/86400 Decision: 5400/16300 Time: 289.662/86400 Decision: 5400/16300 Time: 292.457/86400 Decision: 5400/16300 Time: 295.313/86400 Decision: 5400/16300 Time: 298.03/86400 Decision: 5400/16300 Time: 301.263/86400 Decision: 5400/16300 Time: 304.027/86400 Decision: 5400/16300 Time: 306.918/86400 Decision: 5400/16300 Time: 310.016/86400 Decision: 5400/16300 Time: 313.045/86400 Decision: 5400/16300 Time: 316.475/86400 Decision: 5400/16300 Time: 319.587/86400 Decision: 5400/16300 Time: 322.585/86400 Decision: 5400/16300 Time: 325.617/86400 Decision: 5400/16300 Time: 335.754/86400 Decision: 5400/16300 Time: 339.652/86400 Decision: 5400/16300 Time: 342.984/86400 Decision: 5400/16300 Time: 346.136/86400 Decision: 5400/16300 Time: 349.537/86400 Decision: 5400/16300 Time: 352.718/86400 Decision: 5400/16300 Time: 356.602/86400 Decision: 5400/16300 Time: 359.827/86400 Decision: 5400/16300 Time: 362.954/86400 Decision: 5400/16300 Time: 366.153/86400 Decision: 5400/16300 Time: 369.597/86400 Decision: 5400/16300 Time: 373.465/86400 Decision: 5400/16300 Time: 376.689/86400 Decision: 5400/16300 Time: 380.045/86400 Decision: 5400/16300 Time: 383.303/86400 Decision: 5400/16300 Time: 386.627/86400 Decision: 5400/16300 Time: 390.977/86400 Decision: 5400/16300 Time: 394.451/86400 Decision: 5400/16300 Time: 397.884/86400 Decision: 5400/16300 Time: 401.444/86400 Decision: 5400/16300 Time: 404.952/86400 Decision: 5400/16300 Time: 409.166/86400 Decision: 5400/16300 Time: 412.563/86400 Decision: 5400/16300 Time: 416.159/86400 Decision: 5400/16300 Time: 419.788/86400 Decision: 5400/16300 Time: 423.445/86400 Decision: 5400/16300 Time: 427.634/86400 Decision: 5400/16300 Time: 444.853/86400 Decision: 5400/16300 Time: 446.99/86400 Decision: 5400/16300 Time: 449.123/86400 Decision: 5400/16300 Time: 451.406/86400 Decision: 5400/16300 Time: 454.162/86400 Decision: 5400/16300 Time: 456.207/86400 Decision: 5400/16300 Time: 458.544/86400 Decision: 5400/16300 Time: 460.897/86400 Decision: 5400/16300 Time: 463.308/86400 Decision: 5400/16300 Time: 465.85/86400 Decision: 5400/16300 Time: 468.292/86400 Decision: 5400/16300 Time: 470.734/86400 Decision: 5400/16300 Time: 473.35/86400 Decision: 5400/16300 Time: 475.808/86400 Decision: 5400/16300 Time: 478.679/86400 Decision: 5400/16300 Time: 481.148/86400 Decision: 5400/16300 Time: 483.74/86400 Decision: 5400/16300 Time: 486.677/86400 Decision: 5400/16300 Time: 489.4/86400 Decision: 5400/16300 Time: 492.625/86400 Decision: 5400/16300 Time: 495.292/86400 Decision: 5400/16300 Time: 498.023/86400 Decision: 5400/16300 Time: 500.914/86400 Decision: 5400/16300 Time: 503.771/86400 Decision: 5400/16300 Time: 506.937/86400 Decision: 5400/16300 Time: 509.646/86400 Decision: 5400/16300 Time: 512.375/86400 Decision: 5400/16300 Time: 515.492/86400 Decision: 5400/16300 Time: 518.255/86400 Decision: 5400/16300 Time: 521.608/86400 Decision: 5400/16300 Time: 525.013/86400 Decision: 5400/16300 Time: 528.015/86400 Decision: 5400/16300 Time: 530.955/86400 Decision: 5400/16300 Time: 534.087/86400 Decision: 5400/16300 Time: 537.56/86400 Decision: 5400/16300 Time: 540.602/86400 Decision: 5400/16300 Time: 543.809/86400 Decision: 5400/16300 Time: 546.917/86400 Decision: 5400/16300 Time: 550.048/86400 Decision: 5400/16300 Time: 553.742/86400 Decision: 5400/16300 Time: 557.006/86400 Decision: 5400/16300 Time: 560.279/86400 Decision: 5400/16300 Time: 563.34/86400 Decision: 5400/16300 Time: 569.632/86400 Decision: 5400/16300 Time: 571.808/86400 Decision: 5400/16300 Time: 575.843/86400 Decision: 5400/16300 Time: 577.995/86400 Decision: 5400/16300 Time: 582.05/86400 Decision: 5400/16300 Time: 584/86400 Decision: 5400/16300 Time: 587.272/86400 Decision: 5400/16300 Time: 589.451/86400 Decision: 5400/16300 Time: 591.718/86400 Decision: 5400/16300 Time: 593.969/86400 Decision: 5400/16300 Time: 596.571/86400 Decision: 5400/16300 Time: 598.964/86400 Decision: 5400/16300 Time: 601.256/86400 Decision: 5400/16300 Time: 603.651/86400 Decision: 5400/16300 Time: 605.957/86400 Decision: 5400/16300 Time: 608.268/86400 Decision: 5400/16300 Time: 610.971/86400 Decision: 5400/16300 Time: 613.36/86400 Decision: 5400/16300 Time: 615.88/86400 Decision: 5400/16300 Time: 618.373/86400 Decision: 5400/16300 Time: 620.867/86400 Decision: 5400/16300 Time: 623.636/86400 Decision: 5400/16300 Time: 626.157/86400 Decision: 5400/16300 Time: 628.975/86400 Decision: 5400/16300 Time: 631.605/86400 Decision: 5400/16300 Time: 634.601/86400 Decision: 5400/16300 Time: 637.793/86400 Decision: 5400/16300 Time: 640.64/86400 Decision: 5400/16300 Time: 643.318/86400 Decision: 5400/16300 Time: 645.996/86400 Decision: 5400/16300 Time: 648.494/86400 Decision: 5400/16300 Time: 651.592/86400 Decision: 5400/16300 Time: 654.476/86400 Decision: 5400/16300 Time: 657.191/86400 Decision: 5400/16300 Time: 660.039/86400 Decision: 5400/16300 Time: 662.934/86400 Decision: 5400/16300 Time: 666.204/86400 Decision: 5400/16300 Time: 668.975/86400 Decision: 5400/16300 Time: 671.861/86400 Decision: 5400/16300 Time: 674.56/86400 Decision: 5400/16300 Time: 677.498/86400 Decision: 5400/16300 Time: 680.784/86400 Decision: 5400/16300 Time: 683.624/86400 Decision: 5400/16300 Time: 686.504/86400 Decision: 5400/16300 Time: 689.401/86400 Decision: 5400/16300 Time: 692.42/86400 Decision: 5400/16300 Time: 695.959/86400 Decision: 5400/16300 Time: 698.999/86400 Decision: 5400/16300 Time: 701.874/86400 Decision: 5400/16300 Time: 704.841/86400 Decision: 5400/16300 Time: 707.981/86400 Decision: 5400/16300 Time: 711.422/86400 Decision: 5400/16300 Time: 714.651/86400 Decision: 5400/16300 Time: 717.512/86400 Decision: 5400/16300 Time: 720.522/86400 Decision: 5400/16300 Time: 723.687/86400 Decision: 5400/16300 Time: 727.3/86400 Decision: 5400/16300 Time: 730.343/86400 Decision: 5400/16300 Time: 733.626/86400 Decision: 5400/16300 Time: 736.784/86400 Decision: 5400/16300 Time: 740.164/86400 Decision: 5400/16300 Time: 744.294/86400 Decision: 5400/16300 Time: 747.6/86400 Decision: 5400/16300 Time: 750.94/86400 Decision: 5400/16300 Time: 754.253/86400 Decision: 5400/16300 Time: 757.543/86400 Decision: 5400/16300 Time: 761.491/86400 Decision: 5400/16300 Time: 764.786/86400 Decision: 5400/16300 Time: 768.097/86400 Decision: 5400/16300 Time: 771.496/86400 Decision: 5400/16300 Time: 774.827/86400 Decision: 5400/16300 Time: 778.966/86400 Decision: 5400/16300 Time: 782.547/86400 Decision: 5400/16300 Time: 785.828/86400 Decision: 5400/16300 Time: 789.082/86400 Decision: 5400/16300 Time: 792.618/86400 Decision: 5400/16300 Time: 797.042/86400 Decision: 5400/16300 Time: 800.566/86400 Decision: 5400/16300 Time: 804.168/86400 Decision: 5400/16300 Time: 807.507/86400 Decision: 5400/16300 Time: 811.081/86400 Decision: 5400/16300 Time: 815.219/86400 Decision: 5400/16300 Time: 818.589/86400 Decision: 5400/16300 Time: 822.131/86400 Decision: 5400/16300 Time: 825.606/86400 Decision: 5400/16300 Time: 829.385/86400 Decision: 5400/16300 Time: 833.722/86400 Decision: 5400/16300 Time: 837.467/86400 Decision: 5400/16300 Time: 841.203/86400 Decision: 5400/16300 Time: 844.801/86400 Decision: 5400/16300 Time: 848.675/86400 Decision: 5400/16300 Time: 853.372/86400 Decision: 5400/16300 Time: 857.065/86400 Decision: 5400/16300 Time: 860.695/86400 Decision: 5400/16300 Time: 864.45/86400 Decision: 5400/16300 Time: 868.033/86400 Decision: 5400/16300 Time: 872.549/86400 Decision: 5400/16300 Time: 876.115/86400 Decision: 5400/16300 Time: 879.876/86400 Decision: 5400/16300 Time: 883.612/86400 Decision: 5400/16300 Time: 887.382/86400 Decision: 5400/16300 Time: 892.186/86400 Decision: 5400/16300 Time: 896.078/86400 Decision: 5400/16300 Time: 900.073/86400 Decision: 5400/16300 Time: 904.179/86400 Decision: 5400/16300 Time: 908.052/86400 Decision: 5400/16300 Time: 912.941/86400 Decision: 5400/16300 Time: 916.77/86400 Decision: 5400/16300 Time: 920.843/86400 Decision: 5400/16300 Time: 924.898/86400 Decision: 5400/16300 Time: 929.076/86400 Decision: 5400/16300 Time: 934.109/86400 Decision: 5400/16300 Time: 938.167/86400 Decision: 5400/16300 Time: 942.272/86400 Decision: 5400/16300 Time: 946.438/86400 Decision: 5400/16300 Time: 950.654/86400 Decision: 5400/16300 Time: 955.873/86400 Decision: 5400/16300 Time: 960.012/86400 Decision: 5400/16300 Time: 964.177/86400 Decision: 5400/16300 Time: 968.274/86400 Decision: 5400/16300 Time: 972.372/86400 Decision: 5400/16300 Time: 977.446/86400 Decision: 5400/16300 Time: 981.754/86400 Decision: 5400/16300 Time: 985.703/86400 Decision: 5400/16300 Time: 990.04/86400 Decision: 5400/16300 Time: 994.389/86400 Decision: 5400/16300 Time: 999.811/86400 Decision: 5400/16300 Time: 1003.8/86400 Decision: 5400/16300 Time: 1007.83/86400 Decision: 5400/16300 Time: 1011.91/86400 Decision: 5400/16300 Time: 1015.87/86400 Decision: 5400/16300 Time: 1021.14/86400 Decision: 5400/16300 Time: 1025.34/86400 Decision: 5400/16300 Time: 1029.36/86400 Decision: 5400/16300 Time: 1033.33/86400 Decision: 5400/16300 Time: 1037.43/86400 Decision: 5400/16300 Time: 1042.5/86400 Decision: 5400/16300 Time: 1046.72/86400 Decision: 5400/16300 Time: 1050.93/86400 Decision: 5400/16300 Time: 1055.31/86400 Decision: 5400/16300 Time: 1059.41/86400 Decision: 5400/16300 Time: 1064.48/86400 Decision: 5400/16300 Time: 1068.82/86400 Decision: 5400/16300 Time: 1073/86400 Decision: 5400/16300 Time: 1077.2/86400 Decision: 5400/16300 Time: 1081.53/86400 Decision: 5400/16300 Time: 1087/86400 Decision: 5400/16300 Time: 1091.47/86400 Decision: 5400/16300 Time: 1095.82/86400 Decision: 5400/16300 Time: 1100.49/86400 Decision: 5400/16300 Time: 1105.14/86400 Decision: 5400/16300 Time: 1110.98/86400 Decision: 5400/16300 Time: 1115.49/86400 Decision: 5400/16300 Time: 1119.9/86400 Decision: 5400/16300 Time: 1124.28/86400 Decision: 5400/16300 Time: 1128.97/86400 Decision: 5400/16300 Time: 1134.77/86400 Decision: 5400/16300 Time: 1139.39/86400 Decision: 5400/16300 Time: 1143.78/86400 Decision: 5400/16300 Time: 1148.31/86400 Decision: 5400/16300 Time: 1153.03/86400 Decision: 5400/16300 Time: 1158.6/86400 Decision: 5400/16300 Time: 1162.85/86400 Decision: 5400/16300 Time: 1167.42/86400 Decision: 5400/16300 Time: 1171.79/86400 Decision: 5400/16300 Time: 1176.29/86400 Decision: 5400/16300 Time: 1181.79/86400 Decision: 5400/16300 Time: 1186.1/86400 Decision: 5400/16300 Time: 1190.34/86400 Decision: 5400/16300 Time: 1194.83/86400 Decision: 5400/16300 Time: 1199.34/86400 Decision: 5400/16300 Time: 1204.91/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.08 0.02 0.01 1/54 18134 Raw data (stat): 18134 (runsolver) D 18133 4613 4612 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 863973329 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0472 s] Raw data (loadavg): 0.22 0.05 0.02 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 2467 0 8 0 696 7 0 0 25 0 1 0 863973329 10104832 1853 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2467 1853 300 300 0 2167 0 vsize: 9868 [startup+20.0837 s] Raw data (loadavg): 0.34 0.08 0.02 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 3262 0 8 0 1698 9 0 0 25 0 1 0 863973329 14573568 2648 4294967295 134512640 135726644 3221224576 3221223120 134736658 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3558 2648 300 300 0 3258 0 vsize: 14232 [startup+30.0832 s] Raw data (loadavg): 0.44 0.11 0.03 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 3838 0 8 0 2695 12 0 0 25 0 1 0 863973329 14712832 3224 4294967295 134512640 135726644 3221224576 3221223072 134744051 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3592 3224 300 300 0 3292 0 vsize: 14368 [startup+40.0834 s] Raw data (loadavg): 0.53 0.14 0.04 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 4290 0 8 0 3694 13 0 0 25 0 1 0 863973329 23240704 3676 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5674 3676 300 300 0 5374 0 vsize: 22696 [startup+50.0839 s] Raw data (loadavg): 0.60 0.17 0.05 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 4858 0 8 0 4692 16 0 0 25 0 1 0 863973329 23379968 4244 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5708 4244 300 300 0 5408 0 vsize: 22832 [startup+60.0832 s] Raw data (loadavg): 0.66 0.19 0.06 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 5385 0 8 0 5691 17 0 0 25 0 1 0 863973329 23379968 4771 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5708 4771 300 300 0 5408 0 vsize: 22832 [startup+70.0832 s] Raw data (loadavg): 0.71 0.22 0.07 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 5847 0 8 0 6689 19 0 0 25 0 1 0 863973329 23379968 5233 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5708 5233 300 300 0 5408 0 vsize: 22832 [startup+80.0839 s] Raw data (loadavg): 0.76 0.24 0.08 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 6302 0 8 0 7687 21 0 0 25 0 1 0 863973329 40337408 5688 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9848 5688 300 300 0 9548 0 vsize: 39392 [startup+90.0833 s] Raw data (loadavg): 0.95 0.30 0.10 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 7636 0 8 0 8683 25 0 0 25 0 1 0 863973329 41734144 7022 4294967295 134512640 135726644 3221224576 3221223088 134742899 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10189 7022 300 300 0 9889 0 vsize: 40756 [startup+100.084 s] Raw data (loadavg): 0.95 0.32 0.11 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 8323 0 8 0 9681 27 0 0 25 0 1 0 863973329 42999808 7709 4294967295 134512640 135726644 3221224576 3221223168 134760015 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10498 7709 300 300 0 10198 0 vsize: 41992 [startup+110.085 s] Raw data (loadavg): 0.96 0.35 0.12 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 9452 0 8 0 10678 30 0 0 25 0 1 0 863973329 44883968 8838 4294967295 134512640 135726644 3221224576 3221223072 134744211 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10958 8838 300 300 0 10658 0 vsize: 43832 [startup+120.085 s] Raw data (loadavg): 0.97 0.37 0.13 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 10068 0 8 0 11670 38 0 0 25 0 1 0 863973329 45305856 9454 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11061 9454 300 300 0 10761 0 vsize: 44244 [startup+130.085 s] Raw data (loadavg): 1.05 0.40 0.14 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 10756 0 8 0 12667 41 0 0 25 0 1 0 863973329 45391872 10142 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11082 10142 300 300 0 10782 0 vsize: 44328 [startup+140.085 s] Raw data (loadavg): 1.04 0.42 0.15 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 10819 0 8 0 13665 42 0 0 25 0 1 0 863973329 45584384 10205 4294967295 134512640 135726644 3221224576 3221222912 134763531 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11129 10205 300 300 0 10829 0 vsize: 44516 [startup+150.085 s] Raw data (loadavg): 1.04 0.44 0.16 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 10895 0 8 0 14665 42 0 0 25 0 1 0 863973329 45826048 10281 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11188 10281 300 300 0 10888 0 vsize: 44752 [startup+160.085 s] Raw data (loadavg): 1.03 0.46 0.17 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 11016 0 8 0 15664 44 0 0 25 0 1 0 863973329 46358528 10402 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11318 10402 300 300 0 11018 0 vsize: 45272 [startup+170.085 s] Raw data (loadavg): 1.02 0.48 0.18 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 11591 0 8 0 16662 46 0 0 25 0 1 0 863973329 48566272 10592 4294967295 134512640 135726644 3221224576 3221223184 134741148 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11857 10592 300 300 0 11557 0 vsize: 47428 [startup+180.084 s] Raw data (loadavg): 1.09 0.51 0.19 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 11742 0 8 0 17661 47 0 0 25 0 1 0 863973329 49213440 10743 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12015 10743 300 300 0 11715 0 vsize: 48060 [startup+190.084 s] Raw data (loadavg): 1.08 0.52 0.20 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 11902 0 8 0 18660 48 0 0 25 0 1 0 863973329 49700864 10903 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12134 10903 300 300 0 11834 0 vsize: 48536 [startup+200.085 s] Raw data (loadavg): 1.07 0.54 0.21 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 12104 0 8 0 19659 49 0 0 25 0 1 0 863973329 50548736 11105 4294967295 134512640 135726644 3221224576 3221223184 134741148 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12341 11105 300 300 0 12041 0 vsize: 49364 [startup+210.084 s] Raw data (loadavg): 1.06 0.55 0.22 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 12266 0 8 0 20658 50 0 0 25 0 1 0 863973329 51077120 11267 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12470 11267 300 300 0 12170 0 vsize: 49880 [startup+220.085 s] Raw data (loadavg): 1.05 0.57 0.22 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 12412 0 8 0 21657 51 0 0 25 0 1 0 863973329 51613696 11413 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12601 11413 300 300 0 12301 0 vsize: 50404 [startup+230.085 s] Raw data (loadavg): 1.04 0.58 0.23 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 12597 0 8 0 22656 52 0 0 25 0 1 0 863973329 52371456 11598 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12786 11598 300 300 0 12486 0 vsize: 51144 [startup+240.084 s] Raw data (loadavg): 1.03 0.60 0.24 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 12667 0 8 0 23649 60 0 0 25 0 1 0 863973329 52568064 11668 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12834 11668 300 300 0 12534 0 vsize: 51336 [startup+250.085 s] Raw data (loadavg): 1.03 0.61 0.25 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 12684 0 8 0 24646 63 0 0 25 0 1 0 863973329 52568064 11685 4294967295 134512640 135726644 3221224576 3221223072 134743946 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12834 11685 300 300 0 12534 0 vsize: 51336 [startup+260.085 s] Raw data (loadavg): 1.02 0.62 0.26 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 12700 0 8 0 25645 64 0 0 25 0 1 0 863973329 52568064 11701 4294967295 134512640 135726644 3221224576 3221223168 134760431 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12834 11701 300 300 0 12534 0 vsize: 51336 [startup+270.084 s] Raw data (loadavg): 1.02 0.63 0.26 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 12716 0 8 0 26644 65 0 0 25 0 1 0 863973329 52568064 11717 4294967295 134512640 135726644 3221224576 3221223120 134736658 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12834 11717 300 300 0 12534 0 vsize: 51336 [startup+280.085 s] Raw data (loadavg): 1.02 0.64 0.27 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 12732 0 8 0 27643 66 0 0 25 0 1 0 863973329 52568064 11733 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12834 11733 300 300 0 12534 0 vsize: 51336 [startup+290.085 s] Raw data (loadavg): 1.01 0.66 0.28 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 12748 0 8 0 28643 67 0 0 25 0 1 0 863973329 52568064 11749 4294967295 134512640 135726644 3221224576 3221223088 134742894 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12834 11749 300 300 0 12534 0 vsize: 51336 [startup+300.085 s] Raw data (loadavg): 1.01 0.67 0.29 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 12801 0 8 0 29642 67 0 0 25 0 1 0 863973329 52727808 11802 4294967295 134512640 135726644 3221224576 3221223120 134736658 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12873 11802 300 300 0 12573 0 vsize: 51492 [startup+310.085 s] Raw data (loadavg): 1.01 0.68 0.29 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 12866 0 8 0 30642 68 0 0 25 0 1 0 863973329 52940800 11867 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12925 11867 300 300 0 12625 0 vsize: 51700 [startup+320.085 s] Raw data (loadavg): 1.01 0.69 0.30 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 12961 0 8 0 31641 69 0 0 25 0 1 0 863973329 53272576 11962 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13006 11962 300 300 0 12706 0 vsize: 52024 [startup+330.085 s] Raw data (loadavg): 1.00 0.70 0.31 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 13140 0 8 0 32641 69 0 0 25 0 1 0 863973329 54063104 12141 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13199 12141 300 300 0 12899 0 vsize: 52796 [startup+340.086 s] Raw data (loadavg): 1.00 0.71 0.31 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 13587 0 8 0 33634 77 0 0 25 0 1 0 863973329 55808000 12588 4294967295 134512640 135726644 3221224576 3221222764 135287443 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13625 12588 300 300 0 13325 0 vsize: 54500 [startup+350.086 s] Raw data (loadavg): 1.00 0.72 0.32 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 13653 0 8 0 34633 77 0 0 25 0 1 0 863973329 55988224 12654 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13669 12654 300 300 0 13369 0 vsize: 54676 [startup+360.086 s] Raw data (loadavg): 1.00 0.72 0.33 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 13685 0 8 0 35632 78 0 0 25 0 1 0 863973329 56070144 12686 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13689 12686 300 300 0 13389 0 vsize: 54756 [startup+370.086 s] Raw data (loadavg): 1.00 0.73 0.33 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 13765 0 8 0 36632 79 0 0 25 0 1 0 863973329 56352768 12766 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13758 12766 300 300 0 13458 0 vsize: 55032 [startup+380.087 s] Raw data (loadavg): 1.00 0.74 0.34 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 13840 0 8 0 37631 80 0 0 25 0 1 0 863973329 56606720 12841 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13820 12841 300 300 0 13520 0 vsize: 55280 [startup+390.087 s] Raw data (loadavg): 1.00 0.75 0.35 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 14599 0 8 0 38629 83 0 0 25 0 1 0 863973329 57335808 13600 4294967295 134512640 135726644 3221224576 3221223088 134742606 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13998 13600 300 300 0 13698 0 vsize: 55992 [startup+400.089 s] Raw data (loadavg): 1.00 0.76 0.35 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 15339 0 8 0 39626 86 0 0 25 0 1 0 863973329 92061696 14340 4294967295 134512640 135726644 3221224576 3221222816 134782642 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22476 14340 300 300 0 22176 0 vsize: 89904 [startup+410.089 s] Raw data (loadavg): 1.00 0.76 0.36 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 16257 0 8 0 40623 89 0 0 25 0 1 0 863973329 93044736 15258 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22716 15258 300 300 0 22416 0 vsize: 90864 [startup+420.089 s] Raw data (loadavg): 1.00 0.77 0.37 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 16514 0 8 0 41623 89 0 0 25 0 1 0 863973329 93569024 15515 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22844 15515 300 300 0 22544 0 vsize: 91376 [startup+430.089 s] Raw data (loadavg): 1.00 0.78 0.37 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 17384 0 8 0 42619 93 0 0 25 0 1 0 863973329 94302208 16385 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23023 16385 300 300 0 22723 0 vsize: 92092 [startup+440.089 s] Raw data (loadavg): 1.00 0.79 0.38 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 17657 0 8 0 43616 97 0 0 25 0 1 0 863973329 95424512 16658 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23297 16658 300 300 0 22997 0 vsize: 93188 [startup+450.09 s] Raw data (loadavg): 1.00 0.79 0.38 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 17776 0 8 0 44612 101 0 0 25 0 1 0 863973329 95440896 16777 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23301 16777 300 300 0 23001 0 vsize: 93204 [startup+460.091 s] Raw data (loadavg): 1.00 0.80 0.39 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 18550 0 8 0 45609 104 0 0 25 0 1 0 863973329 95440896 17551 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23301 17551 300 300 0 23001 0 vsize: 93204 [startup+470.09 s] Raw data (loadavg): 1.00 0.80 0.40 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19337 0 8 0 46607 106 0 0 25 0 1 0 863973329 98586624 17569 4294967295 134512640 135726644 3221224576 3221223120 134736692 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24069 17569 300 300 0 23769 0 vsize: 96276 [startup+480.091 s] Raw data (loadavg): 1.00 0.81 0.40 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19353 0 8 0 47606 107 0 0 25 0 1 0 863973329 98586624 17585 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24069 17585 300 300 0 23769 0 vsize: 96276 [startup+490.091 s] Raw data (loadavg): 1.00 0.82 0.41 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19368 0 8 0 48606 108 0 0 25 0 1 0 863973329 98586624 17600 4294967295 134512640 135726644 3221224576 3221223088 134742952 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24069 17600 300 300 0 23769 0 vsize: 96276 [startup+500.091 s] Raw data (loadavg): 1.00 0.82 0.41 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19383 0 8 0 49605 109 0 0 25 0 1 0 863973329 98586624 17615 4294967295 134512640 135726644 3221224576 3221222960 134758101 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24069 17615 300 300 0 23769 0 vsize: 96276 [startup+510.091 s] Raw data (loadavg): 1.00 0.83 0.42 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19397 0 8 0 50605 109 0 0 25 0 1 0 863973329 98586624 17629 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24069 17629 300 300 0 23769 0 vsize: 96276 [startup+520.091 s] Raw data (loadavg): 1.00 0.83 0.43 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19411 0 8 0 51604 110 0 0 25 0 1 0 863973329 98586624 17643 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24069 17643 300 300 0 23769 0 vsize: 96276 [startup+530.091 s] Raw data (loadavg): 1.00 0.84 0.43 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19424 0 8 0 52604 111 0 0 25 0 1 0 863973329 98586624 17656 4294967295 134512640 135726644 3221224576 3221223172 134743856 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24069 17656 300 300 0 23769 0 vsize: 96276 [startup+540.091 s] Raw data (loadavg): 1.00 0.84 0.44 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19438 0 8 0 53603 111 0 0 25 0 1 0 863973329 98586624 17670 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24069 17670 300 300 0 23769 0 vsize: 96276 [startup+550.092 s] Raw data (loadavg): 1.00 0.85 0.44 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19450 0 8 0 54603 112 0 0 25 0 1 0 863973329 98586624 17682 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24069 17682 300 300 0 23769 0 vsize: 96276 [startup+560.092 s] Raw data (loadavg): 1.00 0.85 0.45 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19469 0 8 0 55603 112 0 0 25 0 1 0 863973329 98611200 17701 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24075 17701 300 300 0 23775 0 vsize: 96300 [startup+570.092 s] Raw data (loadavg): 1.00 0.86 0.45 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19508 0 8 0 56602 113 0 0 25 0 1 0 863973329 98816000 17740 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24125 17740 300 300 0 23825 0 vsize: 96500 [startup+580.092 s] Raw data (loadavg): 1.00 0.86 0.46 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19557 0 8 0 57594 121 0 0 25 0 1 0 863973329 98889728 17789 4294967295 134512640 135726644 3221224576 3221222816 135278589 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24143 17789 300 300 0 23843 0 vsize: 96572 [startup+590.092 s] Raw data (loadavg): 1.00 0.86 0.46 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19571 0 8 0 58589 127 0 0 25 0 1 0 863973329 98889728 17803 4294967295 134512640 135726644 3221224576 3221223168 134760517 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24143 17803 300 300 0 23843 0 vsize: 96572 [startup+600.093 s] Raw data (loadavg): 1.00 0.87 0.47 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19588 0 8 0 59587 128 0 0 25 0 1 0 863973329 98889728 17820 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24143 17820 300 300 0 23843 0 vsize: 96572 [startup+610.093 s] Raw data (loadavg): 1.00 0.87 0.47 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19606 0 8 0 60587 129 0 0 25 0 1 0 863973329 98889728 17838 4294967295 134512640 135726644 3221224576 3221222756 135277538 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24143 17838 300 300 0 23843 0 vsize: 96572 [startup+620.092 s] Raw data (loadavg): 1.00 0.88 0.48 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19622 0 8 0 61586 130 0 0 25 0 1 0 863973329 98889728 17854 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24143 17854 300 300 0 23843 0 vsize: 96572 [startup+630.093 s] Raw data (loadavg): 1.00 0.88 0.48 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19638 0 8 0 62585 131 0 0 25 0 1 0 863973329 98889728 17870 4294967295 134512640 135726644 3221224576 3221222816 134782822 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24143 17870 300 300 0 23843 0 vsize: 96572 [startup+640.093 s] Raw data (loadavg): 1.00 0.88 0.49 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19653 0 8 0 63585 132 0 0 25 0 1 0 863973329 98889728 17885 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24143 17885 300 300 0 23843 0 vsize: 96572 [startup+650.093 s] Raw data (loadavg): 1.00 0.89 0.49 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19667 0 8 0 64585 132 0 0 25 0 1 0 863973329 98889728 17899 4294967295 134512640 135726644 3221224576 3221222924 134810651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24143 17899 300 300 0 23843 0 vsize: 96572 [startup+660.094 s] Raw data (loadavg): 1.00 0.89 0.50 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19683 0 8 0 65585 132 0 0 25 0 1 0 863973329 98889728 17915 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24143 17915 300 300 0 23843 0 vsize: 96572 [startup+670.094 s] Raw data (loadavg): 1.00 0.89 0.50 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19696 0 8 0 66584 133 0 0 25 0 1 0 863973329 98889728 17928 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24143 17928 300 300 0 23843 0 vsize: 96572 [startup+680.094 s] Raw data (loadavg): 1.00 0.90 0.51 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19718 0 8 0 67583 134 0 0 25 0 1 0 863973329 98918400 17950 4294967295 134512640 135726644 3221224576 3221223120 134736818 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24150 17950 300 300 0 23850 0 vsize: 96600 [startup+690.094 s] Raw data (loadavg): 1.00 0.90 0.51 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19742 0 8 0 68583 135 0 0 25 0 1 0 863973329 98967552 17974 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24162 17974 300 300 0 23862 0 vsize: 96648 [startup+700.095 s] Raw data (loadavg): 1.00 0.90 0.52 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19774 0 8 0 69582 135 0 0 25 0 1 0 863973329 99041280 18006 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24180 18006 300 300 0 23880 0 vsize: 96720 [startup+710.095 s] Raw data (loadavg): 1.00 0.90 0.52 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19807 0 8 0 70582 136 0 0 25 0 1 0 863973329 99115008 18039 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24198 18039 300 300 0 23898 0 vsize: 96792 [startup+720.095 s] Raw data (loadavg): 1.00 0.91 0.53 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19830 0 8 0 71581 137 0 0 25 0 1 0 863973329 99160064 18062 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24209 18062 300 300 0 23909 0 vsize: 96836 [startup+730.095 s] Raw data (loadavg): 1.00 0.91 0.53 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19854 0 8 0 72581 137 0 0 25 0 1 0 863973329 99205120 18086 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24220 18086 300 300 0 23920 0 vsize: 96880 [startup+740.096 s] Raw data (loadavg): 1.00 0.91 0.54 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19872 0 8 0 73580 138 0 0 25 0 1 0 863973329 99225600 18104 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24225 18104 300 300 0 23925 0 vsize: 96900 [startup+750.096 s] Raw data (loadavg): 1.00 0.91 0.54 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19907 0 8 0 74580 139 0 0 25 0 1 0 863973329 99323904 18139 4294967295 134512640 135726644 3221224576 3221222864 134763385 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24249 18139 300 300 0 23949 0 vsize: 96996 [startup+760.096 s] Raw data (loadavg): 1.00 0.92 0.55 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19939 0 8 0 75579 139 0 0 25 0 1 0 863973329 99405824 18171 4294967295 134512640 135726644 3221224576 3221222952 134758937 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24269 18171 300 300 0 23969 0 vsize: 97076 [startup+770.095 s] Raw data (loadavg): 1.00 0.92 0.55 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 19992 0 8 0 76579 140 0 0 25 0 1 0 863973329 99573760 18224 4294967295 134512640 135726644 3221224576 3221222704 134782321 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24310 18224 300 300 0 24010 0 vsize: 97240 [startup+780.096 s] Raw data (loadavg): 1.00 0.92 0.56 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 20048 0 8 0 77579 140 0 0 25 0 1 0 863973329 99753984 18280 4294967295 134512640 135726644 3221224576 3221222944 134758972 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24354 18280 300 300 0 24054 0 vsize: 97416 [startup+790.096 s] Raw data (loadavg): 1.00 0.92 0.56 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 20103 0 8 0 78578 141 0 0 25 0 1 0 863973329 99934208 18335 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24398 18335 300 300 0 24098 0 vsize: 97592 [startup+800.096 s] Raw data (loadavg): 1.00 0.92 0.56 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 20159 0 8 0 79578 142 0 0 25 0 1 0 863973329 100114432 18391 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24442 18391 300 300 0 24142 0 vsize: 97768 [startup+810.096 s] Raw data (loadavg): 1.00 0.93 0.57 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 20215 0 8 0 80577 142 0 0 25 0 1 0 863973329 100294656 18447 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24486 18447 300 300 0 24186 0 vsize: 97944 [startup+820.096 s] Raw data (loadavg): 1.00 0.93 0.57 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 20275 0 8 0 81577 143 0 0 25 0 1 0 863973329 100499456 18507 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24536 18507 300 300 0 24236 0 vsize: 98144 [startup+830.096 s] Raw data (loadavg): 1.00 0.93 0.57 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 20333 0 8 0 82576 144 0 0 25 0 1 0 863973329 100687872 18565 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24582 18565 300 300 0 24282 0 vsize: 98328 [startup+840.097 s] Raw data (loadavg): 1.00 0.93 0.58 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 20418 0 8 0 83576 145 0 0 25 0 1 0 863973329 101072896 18650 4294967295 134512640 135726644 3221224576 3221223088 134742630 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24676 18650 300 300 0 24376 0 vsize: 98704 [startup+850.097 s] Raw data (loadavg): 1.00 0.93 0.58 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 20543 0 8 0 84575 145 0 0 25 0 1 0 863973329 101310464 18775 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24734 18775 300 300 0 24434 0 vsize: 98936 [startup+860.097 s] Raw data (loadavg): 1.00 0.94 0.59 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 20959 0 8 0 85573 147 0 0 25 0 1 0 863973329 101531648 19191 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24788 19191 300 300 0 24488 0 vsize: 99152 [startup+870.097 s] Raw data (loadavg): 1.00 0.94 0.59 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 21066 0 8 0 86573 148 0 0 25 0 1 0 863973329 102064128 19298 4294967295 134512640 135726644 3221224576 3221222896 134728999 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24918 19298 300 300 0 24618 0 vsize: 99672 [startup+880.098 s] Raw data (loadavg): 1.00 0.94 0.59 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 21209 0 8 0 87572 149 0 0 25 0 1 0 863973329 102350848 19441 4294967295 134512640 135726644 3221224576 3221223120 134736622 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24988 19441 300 300 0 24688 0 vsize: 99952 [startup+890.099 s] Raw data (loadavg): 1.00 0.94 0.60 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 21298 0 8 0 88571 150 0 0 25 0 1 0 863973329 102449152 19530 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25012 19530 300 300 0 24712 0 vsize: 100048 [startup+900.098 s] Raw data (loadavg): 1.00 0.94 0.60 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 21681 0 8 0 89570 151 0 0 25 0 1 0 863973329 103006208 19913 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25148 19913 300 300 0 24848 0 vsize: 100592 [startup+910.099 s] Raw data (loadavg): 1.00 0.94 0.61 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 22323 0 8 0 90568 154 0 0 25 0 1 0 863973329 103514112 20555 4294967295 134512640 135726644 3221224576 3221222756 135277515 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25272 20555 300 300 0 24972 0 vsize: 101088 [startup+920.099 s] Raw data (loadavg): 1.00 0.94 0.61 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 22686 0 8 0 91567 155 0 0 25 0 1 0 863973329 103759872 20918 4294967295 134512640 135726644 3221224576 3221223088 134742630 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25332 20918 300 300 0 25032 0 vsize: 101328 [startup+930.099 s] Raw data (loadavg): 1.00 0.95 0.61 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 23026 0 8 0 92566 156 0 0 25 0 1 0 863973329 104587264 21258 4294967295 134512640 135726644 3221224576 3221222896 134729216 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25534 21258 300 300 0 25234 0 vsize: 102136 [startup+940.099 s] Raw data (loadavg): 1.00 0.95 0.62 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 23573 0 8 0 93564 158 0 0 25 0 1 0 863973329 105394176 21805 4294967295 134512640 135726644 3221224576 3221223120 134736652 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25731 21805 300 300 0 25431 0 vsize: 102924 [startup+950.1 s] Raw data (loadavg): 1.00 0.95 0.62 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 23749 0 8 0 94563 159 0 0 25 0 1 0 863973329 105787392 21981 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25827 21981 300 300 0 25527 0 vsize: 103308 [startup+960.1 s] Raw data (loadavg): 1.00 0.95 0.63 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 24382 0 8 0 95561 161 0 0 25 0 1 0 863973329 106508288 22614 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26003 22614 300 300 0 25703 0 vsize: 104012 [startup+970.1 s] Raw data (loadavg): 1.00 0.95 0.63 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 24480 0 8 0 96561 162 0 0 25 0 1 0 863973329 106737664 22712 4294967295 134512640 135726644 3221224576 3221223120 134736658 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26059 22712 300 300 0 25759 0 vsize: 104236 [startup+980.101 s] Raw data (loadavg): 1.00 0.95 0.63 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 24790 0 8 0 97560 163 0 0 25 0 1 0 863973329 107360256 23022 4294967295 134512640 135726644 3221224576 3221223200 134779424 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26211 23022 300 300 0 25911 0 vsize: 104844 [startup+990.1 s] Raw data (loadavg): 1.00 0.95 0.64 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 24946 0 8 0 98560 164 0 0 25 0 1 0 863973329 108064768 23178 4294967295 134512640 135726644 3221224576 3221223120 134736684 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26383 23178 300 300 0 26083 0 vsize: 105532 [startup+1000.1 s] Raw data (loadavg): 1.00 0.95 0.64 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 25573 0 8 0 99558 166 0 0 25 0 1 0 863973329 108703744 23805 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26539 23805 300 300 0 26239 0 vsize: 106156 [startup+1010.1 s] Raw data (loadavg): 1.00 0.95 0.64 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 25744 0 8 0 100557 167 0 0 25 0 1 0 863973329 109195264 23976 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26659 23976 300 300 0 26359 0 vsize: 106636 [startup+1020.1 s] Raw data (loadavg): 1.00 0.95 0.65 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 25813 0 8 0 101557 167 0 0 25 0 1 0 863973329 109326336 24045 4294967295 134512640 135726644 3221224576 3221222800 134810251 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26691 24045 300 300 0 26391 0 vsize: 106764 [startup+1030.1 s] Raw data (loadavg): 1.00 0.96 0.65 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 25893 0 8 0 102557 168 0 0 25 0 1 0 863973329 109654016 24125 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26771 24125 300 300 0 26471 0 vsize: 107084 [startup+1040.1 s] Raw data (loadavg): 1.00 0.96 0.65 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 25978 0 8 0 103556 168 0 0 25 0 1 0 863973329 110014464 24210 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26859 24210 300 300 0 26559 0 vsize: 107436 [startup+1050.1 s] Raw data (loadavg): 1.00 0.96 0.65 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 26089 0 8 0 104555 169 0 0 25 0 1 0 863973329 110424064 24321 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26959 24321 300 300 0 26659 0 vsize: 107836 [startup+1060.1 s] Raw data (loadavg): 1.00 0.96 0.66 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 26200 0 8 0 105555 169 0 0 25 0 1 0 863973329 110866432 24432 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27067 24432 300 300 0 26767 0 vsize: 108268 [startup+1070.1 s] Raw data (loadavg): 1.00 0.96 0.66 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 26248 0 8 0 106555 170 0 0 25 0 1 0 863973329 111013888 24480 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27103 24480 300 300 0 26803 0 vsize: 108412 [startup+1080.1 s] Raw data (loadavg): 1.00 0.96 0.66 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 26405 0 8 0 107554 171 0 0 25 0 1 0 863973329 111718400 24637 4294967295 134512640 135726644 3221224576 3221223088 134742892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27275 24637 300 300 0 26975 0 vsize: 109100 [startup+1090.1 s] Raw data (loadavg): 1.00 0.96 0.67 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 26792 0 8 0 108553 172 0 0 25 0 1 0 863973329 112439296 25024 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27451 25024 300 300 0 27151 0 vsize: 109804 [startup+1100.1 s] Raw data (loadavg): 1.00 0.96 0.67 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 27357 0 8 0 109551 175 0 0 25 0 1 0 863973329 113176576 25589 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27631 25589 300 300 0 27331 0 vsize: 110524 [startup+1110.1 s] Raw data (loadavg): 1.00 0.96 0.67 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 28099 0 8 0 110549 177 0 0 25 0 1 0 863973329 113770496 26331 4294967295 134512640 135726644 3221224576 3221222896 134729202 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27776 26331 300 300 0 27476 0 vsize: 111104 [startup+1120.1 s] Raw data (loadavg): 1.00 0.96 0.68 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 29885 0 8 0 111545 181 0 0 25 0 1 0 863973329 120438784 26580 4294967295 134512640 135726644 3221224576 3221222872 134763381 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 29404 26580 300 300 0 29104 0 vsize: 117616 [startup+1130.1 s] Raw data (loadavg): 1.00 0.97 0.68 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 30397 0 8 0 112543 183 0 0 25 0 1 0 863973329 120946688 27092 4294967295 134512640 135726644 3221224576 3221223120 134736698 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 29528 27092 300 300 0 29228 0 vsize: 118112 [startup+1140.1 s] Raw data (loadavg): 1.00 0.97 0.68 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 30806 0 8 0 113541 185 0 0 25 0 1 0 863973329 121307136 27501 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 29616 27501 300 300 0 29316 0 vsize: 118464 [startup+1150.1 s] Raw data (loadavg): 1.00 0.97 0.68 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 30895 0 8 0 114540 186 0 0 25 0 1 0 863973329 121585664 27590 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 29684 27590 300 300 0 29384 0 vsize: 118736 [startup+1160.1 s] Raw data (loadavg): 1.00 0.97 0.69 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 31170 0 8 0 115539 187 0 0 25 0 1 0 863973329 121896960 27865 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 29760 27865 300 300 0 29460 0 vsize: 119040 [startup+1170.1 s] Raw data (loadavg): 1.00 0.97 0.69 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 31258 0 8 0 116539 188 0 0 25 0 1 0 863973329 122208256 27953 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 29836 27953 300 300 0 29536 0 vsize: 119344 [startup+1180.1 s] Raw data (loadavg): 1.00 0.97 0.69 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 31354 0 8 0 117538 188 0 0 25 0 1 0 863973329 122585088 28049 4294967295 134512640 135726644 3221224576 3221223184 134741131 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 29928 28049 300 300 0 29628 0 vsize: 119712 [startup+1190.1 s] Raw data (loadavg): 1.00 0.97 0.70 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 31421 0 8 0 118538 189 0 0 25 0 1 0 863973329 122830848 28116 4294967295 134512640 135726644 3221224576 3221222896 134729041 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 29988 28116 300 300 0 29688 0 vsize: 119952 [startup+1200.1 s] Raw data (loadavg): 1.00 0.97 0.70 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 31483 0 8 0 119538 189 0 0 25 0 1 0 863973329 123027456 28178 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 30036 28178 300 300 0 29736 0 vsize: 120144 [startup+1210.11 s] Raw data (loadavg): 1.00 0.97 0.70 2/54 18134 Raw data (stat): 18134 (pb2sat) R 18133 4613 4612 0 -1 0 31548 0 8 0 120537 190 0 0 25 0 1 0 863973329 123256832 28243 4294967295 134512640 135726644 3221224576 3221222904 134810748 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 30092 28243 300 300 0 29792 0 vsize: 120368 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1210.41 s] Raw data (loadavg): 1.00 0.97 0.70 1/54 18134 Raw data (stat): 18134 (pb2sat) Z 18133 4613 4612 0 -1 12 31549 0 8 0 120555 195 0 0 22 0 1 0 863973329 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 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: 0 Real time (s): 1210.41 CPU time (s): 1207.51 CPU user time (s): 1205.55 CPU system time (s): 1.9587 CPU usage (%): 99.7608 Max. virtual memory (Kb): 120368 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####