| Name | mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein45.opb |
| MD5SUM | 5c72b08d2dc855d07dab2f619386e796 |
| Bench Category | optimization, small integers (OPTSMALLINT) |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 30 |
| Optimality of the best value was proved | YES |
| Number of terms in the objective function | 45 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 45 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 22 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 67 |
| Number of bits of the biggest sum of numbers | 7 |
| Best result obtained on this benchmark | OPTIMUM FOUND |
| Best CPU time to get the best result obtained on this benchmark | 78.753 |
| Number of variables | 45 |
| Total number of constraints | 376 |
| Number of constraints which are clauses | 330 |
| Number of constraints which are cardinality constraints (but not clauses) | 46 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 45 |
LAUNCH ON wulflinc1 THE 2005-09-23 17:02:01 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8871 boxname=wulflinc1 idbench=667 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 5c72b08d2dc855d07dab2f619386e796 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-stein45.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-stein45.opb IDLAUNCH: 8871 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.228 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.228 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: 884204 kB Buffers: 13284 kB Cached: 119928 kB SwapCached: 0 kB Active: 76704 kB Inactive: 59384 kB HighTotal: 131008 kB HighFree: 14784 kB LowTotal: 903652 kB LowFree: 869420 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6988 kB Slab: 8832 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 17:22:21 (client local time) WITH STATUS 10 IN 1205.56 SECONDS stats: 8871 0 1205.56 10
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 45 c small objective detected c [startup+0.197897 s] setting bit 5 to 0 c Decision: 336/1661 Time: 5.00424/86400 c Decision: 336/1661 Time: 5.50616/86400 c Decision: 336/1661 Time: 6.05008/86400 c Decision: 336/1661 Time: 6.53001/86400 c Decision: 336/1661 Time: 7.12392/86400 c Decision: 336/1661 Time: 7.76782/86400 c Decision: 347/1661 Time: 8.5117/86400 c Decision: 347/1661 Time: 9.1776/86400 c Decision: 347/1661 Time: 9.82151/86400 c Decision: 347/1661 Time: 10.4444/86400 c Decision: 347/1661 Time: 11.1193/86400 c Decision: 347/1661 Time: 11.8192/86400 c Decision: 347/1661 Time: 12.5821/86400 c Decision: 347/1661 Time: 13.316/86400 c Decision: 347/1661 Time: 14.0859/86400 c Decision: 347/1661 Time: 14.9307/86400 c Decision: 347/1661 Time: 15.7896/86400 c Decision: 347/1661 Time: 16.6325/86400 c Decision: 347/1661 Time: 17.5043/86400 c Decision: 347/1661 Time: 18.4002/86400 c Decision: 347/1661 Time: 19.43/86400 c Decision: 347/1661 Time: 20.3389/86400 c Decision: 347/1661 Time: 21.1988/86400 c Decision: 347/1661 Time: 22.2406/86400 c Decision: 347/1661 Time: 23.2365/86400 c Decision: 347/1661 Time: 24.3063/86400 c Decision: 347/1661 Time: 25.3371/86400 c Decision: 347/1661 Time: 26.28/86400 c Decision: 347/1661 Time: 27.3248/86400 c Decision: 347/1661 Time: 28.3527/86400 c Decision: 347/1661 Time: 29.4355/86400 c Decision: 347/1661 Time: 30.4984/86400 c Decision: 347/1661 Time: 31.6972/86400 c Decision: 347/1661 Time: 32.775/86400 c Decision: 347/1661 Time: 33.9358/86400 c Decision: 347/1661 Time: 35.2216/86400 c Decision: 347/1661 Time: 36.5094/86400 c Decision: 347/1661 Time: 37.7403/86400 c Decision: 347/1661 Time: 38.9391/86400 c Decision: 347/1661 Time: 40.1359/86400 c Decision: 347/1661 Time: 41.4677/86400 c Decision: 347/1661 Time: 42.6815/86400 c Decision: 347/1661 Time: 43.8263/86400 c Decision: 347/1661 Time: 45.0881/86400 c Decision: 347/1661 Time: 46.211/86400 c Decision: 347/1661 Time: 47.4498/86400 c Decision: 347/1661 Time: 48.7806/86400 c Decision: 347/1661 Time: 50.1164/86400 c Decision: 347/1661 Time: 51.3882/86400 c Decision: 347/1661 Time: 52.874/86400 c Decision: 347/1661 Time: 54.3187/86400 c Decision: 347/1661 Time: 55.6785/86400 c Decision: 347/1661 Time: 56.9873/86400 c Decision: 347/1661 Time: 58.2591/86400 c Decision: 347/1661 Time: 59.7079/86400 c Decision: 347/1661 Time: 61.1937/86400 c Decision: 347/1661 Time: 62.7065/86400 c Decision: 347/1661 Time: 64.2232/86400 c Decision: 347/1661 Time: 65.673/86400 c Decision: 347/1661 Time: 67.1398/86400 c Decision: 347/1661 Time: 68.7395/86400 c Decision: 347/1661 Time: 70.3233/86400 c Decision: 347/1661 Time: 71.7851/86400 c Decision: 347/1661 Time: 73.4568/86400 c Decision: 347/1661 Time: 75.0196/86400 c Decision: 347/1661 Time: 76.6783/86400 c Decision: 347/1661 Time: 78.3021/86400 c Decision: 347/1661 Time: 79.8269/86400 c Decision: 347/1661 Time: 81.3836/86400 c Decision: 347/1661 Time: 82.9034/86400 c Decision: 347/1661 Time: 84.6641/86400 c Decision: 347/1661 Time: 86.3269/86400 c Decision: 347/1661 Time: 87.9076/86400 c Decision: 347/1661 Time: 89.6794/86400 c Decision: 347/1661 Time: 91.1981/86400 c Decision: 347/1661 Time: 92.8319/86400 c Decision: 347/1661 Time: 94.5526/86400 c Decision: 347/1661 Time: 96.4183/86400 c Decision: 347/1661 Time: 98.1621/86400 c Decision: 347/1661 Time: 99.7618/86400 c Decision: 347/1661 Time: 101.525/86400 c Decision: 347/1661 Time: 103.361/86400 c Decision: 347/1661 Time: 105.497/86400 c Decision: 347/1661 Time: 107.134/86400 c Decision: 347/1661 Time: 108.801/86400 c Decision: 347/1661 Time: 110.672/86400 c Decision: 347/1661 Time: 112.527/86400 c Decision: 347/1661 Time: 114.373/86400 c Decision: 347/1661 Time: 116.152/86400 c Decision: 347/1661 Time: 117.872/86400 c Decision: 347/1661 Time: 120.013/86400 c Decision: 347/1661 Time: 121.827/86400 c Decision: 347/1661 Time: 123.733/86400 c Decision: 347/1661 Time: 125.611/86400 c Decision: 347/1661 Time: 127.603/86400 c Decision: 347/1661 Time: 129.594/86400 c Decision: 347/1661 Time: 131.466/86400 c Decision: 347/1661 Time: 133.283/86400 c Decision: 347/1661 Time: 135.12/86400 c Decision: 347/1661 Time: 136.984/86400 c Decision: 347/1661 Time: 139.16/86400 c Decision: 347/1661 Time: 140.892/86400 c Decision: 347/1661 Time: 142.714/86400 c Decision: 347/1661 Time: 144.524/86400 c Decision: 347/1661 Time: 146.268/86400 c Decision: 347/1661 Time: 147.962/86400 c Decision: 347/1661 Time: 149.936/86400 c Decision: 347/1661 Time: 152.053/86400 c Decision: 347/1661 Time: 154.238/86400 c Decision: 347/1661 Time: 156.572/86400 c Decision: 347/1661 Time: 158.426/86400 c Decision: 347/1661 Time: 160.287/86400 c Decision: 347/1661 Time: 162.091/86400 c Decision: 347/1661 Time: 163.925/86400 c Decision: 347/1661 Time: 165.852/86400 c Decision: 347/1661 Time: 167.963/86400 c Decision: 347/1661 Time: 169.914/86400 c Decision: 347/1661 Time: 171.999/86400 c Decision: 347/1661 Time: 174.04/86400 c Decision: 347/1661 Time: 176.035/86400 c Decision: 347/1661 Time: 178.249/86400 c Decision: 347/1661 Time: 180.204/86400 c Decision: 347/1661 Time: 182.392/86400 c Decision: 347/1661 Time: 184.33/86400 c Decision: 347/1661 Time: 186.387/86400 c Decision: 347/1661 Time: 188.678/86400 c Decision: 347/1661 Time: 190.664/86400 c Decision: 347/1661 Time: 192.72/86400 c Decision: 347/1661 Time: 194.825/86400 c Decision: 347/1661 Time: 196.699/86400 c Decision: 347/1661 Time: 198.973/86400 c Decision: 347/1661 Time: 200.898/86400 c Decision: 347/1661 Time: 203.288/86400 c Decision: 382/1661 Time: 207.07/86400 c Decision: 382/1661 Time: 209.087/86400 c Decision: 382/1661 Time: 210.829/86400 c Decision: 382/1661 Time: 212.536/86400 c Decision: 382/1661 Time: 214.385/86400 c Decision: 382/1661 Time: 216.324/86400 c Decision: 382/1661 Time: 218.188/86400 c Decision: 382/1661 Time: 220.294/86400 c Decision: 382/1661 Time: 222.091/86400 c Decision: 382/1661 Time: 223.878/86400 c Decision: 382/1661 Time: 225.713/86400 c Decision: 382/1661 Time: 227.555/86400 c Decision: 382/1661 Time: 229.703/86400 c Decision: 382/1661 Time: 231.776/86400 c Decision: 382/1661 Time: 233.699/86400 c Decision: 382/1661 Time: 235.706/86400 c Decision: 388/1661 Time: 239.225/86400 c Decision: 388/1661 Time: 241.338/86400 c Decision: 388/1661 Time: 242.987/86400 c Decision: 388/1661 Time: 245.166/86400 c Decision: 388/1661 Time: 246.918/86400 c Decision: 388/1661 Time: 249.168/86400 c Decision: 388/1661 Time: 251.786/86400 c Decision: 388/1661 Time: 253.939/86400 c Decision: 388/1661 Time: 256.142/86400 c Decision: 439/1661 Time: 260.786/86400 c Decision: 439/1661 Time: 262.448/86400 c Decision: 439/1661 Time: 264.304/86400 c Decision: 439/1661 Time: 266.098/86400 c Decision: 468/1661 Time: 268.06/86400 c Decision: 468/1661 Time: 269.659/86400 c Decision: 600/1661 Time: 271.536/86400 c [startup+279.592 s] setting bit 4 to 0 c got solution with objective value: 33 c [startup+279.623 s] setting bit 3 to 1 c got solution with objective value: 32 c [startup+279.654 s] setting bit 2 to 1 c Decision: 304/1661 Time: 7.2519/86400 c Decision: 304/1661 Time: 8.09477/86400 c Decision: 304/1661 Time: 8.88265/86400 c Decision: 304/1661 Time: 9.69253/86400 c Decision: 304/1661 Time: 10.4574/86400 c Decision: 304/1661 Time: 11.3673/86400 c Decision: 304/1661 Time: 12.2031/86400 c Decision: 304/1661 Time: 13.071/86400 c Decision: 304/1661 Time: 14.0189/86400 c Decision: 304/1661 Time: 14.9537/86400 c Decision: 304/1661 Time: 15.8646/86400 c Decision: 304/1661 Time: 16.8164/86400 c Decision: 304/1661 Time: 17.8643/86400 c Decision: 304/1661 Time: 18.8401/86400 c Decision: 304/1661 Time: 19.9/86400 c Decision: 304/1661 Time: 20.9758/86400 c Decision: 304/1661 Time: 22.0626/86400 c got solution with objective value: 30 c [startup+302.717 s] setting bit 1 to 1 c Decision: 297/1661 Time: 10.9313/86400 c Decision: 297/1661 Time: 12.1392/86400 c Decision: 297/1661 Time: 13.163/86400 c Decision: 297/1661 Time: 14.3238/86400 c Decision: 297/1661 Time: 15.7746/86400 c Decision: 297/1661 Time: 17.2234/86400 c Decision: 297/1661 Time: 18.4472/86400 c Decision: 297/1661 Time: 19.881/86400 c Decision: 297/1661 Time: 21.3807/86400 c Decision: 297/1661 Time: 22.6586/86400 c Decision: 297/1661 Time: 24.0423/86400 c Decision: 297/1661 Time: 25.4791/86400 c Decision: 297/1661 Time: 26.8289/86400 c Decision: 297/1661 Time: 28.4077/86400 c Decision: 297/1661 Time: 29.7695/86400 c Decision: 297/1661 Time: 31.3632/86400 c Decision: 297/1661 Time: 32.85/86400 c Decision: 297/1661 Time: 34.3788/86400 c Decision: 297/1661 Time: 35.7836/86400 c Decision: 297/1661 Time: 37.3013/86400 c Decision: 297/1661 Time: 39.0211/86400 c Decision: 297/1661 Time: 40.6508/86400 c Decision: 297/1661 Time: 42.1696/86400 c Decision: 297/1661 Time: 43.7723/86400 c Decision: 297/1661 Time: 45.4331/86400 c Decision: 297/1661 Time: 47.1818/86400 c Decision: 297/1661 Time: 48.8516/86400 c Decision: 297/1661 Time: 50.4213/86400 c Decision: 297/1661 Time: 52.0261/86400 c Decision: 297/1661 Time: 53.7418/86400 c Decision: 297/1661 Time: 55.5356/86400 c Decision: 297/1661 Time: 57.3513/86400 c Decision: 297/1661 Time: 58.892/86400 c Decision: 297/1661 Time: 60.7038/86400 c Decision: 297/1661 Time: 62.3615/86400 c Decision: 297/1661 Time: 64.3292/86400 c Decision: 297/1661 Time: 66.055/86400 c Decision: 297/1661 Time: 68.2406/86400 c Decision: 297/1661 Time: 70.1253/86400 c Decision: 297/1661 Time: 72.0151/86400 c Decision: 297/1661 Time: 73.9598/86400 c Decision: 297/1661 Time: 75.6355/86400 c Decision: 297/1661 Time: 77.4162/86400 c Decision: 297/1661 Time: 79.162/86400 c Decision: 297/1661 Time: 81.3516/86400 c Decision: 297/1661 Time: 83.4213/86400 c Decision: 297/1661 Time: 85.1641/86400 c Decision: 297/1661 Time: 87.1428/86400 c Decision: 297/1661 Time: 89.2454/86400 c Decision: 297/1661 Time: 91.3891/86400 c Decision: 297/1661 Time: 93.5538/86400 c Decision: 297/1661 Time: 95.5695/86400 c Decision: 297/1661 Time: 97.4902/86400 c Decision: 297/1661 Time: 99.7168/86400 c Decision: 297/1661 Time: 101.886/86400 c Decision: 297/1661 Time: 104.239/86400 c Decision: 297/1661 Time: 106.426/86400 c Decision: 297/1661 Time: 108.4/86400 c Decision: 297/1661 Time: 110.282/86400 c Decision: 297/1661 Time: 112.366/86400 c Decision: 297/1661 Time: 114.866/86400 c Decision: 297/1661 Time: 116.864/86400 c Decision: 297/1661 Time: 119.201/86400 c Decision: 297/1661 Time: 121.582/86400 c Decision: 297/1661 Time: 123.875/86400 c Decision: 297/1661 Time: 126.167/86400 c Decision: 297/1661 Time: 128.088/86400 c Decision: 297/1661 Time: 130.168/86400 c Decision: 297/1661 Time: 132.21/86400 c Decision: 297/1661 Time: 134.486/86400 c Decision: 297/1661 Time: 136.784/86400 c Decision: 297/1661 Time: 138.983/86400 c Decision: 297/1661 Time: 140.834/86400 c Decision: 297/1661 Time: 142.901/86400 c Decision: 297/1661 Time: 145.251/86400 c Decision: 297/1661 Time: 147.852/86400 c Decision: 297/1661 Time: 150.287/86400 c Decision: 297/1661 Time: 152.495/86400 c Decision: 297/1661 Time: 154.971/86400 c Decision: 297/1661 Time: 157/86400 c Decision: 297/1661 Time: 159.425/86400 c Decision: 297/1661 Time: 161.831/86400 c Decision: 297/1661 Time: 164.277/86400 c Decision: 297/1661 Time: 166.804/86400 c Decision: 297/1661 Time: 169.265/86400 c Decision: 297/1661 Time: 171.667/86400 c Decision: 297/1661 Time: 174.108/86400 c Decision: 297/1661 Time: 176.454/86400 c Decision: 297/1661 Time: 178.743/86400 c Decision: 297/1661 Time: 181.13/86400 c Decision: 297/1661 Time: 183.858/86400 c Decision: 297/1661 Time: 186.313/86400 c Decision: 297/1661 Time: 188.702/86400 c Decision: 297/1661 Time: 191.132/86400 c Decision: 297/1661 Time: 193.465/86400 c Decision: 297/1661 Time: 196.198/86400 c Decision: 297/1661 Time: 198.591/86400 c Decision: 297/1661 Time: 200.948/86400 c Decision: 297/1661 Time: 203.425/86400 c Decision: 297/1661 Time: 205.88/86400 c Decision: 297/1661 Time: 208.596/86400 c Decision: 297/1661 Time: 210.708/86400 c Decision: 297/1661 Time: 213.174/86400 c Decision: 297/1661 Time: 215.967/86400 c Decision: 297/1661 Time: 218.61/86400 c Decision: 297/1661 Time: 221.699/86400 c Decision: 297/1661 Time: 224.125/86400 c Decision: 297/1661 Time: 226.508/86400 c Decision: 297/1661 Time: 228.883/86400 c Decision: 297/1661 Time: 231.577/86400 c Decision: 297/1661 Time: 234.488/86400 c Decision: 297/1661 Time: 236.764/86400 c Decision: 297/1661 Time: 239.131/86400 c Decision: 297/1661 Time: 241.396/86400 c Decision: 297/1661 Time: 243.867/86400 c Decision: 297/1661 Time: 246.712/86400 c Decision: 297/1661 Time: 249.303/86400 c Decision: 297/1661 Time: 251.626/86400 c Decision: 297/1661 Time: 253.873/86400 c Decision: 297/1661 Time: 257.032/86400 c Decision: 297/1661 Time: 259.669/86400 c Decision: 297/1661 Time: 262.183/86400 c Decision: 297/1661 Time: 264.798/86400 c Decision: 297/1661 Time: 267.041/86400 c Decision: 297/1661 Time: 269.757/86400 c Decision: 297/1661 Time: 272.646/86400 c Decision: 297/1661 Time: 275.149/86400 c Decision: 297/1661 Time: 277.425/86400 c Decision: 297/1661 Time: 279.973/86400 c Decision: 297/1661 Time: 282.598/86400 c Decision: 297/1661 Time: 285.06/86400 c Decision: 297/1661 Time: 287.615/86400 c Decision: 297/1661 Time: 289.971/86400 c Decision: 297/1661 Time: 292.678/86400 c Decision: 297/1661 Time: 295.399/86400 c Decision: 297/1661 Time: 298.223/86400 c Decision: 297/1661 Time: 300.871/86400 c Decision: 297/1661 Time: 303.376/86400 c Decision: 297/1661 Time: 306.145/86400 c Decision: 297/1661 Time: 309.163/86400 c Decision: 297/1661 Time: 312.073/86400 c Decision: 297/1661 Time: 314.653/86400 c Decision: 297/1661 Time: 317.605/86400 c Decision: 297/1661 Time: 320.588/86400 c Decision: 297/1661 Time: 323.13/86400 c Decision: 297/1661 Time: 326.016/86400 c Decision: 297/1661 Time: 328.765/86400 c Decision: 297/1661 Time: 331.255/86400 c Decision: 297/1661 Time: 333.962/86400 c Decision: 297/1661 Time: 336.79/86400 c Decision: 297/1661 Time: 339.767/86400 c Decision: 297/1661 Time: 342.815/86400 c Decision: 297/1661 Time: 345.297/86400 c Decision: 297/1661 Time: 347.809/86400 c Decision: 297/1661 Time: 349.964/86400 c Decision: 297/1661 Time: 353.125/86400 c Decision: 297/1661 Time: 355.948/86400 c Decision: 297/1661 Time: 358.724/86400 c Decision: 297/1661 Time: 361.559/86400 c Decision: 297/1661 Time: 364.38/86400 c Decision: 297/1661 Time: 367.664/86400 c Decision: 297/1661 Time: 370.053/86400 c Decision: 297/1661 Time: 372.772/86400 c Decision: 297/1661 Time: 375.36/86400 c Decision: 297/1661 Time: 378.14/86400 c Decision: 297/1661 Time: 381.729/86400 c Decision: 297/1661 Time: 384.71/86400 c Decision: 297/1661 Time: 387.711/86400 c Decision: 297/1661 Time: 390.602/86400 c Decision: 297/1661 Time: 393.194/86400 c Decision: 297/1661 Time: 396.055/86400 c Decision: 297/1661 Time: 398.823/86400 c Decision: 297/1661 Time: 401.851/86400 c Decision: 297/1661 Time: 404.206/86400 c Decision: 297/1661 Time: 406.804/86400 c Decision: 297/1661 Time: 410.138/86400 c Decision: 297/1661 Time: 412.748/86400 c Decision: 297/1661 Time: 415.624/86400 c Decision: 297/1661 Time: 418.562/86400 c Decision: 297/1661 Time: 421.134/86400 c Decision: 297/1661 Time: 423.976/86400 c Decision: 297/1661 Time: 426.848/86400 c Decision: 297/1661 Time: 429.723/86400 c Decision: 297/1661 Time: 432.744/86400 c Decision: 297/1661 Time: 435.917/86400 c Decision: 297/1661 Time: 439.002/86400 c Decision: 297/1661 Time: 441.863/86400 c Decision: 297/1661 Time: 444.807/86400 c Decision: 297/1661 Time: 447.492/86400 c Decision: 297/1661 Time: 450.326/86400 c Decision: 297/1661 Time: 453.544/86400 c Decision: 297/1661 Time: 456.629/86400 c Decision: 297/1661 Time: 459.463/86400 c Decision: 297/1661 Time: 462.669/86400 c Decision: 297/1661 Time: 465.557/86400 c Decision: 297/1661 Time: 469.301/86400 c Decision: 297/1661 Time: 472.166/86400 c Decision: 297/1661 Time: 474.831/86400 c Decision: 297/1661 Time: 477.643/86400 c Decision: 297/1661 Time: 480.726/86400 c Decision: 297/1661 Time: 484.108/86400 c Decision: 297/1661 Time: 487.132/86400 c Decision: 297/1661 Time: 490.403/86400 c Decision: 297/1661 Time: 493.244/86400 c Decision: 297/1661 Time: 495.989/86400 c Decision: 297/1661 Time: 499.457/86400 c Decision: 297/1661 Time: 502.265/86400 c Decision: 297/1661 Time: 505.18/86400 c Decision: 297/1661 Time: 508.054/86400 c Decision: 297/1661 Time: 511.19/86400 c Decision: 297/1661 Time: 514.469/86400 c Decision: 297/1661 Time: 517.122/86400 c Decision: 297/1661 Time: 520.201/86400 c Decision: 297/1661 Time: 522.952/86400 c Decision: 297/1661 Time: 525.936/86400 c Decision: 297/1661 Time: 529.271/86400 c Decision: 297/1661 Time: 532.171/86400 c Decision: 297/1661 Time: 534.928/86400 c Decision: 297/1661 Time: 537.792/86400 c Decision: 297/1661 Time: 540.477/86400 c Decision: 297/1661 Time: 544.068/86400 c Decision: 297/1661 Time: 546.697/86400 c Decision: 297/1661 Time: 549.685/86400 c Decision: 297/1661 Time: 552.562/86400 c Decision: 297/1661 Time: 555.074/86400 c Decision: 297/1661 Time: 558.67/86400 c Decision: 297/1661 Time: 561.695/86400 c Decision: 297/1661 Time: 564.838/86400 c Decision: 297/1661 Time: 567.783/86400 c Decision: 297/1661 Time: 570.865/86400 c Decision: 297/1661 Time: 574.196/86400 c Decision: 297/1661 Time: 577.102/86400 c Decision: 297/1661 Time: 580.275/86400 c Decision: 297/1661 Time: 583.609/86400 c Decision: 489/1661 Time: 588.151/86400 c Decision: 489/1661 Time: 591.132/86400 c Decision: 489/1661 Time: 593.417/86400 c Decision: 489/1661 Time: 595.342/86400 c Decision: 489/1661 Time: 598.07/86400 c Decision: 489/1661 Time: 601.502/86400 c Decision: 489/1661 Time: 604.032/86400 c Decision: 489/1661 Time: 606.657/86400 c Decision: 489/1661 Time: 609.424/86400 c Decision: 489/1661 Time: 612.27/86400 c Decision: 489/1661 Time: 614.856/86400 c Decision: 489/1661 Time: 617.88/86400 c Decision: 489/1661 Time: 620.725/86400 c Decision: 489/1661 Time: 623.359/86400 c Decision: 489/1661 Time: 626.385/86400 c Decision: 489/1661 Time: 629.159/86400 c Decision: 489/1661 Time: 632.327/86400 c Decision: 489/1661 Time: 634.84/86400 c Decision: 489/1661 Time: 637.765/86400 c Decision: 489/1661 Time: 640.709/86400 c Decision: 489/1661 Time: 643.64/86400 c Decision: 489/1661 Time: 646.432/86400 c Decision: 489/1661 Time: 649.18/86400 c Decision: 489/1661 Time: 651.59/86400 c Decision: 489/1661 Time: 654.352/86400 c Decision: 489/1661 Time: 656.949/86400 c Decision: 489/1661 Time: 660.254/86400 c Decision: 489/1661 Time: 663.126/86400 c Decision: 489/1661 Time: 666.102/86400 c Decision: 489/1661 Time: 668.906/86400 c Decision: 489/1661 Time: 671.799/86400 c Decision: 489/1661 Time: 675.377/86400 c Decision: 489/1661 Time: 678.348/86400 c Decision: 489/1661 Time: 681.261/86400 c Decision: 489/1661 Time: 684.389/86400 c Decision: 489/1661 Time: 687.223/86400 c Decision: 489/1661 Time: 690.89/86400 c Decision: 489/1661 Time: 693.918/86400 c Decision: 489/1661 Time: 696.58/86400 c Decision: 489/1661 Time: 698.984/86400 c Decision: 489/1661 Time: 702.145/86400 c Decision: 489/1661 Time: 705.548/86400 c Decision: 489/1661 Time: 708.91/86400 c Decision: 489/1661 Time: 712.208/86400 c Decision: 489/1661 Time: 715.507/86400 c Decision: 489/1661 Time: 718.407/86400 c Decision: 489/1661 Time: 721.848/86400 c Decision: 489/1661 Time: 724.879/86400 c Decision: 489/1661 Time: 727.8/86400 c Decision: 489/1661 Time: 731.15/86400 c Decision: 489/1661 Time: 733.99/86400 c Decision: 489/1661 Time: 737.331/86400 c Decision: 489/1661 Time: 740.333/86400 c Decision: 489/1661 Time: 743.502/86400 c Decision: 489/1661 Time: 746.526/86400 c Decision: 489/1661 Time: 749.827/86400 c Decision: 489/1661 Time: 753.403/86400 c Decision: 489/1661 Time: 756.484/86400 c Decision: 489/1661 Time: 759.196/86400 c Decision: 489/1661 Time: 761.848/86400 c Decision: 489/1661 Time: 764.649/86400 c Decision: 489/1661 Time: 768.047/86400 c Decision: 489/1661 Time: 771.359/86400 c Decision: 489/1661 Time: 774.467/86400 c Decision: 489/1661 Time: 777.63/86400 c Decision: 489/1661 Time: 780.73/86400 c Decision: 489/1661 Time: 784.177/86400 c Decision: 489/1661 Time: 787.205/86400 c Decision: 489/1661 Time: 790.247/86400 c Decision: 489/1661 Time: 793.612/86400 c Decision: 489/1661 Time: 796.547/86400 c Decision: 489/1661 Time: 799.77/86400 c Decision: 489/1661 Time: 802.995/86400 c Decision: 489/1661 Time: 805.951/86400 c Decision: 489/1661 Time: 808.904/86400 c Decision: 489/1661 Time: 812.257/86400 c Decision: 489/1661 Time: 815.712/86400 c Decision: 512/1661 Time: 820.816/86400 c Decision: 589/1661 Time: 826.504/86400 c Decision: 589/1661 Time: 828.643/86400 c Decision: 589/1661 Time: 830.415/86400 c Decision: 589/1661 Time: 832.59/86400 c Decision: 589/1661 Time: 834.74/86400 c Decision: 589/1661 Time: 836.77/86400 c Decision: 589/1661 Time: 838.812/86400 c Decision: 589/1661 Time: 841.042/86400 c Decision: 589/1661 Time: 843.241/86400 c Decision: 589/1661 Time: 845.508/86400 c Decision: 589/1661 Time: 847.774/86400 c Decision: 589/1661 Time: 849.956/86400 c Decision: 589/1661 Time: 852.589/86400 c Decision: 589/1661 Time: 854.94/86400 c Decision: 589/1661 Time: 857.232/86400 c Decision: 589/1661 Time: 859.668/86400 c Decision: 589/1661 Time: 862.032/86400 c Decision: 589/1661 Time: 864.477/86400 c Decision: 589/1661 Time: 866.94/86400 c Decision: 589/1661 Time: 869.225/86400 c Decision: 589/1661 Time: 871.758/86400 c Decision: 589/1661 Time: 874.895/86400 c Decision: 589/1661 Time: 877.703/86400 c Decision: 589/1661 Time: 880.51/86400 c Decision: 589/1661 Time: 883.608/86400 c Decision: 589/1661 Time: 885.898/86400 c Decision: 589/1661 Time: 888.64/86400 c Decision: 589/1661 Time: 891.589/86400 c Decision: 589/1661 Time: 894.226/86400 c Decision: 589/1661 Time: 896.618/86400 c Decision: 589/1661 Time: 899.003/86400 c Decision: 589/1661 Time: 902.658/86400 c Decision: 589/1661 Time: 905.884/86400s SATISFIABLE v V0001_bit0 V0002_bit0 V0003_bit0 V0004_bit0 -V0005_bit0 V0006_bit0 V0007_bit0 V0008_bit0 -V0009_bit0 V0010_bit0 V0011_bit0 -V0012_bit0 V0013_bit0 -V0014_bit0 V0015_bit0 V0016_bit0 V0017_bit0 -V0018_bit0 -V0019_bit0 -V0020_bit0 V0021_bit0 V0022_bit0 V0023_bit0 V0024_bit0 V0025_bit0 V0026_bit0 V0027_bit0 -V0028_bit0 -V0029_bit0 V0030_bit0 -V0031_bit0 -V0032_bit0 V0033_bit0 V0034_bit0 V0035_bit0 -V0036_bit0 V0037_bit0 -V0038_bit0 V0039_bit0 -V0040_bit0 V0041_bit0 V0042_bit0 V0043_bit0 V0044_bit0 -V0045_bit0
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21850084 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 373 10 364 364 0 9 0 [pid=10027] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-stein45.opb [startup+10.0018 s] Raw data (loadavg): 0.95 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 991 0 0 0 936 23 0 0 25 0 1 0 21850084 5713920 822 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 1395 822 364 364 0 1031 0 [pid=10027] vsize: 5580 Current children cumulated CPU time (s) 9.59 Current children cumulated vsize (Kb) 5580 [startup+20.0026 s] Raw data (loadavg): 0.96 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 1340 0 0 0 1893 39 0 0 25 0 1 0 21850084 6254592 1171 4294967295 134512640 135987407 3221224560 3221223160 135499869 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 1527 1171 364 364 0 1163 0 [pid=10027] vsize: 6108 Current children cumulated CPU time (s) 19.32 Current children cumulated vsize (Kb) 6108 [startup+30.0034 s] Raw data (loadavg): 0.97 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) T 10026 10027 4704 0 -1 0 1788 0 0 0 2855 52 0 0 25 0 1 0 21850084 9555968 1426 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10027/statm): 2333 1426 364 364 0 1969 0 [pid=10027] vsize: 9332 Current children cumulated CPU time (s) 29.07 Current children cumulated vsize (Kb) 9332 [startup+40.0041 s] Raw data (loadavg): 0.97 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 1994 0 0 0 3823 63 0 0 25 0 1 0 21850084 9846784 1632 4294967295 134512640 135987407 3221224560 3221223104 134811915 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 2404 1632 364 364 0 2040 0 [pid=10027] vsize: 9616 Current children cumulated CPU time (s) 38.86 Current children cumulated vsize (Kb) 9616 [startup+50.0049 s] Raw data (loadavg): 0.97 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 2222 0 0 0 4791 75 0 0 25 0 1 0 21850084 10326016 1860 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 2521 1860 364 364 0 2157 0 [pid=10027] vsize: 10084 Current children cumulated CPU time (s) 48.66 Current children cumulated vsize (Kb) 10084 [startup+60.0047 s] Raw data (loadavg): 0.98 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 2399 0 0 0 5763 86 0 0 25 0 1 0 21850084 10473472 2037 4294967295 134512640 135987407 3221224560 3221223104 134811896 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 2557 2037 364 364 0 2193 0 [pid=10027] vsize: 10228 Current children cumulated CPU time (s) 58.49 Current children cumulated vsize (Kb) 10228 [startup+70.0055 s] Raw data (loadavg): 0.98 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 2636 0 0 0 6736 96 0 0 25 0 1 0 21850084 10985472 2274 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 2682 2274 364 364 0 2318 0 [pid=10027] vsize: 10728 Current children cumulated CPU time (s) 68.32 Current children cumulated vsize (Kb) 10728 [startup+80.0063 s] Raw data (loadavg): 0.98 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 2803 0 0 0 7712 105 0 0 25 0 1 0 21850084 15511552 2441 4294967295 134512640 135987407 3221224560 3221223104 134811835 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 3787 2441 364 364 0 3423 0 [pid=10027] vsize: 15148 Current children cumulated CPU time (s) 78.17 Current children cumulated vsize (Kb) 15148 [startup+90.0071 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 2951 0 0 0 8687 114 0 0 25 0 1 0 21850084 15511552 2589 4294967295 134512640 135987407 3221224560 3221223136 134814142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 3787 2589 364 364 0 3423 0 [pid=10027] vsize: 15148 Current children cumulated CPU time (s) 88.01 Current children cumulated vsize (Kb) 15148 [startup+100.007 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 3530 0 0 0 9664 123 0 0 25 0 1 0 21850084 17510400 2783 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 4275 2783 364 364 0 3911 0 [pid=10027] vsize: 17100 Current children cumulated CPU time (s) 97.87 Current children cumulated vsize (Kb) 17100 [startup+110.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 3715 0 0 0 10641 131 0 0 25 0 1 0 21850084 17965056 2968 4294967295 134512640 135987407 3221224560 3221223104 134811822 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 4386 2968 364 364 0 4022 0 [pid=10027] vsize: 17544 Current children cumulated CPU time (s) 107.72 Current children cumulated vsize (Kb) 17544 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 3894 0 0 0 11617 140 0 0 25 0 1 0 21850084 18219008 3147 4294967295 134512640 135987407 3221224560 3221223104 134811873 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 4448 3147 364 364 0 4084 0 [pid=10027] vsize: 17792 Current children cumulated CPU time (s) 117.57 Current children cumulated vsize (Kb) 17792 [startup+130.009 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 4035 0 0 0 12596 149 0 0 25 0 1 0 21850084 18354176 3288 4294967295 134512640 135987407 3221224560 3221222976 134788429 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 4481 3288 364 364 0 4117 0 [pid=10027] vsize: 17924 Current children cumulated CPU time (s) 127.45 Current children cumulated vsize (Kb) 17924 [startup+140.01 s] Raw data (loadavg): 0.99 0.98 0.95 1/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) T 10026 10027 4704 0 -1 0 4130 0 0 0 13575 157 0 0 25 0 1 0 21850084 18599936 3383 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10027/statm): 4541 3383 364 364 0 4177 0 [pid=10027] vsize: 18164 Current children cumulated CPU time (s) 137.32 Current children cumulated vsize (Kb) 18164 [startup+150.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 4250 0 0 0 14551 165 0 0 25 0 1 0 21850084 18599936 3503 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 4541 3503 364 364 0 4177 0 [pid=10027] vsize: 18164 Current children cumulated CPU time (s) 147.16 Current children cumulated vsize (Kb) 18164 [startup+160.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 4400 0 0 0 15533 173 0 0 25 0 1 0 21850084 18948096 3653 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 4626 3653 364 364 0 4262 0 [pid=10027] vsize: 18504 Current children cumulated CPU time (s) 157.06 Current children cumulated vsize (Kb) 18504 [startup+170.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 4517 0 0 0 16511 180 0 0 25 0 1 0 21850084 18948096 3770 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 4626 3770 364 364 0 4262 0 [pid=10027] vsize: 18504 Current children cumulated CPU time (s) 166.91 Current children cumulated vsize (Kb) 18504 [startup+180.012 s] Raw data (loadavg): 0.99 0.98 0.95 1/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) T 10026 10027 4704 0 -1 0 4642 0 0 0 17490 186 0 0 25 0 1 0 21850084 19218432 3895 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10027/statm): 4692 3895 364 364 0 4328 0 [pid=10027] vsize: 18768 Current children cumulated CPU time (s) 176.76 Current children cumulated vsize (Kb) 18768 [startup+190.013 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 4763 0 0 0 18469 193 0 0 25 0 1 0 21850084 19218432 4016 4294967295 134512640 135987407 3221224560 3221223104 134811912 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 4692 4016 364 364 0 4328 0 [pid=10027] vsize: 18768 Current children cumulated CPU time (s) 186.62 Current children cumulated vsize (Kb) 18768 [startup+200.014 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 4907 0 0 0 19451 200 0 0 25 0 1 0 21850084 19554304 4160 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 4774 4160 364 364 0 4410 0 [pid=10027] vsize: 19096 Current children cumulated CPU time (s) 196.51 Current children cumulated vsize (Kb) 19096 [startup+210.014 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10027 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 5031 0 0 0 20429 208 0 0 25 0 1 0 21850084 28155904 4284 4294967295 134512640 135987407 3221224560 3221223104 134811835 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 6874 4284 364 364 0 6510 0 [pid=10027] vsize: 27496 Current children cumulated CPU time (s) 206.37 Current children cumulated vsize (Kb) 27496 [startup+220.014 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 5313 0 0 0 21405 217 0 0 25 0 1 0 21850084 29102080 4566 4294967295 134512640 135987407 3221224560 3221223104 134811948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 7105 4566 364 364 0 6741 0 [pid=10027] vsize: 28420 Current children cumulated CPU time (s) 216.22 Current children cumulated vsize (Kb) 28420 [startup+230.014 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 5340 0 0 0 22384 225 0 0 25 0 1 0 21850084 29102080 4593 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 7105 4593 364 364 0 6741 0 [pid=10027] vsize: 28420 Current children cumulated CPU time (s) 226.09 Current children cumulated vsize (Kb) 28420 [startup+240.015 s] Raw data (loadavg): 0.99 0.98 0.95 1/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) T 10026 10027 4704 0 -1 0 5363 0 0 0 23365 233 0 0 25 0 1 0 21850084 29102080 4616 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10027/statm): 7105 4616 364 364 0 6741 0 [pid=10027] vsize: 28420 Current children cumulated CPU time (s) 235.98 Current children cumulated vsize (Kb) 28420 [startup+250.016 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) T 10026 10027 4704 0 -1 0 5591 0 0 0 24342 241 0 0 25 0 1 0 21850084 30044160 4844 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10027/statm): 7335 4844 364 364 0 6971 0 [pid=10027] vsize: 29340 Current children cumulated CPU time (s) 245.83 Current children cumulated vsize (Kb) 29340 [startup+260.016 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 5622 0 0 0 25323 247 0 0 25 0 1 0 21850084 30044160 4875 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 7335 4875 364 364 0 6971 0 [pid=10027] vsize: 29340 Current children cumulated CPU time (s) 255.7 Current children cumulated vsize (Kb) 29340 [startup+270.016 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 5876 0 0 0 26302 254 0 0 25 0 1 0 21850084 30990336 5129 4294967295 134512640 135987407 3221224560 3221223168 134801260 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 7566 5129 364 364 0 7202 0 [pid=10027] vsize: 30264 Current children cumulated CPU time (s) 265.56 Current children cumulated vsize (Kb) 30264 [startup+280.016 s] Raw data (loadavg): 0.99 0.98 0.95 1/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) T 10026 10027 4704 0 -1 0 6892 0 0 0 27274 265 0 0 25 0 1 0 21850084 35078144 5376 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10027/statm): 8564 5376 364 364 0 8200 0 [pid=10027] vsize: 34256 Current children cumulated CPU time (s) 275.39 Current children cumulated vsize (Kb) 34256 [startup+290.017 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 6958 0 0 0 28225 284 0 0 25 0 1 0 21850084 35078144 5442 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 8564 5442 364 364 0 8200 0 [pid=10027] vsize: 34256 Current children cumulated CPU time (s) 285.09 Current children cumulated vsize (Kb) 34256 [startup+300.017 s] Raw data (loadavg): 0.99 0.98 0.95 1/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) T 10026 10027 4704 0 -1 0 7006 0 0 0 29190 296 0 0 25 0 1 0 21850084 35078144 5490 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10027/statm): 8564 5490 364 364 0 8200 0 [pid=10027] vsize: 34256 Current children cumulated CPU time (s) 294.86 Current children cumulated vsize (Kb) 34256 [startup+310.016 s] Raw data (loadavg): 0.99 0.98 0.95 1/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) T 10026 10027 4704 0 -1 0 7044 0 0 0 30154 308 0 0 25 0 1 0 21850084 35078144 5528 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10027/statm): 8564 5528 364 364 0 8200 0 [pid=10027] vsize: 34256 Current children cumulated CPU time (s) 304.62 Current children cumulated vsize (Kb) 34256 [startup+320.018 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 7105 0 0 0 31125 318 0 0 25 0 1 0 21850084 35213312 5589 4294967295 134512640 135987407 3221224560 3221223104 134811850 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 8597 5589 364 364 0 8233 0 [pid=10027] vsize: 34388 Current children cumulated CPU time (s) 314.43 Current children cumulated vsize (Kb) 34388 [startup+330.018 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 7146 0 0 0 32096 328 0 0 25 0 1 0 21850084 35381248 5630 4294967295 134512640 135987407 3221224560 3221223104 134811896 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 8638 5630 364 364 0 8274 0 [pid=10027] vsize: 34552 Current children cumulated CPU time (s) 324.24 Current children cumulated vsize (Kb) 34552 [startup+340.019 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 7203 0 0 0 33069 338 0 0 25 0 1 0 21850084 35536896 5687 4294967295 134512640 135987407 3221224560 3221223168 134801142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 8676 5687 364 364 0 8312 0 [pid=10027] vsize: 34704 Current children cumulated CPU time (s) 334.07 Current children cumulated vsize (Kb) 34704 [startup+350.02 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 7259 0 0 0 34047 345 0 0 25 0 1 0 21850084 35713024 5743 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 8719 5743 364 364 0 8355 0 [pid=10027] vsize: 34876 Current children cumulated CPU time (s) 343.92 Current children cumulated vsize (Kb) 34876 [startup+360.02 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 7314 0 0 0 35025 353 0 0 25 0 1 0 21850084 35876864 5798 4294967295 134512640 135987407 3221224560 3221223104 134811803 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 8759 5798 364 364 0 8395 0 [pid=10027] vsize: 35036 Current children cumulated CPU time (s) 353.78 Current children cumulated vsize (Kb) 35036 [startup+370.021 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 7348 0 0 0 36002 361 0 0 25 0 1 0 21850084 35876864 5832 4294967295 134512640 135987407 3221224560 3221223104 134811855 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 8759 5832 364 364 0 8395 0 [pid=10027] vsize: 35036 Current children cumulated CPU time (s) 363.63 Current children cumulated vsize (Kb) 35036 [startup+380.022 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 7381 0 0 0 36981 368 0 0 25 0 1 0 21850084 35876864 5865 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 8759 5865 364 364 0 8395 0 [pid=10027] vsize: 35036 Current children cumulated CPU time (s) 373.49 Current children cumulated vsize (Kb) 35036 [startup+390.024 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 7422 0 0 0 37961 375 0 0 25 0 1 0 21850084 36012032 5906 4294967295 134512640 135987407 3221224560 3221223104 134811915 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 8792 5906 364 364 0 8428 0 [pid=10027] vsize: 35168 Current children cumulated CPU time (s) 383.36 Current children cumulated vsize (Kb) 35168 [startup+400.024 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 7446 0 0 0 38941 382 0 0 25 0 1 0 21850084 36012032 5930 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 8792 5930 364 364 0 8428 0 [pid=10027] vsize: 35168 Current children cumulated CPU time (s) 393.23 Current children cumulated vsize (Kb) 35168 [startup+410.023 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 7476 0 0 0 39923 388 0 0 25 0 1 0 21850084 36012032 5960 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 8792 5960 364 364 0 8428 0 [pid=10027] vsize: 35168 Current children cumulated CPU time (s) 403.11 Current children cumulated vsize (Kb) 35168 [startup+420.023 s] Raw data (loadavg): 0.99 0.98 0.95 1/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) T 10026 10027 4704 0 -1 0 7523 0 0 0 40904 394 0 0 25 0 1 0 21850084 36208640 6007 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10027/statm): 8840 6007 364 364 0 8476 0 [pid=10027] vsize: 35360 Current children cumulated CPU time (s) 412.98 Current children cumulated vsize (Kb) 35360 [startup+430.024 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 7601 0 0 0 41885 401 0 0 25 0 1 0 21850084 36597760 6085 4294967295 134512640 135987407 3221224560 3221223104 134811835 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 8935 6085 364 364 0 8571 0 [pid=10027] vsize: 35740 Current children cumulated CPU time (s) 422.86 Current children cumulated vsize (Kb) 35740 [startup+440.025 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 7655 0 0 0 42867 408 0 0 25 0 1 0 21850084 36597760 6139 4294967295 134512640 135987407 3221224560 3221223104 134811907 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 8935 6139 364 364 0 8571 0 [pid=10027] vsize: 35740 Current children cumulated CPU time (s) 432.75 Current children cumulated vsize (Kb) 35740 [startup+450.026 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 7802 0 0 0 43848 414 0 0 25 0 1 0 21850084 36790272 6286 4294967295 134512640 135987407 3221224560 3221223136 134813826 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 8982 6286 364 364 0 8618 0 [pid=10027] vsize: 35928 Current children cumulated CPU time (s) 442.62 Current children cumulated vsize (Kb) 35928 [startup+460.025 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 7937 0 0 0 44830 421 0 0 25 0 1 0 21850084 36790272 6421 4294967295 134512640 135987407 3221224560 3221223104 134811867 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 8982 6421 364 364 0 8618 0 [pid=10027] vsize: 35928 Current children cumulated CPU time (s) 452.51 Current children cumulated vsize (Kb) 35928 [startup+470.026 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 8108 0 0 0 45815 427 0 0 25 0 1 0 21850084 37384192 6592 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 9127 6592 364 364 0 8763 0 [pid=10027] vsize: 36508 Current children cumulated CPU time (s) 462.42 Current children cumulated vsize (Kb) 36508 [startup+480.026 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 8201 0 0 0 46800 434 0 0 20 0 1 0 21850084 37384192 6685 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 9127 6685 364 364 0 8763 0 [pid=10027] vsize: 36508 Current children cumulated CPU time (s) 472.34 Current children cumulated vsize (Kb) 36508 [startup+490.027 s] Raw data (loadavg): 0.99 0.98 0.95 1/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) T 10026 10027 4704 0 -1 0 8310 0 0 0 47783 439 0 0 25 0 1 0 21850084 37384192 6794 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10027/statm): 9127 6794 364 364 0 8763 0 [pid=10027] vsize: 36508 Current children cumulated CPU time (s) 482.22 Current children cumulated vsize (Kb) 36508 [startup+500.027 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 8431 0 0 0 48766 444 0 0 25 0 1 0 21850084 37543936 6915 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 9166 6915 364 364 0 8802 0 [pid=10027] vsize: 36664 Current children cumulated CPU time (s) 492.1 Current children cumulated vsize (Kb) 36664 [startup+510.027 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 8557 0 0 0 49749 450 0 0 25 0 1 0 21850084 37761024 7041 4294967295 134512640 135987407 3221224560 3221223104 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 9219 7041 364 364 0 8855 0 [pid=10027] vsize: 36876 Current children cumulated CPU time (s) 501.99 Current children cumulated vsize (Kb) 36876 [startup+520.028 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 8658 0 0 0 50735 454 0 0 25 0 1 0 21850084 37928960 7142 4294967295 134512640 135987407 3221224560 3221223104 134811942 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 9260 7142 364 364 0 8896 0 [pid=10027] vsize: 37040 Current children cumulated CPU time (s) 511.89 Current children cumulated vsize (Kb) 37040 [startup+530.029 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 8789 0 0 0 51722 459 0 0 25 0 1 0 21850084 38060032 7240 4294967295 134512640 135987407 3221224560 3221223104 134811910 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 9292 7240 364 364 0 8928 0 [pid=10027] vsize: 37168 Current children cumulated CPU time (s) 521.81 Current children cumulated vsize (Kb) 37168 [startup+540.03 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 8879 0 0 0 52704 466 0 0 25 0 1 0 21850084 38060032 7330 4294967295 134512640 135987407 3221224560 3221223136 134814003 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 9292 7330 364 364 0 8928 0 [pid=10027] vsize: 37168 Current children cumulated CPU time (s) 531.7 Current children cumulated vsize (Kb) 37168 [startup+550.03 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 9029 0 0 0 53690 473 0 0 25 0 1 0 21850084 38494208 7447 4294967295 134512640 135987407 3221224560 3221223104 134811822 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 9398 7447 364 364 0 9034 0 [pid=10027] vsize: 37592 Current children cumulated CPU time (s) 541.63 Current children cumulated vsize (Kb) 37592 [startup+560.031 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 9140 0 0 0 54673 479 0 0 25 0 1 0 21850084 38670336 7558 4294967295 134512640 135987407 3221224560 3221223104 134811803 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 9441 7558 364 364 0 9077 0 [pid=10027] vsize: 37764 Current children cumulated CPU time (s) 551.52 Current children cumulated vsize (Kb) 37764 [startup+570.032 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 9251 0 0 0 55657 484 0 0 25 0 1 0 21850084 38936576 7669 4294967295 134512640 135987407 3221224560 3221223104 134812010 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 9506 7669 364 364 0 9142 0 [pid=10027] vsize: 38024 Current children cumulated CPU time (s) 561.41 Current children cumulated vsize (Kb) 38024 [startup+580.032 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 9330 0 0 0 56639 491 0 0 25 0 1 0 21850084 39137280 7748 4294967295 134512640 135987407 3221224560 3221223104 134811829 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 9555 7748 364 364 0 9191 0 [pid=10027] vsize: 38220 Current children cumulated CPU time (s) 571.3 Current children cumulated vsize (Kb) 38220 [startup+590.033 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 9455 0 0 0 57622 497 0 0 25 0 1 0 21850084 39337984 7873 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 9604 7873 364 364 0 9240 0 [pid=10027] vsize: 38416 Current children cumulated CPU time (s) 581.19 Current children cumulated vsize (Kb) 38416 [startup+600.033 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 9617 0 0 0 58605 504 0 0 25 0 1 0 21850084 39968768 8002 4294967295 134512640 135987407 3221224560 3221223104 134811824 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 9758 8002 364 364 0 9394 0 [pid=10027] vsize: 39032 Current children cumulated CPU time (s) 591.09 Current children cumulated vsize (Kb) 39032 [startup+610.034 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 9687 0 0 0 59591 509 0 0 25 0 1 0 21850084 39968768 8072 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 9758 8072 364 364 0 9394 0 [pid=10027] vsize: 39032 Current children cumulated CPU time (s) 601 Current children cumulated vsize (Kb) 39032 [startup+620.035 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 9801 0 0 0 60576 514 0 0 25 0 1 0 21850084 40169472 8186 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 9807 8186 364 364 0 9443 0 [pid=10027] vsize: 39228 Current children cumulated CPU time (s) 610.9 Current children cumulated vsize (Kb) 39228 [startup+630.036 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 9925 0 0 0 61564 518 0 0 25 0 1 0 21850084 40554496 8310 4294967295 134512640 135987407 3221224560 3221223104 134788738 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 9901 8310 364 364 0 9537 0 [pid=10027] vsize: 39604 Current children cumulated CPU time (s) 620.82 Current children cumulated vsize (Kb) 39604 [startup+640.037 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 9994 0 0 0 62548 523 0 0 25 0 1 0 21850084 40554496 8379 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 9901 8379 364 364 0 9537 0 [pid=10027] vsize: 39604 Current children cumulated CPU time (s) 630.71 Current children cumulated vsize (Kb) 39604 [startup+650.037 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 11627 0 0 0 63532 531 0 0 25 0 1 0 21850084 46997504 8475 4294967295 134512640 135987407 3221224560 3221223104 134811894 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 11474 8475 364 364 0 11110 0 [pid=10027] vsize: 45896 Current children cumulated CPU time (s) 640.63 Current children cumulated vsize (Kb) 45896 [startup+660.037 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 11720 0 0 0 64516 537 0 0 25 0 1 0 21850084 46997504 8568 4294967295 134512640 135987407 3221224560 3221223232 134876845 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 11474 8568 364 364 0 11110 0 [pid=10027] vsize: 45896 Current children cumulated CPU time (s) 650.53 Current children cumulated vsize (Kb) 45896 [startup+670.038 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 11821 0 0 0 65503 543 0 0 25 0 1 0 21850084 47255552 8669 4294967295 134512640 135987407 3221224560 3221223104 134811855 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 11537 8669 364 364 0 11173 0 [pid=10027] vsize: 46148 Current children cumulated CPU time (s) 660.46 Current children cumulated vsize (Kb) 46148 [startup+680.039 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 11891 0 0 0 66488 548 0 0 25 0 1 0 21850084 47255552 8739 4294967295 134512640 135987407 3221224560 3221223104 134811901 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 11537 8739 364 364 0 11173 0 [pid=10027] vsize: 46148 Current children cumulated CPU time (s) 670.36 Current children cumulated vsize (Kb) 46148 [startup+690.039 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 11997 0 0 0 67474 554 0 0 25 0 1 0 21850084 47398912 8845 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 11572 8845 364 364 0 11208 0 [pid=10027] vsize: 46288 Current children cumulated CPU time (s) 680.28 Current children cumulated vsize (Kb) 46288 [startup+700.04 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 12148 0 0 0 68459 560 0 0 25 0 1 0 21850084 47923200 8996 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 11700 8996 364 364 0 11336 0 [pid=10027] vsize: 46800 Current children cumulated CPU time (s) 690.19 Current children cumulated vsize (Kb) 46800 [startup+710.04 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 12197 0 0 0 69443 565 0 0 25 0 1 0 21850084 47923200 9045 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 11700 9045 364 364 0 11336 0 [pid=10027] vsize: 46800 Current children cumulated CPU time (s) 700.08 Current children cumulated vsize (Kb) 46800 [startup+720.041 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 12280 0 0 0 70426 573 0 0 25 0 1 0 21850084 47923200 9128 4294967295 134512640 135987407 3221224560 3221223136 134814120 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 11700 9128 364 364 0 11336 0 [pid=10027] vsize: 46800 Current children cumulated CPU time (s) 709.99 Current children cumulated vsize (Kb) 46800 [startup+730.042 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 12352 0 0 0 71412 578 0 0 25 0 1 0 21850084 48119808 9151 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 11748 9151 364 364 0 11384 0 [pid=10027] vsize: 46992 Current children cumulated CPU time (s) 719.9 Current children cumulated vsize (Kb) 46992 [startup+740.043 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 12370 0 0 0 72397 583 0 0 25 0 1 0 21850084 48119808 9169 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 11748 9169 364 364 0 11384 0 [pid=10027] vsize: 46992 Current children cumulated CPU time (s) 729.8 Current children cumulated vsize (Kb) 46992 [startup+750.044 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 12429 0 0 0 73383 589 0 0 25 0 1 0 21850084 48254976 9228 4294967295 134512640 135987407 3221224560 3221223232 134816731 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 11781 9228 364 364 0 11417 0 [pid=10027] vsize: 47124 Current children cumulated CPU time (s) 739.72 Current children cumulated vsize (Kb) 47124 [startup+760.044 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 12514 0 0 0 74369 594 0 0 25 0 1 0 21850084 48254976 9313 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 11781 9313 364 364 0 11417 0 [pid=10027] vsize: 47124 Current children cumulated CPU time (s) 749.63 Current children cumulated vsize (Kb) 47124 [startup+770.045 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 12627 0 0 0 75357 599 0 0 25 0 1 0 21850084 48590848 9426 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 11863 9426 364 364 0 11499 0 [pid=10027] vsize: 47452 Current children cumulated CPU time (s) 759.56 Current children cumulated vsize (Kb) 47452 [startup+780.045 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 12702 0 0 0 76343 604 0 0 25 0 1 0 21850084 48590848 9501 4294967295 134512640 135987407 3221224560 3221223136 134814142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 11863 9501 364 364 0 11499 0 [pid=10027] vsize: 47452 Current children cumulated CPU time (s) 769.47 Current children cumulated vsize (Kb) 47452 [startup+790.045 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 12793 0 0 0 77329 609 0 0 25 0 1 0 21850084 48590848 9592 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 11863 9592 364 364 0 11499 0 [pid=10027] vsize: 47452 Current children cumulated CPU time (s) 779.38 Current children cumulated vsize (Kb) 47452 [startup+800.046 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 12873 0 0 0 78316 614 0 0 25 0 1 0 21850084 48590848 9672 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 11863 9672 364 364 0 11499 0 [pid=10027] vsize: 47452 Current children cumulated CPU time (s) 789.3 Current children cumulated vsize (Kb) 47452 [startup+810.046 s] Raw data (loadavg): 0.99 0.98 0.95 1/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) T 10026 10027 4704 0 -1 0 12969 0 0 0 79300 620 0 0 25 0 1 0 21850084 48775168 9768 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10027/statm): 11908 9768 364 364 0 11544 0 [pid=10027] vsize: 47632 Current children cumulated CPU time (s) 799.2 Current children cumulated vsize (Kb) 47632 [startup+820.046 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 13038 0 0 0 80286 625 0 0 25 0 1 0 21850084 65552384 9837 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16004 9837 364 364 0 15640 0 [pid=10027] vsize: 64016 Current children cumulated CPU time (s) 809.11 Current children cumulated vsize (Kb) 64016 [startup+830.045 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 13117 0 0 0 81271 631 0 0 25 0 1 0 21850084 65552384 9916 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16004 9916 364 364 0 15640 0 [pid=10027] vsize: 64016 Current children cumulated CPU time (s) 819.02 Current children cumulated vsize (Kb) 64016 [startup+840.046 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 13229 0 0 0 82259 635 0 0 25 0 1 0 21850084 65802240 10028 4294967295 134512640 135987407 3221224560 3221223168 134801245 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16065 10028 364 364 0 15701 0 [pid=10027] vsize: 64260 Current children cumulated CPU time (s) 828.94 Current children cumulated vsize (Kb) 64260 [startup+850.047 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 13311 0 0 0 83246 640 0 0 25 0 1 0 21850084 65802240 10110 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16065 10110 364 364 0 15701 0 [pid=10027] vsize: 64260 Current children cumulated CPU time (s) 838.86 Current children cumulated vsize (Kb) 64260 [startup+860.047 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 13380 0 0 0 84232 644 0 0 25 0 1 0 21850084 65802240 10179 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16065 10179 364 364 0 15701 0 [pid=10027] vsize: 64260 Current children cumulated CPU time (s) 848.76 Current children cumulated vsize (Kb) 64260 [startup+870.048 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 13491 0 0 0 85216 651 0 0 25 0 1 0 21850084 65921024 10290 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16094 10290 364 364 0 15730 0 [pid=10027] vsize: 64376 Current children cumulated CPU time (s) 858.67 Current children cumulated vsize (Kb) 64376 [startup+880.048 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 13539 0 0 0 86205 654 0 0 25 0 1 0 21850084 66052096 10338 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16126 10338 364 364 0 15762 0 [pid=10027] vsize: 64504 Current children cumulated CPU time (s) 868.59 Current children cumulated vsize (Kb) 64504 [startup+890.048 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 13574 0 0 0 87190 658 0 0 25 0 1 0 21850084 66052096 10373 4294967295 134512640 135987407 3221224560 3221223104 134811912 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16126 10373 364 364 0 15762 0 [pid=10027] vsize: 64504 Current children cumulated CPU time (s) 878.48 Current children cumulated vsize (Kb) 64504 [startup+900.048 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14084 0 0 0 88175 664 0 0 25 0 1 0 21850084 67944448 10846 4294967295 134512640 135987407 3221224560 3221223232 134876948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 16588 10846 364 364 0 16224 0 [pid=10027] vsize: 66352 Current children cumulated CPU time (s) 888.39 Current children cumulated vsize (Kb) 66352 [startup+910.049 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14104 0 0 0 89158 669 0 0 25 0 1 0 21850084 67944448 10866 4294967295 134512640 135987407 3221224560 3221223168 134801312 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 16588 10866 364 364 0 16224 0 [pid=10027] vsize: 66352 Current children cumulated CPU time (s) 898.27 Current children cumulated vsize (Kb) 66352 [startup+920.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14132 0 0 0 90145 675 0 0 25 0 1 0 21850084 67944448 10894 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 16588 10894 364 364 0 16224 0 [pid=10027] vsize: 66352 Current children cumulated CPU time (s) 908.2 Current children cumulated vsize (Kb) 66352 [startup+930.049 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14146 0 0 0 91129 680 0 0 25 0 1 0 21850084 67944448 10908 4294967295 134512640 135987407 3221224560 3221223136 134813813 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 16588 10908 364 364 0 16224 0 [pid=10027] vsize: 66352 Current children cumulated CPU time (s) 918.09 Current children cumulated vsize (Kb) 66352 [startup+940.049 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14161 0 0 0 92110 687 0 0 25 0 1 0 21850084 67944448 10923 4294967295 134512640 135987407 3221224560 3221223104 134812005 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16588 10923 364 364 0 16224 0 [pid=10027] vsize: 66352 Current children cumulated CPU time (s) 927.97 Current children cumulated vsize (Kb) 66352 [startup+950.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14176 0 0 0 93095 692 0 0 25 0 1 0 21850084 67944448 10938 4294967295 134512640 135987407 3221224560 3221223136 134813813 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16588 10938 364 364 0 16224 0 [pid=10027] vsize: 66352 Current children cumulated CPU time (s) 937.87 Current children cumulated vsize (Kb) 66352 [startup+960.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14190 0 0 0 94083 697 0 0 25 0 1 0 21850084 67944448 10952 4294967295 134512640 135987407 3221224560 3221223104 134811850 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16588 10952 364 364 0 16224 0 [pid=10027] vsize: 66352 Current children cumulated CPU time (s) 947.8 Current children cumulated vsize (Kb) 66352 [startup+970.051 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14206 0 0 0 95068 702 0 0 25 0 1 0 21850084 67944448 10968 4294967295 134512640 135987407 3221224560 3221223232 134876847 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16588 10968 364 364 0 16224 0 [pid=10027] vsize: 66352 Current children cumulated CPU time (s) 957.7 Current children cumulated vsize (Kb) 66352 [startup+980.051 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14224 0 0 0 96054 707 0 0 25 0 1 0 21850084 67944448 10986 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16588 10986 364 364 0 16224 0 [pid=10027] vsize: 66352 Current children cumulated CPU time (s) 967.61 Current children cumulated vsize (Kb) 66352 [startup+990.051 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14257 0 0 0 97040 713 0 0 25 0 1 0 21850084 68083712 11019 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16622 11019 364 364 0 16258 0 [pid=10027] vsize: 66488 Current children cumulated CPU time (s) 977.53 Current children cumulated vsize (Kb) 66488 [startup+1000.05 s] Raw data (loadavg): 0.99 0.98 0.95 1/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) T 10026 10027 4704 0 -1 0 14295 0 0 0 98025 718 0 0 25 0 1 0 21850084 68288512 11057 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16672 11057 364 364 0 16308 0 [pid=10027] vsize: 66688 Current children cumulated CPU time (s) 987.43 Current children cumulated vsize (Kb) 66688 [startup+1010.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14340 0 0 0 99014 722 0 0 25 0 1 0 21850084 68521984 11102 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16729 11102 364 364 0 16365 0 [pid=10027] vsize: 66916 Current children cumulated CPU time (s) 997.36 Current children cumulated vsize (Kb) 66916 [startup+1020.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14397 0 0 0 100002 726 0 0 25 0 1 0 21850084 68755456 11159 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16786 11159 364 364 0 16422 0 [pid=10027] vsize: 67144 Current children cumulated CPU time (s) 1007.28 Current children cumulated vsize (Kb) 67144 [startup+1030.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14436 0 0 0 100987 732 0 0 25 0 1 0 21850084 68755456 11198 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16786 11198 364 364 0 16422 0 [pid=10027] vsize: 67144 Current children cumulated CPU time (s) 1017.19 Current children cumulated vsize (Kb) 67144 [startup+1040.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14452 0 0 0 101973 735 0 0 25 0 1 0 21850084 68755456 11214 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 16786 11214 364 364 0 16422 0 [pid=10027] vsize: 67144 Current children cumulated CPU time (s) 1027.08 Current children cumulated vsize (Kb) 67144 [startup+1050.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14516 0 0 0 102960 739 0 0 25 0 1 0 21850084 68919296 11237 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 16826 11237 364 364 0 16462 0 [pid=10027] vsize: 67304 Current children cumulated CPU time (s) 1036.99 Current children cumulated vsize (Kb) 67304 [startup+1060.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14583 0 0 0 103947 744 0 0 25 0 1 0 21850084 69099520 11259 4294967295 134512640 135987407 3221224560 3221223136 134814116 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16870 11259 364 364 0 16506 0 [pid=10027] vsize: 67480 Current children cumulated CPU time (s) 1046.91 Current children cumulated vsize (Kb) 67480 [startup+1070.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14598 0 0 0 104934 748 0 0 25 0 1 0 21850084 69099520 11274 4294967295 134512640 135987407 3221224560 3221223104 134811915 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 16870 11274 364 364 0 16506 0 [pid=10027] vsize: 67480 Current children cumulated CPU time (s) 1056.82 Current children cumulated vsize (Kb) 67480 [startup+1080.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14615 0 0 0 105920 754 0 0 25 0 1 0 21850084 69099520 11291 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 16870 11291 364 364 0 16506 0 [pid=10027] vsize: 67480 Current children cumulated CPU time (s) 1066.74 Current children cumulated vsize (Kb) 67480 [startup+1090.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14630 0 0 0 106909 758 0 0 25 0 1 0 21850084 69099520 11306 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 16870 11306 364 364 0 16506 0 [pid=10027] vsize: 67480 Current children cumulated CPU time (s) 1076.67 Current children cumulated vsize (Kb) 67480 [startup+1100.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14655 0 0 0 107898 763 0 0 25 0 1 0 21850084 69099520 11331 4294967295 134512640 135987407 3221224560 3221223104 134811835 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16870 11331 364 364 0 16506 0 [pid=10027] vsize: 67480 Current children cumulated CPU time (s) 1086.61 Current children cumulated vsize (Kb) 67480 [startup+1110.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14768 0 0 0 108883 769 0 0 25 0 1 0 21850084 69234688 11444 4294967295 134512640 135987407 3221224560 3221223136 134814139 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16903 11444 364 364 0 16539 0 [pid=10027] vsize: 67612 Current children cumulated CPU time (s) 1096.52 Current children cumulated vsize (Kb) 67612 [startup+1120.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14838 0 0 0 109870 774 0 0 25 0 1 0 21850084 69369856 11514 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16936 11514 364 364 0 16572 0 [pid=10027] vsize: 67744 Current children cumulated CPU time (s) 1106.44 Current children cumulated vsize (Kb) 67744 [startup+1130.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 14904 0 0 0 110856 779 0 0 25 0 1 0 21850084 69369856 11580 4294967295 134512640 135987407 3221224560 3221223104 134812033 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 16936 11580 364 364 0 16572 0 [pid=10027] vsize: 67744 Current children cumulated CPU time (s) 1116.35 Current children cumulated vsize (Kb) 67744 [startup+1140.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 16140 0 0 0 111840 786 0 0 20 0 1 0 21850084 74100736 12816 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 18091 12816 364 364 0 17727 0 [pid=10027] vsize: 72364 Current children cumulated CPU time (s) 1126.26 Current children cumulated vsize (Kb) 72364 [startup+1150.05 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 16201 0 0 0 112820 793 0 0 25 0 1 0 21850084 74100736 12877 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 18091 12877 364 364 0 17727 0 [pid=10027] vsize: 72364 Current children cumulated CPU time (s) 1136.13 Current children cumulated vsize (Kb) 72364 [startup+1160.06 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 16219 0 0 0 113802 799 0 0 25 0 1 0 21850084 74100736 12895 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 18091 12895 364 364 0 17727 0 [pid=10027] vsize: 72364 Current children cumulated CPU time (s) 1146.01 Current children cumulated vsize (Kb) 72364 [startup+1170.06 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 16236 0 0 0 114787 805 0 0 25 0 1 0 21850084 74100736 12912 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 18091 12912 364 364 0 17727 0 [pid=10027] vsize: 72364 Current children cumulated CPU time (s) 1155.92 Current children cumulated vsize (Kb) 72364 [startup+1180.06 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 16254 0 0 0 115770 811 0 0 25 0 1 0 21850084 74100736 12930 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10027/statm): 18091 12930 364 364 0 17727 0 [pid=10027] vsize: 72364 Current children cumulated CPU time (s) 1165.81 Current children cumulated vsize (Kb) 72364 [startup+1190.06 s] Raw data (loadavg): 0.99 0.98 0.95 1/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) T 10026 10027 4704 0 -1 0 16268 0 0 0 116754 817 0 0 25 0 1 0 21850084 74100736 12944 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10027/statm): 18091 12944 364 364 0 17727 0 [pid=10027] vsize: 72364 Current children cumulated CPU time (s) 1175.71 Current children cumulated vsize (Kb) 72364 [startup+1200.06 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 16283 0 0 0 117739 821 0 0 25 0 1 0 21850084 74100736 12959 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 18091 12959 364 364 0 17727 0 [pid=10027] vsize: 72364 Current children cumulated CPU time (s) 1185.6 Current children cumulated vsize (Kb) 72364 [startup+1210.06 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 16299 0 0 0 118724 826 0 0 25 0 1 0 21850084 74100736 12975 4294967295 134512640 135987407 3221224560 3221223104 134812163 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 18091 12975 364 364 0 17727 0 [pid=10027] vsize: 72364 Current children cumulated CPU time (s) 1195.5 Current children cumulated vsize (Kb) 72364 [startup+1220.06 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 16312 0 0 0 119711 830 0 0 25 0 1 0 21850084 74100736 12988 4294967295 134512640 135987407 3221224560 3221223104 134811855 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 18091 12988 364 364 0 17727 0 [pid=10027] vsize: 72364 Current children cumulated CPU time (s) 1205.41 Current children cumulated vsize (Kb) 72364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.06 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 10029 Raw data (/proc/10027/stat): 10027 (pb2sat) R 10026 10027 4704 0 -1 0 16312 0 0 0 119711 830 0 0 25 0 1 0 21850084 74100736 12988 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10027/statm): 18091 12988 364 364 0 17727 0 [pid=10027] vsize: 72364 Current children cumulated CPU time (s) 1205.41 Current children cumulated vsize (Kb) 72364 Sending SIGTERM to -10027 Sleeping 2 seconds One traced child (pid=10027) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1220.2 CPU time (s): 1205.56 CPU user time (s): 1197.23 CPU system time (s): 8.33673 CPU usage (%): 98.8001 Max. virtual memory (cumulated for all children) (Kb): 72364
Verifier: OK 30