Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb |
MD5SUM | b0b9c98556325dcf5a5811fc2d17a816 |
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 | 4.5833 |
Number of variables | 2340 |
Total number of constraints | 1678 |
Number of constraints which are clauses | 1599 |
Number of constraints which are cardinality constraints (but not clauses) | 79 |
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 wulflinc30 THE 2005-05-28 10:11:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=23979 boxname=wulflinc30 idbench=53 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: b0b9c98556325dcf5a5811fc2d17a816 /oldhome/oroussel/tmp/wulflinc30/normalized-fpga40_39_sat_pb.cnf.cr.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-fpga40_39_sat_pb.cnf.cr.opb IDLAUNCH: 23979 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 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: 873476 kB Buffers: 33804 kB Cached: 104028 kB SwapCached: 752 kB Active: 39648 kB Inactive: 100352 kB HighTotal: 131008 kB HighFree: 89600 kB LowTotal: 903652 kB LowFree: 783876 kB SwapTotal: 2097892 kB SwapFree: 2096312 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5060 kB Slab: 15544 kB Committed_AS: 63596 kB PageTables: 316 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: 23979 7 1200.34 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 2261/6862 Time: 16.4105/86400 Decision: 2261/6862 Time: 18.9201/86400 Decision: 2261/6862 Time: 21.0788/86400 Decision: 2261/6862 Time: 23.4364/86400 Decision: 2261/6862 Time: 26.227/86400 Decision: 2261/6862 Time: 29.5935/86400 Decision: 2261/6862 Time: 33.075/86400 Decision: 2261/6862 Time: 35.6016/86400 Decision: 2261/6862 Time: 37.9712/86400 Decision: 2261/6862 Time: 40.5828/86400 Decision: 2261/6862 Time: 43.9313/86400 Decision: 2261/6862 Time: 46.4029/86400 Decision: 2261/6862 Time: 49.4165/86400 Decision: 2261/6862 Time: 52.659/86400 Decision: 2261/6862 Time: 55.7355/86400 Decision: 2261/6862 Time: 59.263/86400 Decision: 2261/6862 Time: 61.4687/86400 Decision: 2261/6862 Time: 63.7403/86400 Decision: 2261/6862 Time: 66.2339/86400 Decision: 2261/6862 Time: 69.1915/86400 Decision: 2261/6862 Time: 71.6611/86400 Decision: 2261/6862 Time: 74.3877/86400 Decision: 2261/6862 Time: 76.6883/86400 Decision: 2261/6862 Time: 79.6739/86400 Decision: 2261/6862 Time: 82.4395/86400 Decision: 2261/6862 Time: 84.7431/86400 Decision: 2261/6862 Time: 87.9296/86400 Decision: 2261/6862 Time: 90.2583/86400 Decision: 2261/6862 Time: 94.0977/86400 Decision: 2261/6862 Time: 97.0762/86400 Decision: 2261/6862 Time: 99.7088/86400 Decision: 2261/6862 Time: 102.636/86400 Decision: 2261/6862 Time: 105.362/86400 Decision: 2261/6862 Time: 108.015/86400 Decision: 2261/6862 Time: 111.873/86400 Decision: 2261/6862 Time: 115.758/86400 Decision: 2261/6862 Time: 118.914/86400 Decision: 2261/6862 Time: 122.631/86400 Decision: 2261/6862 Time: 126.299/86400 Decision: 2261/6862 Time: 129.556/86400 Decision: 2261/6862 Time: 133.976/86400 Decision: 2261/6862 Time: 137.599/86400 Decision: 2261/6862 Time: 141.69/86400 Decision: 2261/6862 Time: 146.106/86400 Decision: 2261/6862 Time: 148.867/86400 Decision: 2261/6862 Time: 151.867/86400 Decision: 2261/6862 Time: 154.363/86400 Decision: 2261/6862 Time: 157.432/86400 Decision: 2261/6862 Time: 161.161/86400 Decision: 2261/6862 Time: 163.761/86400 Decision: 2261/6862 Time: 167.516/86400 Decision: 2261/6862 Time: 170.911/86400 Decision: 2261/6862 Time: 173.935/86400 Decision: 2261/6862 Time: 176.486/86400 Decision: 2261/6862 Time: 179.952/86400 Decision: 2261/6862 Time: 183.591/86400 Decision: 2261/6862 Time: 187.389/86400 Decision: 2261/6862 Time: 191.552/86400 Decision: 2261/6862 Time: 195.688/86400 Decision: 2261/6862 Time: 199.024/86400 Decision: 2261/6862 Time: 202.907/86400 Decision: 2261/6862 Time: 206.673/86400 Decision: 2261/6862 Time: 209.432/86400 Decision: 2261/6862 Time: 213.239/86400 Decision: 2261/6862 Time: 217.579/86400 Decision: 2261/6862 Time: 220.922/86400 Decision: 2261/6862 Time: 224.6/86400 Decision: 2261/6862 Time: 229.147/86400 Decision: 2261/6862 Time: 233.01/86400 Decision: 2261/6862 Time: 236.186/86400 Decision: 2261/6862 Time: 239.836/86400 Decision: 2261/6862 Time: 242.779/86400 Decision: 2261/6862 Time: 247.513/86400 Decision: 2261/6862 Time: 251.819/86400 Decision: 2261/6862 Time: 255.188/86400 Decision: 2261/6862 Time: 257.996/86400 Decision: 2261/6862 Time: 262.622/86400 Decision: 2261/6862 Time: 267.213/86400 Decision: 2261/6862 Time: 271.507/86400 Decision: 2261/6862 Time: 275.639/86400 Decision: 2261/6862 Time: 280.016/86400 Decision: 2261/6862 Time: 283.617/86400 Decision: 2261/6862 Time: 288.783/86400 Decision: 2261/6862 Time: 293.552/86400 Decision: 2261/6862 Time: 298.276/86400 Decision: 2261/6862 Time: 303.438/86400 Decision: 2261/6862 Time: 306.183/86400 Decision: 2261/6862 Time: 309.872/86400 Decision: 2261/6862 Time: 314.437/86400 Decision: 2261/6862 Time: 318.42/86400 Decision: 2261/6862 Time: 321.579/86400 Decision: 2261/6862 Time: 325.014/86400 Decision: 2261/6862 Time: 328.253/86400 Decision: 2261/6862 Time: 331.296/86400 Decision: 2261/6862 Time: 336.257/86400 Decision: 2261/6862 Time: 340.886/86400 Decision: 2261/6862 Time: 345.638/86400 Decision: 2261/6862 Time: 349.339/86400 Decision: 2261/6862 Time: 352.307/86400 Decision: 2261/6862 Time: 355.937/86400 Decision: 2261/6862 Time: 358.683/86400 Decision: 2261/6862 Time: 361.681/86400 Decision: 2261/6862 Time: 365.154/86400 Decision: 2261/6862 Time: 368.033/86400 Decision: 2261/6862 Time: 370.923/86400 Decision: 2261/6862 Time: 375.176/86400 Decision: 2261/6862 Time: 379.115/86400 Decision: 2261/6862 Time: 382.554/86400 Decision: 2261/6862 Time: 386.101/86400 Decision: 2261/6862 Time: 389.828/86400 Decision: 2261/6862 Time: 392.936/86400 Decision: 2261/6862 Time: 397.953/86400 Decision: 2261/6862 Time: 400.681/86400 Decision: 2261/6862 Time: 404.667/86400 Decision: 2261/6862 Time: 409.23/86400 Decision: 2261/6862 Time: 413.654/86400 Decision: 2261/6862 Time: 418.167/86400 Decision: 2261/6862 Time: 421.997/86400 Decision: 2261/6862 Time: 427.15/86400 Decision: 2261/6862 Time: 431.158/86400 Decision: 2261/6862 Time: 434.908/86400 Decision: 2261/6862 Time: 438.346/86400 Decision: 2261/6862 Time: 441.472/86400 Decision: 2261/6862 Time: 445.317/86400 Decision: 2261/6862 Time: 450.517/86400 Decision: 2261/6862 Time: 455.656/86400 Decision: 2261/6862 Time: 459.276/86400 Decision: 2261/6862 Time: 463.889/86400 Decision: 2261/6862 Time: 468.725/86400 Decision: 2261/6862 Time: 473.79/86400 Decision: 2261/6862 Time: 478.407/86400 Decision: 2261/6862 Time: 482.014/86400 Decision: 2261/6862 Time: 485.715/86400 Decision: 2261/6862 Time: 489.134/86400 Decision: 2261/6862 Time: 493.505/86400 Decision: 2261/6862 Time: 498.204/86400 Decision: 2261/6862 Time: 502.55/86400 Decision: 2261/6862 Time: 508.18/86400 Decision: 2261/6862 Time: 512.45/86400 Decision: 2261/6862 Time: 515.494/86400 Decision: 2261/6862 Time: 520.308/86400 Decision: 2261/6862 Time: 524.987/86400 Decision: 2261/6862 Time: 530.16/86400 Decision: 2261/6862 Time: 535.28/86400 Decision: 2261/6862 Time: 539.428/86400 Decision: 2261/6862 Time: 543.811/86400 Decision: 2261/6862 Time: 548.869/86400 Decision: 2261/6862 Time: 553.503/86400 Decision: 2261/6862 Time: 557.616/86400 Decision: 2261/6862 Time: 562.534/86400 Decision: 2261/6862 Time: 568.002/86400 Decision: 2261/6862 Time: 572.214/86400 Decision: 2261/6862 Time: 575.94/86400 Decision: 2261/6862 Time: 579.344/86400 Decision: 2261/6862 Time: 582.567/86400 Decision: 2261/6862 Time: 586.378/86400 Decision: 2261/6862 Time: 590.959/86400 Decision: 2261/6862 Time: 595.433/86400 Decision: 2261/6862 Time: 600.564/86400 Decision: 2261/6862 Time: 604.476/86400 Decision: 2261/6862 Time: 610.158/86400 Decision: 2261/6862 Time: 614.586/86400 Decision: 2261/6862 Time: 619.78/86400 Decision: 2261/6862 Time: 625.93/86400 Decision: 2261/6862 Time: 631.798/86400 Decision: 2261/6862 Time: 635.016/86400 Decision: 2261/6862 Time: 638.273/86400 Decision: 2261/6862 Time: 643.126/86400 Decision: 2261/6862 Time: 646.665/86400 Decision: 2261/6862 Time: 650.927/86400 Decision: 2261/6862 Time: 656.534/86400 Decision: 2261/6862 Time: 662.825/86400 Decision: 2261/6862 Time: 668.193/86400 Decision: 2261/6862 Time: 673.395/86400 Decision: 2261/6862 Time: 678.987/86400 Decision: 2261/6862 Time: 683.881/86400 Decision: 2261/6862 Time: 688.512/86400 Decision: 2261/6862 Time: 693.307/86400 Decision: 2261/6862 Time: 699.494/86400 Decision: 2261/6862 Time: 704.445/86400 Decision: 2261/6862 Time: 710.453/86400 Decision: 2261/6862 Time: 716.228/86400 Decision: 2261/6862 Time: 722.37/86400 Decision: 2261/6862 Time: 727.488/86400 Decision: 2261/6862 Time: 732.906/86400 Decision: 2261/6862 Time: 737.935/86400 Decision: 2261/6862 Time: 742.829/86400 Decision: 2261/6862 Time: 748.399/86400 Decision: 2261/6862 Time: 754.604/86400 Decision: 2261/6862 Time: 760.266/86400 Decision: 2261/6862 Time: 765.892/86400 Decision: 2261/6862 Time: 770.344/86400 Decision: 2261/6862 Time: 775.685/86400 Decision: 2261/6862 Time: 779.786/86400 Decision: 2261/6862 Time: 785.666/86400 Decision: 2261/6862 Time: 790.668/86400 Decision: 2261/6862 Time: 796.73/86400 Decision: 2261/6862 Time: 801.292/86400 Decision: 2261/6862 Time: 807.178/86400 Decision: 2261/6862 Time: 811.584/86400 Decision: 2261/6862 Time: 816.749/86400 Decision: 2261/6862 Time: 821.365/86400 Decision: 2261/6862 Time: 828.089/86400 Decision: 2261/6862 Time: 834.138/86400 Decision: 2261/6862 Time: 838.744/86400 Decision: 2261/6862 Time: 842.321/86400 Decision: 2261/6862 Time: 846.937/86400 Decision: 2261/6862 Time: 851.452/86400 Decision: 2261/6862 Time: 856.644/86400 Decision: 2261/6862 Time: 862.664/86400 Decision: 2261/6862 Time: 867.747/86400 Decision: 2261/6862 Time: 872.741/86400 Decision: 2261/6862 Time: 878.233/86400 Decision: 2261/6862 Time: 884.514/86400 Decision: 2261/6862 Time: 889.173/86400 Decision: 2261/6862 Time: 894.04/86400 Decision: 2261/6862 Time: 899.149/86400 Decision: 2261/6862 Time: 903.282/86400 Decision: 2261/6862 Time: 909.375/86400 Decision: 2261/6862 Time: 913.548/86400 Decision: 2261/6862 Time: 920.06/86400 Decision: 2261/6862 Time: 925.274/86400 Decision: 2261/6862 Time: 930.15/86400 Decision: 2261/6862 Time: 935.756/86400 Decision: 2261/6862 Time: 941.299/86400 Decision: 2261/6862 Time: 948.029/86400 Decision: 2261/6862 Time: 954.814/86400 Decision: 2261/6862 Time: 960.144/86400 Decision: 2261/6862 Time: 964.93/86400 Decision: 2261/6862 Time: 970.24/86400 Decision: 2261/6862 Time: 975.43/86400 Decision: 2261/6862 Time: 980.056/86400 Decision: 2261/6862 Time: 985.633/86400 Decision: 2261/6862 Time: 990.429/86400 Decision: 2261/6862 Time: 996.562/86400 Decision: 2261/6862 Time: 1003.08/86400 Decision: 2261/6862 Time: 1009.53/86400 Decision: 2261/6862 Time: 1015.1/86400 Decision: 2261/6862 Time: 1020.19/86400 Decision: 2261/6862 Time: 1026.41/86400 Decision: 2261/6862 Time: 1030.19/86400 Decision: 2261/6862 Time: 1034.09/86400 Decision: 2261/6862 Time: 1038.48/86400 Decision: 2261/6862 Time: 1043.74/86400 Decision: 2261/6862 Time: 1049.17/86400 Decision: 2261/6862 Time: 1056.36/86400 Decision: 2261/6862 Time: 1061.9/86400 Decision: 2261/6862 Time: 1066.13/86400 Decision: 2261/6862 Time: 1070.19/86400 Decision: 2261/6862 Time: 1075.45/86400 Decision: 2261/6862 Time: 1079.26/86400 Decision: 2261/6862 Time: 1083.55/86400 Decision: 2261/6862 Time: 1090.68/86400 Decision: 2261/6862 Time: 1094.97/86400 Decision: 2261/6862 Time: 1099.5/86400 Decision: 2261/6862 Time: 1104.92/86400 Decision: 2261/6862 Time: 1111.6/86400 Decision: 2261/6862 Time: 1116.97/86400 Decision: 2261/6862 Time: 1122.6/86400 Decision: 2261/6862 Time: 1128.36/86400 Decision: 2261/6862 Time: 1134.98/86400 Decision: 2261/6862 Time: 1140.75/86400 Decision: 2261/6862 Time: 1147/86400 Decision: 2261/6862 Time: 1152.48/86400 Decision: 2261/6862 Time: 1158.84/86400 Decision: 2261/6862 Time: 1164.41/86400 Decision: 2261/6862 Time: 1171.26/86400 Decision: 2261/6862 Time: 1176.84/86400 Decision: 2261/6862 Time: 1182.49/86400 Decision: 2261/6862 Time: 1189.36/86400 Decision: 2261/6862 Time: 1192.24/86400 Decision: 2261/6862 Time: 1198.95/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.35 0.12 0.04 2/54 31212 Raw data (stat): 31212 (runsolver) R 31211 22056 22055 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 863976392 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.0005 s] Raw data (loadavg): 0.45 0.15 0.05 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 1493 0 0 0 985 14 0 0 25 0 1 0 863976392 6803456 1219 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 1661 1219 300 300 0 1361 0 vsize: 6644 [startup+20.0004 s] Raw data (loadavg): 0.54 0.18 0.06 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 1817 0 0 0 1972 27 0 0 25 0 1 0 863976392 7335936 1543 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1791 1543 300 300 0 1491 0 vsize: 7164 [startup+30.0011 s] Raw data (loadavg): 0.61 0.20 0.07 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 1886 0 0 0 2958 41 0 0 25 0 1 0 863976392 7585792 1612 4294967295 134512640 135726644 3221224576 3221223200 134744667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1852 1612 300 300 0 1552 0 vsize: 7408 [startup+40.0013 s] Raw data (loadavg): 0.67 0.23 0.08 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 1956 0 0 0 3945 54 0 0 25 0 1 0 863976392 7720960 1682 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1885 1682 300 300 0 1585 0 vsize: 7540 [startup+50.0017 s] Raw data (loadavg): 0.72 0.26 0.09 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 2026 0 0 0 4930 70 0 0 25 0 1 0 863976392 7958528 1752 4294967295 134512640 135726644 3221224576 3221222896 134729202 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1943 1752 300 300 0 1643 0 vsize: 7772 [startup+60.0014 s] Raw data (loadavg): 0.76 0.28 0.10 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 2251 0 0 0 5915 85 0 0 25 0 1 0 863976392 8843264 1784 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2159 1784 300 300 0 1859 0 vsize: 8636 [startup+70.0016 s] Raw data (loadavg): 0.80 0.30 0.11 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 2309 0 0 0 6902 98 0 0 25 0 1 0 863976392 9039872 1842 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2207 1842 300 300 0 1907 0 vsize: 8828 [startup+80.002 s] Raw data (loadavg): 0.83 0.33 0.11 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 2356 0 0 0 7889 111 0 0 25 0 1 0 863976392 9134080 1889 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2230 1889 300 300 0 1930 0 vsize: 8920 [startup+90.0017 s] Raw data (loadavg): 0.85 0.35 0.12 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 2447 0 0 0 8876 123 0 0 25 0 1 0 863976392 11501568 1980 4294967295 134512640 135726644 3221224576 3221223072 134744280 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2808 1980 300 300 0 2508 0 vsize: 11232 [startup+100.002 s] Raw data (loadavg): 0.88 0.37 0.13 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 2564 0 0 0 9863 137 0 0 25 0 1 0 863976392 11583488 2097 4294967295 134512640 135726644 3221224576 3221223200 134744526 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2828 2097 300 300 0 2528 0 vsize: 11312 [startup+110.003 s] Raw data (loadavg): 0.89 0.39 0.14 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 2607 0 0 0 10851 149 0 0 25 0 1 0 863976392 11685888 2140 4294967295 134512640 135726644 3221224576 3221223056 134729247 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2853 2140 300 300 0 2553 0 vsize: 11412 [startup+120.003 s] Raw data (loadavg): 0.91 0.41 0.15 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 2626 0 0 0 11840 160 0 0 25 0 1 0 863976392 11685888 2159 4294967295 134512640 135726644 3221224576 3221223184 134741065 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2853 2159 300 300 0 2553 0 vsize: 11412 [startup+130.004 s] Raw data (loadavg): 0.92 0.43 0.16 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 2648 0 0 0 12829 171 0 0 25 0 1 0 863976392 11784192 2181 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2877 2181 300 300 0 2577 0 vsize: 11508 [startup+140.005 s] Raw data (loadavg): 0.93 0.45 0.17 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 2679 0 0 0 13819 182 0 0 25 0 1 0 863976392 11866112 2212 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2897 2212 300 300 0 2597 0 vsize: 11588 [startup+150.004 s] Raw data (loadavg): 0.94 0.46 0.18 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 2705 0 0 0 14807 194 0 0 25 0 1 0 863976392 11866112 2238 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2897 2238 300 300 0 2597 0 vsize: 11588 [startup+160.005 s] Raw data (loadavg): 0.95 0.48 0.18 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 2780 0 0 0 15796 205 0 0 25 0 1 0 863976392 12001280 2313 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2930 2313 300 300 0 2630 0 vsize: 11720 [startup+170.005 s] Raw data (loadavg): 0.96 0.50 0.19 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 2810 0 0 0 16785 216 0 0 25 0 1 0 863976392 12107776 2343 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2956 2343 300 300 0 2656 0 vsize: 11824 [startup+180.006 s] Raw data (loadavg): 0.97 0.51 0.20 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 2845 0 0 0 17775 226 0 0 25 0 1 0 863976392 12193792 2378 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2977 2378 300 300 0 2677 0 vsize: 11908 [startup+190.007 s] Raw data (loadavg): 0.97 0.53 0.21 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 2874 0 0 0 18765 237 0 0 25 0 1 0 863976392 12296192 2407 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3002 2407 300 300 0 2702 0 vsize: 12008 [startup+200.006 s] Raw data (loadavg): 0.97 0.54 0.22 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3291 0 0 0 19754 247 0 0 25 0 1 0 863976392 13955072 2439 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3407 2439 300 300 0 3107 0 vsize: 13628 [startup+210.006 s] Raw data (loadavg): 0.98 0.56 0.22 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3314 0 0 0 20746 256 0 0 25 0 1 0 863976392 13955072 2462 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3407 2462 300 300 0 3107 0 vsize: 13628 [startup+220.006 s] Raw data (loadavg): 0.98 0.57 0.23 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3338 0 0 0 21734 268 0 0 25 0 1 0 863976392 14036992 2486 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3427 2486 300 300 0 3127 0 vsize: 13708 [startup+230.007 s] Raw data (loadavg): 0.98 0.59 0.24 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3359 0 0 0 22724 278 0 0 25 0 1 0 863976392 14036992 2507 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3427 2507 300 300 0 3127 0 vsize: 13708 [startup+240.006 s] Raw data (loadavg): 0.98 0.60 0.25 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3390 0 0 0 23714 288 0 0 25 0 1 0 863976392 14123008 2538 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3448 2538 300 300 0 3148 0 vsize: 13792 [startup+250.006 s] Raw data (loadavg): 0.99 0.61 0.26 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3414 0 0 0 24704 298 0 0 25 0 1 0 863976392 14209024 2562 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3469 2562 300 300 0 3169 0 vsize: 13876 [startup+260.007 s] Raw data (loadavg): 0.99 0.62 0.26 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3450 0 0 0 25692 310 0 0 25 0 1 0 863976392 14315520 2598 4294967295 134512640 135726644 3221224576 3221223184 134741084 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3495 2598 300 300 0 3195 0 vsize: 13980 [startup+270.006 s] Raw data (loadavg): 0.99 0.64 0.27 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3474 0 0 0 26680 323 0 0 25 0 1 0 863976392 14315520 2622 4294967295 134512640 135726644 3221224576 3221223184 134741170 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3495 2622 300 300 0 3195 0 vsize: 13980 [startup+280.007 s] Raw data (loadavg): 0.99 0.65 0.28 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3491 0 0 0 27670 333 0 0 25 0 1 0 863976392 14409728 2639 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3518 2639 300 300 0 3218 0 vsize: 14072 [startup+290.008 s] Raw data (loadavg): 0.99 0.66 0.29 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3518 0 0 0 28661 343 0 0 25 0 1 0 863976392 14495744 2666 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3539 2666 300 300 0 3239 0 vsize: 14156 [startup+300.008 s] Raw data (loadavg): 0.99 0.67 0.29 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3535 0 0 0 29650 353 0 0 25 0 1 0 863976392 14495744 2683 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3539 2683 300 300 0 3239 0 vsize: 14156 [startup+310.008 s] Raw data (loadavg): 0.99 0.68 0.30 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3569 0 0 0 30640 364 0 0 25 0 1 0 863976392 14585856 2717 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3561 2717 300 300 0 3261 0 vsize: 14244 [startup+320.008 s] Raw data (loadavg): 0.99 0.69 0.31 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3601 0 0 0 31625 379 0 0 25 0 1 0 863976392 14667776 2749 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3581 2749 300 300 0 3281 0 vsize: 14324 [startup+330.009 s] Raw data (loadavg): 0.99 0.70 0.31 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3635 0 0 0 32616 388 0 0 25 0 1 0 863976392 14753792 2783 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3602 2783 300 300 0 3302 0 vsize: 14408 [startup+340.009 s] Raw data (loadavg): 0.99 0.71 0.32 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3652 0 0 0 33605 399 0 0 25 0 1 0 863976392 14831616 2800 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3621 2800 300 300 0 3321 0 vsize: 14484 [startup+350.009 s] Raw data (loadavg): 0.99 0.72 0.33 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3674 0 0 0 34598 407 0 0 25 0 1 0 863976392 14831616 2822 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3621 2822 300 300 0 3321 0 vsize: 14484 [startup+360.009 s] Raw data (loadavg): 0.99 0.73 0.33 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3703 0 0 0 35588 417 0 0 25 0 1 0 863976392 14921728 2851 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3643 2851 300 300 0 3343 0 vsize: 14572 [startup+370.009 s] Raw data (loadavg): 0.99 0.74 0.34 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3736 0 0 0 36577 427 0 0 25 0 1 0 863976392 15011840 2884 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3665 2884 300 300 0 3365 0 vsize: 14660 [startup+380.01 s] Raw data (loadavg): 0.99 0.74 0.35 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3766 0 0 0 37568 437 0 0 25 0 1 0 863976392 15106048 2914 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3688 2914 300 300 0 3388 0 vsize: 14752 [startup+390.011 s] Raw data (loadavg): 0.99 0.75 0.35 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3790 0 0 0 38561 444 0 0 25 0 1 0 863976392 15106048 2938 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3688 2938 300 300 0 3388 0 vsize: 14752 [startup+400.011 s] Raw data (loadavg): 0.99 0.76 0.36 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3810 0 0 0 39551 454 0 0 25 0 1 0 863976392 15200256 2958 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3711 2958 300 300 0 3411 0 vsize: 14844 [startup+410.012 s] Raw data (loadavg): 0.99 0.77 0.37 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3834 0 0 0 40540 465 0 0 25 0 1 0 863976392 15200256 2982 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3711 2982 300 300 0 3411 0 vsize: 14844 [startup+420.011 s] Raw data (loadavg): 0.99 0.77 0.37 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3857 0 0 0 41530 475 0 0 25 0 1 0 863976392 15278080 3005 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3730 3005 300 300 0 3430 0 vsize: 14920 [startup+430.012 s] Raw data (loadavg): 0.99 0.78 0.38 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3882 0 0 0 42519 487 0 0 25 0 1 0 863976392 15372288 3030 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3753 3030 300 300 0 3453 0 vsize: 15012 [startup+440.012 s] Raw data (loadavg): 0.99 0.79 0.38 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3909 0 0 0 43507 499 0 0 25 0 1 0 863976392 15372288 3057 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3753 3057 300 300 0 3453 0 vsize: 15012 [startup+450.011 s] Raw data (loadavg): 0.99 0.79 0.39 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3928 0 0 0 44500 506 0 0 25 0 1 0 863976392 15462400 3076 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3775 3076 300 300 0 3475 0 vsize: 15100 [startup+460.012 s] Raw data (loadavg): 0.99 0.80 0.40 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3945 0 0 0 45490 516 0 0 25 0 1 0 863976392 15462400 3093 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3775 3093 300 300 0 3475 0 vsize: 15100 [startup+470.012 s] Raw data (loadavg): 0.99 0.81 0.40 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3967 0 0 0 46479 527 0 0 25 0 1 0 863976392 15560704 3115 4294967295 134512640 135726644 3221224576 3221222912 134735605 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3799 3115 300 300 0 3499 0 vsize: 15196 [startup+480.013 s] Raw data (loadavg): 0.99 0.81 0.41 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 3976 0 0 0 47473 534 0 0 25 0 1 0 863976392 15560704 3124 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3799 3124 300 300 0 3499 0 vsize: 15196 [startup+490.013 s] Raw data (loadavg): 0.99 0.82 0.41 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 4030 0 0 0 48463 544 0 0 25 0 1 0 863976392 15679488 3178 4294967295 134512640 135726644 3221224576 3221222828 135298010 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3828 3178 300 300 0 3528 0 vsize: 15312 [startup+500.012 s] Raw data (loadavg): 0.99 0.82 0.42 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 4046 0 0 0 49452 555 0 0 25 0 1 0 863976392 15761408 3194 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3848 3194 300 300 0 3548 0 vsize: 15392 [startup+510.012 s] Raw data (loadavg): 0.99 0.83 0.43 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 4066 0 0 0 50443 564 0 0 25 0 1 0 863976392 15761408 3214 4294967295 134512640 135726644 3221224576 3221223184 134741148 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3848 3214 300 300 0 3548 0 vsize: 15392 [startup+520.012 s] Raw data (loadavg): 0.99 0.83 0.43 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 4084 0 0 0 51435 572 0 0 25 0 1 0 863976392 15847424 3232 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3869 3232 300 300 0 3569 0 vsize: 15476 [startup+530.013 s] Raw data (loadavg): 0.99 0.84 0.44 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 4103 0 0 0 52427 581 0 0 25 0 1 0 863976392 15847424 3251 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3869 3251 300 300 0 3569 0 vsize: 15476 [startup+540.012 s] Raw data (loadavg): 0.99 0.84 0.44 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 4121 0 0 0 53417 591 0 0 25 0 1 0 863976392 15847424 3269 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3869 3269 300 300 0 3569 0 vsize: 15476 [startup+550.012 s] Raw data (loadavg): 0.99 0.85 0.45 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 4143 0 0 0 54409 599 0 0 25 0 1 0 863976392 15925248 3291 4294967295 134512640 135726644 3221224576 3221223184 134740866 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3888 3291 300 300 0 3588 0 vsize: 15552 [startup+560.013 s] Raw data (loadavg): 0.99 0.85 0.45 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 4161 0 0 0 55400 609 0 0 25 0 1 0 863976392 16015360 3309 4294967295 134512640 135726644 3221224576 3221223200 134744518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3910 3309 300 300 0 3610 0 vsize: 15640 [startup+570.013 s] Raw data (loadavg): 0.99 0.86 0.46 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 4178 0 0 0 56392 616 0 0 25 0 1 0 863976392 16015360 3326 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3910 3326 300 300 0 3610 0 vsize: 15640 [startup+580.014 s] Raw data (loadavg): 0.99 0.86 0.46 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 4965 0 0 0 57382 626 0 0 25 0 1 0 863976392 19161088 3344 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4678 3344 300 300 0 4378 0 vsize: 18712 [startup+590.014 s] Raw data (loadavg): 0.99 0.86 0.47 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 4990 0 0 0 58375 634 0 0 25 0 1 0 863976392 19238912 3369 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4697 3369 300 300 0 4397 0 vsize: 18788 [startup+600.014 s] Raw data (loadavg): 0.99 0.87 0.47 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5008 0 0 0 59368 641 0 0 25 0 1 0 863976392 19324928 3387 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4718 3387 300 300 0 4418 0 vsize: 18872 [startup+610.014 s] Raw data (loadavg): 0.99 0.87 0.48 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5028 0 0 0 60360 649 0 0 25 0 1 0 863976392 19324928 3407 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4718 3407 300 300 0 4418 0 vsize: 18872 [startup+620.013 s] Raw data (loadavg): 0.99 0.88 0.48 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5046 0 0 0 61351 659 0 0 25 0 1 0 863976392 19406848 3425 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4738 3425 300 300 0 4438 0 vsize: 18952 [startup+630.014 s] Raw data (loadavg): 0.99 0.88 0.49 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5059 0 0 0 62341 669 0 0 25 0 1 0 863976392 19406848 3438 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4738 3438 300 300 0 4438 0 vsize: 18952 [startup+640.014 s] Raw data (loadavg): 0.99 0.88 0.49 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5089 0 0 0 63333 677 0 0 25 0 1 0 863976392 19509248 3468 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4763 3468 300 300 0 4463 0 vsize: 19052 [startup+650.014 s] Raw data (loadavg): 0.99 0.89 0.50 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5110 0 0 0 64327 683 0 0 25 0 1 0 863976392 19509248 3489 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4763 3489 300 300 0 4463 0 vsize: 19052 [startup+660.014 s] Raw data (loadavg): 0.99 0.89 0.50 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5126 0 0 0 65319 691 0 0 25 0 1 0 863976392 19591168 3505 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4783 3505 300 300 0 4483 0 vsize: 19132 [startup+670.015 s] Raw data (loadavg): 0.99 0.89 0.51 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5142 0 0 0 66309 701 0 0 25 0 1 0 863976392 19591168 3521 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4783 3521 300 300 0 4483 0 vsize: 19132 [startup+680.015 s] Raw data (loadavg): 0.99 0.90 0.51 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5156 0 0 0 67300 710 0 0 25 0 1 0 863976392 19591168 3535 4294967295 134512640 135726644 3221224576 3221223184 134740863 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4783 3535 300 300 0 4483 0 vsize: 19132 [startup+690.016 s] Raw data (loadavg): 0.99 0.90 0.52 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5176 0 0 0 68291 720 0 0 25 0 1 0 863976392 19697664 3555 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4809 3555 300 300 0 4509 0 vsize: 19236 [startup+700.016 s] Raw data (loadavg): 0.99 0.90 0.52 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5189 0 0 0 69283 728 0 0 25 0 1 0 863976392 19697664 3568 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4809 3568 300 300 0 4509 0 vsize: 19236 [startup+710.017 s] Raw data (loadavg): 0.99 0.90 0.53 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5209 0 0 0 70274 737 0 0 25 0 1 0 863976392 19697664 3588 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4809 3588 300 300 0 4509 0 vsize: 19236 [startup+720.017 s] Raw data (loadavg): 0.99 0.91 0.53 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5223 0 0 0 71264 747 0 0 25 0 1 0 863976392 19791872 3602 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4832 3602 300 300 0 4532 0 vsize: 19328 [startup+730.018 s] Raw data (loadavg): 0.99 0.91 0.54 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5239 0 0 0 72256 755 0 0 25 0 1 0 863976392 19791872 3618 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4832 3618 300 300 0 4532 0 vsize: 19328 [startup+740.019 s] Raw data (loadavg): 0.99 0.91 0.54 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5255 0 0 0 73249 763 0 0 25 0 1 0 863976392 19873792 3634 4294967295 134512640 135726644 3221224576 3221223184 134740866 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4852 3634 300 300 0 4552 0 vsize: 19408 [startup+750.019 s] Raw data (loadavg): 0.99 0.91 0.55 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5270 0 0 0 74242 770 0 0 25 0 1 0 863976392 19873792 3649 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4852 3649 300 300 0 4552 0 vsize: 19408 [startup+760.019 s] Raw data (loadavg): 0.99 0.92 0.55 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5282 0 0 0 75236 776 0 0 25 0 1 0 863976392 19873792 3661 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4852 3661 300 300 0 4552 0 vsize: 19408 [startup+770.019 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5297 0 0 0 76227 785 0 0 25 0 1 0 863976392 19873792 3676 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4852 3676 300 300 0 4552 0 vsize: 19408 [startup+780.02 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5319 0 0 0 77220 792 0 0 25 0 1 0 863976392 19984384 3698 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4879 3698 300 300 0 4579 0 vsize: 19516 [startup+790.021 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5337 0 0 0 78212 800 0 0 25 0 1 0 863976392 19984384 3716 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4879 3716 300 300 0 4579 0 vsize: 19516 [startup+800.02 s] Raw data (loadavg): 0.99 0.92 0.57 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5352 0 0 0 79205 808 0 0 25 0 1 0 863976392 20066304 3731 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4899 3731 300 300 0 4599 0 vsize: 19596 [startup+810.02 s] Raw data (loadavg): 0.99 0.93 0.57 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5369 0 0 0 80197 816 0 0 25 0 1 0 863976392 20066304 3748 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4899 3748 300 300 0 4599 0 vsize: 19596 [startup+820.02 s] Raw data (loadavg): 0.99 0.93 0.57 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5389 0 0 0 81190 824 0 0 25 0 1 0 863976392 20156416 3768 4294967295 134512640 135726644 3221224576 3221223056 134729247 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4921 3768 300 300 0 4621 0 vsize: 19684 [startup+830.021 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5405 0 0 0 82181 832 0 0 25 0 1 0 863976392 20156416 3784 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4921 3784 300 300 0 4621 0 vsize: 19684 [startup+840.02 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5418 0 0 0 83173 840 0 0 25 0 1 0 863976392 20156416 3797 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4921 3797 300 300 0 4621 0 vsize: 19684 [startup+850.02 s] Raw data (loadavg): 0.99 0.93 0.59 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5445 0 0 0 84164 850 0 0 25 0 1 0 863976392 20246528 3824 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4943 3824 300 300 0 4643 0 vsize: 19772 [startup+860.021 s] Raw data (loadavg): 0.99 0.94 0.59 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5463 0 0 0 85156 858 0 0 25 0 1 0 863976392 20336640 3842 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4965 3842 300 300 0 4665 0 vsize: 19860 [startup+870.021 s] Raw data (loadavg): 0.99 0.94 0.59 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5480 0 0 0 86148 866 0 0 25 0 1 0 863976392 20336640 3859 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4965 3859 300 300 0 4665 0 vsize: 19860 [startup+880.022 s] Raw data (loadavg): 0.99 0.94 0.60 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5495 0 0 0 87139 875 0 0 25 0 1 0 863976392 20336640 3874 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4965 3874 300 300 0 4665 0 vsize: 19860 [startup+890.023 s] Raw data (loadavg): 0.99 0.94 0.60 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5513 0 0 0 88130 884 0 0 25 0 1 0 863976392 20426752 3892 4294967295 134512640 135726644 3221224576 3221223184 134741173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4987 3892 300 300 0 4687 0 vsize: 19948 [startup+900.022 s] Raw data (loadavg): 0.99 0.94 0.61 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5532 0 0 0 89123 892 0 0 25 0 1 0 863976392 20426752 3911 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4987 3911 300 300 0 4687 0 vsize: 19948 [startup+910.023 s] Raw data (loadavg): 0.99 0.94 0.61 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5546 0 0 0 90116 899 0 0 25 0 1 0 863976392 20508672 3925 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5007 3925 300 300 0 4707 0 vsize: 20028 [startup+920.023 s] Raw data (loadavg): 0.99 0.94 0.61 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5560 0 0 0 91109 906 0 0 25 0 1 0 863976392 20508672 3939 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5007 3939 300 300 0 4707 0 vsize: 20028 [startup+930.023 s] Raw data (loadavg): 0.99 0.95 0.62 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5579 0 0 0 92103 912 0 0 25 0 1 0 863976392 20508672 3958 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5007 3958 300 300 0 4707 0 vsize: 20028 [startup+940.024 s] Raw data (loadavg): 0.99 0.95 0.62 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5595 0 0 0 93097 918 0 0 25 0 1 0 863976392 20598784 3974 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5029 3974 300 300 0 4729 0 vsize: 20116 [startup+950.024 s] Raw data (loadavg): 0.99 0.95 0.63 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5611 0 0 0 94090 926 0 0 25 0 1 0 863976392 20598784 3990 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5029 3990 300 300 0 4729 0 vsize: 20116 [startup+960.025 s] Raw data (loadavg): 0.99 0.95 0.63 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5622 0 0 0 95085 931 0 0 25 0 1 0 863976392 20598784 4001 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5029 4001 300 300 0 4729 0 vsize: 20116 [startup+970.025 s] Raw data (loadavg): 0.99 0.95 0.63 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5641 0 0 0 96079 937 0 0 25 0 1 0 863976392 20692992 4020 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5052 4020 300 300 0 4752 0 vsize: 20208 [startup+980.025 s] Raw data (loadavg): 0.99 0.95 0.64 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5656 0 0 0 97072 944 0 0 25 0 1 0 863976392 20692992 4035 4294967295 134512640 135726644 3221224576 3221223184 134740866 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5052 4035 300 300 0 4752 0 vsize: 20208 [startup+990.025 s] Raw data (loadavg): 0.99 0.95 0.64 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5668 0 0 0 98066 950 0 0 25 0 1 0 863976392 20692992 4047 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5052 4047 300 300 0 4752 0 vsize: 20208 [startup+1000.03 s] Raw data (loadavg): 0.99 0.95 0.64 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5683 0 0 0 99061 956 0 0 25 0 1 0 863976392 20791296 4062 4294967295 134512640 135726644 3221224576 3221223184 134740854 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5076 4062 300 300 0 4776 0 vsize: 20304 [startup+1010.03 s] Raw data (loadavg): 0.99 0.95 0.65 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5692 0 0 0 100055 962 0 0 25 0 1 0 863976392 20791296 4071 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5076 4071 300 300 0 4776 0 vsize: 20304 [startup+1020.03 s] Raw data (loadavg): 0.99 0.95 0.65 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5710 0 0 0 101047 970 0 0 25 0 1 0 863976392 20791296 4089 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5076 4089 300 300 0 4776 0 vsize: 20304 [startup+1030.03 s] Raw data (loadavg): 0.99 0.96 0.65 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5719 0 0 0 102040 977 0 0 25 0 1 0 863976392 20791296 4098 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5076 4098 300 300 0 4776 0 vsize: 20304 [startup+1040.03 s] Raw data (loadavg): 0.99 0.96 0.65 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5759 0 0 0 103031 986 0 0 25 0 1 0 863976392 20926464 4138 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5109 4138 300 300 0 4809 0 vsize: 20436 [startup+1050.03 s] Raw data (loadavg): 0.99 0.96 0.66 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5777 0 0 0 104022 995 0 0 25 0 1 0 863976392 21024768 4156 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5133 4156 300 300 0 4833 0 vsize: 20532 [startup+1060.03 s] Raw data (loadavg): 0.99 0.96 0.66 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5788 0 0 0 105015 1003 0 0 25 0 1 0 863976392 21024768 4167 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5133 4167 300 300 0 4833 0 vsize: 20532 [startup+1070.03 s] Raw data (loadavg): 0.99 0.96 0.66 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5808 0 0 0 106008 1010 0 0 25 0 1 0 863976392 21024768 4187 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5133 4187 300 300 0 4833 0 vsize: 20532 [startup+1080.03 s] Raw data (loadavg): 0.99 0.96 0.67 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5831 0 0 0 106998 1021 0 0 25 0 1 0 863976392 21114880 4210 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5155 4210 300 300 0 4855 0 vsize: 20620 [startup+1090.03 s] Raw data (loadavg): 0.99 0.96 0.67 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5842 0 0 0 107991 1027 0 0 25 0 1 0 863976392 21114880 4221 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5155 4221 300 300 0 4855 0 vsize: 20620 [startup+1100.03 s] Raw data (loadavg): 0.99 0.96 0.67 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5861 0 0 0 108986 1033 0 0 25 0 1 0 863976392 21200896 4240 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5176 4240 300 300 0 4876 0 vsize: 20704 [startup+1110.03 s] Raw data (loadavg): 0.99 0.96 0.68 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5876 0 0 0 109978 1041 0 0 25 0 1 0 863976392 21200896 4255 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5176 4255 300 300 0 4876 0 vsize: 20704 [startup+1120.03 s] Raw data (loadavg): 0.99 0.96 0.68 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5895 0 0 0 110972 1047 0 0 25 0 1 0 863976392 21278720 4274 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5195 4274 300 300 0 4895 0 vsize: 20780 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.68 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5909 0 0 0 111966 1053 0 0 25 0 1 0 863976392 21278720 4288 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5195 4288 300 300 0 4895 0 vsize: 20780 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.68 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5916 0 0 0 112959 1060 0 0 25 0 1 0 863976392 21278720 4295 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5195 4295 300 300 0 4895 0 vsize: 20780 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.69 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5935 0 0 0 113953 1067 0 0 25 0 1 0 863976392 21360640 4314 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5215 4314 300 300 0 4915 0 vsize: 20860 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.69 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5951 0 0 0 114944 1073 0 0 25 0 1 0 863976392 21360640 4330 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5215 4330 300 300 0 4915 0 vsize: 20860 [startup+1170.03 s] Raw data (loadavg): 1.07 0.99 0.70 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5958 0 0 0 115939 1079 0 0 25 0 1 0 863976392 21360640 4337 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5215 4337 300 300 0 4915 0 vsize: 20860 [startup+1180.04 s] Raw data (loadavg): 1.06 0.99 0.70 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5970 0 0 0 116934 1085 0 0 25 0 1 0 863976392 21360640 4349 4294967295 134512640 135726644 3221224576 3221223184 134741244 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5215 4349 300 300 0 4915 0 vsize: 20860 [startup+1190.04 s] Raw data (loadavg): 1.05 0.99 0.70 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 5979 0 0 0 117929 1089 0 0 25 0 1 0 863976392 21360640 4358 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5215 4358 300 300 0 4915 0 vsize: 20860 [startup+1200.04 s] Raw data (loadavg): 1.04 0.99 0.71 2/54 31212 Raw data (stat): 31212 (pb2sat) R 31211 22056 22055 0 -1 0 6003 0 0 0 118922 1096 0 0 25 0 1 0 863976392 21463040 4382 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5240 4382 300 300 0 4940 0 vsize: 20960 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.19 s] Raw data (loadavg): 1.04 0.99 0.71 1/54 31212 Raw data (stat): 31212 (pb2sat) Z 31211 22056 22055 0 -1 12 6004 0 0 0 118937 1097 0 0 25 0 1 0 863976392 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.19 CPU time (s): 1200.34 CPU user time (s): 1189.37 CPU system time (s): 10.9733 CPU usage (%): 100.013 Max. virtual memory (Kb): 20960 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####