| Name | mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb |
| MD5SUM | 980dd801f0823d520b47724b99fabded |
| 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 | 79.104 |
| 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 wulflinc15 THE 2005-09-23 16:24:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8750 boxname=wulflinc15 idbench=546 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 980dd801f0823d520b47724b99fabded /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-stein45.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-stein45.opb IDLAUNCH: 8750 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.045 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.045 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: 900952 kB Buffers: 4000 kB Cached: 109560 kB SwapCached: 0 kB Active: 16296 kB Inactive: 100136 kB HighTotal: 131008 kB HighFree: 83132 kB LowTotal: 903652 kB LowFree: 817820 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 11520 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 16:44:23 (client local time) WITH STATUS 10 IN 1205.5 SECONDS stats: 8750 0 1205.5 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.199112 s] setting bit 5 to 0 c Decision: 336/1661 Time: 5.00524/86400 c Decision: 336/1661 Time: 5.49317/86400 c Decision: 336/1661 Time: 6.02908/86400 c Decision: 336/1661 Time: 6.51001/86400 c Decision: 336/1661 Time: 7.10592/86400 c Decision: 336/1661 Time: 7.74682/86400 c Decision: 347/1661 Time: 8.48671/86400 c Decision: 347/1661 Time: 9.15161/86400 c Decision: 347/1661 Time: 9.79651/86400 c Decision: 347/1661 Time: 10.4304/86400 c Decision: 347/1661 Time: 11.1043/86400 c Decision: 347/1661 Time: 11.7922/86400 c Decision: 347/1661 Time: 12.5521/86400 c Decision: 347/1661 Time: 13.281/86400 c Decision: 347/1661 Time: 14.0479/86400 c Decision: 347/1661 Time: 14.8887/86400 c Decision: 347/1661 Time: 15.7376/86400 c Decision: 347/1661 Time: 16.5745/86400 c Decision: 347/1661 Time: 17.4473/86400 c Decision: 347/1661 Time: 18.3452/86400 c Decision: 347/1661 Time: 19.3651/86400 c Decision: 347/1661 Time: 20.2609/86400 c Decision: 347/1661 Time: 21.1088/86400 c Decision: 347/1661 Time: 22.1276/86400 c Decision: 347/1661 Time: 23.1275/86400 c Decision: 347/1661 Time: 24.1803/86400 c Decision: 347/1661 Time: 25.1972/86400 c Decision: 347/1661 Time: 26.135/86400 c Decision: 347/1661 Time: 27.1609/86400 c Decision: 347/1661 Time: 28.1697/86400 c Decision: 347/1661 Time: 29.2336/86400 c Decision: 347/1661 Time: 30.2664/86400 c Decision: 347/1661 Time: 31.4402/86400 c Decision: 347/1661 Time: 32.5061/86400 c Decision: 347/1661 Time: 33.6499/86400 c Decision: 347/1661 Time: 34.9177/86400 c Decision: 347/1661 Time: 36.1865/86400 c Decision: 347/1661 Time: 37.3893/86400 c Decision: 347/1661 Time: 38.5671/86400 c Decision: 347/1661 Time: 39.752/86400 c Decision: 347/1661 Time: 41.0568/86400 c Decision: 347/1661 Time: 42.2436/86400 c Decision: 347/1661 Time: 43.3604/86400 c Decision: 347/1661 Time: 44.6172/86400 c Decision: 347/1661 Time: 45.74/86400 c Decision: 347/1661 Time: 46.9749/86400 c Decision: 347/1661 Time: 48.3077/86400 c Decision: 347/1661 Time: 49.6235/86400 c Decision: 347/1661 Time: 50.8723/86400 c Decision: 347/1661 Time: 52.337/86400 c Decision: 347/1661 Time: 53.7558/86400 c Decision: 347/1661 Time: 55.0976/86400 c Decision: 347/1661 Time: 56.4014/86400 c Decision: 347/1661 Time: 57.6782/86400 c Decision: 347/1661 Time: 59.143/86400 c Decision: 347/1661 Time: 60.6468/86400 c Decision: 347/1661 Time: 62.1556/86400 c Decision: 347/1661 Time: 63.6703/86400 c Decision: 347/1661 Time: 65.1101/86400 c Decision: 347/1661 Time: 66.5749/86400 c Decision: 347/1661 Time: 68.1606/86400 c Decision: 347/1661 Time: 69.7194/86400 c Decision: 347/1661 Time: 71.1662/86400 c Decision: 347/1661 Time: 72.8089/86400 c Decision: 347/1661 Time: 74.3457/86400 c Decision: 347/1661 Time: 75.9745/86400 c Decision: 347/1661 Time: 77.5772/86400 c Decision: 347/1661 Time: 79.091/86400 c Decision: 347/1661 Time: 80.6377/86400 c Decision: 347/1661 Time: 82.1695/86400 c Decision: 347/1661 Time: 83.9502/86400 c Decision: 347/1661 Time: 85.631/86400 c Decision: 347/1661 Time: 87.2287/86400 c Decision: 347/1661 Time: 88.9965/86400 c Decision: 347/1661 Time: 90.5002/86400 c Decision: 347/1661 Time: 92.136/86400 c Decision: 347/1661 Time: 93.8657/86400 c Decision: 347/1661 Time: 95.7204/86400 c Decision: 347/1661 Time: 97.4592/86400 c Decision: 347/1661 Time: 99.0749/86400 c Decision: 347/1661 Time: 100.859/86400 c Decision: 347/1661 Time: 102.723/86400 c Decision: 347/1661 Time: 104.883/86400 c Decision: 347/1661 Time: 106.55/86400 c Decision: 347/1661 Time: 108.234/86400 c Decision: 347/1661 Time: 110.13/86400 c Decision: 347/1661 Time: 112.016/86400 c Decision: 347/1661 Time: 113.892/86400 c Decision: 347/1661 Time: 115.665/86400 c Decision: 347/1661 Time: 117.393/86400 c Decision: 347/1661 Time: 119.532/86400 c Decision: 347/1661 Time: 121.346/86400 c Decision: 347/1661 Time: 123.249/86400 c Decision: 347/1661 Time: 125.113/86400 c Decision: 347/1661 Time: 127.111/86400 c Decision: 347/1661 Time: 129.11/86400 c Decision: 347/1661 Time: 130.975/86400 c Decision: 347/1661 Time: 132.805/86400 c Decision: 347/1661 Time: 134.642/86400 c Decision: 347/1661 Time: 136.493/86400 c Decision: 347/1661 Time: 138.669/86400 c Decision: 347/1661 Time: 140.406/86400 c Decision: 347/1661 Time: 142.233/86400 c Decision: 347/1661 Time: 144.044/86400 c Decision: 347/1661 Time: 145.787/86400 c Decision: 347/1661 Time: 147.494/86400 c Decision: 347/1661 Time: 149.467/86400 c Decision: 347/1661 Time: 151.572/86400 c Decision: 347/1661 Time: 153.757/86400 c Decision: 347/1661 Time: 156.094/86400 c Decision: 347/1661 Time: 157.954/86400 c Decision: 347/1661 Time: 159.813/86400 c Decision: 347/1661 Time: 161.603/86400 c Decision: 347/1661 Time: 163.414/86400 c Decision: 347/1661 Time: 165.325/86400 c Decision: 347/1661 Time: 167.419/86400 c Decision: 347/1661 Time: 169.355/86400 c Decision: 347/1661 Time: 171.418/86400 c Decision: 347/1661 Time: 173.425/86400 c Decision: 347/1661 Time: 175.392/86400 c Decision: 347/1661 Time: 177.607/86400 c Decision: 347/1661 Time: 179.55/86400 c Decision: 347/1661 Time: 181.761/86400 c Decision: 347/1661 Time: 183.736/86400 c Decision: 347/1661 Time: 185.834/86400 c Decision: 347/1661 Time: 188.173/86400 c Decision: 347/1661 Time: 190.189/86400 c Decision: 347/1661 Time: 192.284/86400 c Decision: 347/1661 Time: 194.419/86400 c Decision: 347/1661 Time: 196.318/86400 c Decision: 347/1661 Time: 198.624/86400 c Decision: 347/1661 Time: 200.573/86400 c Decision: 347/1661 Time: 202.996/86400 c Decision: 382/1661 Time: 206.844/86400 c Decision: 382/1661 Time: 208.887/86400 c Decision: 382/1661 Time: 210.667/86400 c Decision: 382/1661 Time: 212.4/86400 c Decision: 382/1661 Time: 214.282/86400 c Decision: 382/1661 Time: 216.237/86400 c Decision: 382/1661 Time: 218.105/86400 c Decision: 382/1661 Time: 220.211/86400 c Decision: 382/1661 Time: 222/86400 c Decision: 382/1661 Time: 223.777/86400 c Decision: 382/1661 Time: 225.6/86400 c Decision: 382/1661 Time: 227.412/86400 c Decision: 382/1661 Time: 229.527/86400 c Decision: 382/1661 Time: 231.576/86400 c Decision: 382/1661 Time: 233.47/86400 c Decision: 382/1661 Time: 235.445/86400 c Decision: 388/1661 Time: 238.907/86400 c Decision: 388/1661 Time: 240.988/86400 c Decision: 388/1661 Time: 242.612/86400 c Decision: 388/1661 Time: 244.779/86400 c Decision: 388/1661 Time: 246.518/86400 c Decision: 388/1661 Time: 248.716/86400 c Decision: 388/1661 Time: 251.336/86400 c Decision: 388/1661 Time: 253.483/86400 c Decision: 388/1661 Time: 255.686/86400 c Decision: 439/1661 Time: 260.416/86400 c Decision: 439/1661 Time: 262.098/86400 c Decision: 439/1661 Time: 263.992/86400 c Decision: 439/1661 Time: 265.8/86400 c Decision: 468/1661 Time: 267.782/86400 c Decision: 468/1661 Time: 269.403/86400 c Decision: 600/1661 Time: 271.315/86400 c [startup+279.432 s] setting bit 4 to 0 c got solution with objective value: 33 c [startup+279.463 s] setting bit 3 to 1 c got solution with objective value: 32 c [startup+279.495 s] setting bit 2 to 1 c Decision: 304/1661 Time: 7.29789/86400 c Decision: 304/1661 Time: 8.14576/86400 c Decision: 304/1661 Time: 8.93364/86400 c Decision: 304/1661 Time: 9.73652/86400 c Decision: 304/1661 Time: 10.4924/86400 c Decision: 304/1661 Time: 11.3973/86400 c Decision: 304/1661 Time: 12.2431/86400 c Decision: 304/1661 Time: 13.12/86400 c Decision: 304/1661 Time: 14.0619/86400 c Decision: 304/1661 Time: 14.9897/86400 c Decision: 304/1661 Time: 15.9036/86400 c Decision: 304/1661 Time: 16.8564/86400 c Decision: 304/1661 Time: 17.8923/86400 c Decision: 304/1661 Time: 18.8491/86400 c Decision: 304/1661 Time: 19.919/86400 c Decision: 304/1661 Time: 20.9978/86400 c Decision: 304/1661 Time: 22.0996/86400 c got solution with objective value: 30 c [startup+302.602 s] setting bit 1 to 1 c Decision: 297/1661 Time: 10.9733/86400 c Decision: 297/1661 Time: 12.1871/86400 c Decision: 297/1661 Time: 13.206/86400 c Decision: 297/1661 Time: 14.3738/86400 c Decision: 297/1661 Time: 15.8156/86400 c Decision: 297/1661 Time: 17.2794/86400 c Decision: 297/1661 Time: 18.4972/86400 c Decision: 297/1661 Time: 19.924/86400 c Decision: 297/1661 Time: 21.4287/86400 c Decision: 297/1661 Time: 22.7155/86400 c Decision: 297/1661 Time: 24.0953/86400 c Decision: 297/1661 Time: 25.5471/86400 c Decision: 297/1661 Time: 26.8939/86400 c Decision: 297/1661 Time: 28.4727/86400 c Decision: 297/1661 Time: 29.8395/86400 c Decision: 297/1661 Time: 31.4292/86400 c Decision: 297/1661 Time: 32.905/86400 c Decision: 297/1661 Time: 34.4418/86400 c Decision: 297/1661 Time: 35.8495/86400 c Decision: 297/1661 Time: 37.3763/86400 c Decision: 297/1661 Time: 39.0981/86400 c Decision: 297/1661 Time: 40.7288/86400 c Decision: 297/1661 Time: 42.2416/86400 c Decision: 297/1661 Time: 43.8373/86400 c Decision: 297/1661 Time: 45.4991/86400 c Decision: 297/1661 Time: 47.2458/86400 c Decision: 297/1661 Time: 48.9156/86400 c Decision: 297/1661 Time: 50.4873/86400 c Decision: 297/1661 Time: 52.0961/86400 c Decision: 297/1661 Time: 53.8028/86400 c Decision: 297/1661 Time: 55.5985/86400 c Decision: 297/1661 Time: 57.4083/86400 c Decision: 297/1661 Time: 58.964/86400 c Decision: 297/1661 Time: 60.7748/86400 c Decision: 297/1661 Time: 62.4325/86400 c Decision: 297/1661 Time: 64.4162/86400 c Decision: 297/1661 Time: 66.1399/86400 c Decision: 297/1661 Time: 68.3266/86400 c Decision: 297/1661 Time: 70.2093/86400 c Decision: 297/1661 Time: 72.108/86400 c Decision: 297/1661 Time: 74.0547/86400 c Decision: 297/1661 Time: 75.7245/86400 c Decision: 297/1661 Time: 77.4972/86400 c Decision: 297/1661 Time: 79.235/86400 c Decision: 297/1661 Time: 81.3876/86400 c Decision: 297/1661 Time: 83.4303/86400 c Decision: 297/1661 Time: 85.1451/86400 c Decision: 297/1661 Time: 87.0938/86400 c Decision: 297/1661 Time: 89.1644/86400 c Decision: 297/1661 Time: 91.2731/86400 c Decision: 297/1661 Time: 93.4198/86400 c Decision: 297/1661 Time: 95.4035/86400 c Decision: 297/1661 Time: 97.2982/86400 c Decision: 297/1661 Time: 99.5019/86400 c Decision: 297/1661 Time: 101.64/86400 c Decision: 297/1661 Time: 103.973/86400 c Decision: 297/1661 Time: 106.138/86400 c Decision: 297/1661 Time: 108.092/86400 c Decision: 297/1661 Time: 109.961/86400 c Decision: 297/1661 Time: 112.016/86400 c Decision: 297/1661 Time: 114.522/86400 c Decision: 297/1661 Time: 116.523/86400 c Decision: 297/1661 Time: 118.87/86400 c Decision: 297/1661 Time: 121.248/86400 c Decision: 297/1661 Time: 123.553/86400 c Decision: 297/1661 Time: 125.852/86400 c Decision: 297/1661 Time: 127.783/86400 c Decision: 297/1661 Time: 129.874/86400 c Decision: 297/1661 Time: 131.925/86400 c Decision: 297/1661 Time: 134.19/86400 c Decision: 297/1661 Time: 136.487/86400 c Decision: 297/1661 Time: 138.658/86400 c Decision: 297/1661 Time: 140.484/86400 c Decision: 297/1661 Time: 142.522/86400 c Decision: 297/1661 Time: 144.855/86400 c Decision: 297/1661 Time: 147.431/86400 c Decision: 297/1661 Time: 149.857/86400 c Decision: 297/1661 Time: 152.046/86400 c Decision: 297/1661 Time: 154.542/86400 c Decision: 297/1661 Time: 156.577/86400 c Decision: 297/1661 Time: 159.02/86400 c Decision: 297/1661 Time: 161.429/86400 c Decision: 297/1661 Time: 163.882/86400 c Decision: 297/1661 Time: 166.412/86400 c Decision: 297/1661 Time: 168.879/86400 c Decision: 297/1661 Time: 171.285/86400 c Decision: 297/1661 Time: 173.731/86400 c Decision: 297/1661 Time: 176.11/86400 c Decision: 297/1661 Time: 178.433/86400 c Decision: 297/1661 Time: 180.85/86400 c Decision: 297/1661 Time: 183.626/86400 c Decision: 297/1661 Time: 186.12/86400 c Decision: 297/1661 Time: 188.545/86400 c Decision: 297/1661 Time: 191.02/86400 c Decision: 297/1661 Time: 193.393/86400 c Decision: 297/1661 Time: 196.188/86400 c Decision: 297/1661 Time: 198.619/86400 c Decision: 297/1661 Time: 201.03/86400 c Decision: 297/1661 Time: 203.539/86400 c Decision: 297/1661 Time: 206.026/86400 c Decision: 297/1661 Time: 208.773/86400 c Decision: 297/1661 Time: 210.888/86400 c Decision: 297/1661 Time: 213.367/86400 c Decision: 297/1661 Time: 216.173/86400 c Decision: 297/1661 Time: 218.821/86400 c Decision: 297/1661 Time: 221.922/86400 c Decision: 297/1661 Time: 224.351/86400 c Decision: 297/1661 Time: 226.742/86400 c Decision: 297/1661 Time: 229.125/86400 c Decision: 297/1661 Time: 231.824/86400 c Decision: 297/1661 Time: 234.746/86400 c Decision: 297/1661 Time: 237.015/86400 c Decision: 297/1661 Time: 239.371/86400 c Decision: 297/1661 Time: 241.64/86400 c Decision: 297/1661 Time: 244.106/86400 c Decision: 297/1661 Time: 246.968/86400 c Decision: 297/1661 Time: 249.566/86400 c Decision: 297/1661 Time: 251.897/86400 c Decision: 297/1661 Time: 254.147/86400 c Decision: 297/1661 Time: 257.313/86400 c Decision: 297/1661 Time: 259.959/86400 c Decision: 297/1661 Time: 262.495/86400 c Decision: 297/1661 Time: 265.137/86400 c Decision: 297/1661 Time: 267.392/86400 c Decision: 297/1661 Time: 270.125/86400 c Decision: 297/1661 Time: 273.038/86400 c Decision: 297/1661 Time: 275.565/86400 c Decision: 297/1661 Time: 277.855/86400 c Decision: 297/1661 Time: 280.414/86400 c Decision: 297/1661 Time: 283.055/86400 c Decision: 297/1661 Time: 285.524/86400 c Decision: 297/1661 Time: 288.098/86400 c Decision: 297/1661 Time: 290.458/86400 c Decision: 297/1661 Time: 293.168/86400 c Decision: 297/1661 Time: 295.903/86400 c Decision: 297/1661 Time: 298.731/86400 c Decision: 297/1661 Time: 301.379/86400 c Decision: 297/1661 Time: 303.899/86400 c Decision: 297/1661 Time: 306.68/86400 c Decision: 297/1661 Time: 309.711/86400 c Decision: 297/1661 Time: 312.64/86400 c Decision: 297/1661 Time: 315.223/86400 c Decision: 297/1661 Time: 318.18/86400 c Decision: 297/1661 Time: 321.176/86400 c Decision: 297/1661 Time: 323.723/86400 c Decision: 297/1661 Time: 326.629/86400 c Decision: 297/1661 Time: 329.392/86400 c Decision: 297/1661 Time: 331.901/86400 c Decision: 297/1661 Time: 334.617/86400 c Decision: 297/1661 Time: 337.452/86400 c Decision: 297/1661 Time: 340.45/86400 c Decision: 297/1661 Time: 343.54/86400 c Decision: 297/1661 Time: 346.035/86400 c Decision: 297/1661 Time: 348.563/86400 c Decision: 297/1661 Time: 350.711/86400 c Decision: 297/1661 Time: 353.895/86400 c Decision: 297/1661 Time: 356.699/86400 c Decision: 297/1661 Time: 359.489/86400 c Decision: 297/1661 Time: 362.35/86400 c Decision: 297/1661 Time: 365.208/86400 c Decision: 297/1661 Time: 368.53/86400 c Decision: 297/1661 Time: 370.92/86400 c Decision: 297/1661 Time: 373.652/86400 c Decision: 297/1661 Time: 376.254/86400 c Decision: 297/1661 Time: 379.041/86400 c Decision: 297/1661 Time: 382.66/86400 c Decision: 297/1661 Time: 385.65/86400 c Decision: 297/1661 Time: 388.657/86400 c Decision: 297/1661 Time: 391.555/86400 c Decision: 297/1661 Time: 394.168/86400 c Decision: 297/1661 Time: 397.065/86400 c Decision: 297/1661 Time: 399.845/86400 c Decision: 297/1661 Time: 402.886/86400 c Decision: 297/1661 Time: 405.25/86400 c Decision: 297/1661 Time: 407.859/86400 c Decision: 297/1661 Time: 411.207/86400 c Decision: 297/1661 Time: 413.826/86400 c Decision: 297/1661 Time: 416.71/86400 c Decision: 297/1661 Time: 419.665/86400 c Decision: 297/1661 Time: 422.243/86400 c Decision: 297/1661 Time: 425.099/86400 c Decision: 297/1661 Time: 427.983/86400 c Decision: 297/1661 Time: 430.872/86400 c Decision: 297/1661 Time: 433.901/86400 c Decision: 297/1661 Time: 437.087/86400 c Decision: 297/1661 Time: 440.201/86400 c Decision: 297/1661 Time: 443.076/86400 c Decision: 297/1661 Time: 446.022/86400 c Decision: 297/1661 Time: 448.713/86400 c Decision: 297/1661 Time: 451.552/86400 c Decision: 297/1661 Time: 454.801/86400 c Decision: 297/1661 Time: 457.897/86400 c Decision: 297/1661 Time: 460.736/86400 c Decision: 297/1661 Time: 463.942/86400 c Decision: 297/1661 Time: 466.879/86400 c Decision: 297/1661 Time: 470.697/86400 c Decision: 297/1661 Time: 473.611/86400 c Decision: 297/1661 Time: 476.3/86400 c Decision: 297/1661 Time: 479.134/86400 c Decision: 297/1661 Time: 482.235/86400 c Decision: 297/1661 Time: 485.613/86400 c Decision: 297/1661 Time: 488.612/86400 c Decision: 297/1661 Time: 491.851/86400 c Decision: 297/1661 Time: 494.661/86400 c Decision: 297/1661 Time: 497.378/86400 c Decision: 297/1661 Time: 500.83/86400 c Decision: 297/1661 Time: 503.623/86400 c Decision: 297/1661 Time: 506.503/86400 c Decision: 297/1661 Time: 509.349/86400 c Decision: 297/1661 Time: 512.459/86400 c Decision: 297/1661 Time: 515.725/86400 c Decision: 297/1661 Time: 518.347/86400 c Decision: 297/1661 Time: 521.402/86400 c Decision: 297/1661 Time: 524.136/86400 c Decision: 297/1661 Time: 527.094/86400 c Decision: 297/1661 Time: 530.404/86400 c Decision: 297/1661 Time: 533.317/86400 c Decision: 297/1661 Time: 536.068/86400 c Decision: 297/1661 Time: 538.919/86400 c Decision: 297/1661 Time: 541.575/86400 c Decision: 297/1661 Time: 545.147/86400 c Decision: 297/1661 Time: 547.756/86400 c Decision: 297/1661 Time: 550.718/86400 c Decision: 297/1661 Time: 553.568/86400 c Decision: 297/1661 Time: 556.057/86400 c Decision: 297/1661 Time: 559.649/86400 c Decision: 297/1661 Time: 562.65/86400 c Decision: 297/1661 Time: 565.781/86400 c Decision: 297/1661 Time: 568.714/86400 c Decision: 297/1661 Time: 571.763/86400 c Decision: 297/1661 Time: 575.082/86400 c Decision: 297/1661 Time: 577.964/86400 c Decision: 297/1661 Time: 581.123/86400 c Decision: 297/1661 Time: 584.438/86400 c Decision: 489/1661 Time: 588.958/86400 c Decision: 489/1661 Time: 591.929/86400 c Decision: 489/1661 Time: 594.234/86400 c Decision: 489/1661 Time: 596.166/86400 c Decision: 489/1661 Time: 598.913/86400 c Decision: 489/1661 Time: 602.371/86400 c Decision: 489/1661 Time: 604.916/86400 c Decision: 489/1661 Time: 607.543/86400 c Decision: 489/1661 Time: 610.327/86400 c Decision: 489/1661 Time: 613.184/86400 c Decision: 489/1661 Time: 615.772/86400 c Decision: 489/1661 Time: 618.814/86400 c Decision: 489/1661 Time: 621.672/86400 c Decision: 489/1661 Time: 624.309/86400 c Decision: 489/1661 Time: 627.308/86400 c Decision: 489/1661 Time: 630.08/86400 c Decision: 489/1661 Time: 633.224/86400 c Decision: 489/1661 Time: 635.717/86400 c Decision: 489/1661 Time: 638.604/86400 c Decision: 489/1661 Time: 641.522/86400 c Decision: 489/1661 Time: 644.431/86400 c Decision: 489/1661 Time: 647.21/86400 c Decision: 489/1661 Time: 649.92/86400 c Decision: 489/1661 Time: 652.299/86400 c Decision: 489/1661 Time: 655.038/86400 c Decision: 489/1661 Time: 657.617/86400 c Decision: 489/1661 Time: 660.903/86400 c Decision: 489/1661 Time: 663.74/86400 c Decision: 489/1661 Time: 666.7/86400 c Decision: 489/1661 Time: 669.483/86400 c Decision: 489/1661 Time: 672.354/86400 c Decision: 489/1661 Time: 675.921/86400 c Decision: 489/1661 Time: 678.864/86400 c Decision: 489/1661 Time: 681.756/86400 c Decision: 489/1661 Time: 684.874/86400 c Decision: 489/1661 Time: 687.676/86400 c Decision: 489/1661 Time: 691.332/86400 c Decision: 489/1661 Time: 694.331/86400 c Decision: 489/1661 Time: 696.966/86400 c Decision: 489/1661 Time: 699.386/86400 c Decision: 489/1661 Time: 702.55/86400 c Decision: 489/1661 Time: 705.986/86400 c Decision: 489/1661 Time: 709.37/86400 c Decision: 489/1661 Time: 712.703/86400 c Decision: 489/1661 Time: 716.027/86400 c Decision: 489/1661 Time: 718.937/86400 c Decision: 489/1661 Time: 722.411/86400 c Decision: 489/1661 Time: 725.465/86400 c Decision: 489/1661 Time: 728.416/86400 c Decision: 489/1661 Time: 731.826/86400 c Decision: 489/1661 Time: 734.722/86400 c Decision: 489/1661 Time: 738.134/86400 c Decision: 489/1661 Time: 741.183/86400 c Decision: 489/1661 Time: 744.36/86400 c Decision: 489/1661 Time: 747.366/86400 c Decision: 489/1661 Time: 750.646/86400 c Decision: 489/1661 Time: 754.219/86400 c Decision: 489/1661 Time: 757.284/86400 c Decision: 489/1661 Time: 760.014/86400 c Decision: 489/1661 Time: 762.679/86400 c Decision: 489/1661 Time: 765.495/86400 c Decision: 489/1661 Time: 768.916/86400 c Decision: 489/1661 Time: 772.256/86400 c Decision: 489/1661 Time: 775.375/86400 c Decision: 489/1661 Time: 778.557/86400 c Decision: 489/1661 Time: 781.704/86400 c Decision: 489/1661 Time: 785.235/86400 c Decision: 489/1661 Time: 788.293/86400 c Decision: 489/1661 Time: 791.346/86400 c Decision: 489/1661 Time: 794.739/86400 c Decision: 489/1661 Time: 797.692/86400 c Decision: 489/1661 Time: 800.948/86400 c Decision: 489/1661 Time: 804.188/86400 c Decision: 489/1661 Time: 807.115/86400 c Decision: 489/1661 Time: 810.036/86400 c Decision: 489/1661 Time: 813.362/86400 c Decision: 489/1661 Time: 816.817/86400 c Decision: 512/1661 Time: 821.89/86400 c Decision: 589/1661 Time: 827.533/86400 c Decision: 589/1661 Time: 829.65/86400 c Decision: 589/1661 Time: 831.433/86400 c Decision: 589/1661 Time: 833.605/86400 c Decision: 589/1661 Time: 835.745/86400 c Decision: 589/1661 Time: 837.766/86400 c Decision: 589/1661 Time: 839.805/86400 c Decision: 589/1661 Time: 842.04/86400 c Decision: 589/1661 Time: 844.255/86400 c Decision: 589/1661 Time: 846.524/86400 c Decision: 589/1661 Time: 848.794/86400 c Decision: 589/1661 Time: 850.965/86400 c Decision: 589/1661 Time: 853.59/86400 c Decision: 589/1661 Time: 855.958/86400 c Decision: 589/1661 Time: 858.262/86400 c Decision: 589/1661 Time: 860.723/86400 c Decision: 589/1661 Time: 863.1/86400 c Decision: 589/1661 Time: 865.538/86400 c Decision: 589/1661 Time: 868.017/86400 c Decision: 589/1661 Time: 870.303/86400 c Decision: 589/1661 Time: 872.795/86400 c Decision: 589/1661 Time: 875.895/86400 c Decision: 589/1661 Time: 878.659/86400 c Decision: 589/1661 Time: 881.435/86400 c Decision: 589/1661 Time: 884.506/86400 c Decision: 589/1661 Time: 886.781/86400 c Decision: 589/1661 Time: 889.48/86400 c Decision: 589/1661 Time: 892.374/86400 c Decision: 589/1661 Time: 894.97/86400 c Decision: 589/1661 Time: 897.331/86400 c Decision: 589/1661 Time: 899.67/86400 c Decision: 589/1661 Time: 903.286/86400 c Decision: 589/1661 Time: 906.474/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/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21600347 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 373 2 364 364 0 9 0 [pid=7603] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-stein45.opb [startup+10.0018 s] Raw data (loadavg): 0.94 1.01 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 991 0 0 0 931 24 0 0 25 0 1 0 21600347 5713920 822 4294967295 134512640 135987407 3221224560 3221223168 134801258 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 1395 822 364 364 0 1031 0 [pid=7603] vsize: 5580 Current children cumulated CPU time (s) 9.55 Current children cumulated vsize (Kb) 5580 [startup+20.0026 s] Raw data (loadavg): 0.95 1.01 0.99 1/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) T 7602 7603 4057 0 -1 0 1340 0 0 0 1884 42 0 0 25 0 1 0 21600347 6254592 1171 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7603/statm): 1527 1171 364 364 0 1163 0 [pid=7603] vsize: 6108 Current children cumulated CPU time (s) 19.26 Current children cumulated vsize (Kb) 6108 [startup+30.0034 s] Raw data (loadavg): 0.95 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 1791 0 0 0 2841 61 0 0 25 0 1 0 21600347 9555968 1429 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 2333 1429 364 364 0 1969 0 [pid=7603] vsize: 9332 Current children cumulated CPU time (s) 29.02 Current children cumulated vsize (Kb) 9332 [startup+40.0032 s] Raw data (loadavg): 0.96 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 2005 0 0 0 3809 72 0 0 25 0 1 0 21600347 9846784 1643 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 2404 1643 364 364 0 2040 0 [pid=7603] vsize: 9616 Current children cumulated CPU time (s) 38.81 Current children cumulated vsize (Kb) 9616 [startup+50.004 s] Raw data (loadavg): 0.97 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 2225 0 0 0 4777 84 0 0 25 0 1 0 21600347 10326016 1863 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 2521 1863 364 364 0 2157 0 [pid=7603] vsize: 10084 Current children cumulated CPU time (s) 48.61 Current children cumulated vsize (Kb) 10084 [startup+60.0048 s] Raw data (loadavg): 0.97 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 2410 0 0 0 5746 96 0 0 25 0 1 0 21600347 10473472 2048 4294967295 134512640 135987407 3221224560 3221223104 134811995 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 2557 2048 364 364 0 2193 0 [pid=7603] vsize: 10228 Current children cumulated CPU time (s) 58.42 Current children cumulated vsize (Kb) 10228 [startup+70.0047 s] Raw data (loadavg): 0.97 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 2643 0 0 0 6718 108 0 0 25 0 1 0 21600347 10985472 2281 4294967295 134512640 135987407 3221224560 3221223232 134876948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 2682 2281 364 364 0 2318 0 [pid=7603] vsize: 10728 Current children cumulated CPU time (s) 68.26 Current children cumulated vsize (Kb) 10728 [startup+80.0055 s] Raw data (loadavg): 0.98 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 2807 0 0 0 7694 117 0 0 25 0 1 0 21600347 15511552 2445 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 3787 2445 364 364 0 3423 0 [pid=7603] vsize: 15148 Current children cumulated CPU time (s) 78.11 Current children cumulated vsize (Kb) 15148 [startup+90.0053 s] Raw data (loadavg): 0.98 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 2969 0 0 0 8667 126 0 0 25 0 1 0 21600347 15511552 2607 4294967295 134512640 135987407 3221224560 3221223104 134811832 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 3787 2607 364 364 0 3423 0 [pid=7603] vsize: 15148 Current children cumulated CPU time (s) 87.93 Current children cumulated vsize (Kb) 15148 [startup+100.006 s] Raw data (loadavg): 0.98 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 3538 0 0 0 9643 136 0 0 25 0 1 0 21600347 17510400 2791 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 4275 2791 364 364 0 3911 0 [pid=7603] vsize: 17100 Current children cumulated CPU time (s) 97.79 Current children cumulated vsize (Kb) 17100 [startup+110.007 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 3726 0 0 0 10618 145 0 0 25 0 1 0 21600347 17965056 2979 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 4386 2979 364 364 0 4022 0 [pid=7603] vsize: 17544 Current children cumulated CPU time (s) 107.63 Current children cumulated vsize (Kb) 17544 [startup+120.007 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 3898 0 0 0 11596 153 0 0 25 0 1 0 21600347 18219008 3151 4294967295 134512640 135987407 3221224560 3221223136 134814085 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 4448 3151 364 364 0 4084 0 [pid=7603] vsize: 17792 Current children cumulated CPU time (s) 117.49 Current children cumulated vsize (Kb) 17792 [startup+130.007 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 4038 0 0 0 12574 160 0 0 25 0 1 0 21600347 18354176 3291 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 4481 3291 364 364 0 4117 0 [pid=7603] vsize: 17924 Current children cumulated CPU time (s) 127.34 Current children cumulated vsize (Kb) 17924 [startup+140.006 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) T 7602 7603 4057 0 -1 0 4134 0 0 0 13553 168 0 0 25 0 1 0 21600347 18599936 3387 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7603/statm): 4541 3387 364 364 0 4177 0 [pid=7603] vsize: 18164 Current children cumulated CPU time (s) 137.21 Current children cumulated vsize (Kb) 18164 [startup+150.007 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 4257 0 0 0 14531 177 0 0 25 0 1 0 21600347 18599936 3510 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 4541 3510 364 364 0 4177 0 [pid=7603] vsize: 18164 Current children cumulated CPU time (s) 147.08 Current children cumulated vsize (Kb) 18164 [startup+160.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 4407 0 0 0 15515 183 0 0 25 0 1 0 21600347 18948096 3660 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 4626 3660 364 364 0 4262 0 [pid=7603] vsize: 18504 Current children cumulated CPU time (s) 156.98 Current children cumulated vsize (Kb) 18504 [startup+170.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 4525 0 0 0 16494 191 0 0 25 0 1 0 21600347 18948096 3778 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 4626 3778 364 364 0 4262 0 [pid=7603] vsize: 18504 Current children cumulated CPU time (s) 166.85 Current children cumulated vsize (Kb) 18504 [startup+180.009 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 4652 0 0 0 17472 199 0 0 25 0 1 0 21600347 19218432 3905 4294967295 134512640 135987407 3221224560 3221223104 134811915 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 4692 3905 364 364 0 4328 0 [pid=7603] vsize: 18768 Current children cumulated CPU time (s) 176.71 Current children cumulated vsize (Kb) 18768 [startup+190.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 4790 0 0 0 18452 207 0 0 25 0 1 0 21600347 19386368 4043 4294967295 134512640 135987407 3221224560 3221223248 134787343 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 4733 4043 364 364 0 4369 0 [pid=7603] vsize: 18932 Current children cumulated CPU time (s) 186.59 Current children cumulated vsize (Kb) 18932 [startup+200.009 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 4908 0 0 0 19435 214 0 0 25 0 1 0 21600347 19554304 4161 4294967295 134512640 135987407 3221224560 3221223136 134814273 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 4774 4161 364 364 0 4410 0 [pid=7603] vsize: 19096 Current children cumulated CPU time (s) 196.49 Current children cumulated vsize (Kb) 19096 [startup+210.01 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 5034 0 0 0 20414 221 0 0 25 0 1 0 21600347 28155904 4287 4294967295 134512640 135987407 3221224560 3221223104 134811816 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 6874 4287 364 364 0 6510 0 [pid=7603] vsize: 27496 Current children cumulated CPU time (s) 206.35 Current children cumulated vsize (Kb) 27496 [startup+220.01 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 5313 0 0 0 21393 228 0 0 25 0 1 0 21600347 29102080 4566 4294967295 134512640 135987407 3221224560 3221223104 134812021 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 7105 4566 364 364 0 6741 0 [pid=7603] vsize: 28420 Current children cumulated CPU time (s) 216.21 Current children cumulated vsize (Kb) 28420 [startup+230.011 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 5340 0 0 0 22374 234 0 0 25 0 1 0 21600347 29102080 4593 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 7105 4593 364 364 0 6741 0 [pid=7603] vsize: 28420 Current children cumulated CPU time (s) 226.08 Current children cumulated vsize (Kb) 28420 [startup+240.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 5363 0 0 0 23355 241 0 0 25 0 1 0 21600347 29102080 4616 4294967295 134512640 135987407 3221224560 3221223104 134811940 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 7105 4616 364 364 0 6741 0 [pid=7603] vsize: 28420 Current children cumulated CPU time (s) 235.96 Current children cumulated vsize (Kb) 28420 [startup+250.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 5592 0 0 0 24334 249 0 0 25 0 1 0 21600347 30044160 4845 4294967295 134512640 135987407 3221224560 3221223056 134821238 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 7335 4845 364 364 0 6971 0 [pid=7603] vsize: 29340 Current children cumulated CPU time (s) 245.83 Current children cumulated vsize (Kb) 29340 [startup+260.013 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 5623 0 0 0 25314 255 0 0 25 0 1 0 21600347 30044160 4876 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 7335 4876 364 364 0 6971 0 [pid=7603] vsize: 29340 Current children cumulated CPU time (s) 255.69 Current children cumulated vsize (Kb) 29340 [startup+270.014 s] Raw data (loadavg): 0.99 1.00 0.99 1/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) T 7602 7603 4057 0 -1 0 5877 0 0 0 26294 262 0 0 25 0 1 0 21600347 30990336 5130 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7603/statm): 7566 5130 364 364 0 7202 0 [pid=7603] vsize: 30264 Current children cumulated CPU time (s) 265.56 Current children cumulated vsize (Kb) 30264 [startup+280.015 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 6893 0 0 0 27264 276 0 0 25 0 1 0 21600347 35078144 5377 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 8564 5377 364 364 0 8200 0 [pid=7603] vsize: 34256 Current children cumulated CPU time (s) 275.4 Current children cumulated vsize (Kb) 34256 [startup+290.015 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) T 7602 7603 4057 0 -1 0 6959 0 0 0 28218 293 0 0 23 0 1 0 21600347 35078144 5443 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7603/statm): 8564 5443 364 364 0 8200 0 [pid=7603] vsize: 34256 Current children cumulated CPU time (s) 285.11 Current children cumulated vsize (Kb) 34256 [startup+300.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 7006 0 0 0 29178 306 0 0 25 0 1 0 21600347 35078144 5490 4294967295 134512640 135987407 3221224560 3221223232 134816662 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 8564 5490 364 364 0 8200 0 [pid=7603] vsize: 34256 Current children cumulated CPU time (s) 294.84 Current children cumulated vsize (Kb) 34256 [startup+310.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 7044 0 0 0 30147 318 0 0 25 0 1 0 21600347 35078144 5528 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 8564 5528 364 364 0 8200 0 [pid=7603] vsize: 34256 Current children cumulated CPU time (s) 304.65 Current children cumulated vsize (Kb) 34256 [startup+320.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 7105 0 0 0 31117 328 0 0 25 0 1 0 21600347 35213312 5589 4294967295 134512640 135987407 3221224560 3221223200 134812383 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 8597 5589 364 364 0 8233 0 [pid=7603] vsize: 34388 Current children cumulated CPU time (s) 314.45 Current children cumulated vsize (Kb) 34388 [startup+330.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 7146 0 0 0 32090 338 0 0 25 0 1 0 21600347 35381248 5630 4294967295 134512640 135987407 3221224560 3221223136 134813795 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 8638 5630 364 364 0 8274 0 [pid=7603] vsize: 34552 Current children cumulated CPU time (s) 324.28 Current children cumulated vsize (Kb) 34552 [startup+340.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 7203 0 0 0 33064 349 0 0 25 0 1 0 21600347 35536896 5687 4294967295 134512640 135987407 3221224560 3221223104 134811829 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 8676 5687 364 364 0 8312 0 [pid=7603] vsize: 34704 Current children cumulated CPU time (s) 334.13 Current children cumulated vsize (Kb) 34704 [startup+350.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 7259 0 0 0 34040 357 0 0 25 0 1 0 21600347 35713024 5743 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 8719 5743 364 364 0 8355 0 [pid=7603] vsize: 34876 Current children cumulated CPU time (s) 343.97 Current children cumulated vsize (Kb) 34876 [startup+360.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 7315 0 0 0 35017 365 0 0 25 0 1 0 21600347 35876864 5799 4294967295 134512640 135987407 3221224560 3221223104 134811873 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 8759 5799 364 364 0 8395 0 [pid=7603] vsize: 35036 Current children cumulated CPU time (s) 353.82 Current children cumulated vsize (Kb) 35036 [startup+370.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 7349 0 0 0 35995 374 0 0 25 0 1 0 21600347 35876864 5833 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 8759 5833 364 364 0 8395 0 [pid=7603] vsize: 35036 Current children cumulated CPU time (s) 363.69 Current children cumulated vsize (Kb) 35036 [startup+380.019 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 7381 0 0 0 36975 380 0 0 25 0 1 0 21600347 35876864 5865 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 8759 5865 364 364 0 8395 0 [pid=7603] vsize: 35036 Current children cumulated CPU time (s) 373.55 Current children cumulated vsize (Kb) 35036 [startup+390.019 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 7422 0 0 0 37954 388 0 0 17 0 1 0 21600347 36012032 5906 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 8792 5906 364 364 0 8428 0 [pid=7603] vsize: 35168 Current children cumulated CPU time (s) 383.42 Current children cumulated vsize (Kb) 35168 [startup+400.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 7447 0 0 0 38935 394 0 0 25 0 1 0 21600347 36012032 5931 4294967295 134512640 135987407 3221224560 3221223104 134811907 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 8792 5931 364 364 0 8428 0 [pid=7603] vsize: 35168 Current children cumulated CPU time (s) 393.29 Current children cumulated vsize (Kb) 35168 [startup+410.021 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 7477 0 0 0 39917 401 0 0 25 0 1 0 21600347 36012032 5961 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 8792 5961 364 364 0 8428 0 [pid=7603] vsize: 35168 Current children cumulated CPU time (s) 403.18 Current children cumulated vsize (Kb) 35168 [startup+420.021 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 7525 0 0 0 40897 408 0 0 25 0 1 0 21600347 36208640 6009 4294967295 134512640 135987407 3221224560 3221223104 134811915 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 8840 6009 364 364 0 8476 0 [pid=7603] vsize: 35360 Current children cumulated CPU time (s) 413.05 Current children cumulated vsize (Kb) 35360 [startup+430.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 7603 0 0 0 41878 415 0 0 25 0 1 0 21600347 36597760 6087 4294967295 134512640 135987407 3221224560 3221223136 134813845 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 8935 6087 364 364 0 8571 0 [pid=7603] vsize: 35740 Current children cumulated CPU time (s) 422.93 Current children cumulated vsize (Kb) 35740 [startup+440.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 7662 0 0 0 42861 420 0 0 25 0 1 0 21600347 36597760 6146 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 8935 6146 364 364 0 8571 0 [pid=7603] vsize: 35740 Current children cumulated CPU time (s) 432.81 Current children cumulated vsize (Kb) 35740 [startup+450.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 7807 0 0 0 43843 426 0 0 25 0 1 0 21600347 36790272 6291 4294967295 134512640 135987407 3221224560 3221223168 134801245 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 8982 6291 364 364 0 8618 0 [pid=7603] vsize: 35928 Current children cumulated CPU time (s) 442.69 Current children cumulated vsize (Kb) 35928 [startup+460.024 s] Raw data (loadavg): 0.99 1.00 0.99 1/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) T 7602 7603 4057 0 -1 0 7950 0 0 0 44827 433 0 0 25 0 1 0 21600347 36790272 6434 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7603/statm): 8982 6434 364 364 0 8618 0 [pid=7603] vsize: 35928 Current children cumulated CPU time (s) 452.6 Current children cumulated vsize (Kb) 35928 [startup+470.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 8114 0 0 0 45810 439 0 0 25 0 1 0 21600347 37384192 6598 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 9127 6598 364 364 0 8763 0 [pid=7603] vsize: 36508 Current children cumulated CPU time (s) 462.49 Current children cumulated vsize (Kb) 36508 [startup+480.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 8203 0 0 0 46793 445 0 0 25 0 1 0 21600347 37384192 6687 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 9127 6687 364 364 0 8763 0 [pid=7603] vsize: 36508 Current children cumulated CPU time (s) 472.38 Current children cumulated vsize (Kb) 36508 [startup+490.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 8311 0 0 0 47773 452 0 0 25 0 1 0 21600347 37384192 6795 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 9127 6795 364 364 0 8763 0 [pid=7603] vsize: 36508 Current children cumulated CPU time (s) 482.25 Current children cumulated vsize (Kb) 36508 [startup+500.025 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 8432 0 0 0 48757 458 0 0 25 0 1 0 21600347 37543936 6916 4294967295 134512640 135987407 3221224560 3221223104 134811894 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 9166 6916 364 364 0 8802 0 [pid=7603] vsize: 36664 Current children cumulated CPU time (s) 492.15 Current children cumulated vsize (Kb) 36664 [startup+510.025 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 8557 0 0 0 49739 465 0 0 25 0 1 0 21600347 37761024 7041 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 9219 7041 364 364 0 8855 0 [pid=7603] vsize: 36876 Current children cumulated CPU time (s) 502.04 Current children cumulated vsize (Kb) 36876 [startup+520.025 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 8657 0 0 0 50724 471 0 0 25 0 1 0 21600347 37928960 7141 4294967295 134512640 135987407 3221224560 3221223232 134816659 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 9260 7141 364 364 0 8896 0 [pid=7603] vsize: 37040 Current children cumulated CPU time (s) 511.95 Current children cumulated vsize (Kb) 37040 [startup+530.025 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 8789 0 0 0 51707 478 0 0 25 0 1 0 21600347 38060032 7240 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 9292 7240 364 364 0 8928 0 [pid=7603] vsize: 37168 Current children cumulated CPU time (s) 521.85 Current children cumulated vsize (Kb) 37168 [startup+540.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 8879 0 0 0 52691 484 0 0 25 0 1 0 21600347 38060032 7330 4294967295 134512640 135987407 3221224560 3221223136 134814134 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 9292 7330 364 364 0 8928 0 [pid=7603] vsize: 37168 Current children cumulated CPU time (s) 531.75 Current children cumulated vsize (Kb) 37168 [startup+550.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 8994 0 0 0 53672 490 0 0 25 0 1 0 21600347 38363136 7445 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 9366 7445 364 364 0 9002 0 [pid=7603] vsize: 37464 Current children cumulated CPU time (s) 541.62 Current children cumulated vsize (Kb) 37464 [startup+560.028 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 9139 0 0 0 54655 496 0 0 25 0 1 0 21600347 38670336 7557 4294967295 134512640 135987407 3221224560 3221223136 134813844 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 9441 7557 364 364 0 9077 0 [pid=7603] vsize: 37764 Current children cumulated CPU time (s) 551.51 Current children cumulated vsize (Kb) 37764 [startup+570.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 9251 0 0 0 55640 502 0 0 25 0 1 0 21600347 38936576 7669 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 9506 7669 364 364 0 9142 0 [pid=7603] vsize: 38024 Current children cumulated CPU time (s) 561.42 Current children cumulated vsize (Kb) 38024 [startup+580.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 9329 0 0 0 56625 508 0 0 25 0 1 0 21600347 39137280 7747 4294967295 134512640 135987407 3221224560 3221223104 134811948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 9555 7747 364 364 0 9191 0 [pid=7603] vsize: 38220 Current children cumulated CPU time (s) 571.33 Current children cumulated vsize (Kb) 38220 [startup+590.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 9450 0 0 0 57609 514 0 0 25 0 1 0 21600347 39337984 7868 4294967295 134512640 135987407 3221224560 3221223104 134811803 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 9604 7868 364 364 0 9240 0 [pid=7603] vsize: 38416 Current children cumulated CPU time (s) 581.23 Current children cumulated vsize (Kb) 38416 [startup+600.031 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 9613 0 0 0 58592 520 0 0 25 0 1 0 21600347 39968768 7998 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 9758 7998 364 364 0 9394 0 [pid=7603] vsize: 39032 Current children cumulated CPU time (s) 591.12 Current children cumulated vsize (Kb) 39032 [startup+610.032 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 9686 0 0 0 59575 525 0 0 25 0 1 0 21600347 39968768 8071 4294967295 134512640 135987407 3221224560 3221223136 134814110 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 9758 8071 364 364 0 9394 0 [pid=7603] vsize: 39032 Current children cumulated CPU time (s) 601 Current children cumulated vsize (Kb) 39032 [startup+620.032 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 9800 0 0 0 60562 530 0 0 25 0 1 0 21600347 40169472 8185 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 9807 8185 364 364 0 9443 0 [pid=7603] vsize: 39228 Current children cumulated CPU time (s) 610.92 Current children cumulated vsize (Kb) 39228 [startup+630.033 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 9925 0 0 0 61545 536 0 0 25 0 1 0 21600347 40554496 8310 4294967295 134512640 135987407 3221224560 3221223136 134813826 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 9901 8310 364 364 0 9537 0 [pid=7603] vsize: 39604 Current children cumulated CPU time (s) 620.81 Current children cumulated vsize (Kb) 39604 [startup+640.033 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 9989 0 0 0 62531 542 0 0 25 0 1 0 21600347 40554496 8374 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 9901 8374 364 364 0 9537 0 [pid=7603] vsize: 39604 Current children cumulated CPU time (s) 630.73 Current children cumulated vsize (Kb) 39604 [startup+650.034 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 11626 0 0 0 63515 550 0 0 25 0 1 0 21600347 46997504 8474 4294967295 134512640 135987407 3221224560 3221223136 134814131 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 11474 8474 364 364 0 11110 0 [pid=7603] vsize: 45896 Current children cumulated CPU time (s) 640.65 Current children cumulated vsize (Kb) 45896 [startup+660.035 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 11720 0 0 0 64500 555 0 0 25 0 1 0 21600347 46997504 8568 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 11474 8568 364 364 0 11110 0 [pid=7603] vsize: 45896 Current children cumulated CPU time (s) 650.55 Current children cumulated vsize (Kb) 45896 [startup+670.035 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 11812 0 0 0 65484 560 0 0 25 0 1 0 21600347 47255552 8660 4294967295 134512640 135987407 3221224560 3221223104 134811933 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 11537 8660 364 364 0 11173 0 [pid=7603] vsize: 46148 Current children cumulated CPU time (s) 660.44 Current children cumulated vsize (Kb) 46148 [startup+680.035 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 11887 0 0 0 66468 566 0 0 25 0 1 0 21600347 47255552 8735 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 11537 8735 364 364 0 11173 0 [pid=7603] vsize: 46148 Current children cumulated CPU time (s) 670.34 Current children cumulated vsize (Kb) 46148 [startup+690.034 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 11996 0 0 0 67456 571 0 0 25 0 1 0 21600347 47398912 8844 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 11572 8844 364 364 0 11208 0 [pid=7603] vsize: 46288 Current children cumulated CPU time (s) 680.27 Current children cumulated vsize (Kb) 46288 [startup+700.035 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 12137 0 0 0 68443 576 0 0 25 0 1 0 21600347 47923200 8985 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 11700 8985 364 364 0 11336 0 [pid=7603] vsize: 46800 Current children cumulated CPU time (s) 690.19 Current children cumulated vsize (Kb) 46800 [startup+710.036 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 12190 0 0 0 69430 580 0 0 25 0 1 0 21600347 47923200 9038 4294967295 134512640 135987407 3221224560 3221223136 134813813 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 11700 9038 364 364 0 11336 0 [pid=7603] vsize: 46800 Current children cumulated CPU time (s) 700.1 Current children cumulated vsize (Kb) 46800 [startup+720.036 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 12278 0 0 0 70416 585 0 0 25 0 1 0 21600347 47923200 9126 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 11700 9126 364 364 0 11336 0 [pid=7603] vsize: 46800 Current children cumulated CPU time (s) 710.01 Current children cumulated vsize (Kb) 46800 [startup+730.037 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 12350 0 0 0 71401 590 0 0 25 0 1 0 21600347 48119808 9149 4294967295 134512640 135987407 3221224560 3221223104 134811855 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 11748 9149 364 364 0 11384 0 [pid=7603] vsize: 46992 Current children cumulated CPU time (s) 719.91 Current children cumulated vsize (Kb) 46992 [startup+740.038 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 12365 0 0 0 72386 596 0 0 25 0 1 0 21600347 48119808 9164 4294967295 134512640 135987407 3221224560 3221223104 134812123 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 11748 9164 364 364 0 11384 0 [pid=7603] vsize: 46992 Current children cumulated CPU time (s) 729.82 Current children cumulated vsize (Kb) 46992 [startup+750.038 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 12424 0 0 0 73373 601 0 0 25 0 1 0 21600347 48254976 9223 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 11781 9223 364 364 0 11417 0 [pid=7603] vsize: 47124 Current children cumulated CPU time (s) 739.74 Current children cumulated vsize (Kb) 47124 [startup+760.039 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 12501 0 0 0 74359 605 0 0 25 0 1 0 21600347 48254976 9300 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 11781 9300 364 364 0 11417 0 [pid=7603] vsize: 47124 Current children cumulated CPU time (s) 749.64 Current children cumulated vsize (Kb) 47124 [startup+770.039 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 12614 0 0 0 75346 609 0 0 25 0 1 0 21600347 48590848 9413 4294967295 134512640 135987407 3221224560 3221223104 134811832 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 11863 9413 364 364 0 11499 0 [pid=7603] vsize: 47452 Current children cumulated CPU time (s) 759.55 Current children cumulated vsize (Kb) 47452 [startup+780.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 12696 0 0 0 76333 613 0 0 25 0 1 0 21600347 48590848 9495 4294967295 134512640 135987407 3221224560 3221223104 134812005 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 11863 9495 364 364 0 11499 0 [pid=7603] vsize: 47452 Current children cumulated CPU time (s) 769.46 Current children cumulated vsize (Kb) 47452 [startup+790.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 12785 0 0 0 77319 618 0 0 25 0 1 0 21600347 48590848 9584 4294967295 134512640 135987407 3221224560 3221223136 134814142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 11863 9584 364 364 0 11499 0 [pid=7603] vsize: 47452 Current children cumulated CPU time (s) 779.37 Current children cumulated vsize (Kb) 47452 [startup+800.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 12854 0 0 0 78306 623 0 0 25 0 1 0 21600347 48590848 9653 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 11863 9653 364 364 0 11499 0 [pid=7603] vsize: 47452 Current children cumulated CPU time (s) 789.29 Current children cumulated vsize (Kb) 47452 [startup+810.041 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 12953 0 0 0 79290 630 0 0 25 0 1 0 21600347 48590848 9752 4294967295 134512640 135987407 3221224560 3221223104 134812155 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 11863 9752 364 364 0 11499 0 [pid=7603] vsize: 47452 Current children cumulated CPU time (s) 799.2 Current children cumulated vsize (Kb) 47452 [startup+820.041 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 13032 0 0 0 80273 636 0 0 25 0 1 0 21600347 65552384 9831 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16004 9831 364 364 0 15640 0 [pid=7603] vsize: 64016 Current children cumulated CPU time (s) 809.09 Current children cumulated vsize (Kb) 64016 [startup+830.042 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 13100 0 0 0 81259 641 0 0 25 0 1 0 21600347 65552384 9899 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16004 9899 364 364 0 15640 0 [pid=7603] vsize: 64016 Current children cumulated CPU time (s) 819 Current children cumulated vsize (Kb) 64016 [startup+840.043 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 13226 0 0 0 82244 647 0 0 25 0 1 0 21600347 65802240 10025 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16065 10025 364 364 0 15701 0 [pid=7603] vsize: 64260 Current children cumulated CPU time (s) 828.91 Current children cumulated vsize (Kb) 64260 [startup+850.044 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 13301 0 0 0 83232 652 0 0 25 0 1 0 21600347 65802240 10100 4294967295 134512640 135987407 3221224560 3221223136 134814139 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16065 10100 364 364 0 15701 0 [pid=7603] vsize: 64260 Current children cumulated CPU time (s) 838.84 Current children cumulated vsize (Kb) 64260 [startup+860.043 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 13369 0 0 0 84218 657 0 0 25 0 1 0 21600347 65802240 10168 4294967295 134512640 135987407 3221224560 3221223104 134811950 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16065 10168 364 364 0 15701 0 [pid=7603] vsize: 64260 Current children cumulated CPU time (s) 848.75 Current children cumulated vsize (Kb) 64260 [startup+870.043 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 13489 0 0 0 85202 663 0 0 25 0 1 0 21600347 65921024 10288 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16094 10288 364 364 0 15730 0 [pid=7603] vsize: 64376 Current children cumulated CPU time (s) 858.65 Current children cumulated vsize (Kb) 64376 [startup+880.044 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 13535 0 0 0 86189 668 0 0 25 0 1 0 21600347 66052096 10334 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16126 10334 364 364 0 15762 0 [pid=7603] vsize: 64504 Current children cumulated CPU time (s) 868.57 Current children cumulated vsize (Kb) 64504 [startup+890.044 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 13569 0 0 0 87177 671 0 0 25 0 1 0 21600347 66052096 10368 4294967295 134512640 135987407 3221224560 3221223136 134813856 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16126 10368 364 364 0 15762 0 [pid=7603] vsize: 64504 Current children cumulated CPU time (s) 878.48 Current children cumulated vsize (Kb) 64504 [startup+900.045 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14081 0 0 0 88161 677 0 0 25 0 1 0 21600347 67821568 10843 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16558 10843 364 364 0 16194 0 [pid=7603] vsize: 66232 Current children cumulated CPU time (s) 888.38 Current children cumulated vsize (Kb) 66232 [startup+910.045 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14103 0 0 0 89148 683 0 0 25 0 1 0 21600347 67944448 10865 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16588 10865 364 364 0 16224 0 [pid=7603] vsize: 66352 Current children cumulated CPU time (s) 898.31 Current children cumulated vsize (Kb) 66352 [startup+920.045 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14130 0 0 0 90134 688 0 0 25 0 1 0 21600347 67944448 10892 4294967295 134512640 135987407 3221224560 3221223104 134811824 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16588 10892 364 364 0 16224 0 [pid=7603] vsize: 66352 Current children cumulated CPU time (s) 908.22 Current children cumulated vsize (Kb) 66352 [startup+930.046 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14145 0 0 0 91117 694 0 0 25 0 1 0 21600347 67944448 10907 4294967295 134512640 135987407 3221224560 3221223104 134811915 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16588 10907 364 364 0 16224 0 [pid=7603] vsize: 66352 Current children cumulated CPU time (s) 918.11 Current children cumulated vsize (Kb) 66352 [startup+940.046 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14159 0 0 0 92103 699 0 0 25 0 1 0 21600347 67944448 10921 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16588 10921 364 364 0 16224 0 [pid=7603] vsize: 66352 Current children cumulated CPU time (s) 928.02 Current children cumulated vsize (Kb) 66352 [startup+950.047 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14175 0 0 0 93086 705 0 0 25 0 1 0 21600347 67944448 10937 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16588 10937 364 364 0 16224 0 [pid=7603] vsize: 66352 Current children cumulated CPU time (s) 937.91 Current children cumulated vsize (Kb) 66352 [startup+960.048 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14189 0 0 0 94074 708 0 0 25 0 1 0 21600347 67944448 10951 4294967295 134512640 135987407 3221224560 3221223104 134811850 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16588 10951 364 364 0 16224 0 [pid=7603] vsize: 66352 Current children cumulated CPU time (s) 947.82 Current children cumulated vsize (Kb) 66352 [startup+970.047 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14206 0 0 0 95058 713 0 0 25 0 1 0 21600347 67944448 10968 4294967295 134512640 135987407 3221224560 3221223136 134814139 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16588 10968 364 364 0 16224 0 [pid=7603] vsize: 66352 Current children cumulated CPU time (s) 957.71 Current children cumulated vsize (Kb) 66352 [startup+980.048 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14219 0 0 0 96044 718 0 0 25 0 1 0 21600347 67944448 10981 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16588 10981 364 364 0 16224 0 [pid=7603] vsize: 66352 Current children cumulated CPU time (s) 967.62 Current children cumulated vsize (Kb) 66352 [startup+990.048 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14256 0 0 0 97030 723 0 0 25 0 1 0 21600347 68083712 11018 4294967295 134512640 135987407 3221224560 3221223104 134812138 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16622 11018 364 364 0 16258 0 [pid=7603] 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 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14294 0 0 0 98017 727 0 0 25 0 1 0 21600347 68288512 11056 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16672 11056 364 364 0 16308 0 [pid=7603] vsize: 66688 Current children cumulated CPU time (s) 987.44 Current children cumulated vsize (Kb) 66688 [startup+1010.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14339 0 0 0 99003 733 0 0 25 0 1 0 21600347 68521984 11101 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 16729 11101 364 364 0 16365 0 [pid=7603] 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 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14397 0 0 0 99989 738 0 0 25 0 1 0 21600347 68755456 11159 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 16786 11159 364 364 0 16422 0 [pid=7603] vsize: 67144 Current children cumulated CPU time (s) 1007.27 Current children cumulated vsize (Kb) 67144 [startup+1030.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14435 0 0 0 100974 745 0 0 25 0 1 0 21600347 68755456 11197 4294967295 134512640 135987407 3221224560 3221223104 134788621 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 16786 11197 364 364 0 16422 0 [pid=7603] 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 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14451 0 0 0 101961 749 0 0 25 0 1 0 21600347 68755456 11213 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 16786 11213 364 364 0 16422 0 [pid=7603] vsize: 67144 Current children cumulated CPU time (s) 1027.1 Current children cumulated vsize (Kb) 67144 [startup+1050.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14514 0 0 0 102948 754 0 0 25 0 1 0 21600347 68919296 11235 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 16826 11235 364 364 0 16462 0 [pid=7603] vsize: 67304 Current children cumulated CPU time (s) 1037.02 Current children cumulated vsize (Kb) 67304 [startup+1060.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14582 0 0 0 103933 760 0 0 25 0 1 0 21600347 69099520 11258 4294967295 134512640 135987407 3221224560 3221223104 134811940 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16870 11258 364 364 0 16506 0 [pid=7603] vsize: 67480 Current children cumulated CPU time (s) 1046.93 Current children cumulated vsize (Kb) 67480 [startup+1070.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14598 0 0 0 104920 765 0 0 25 0 1 0 21600347 69099520 11274 4294967295 134512640 135987407 3221224560 3221223176 134811683 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16870 11274 364 364 0 16506 0 [pid=7603] vsize: 67480 Current children cumulated CPU time (s) 1056.85 Current children cumulated vsize (Kb) 67480 [startup+1080.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14612 0 0 0 105906 771 0 0 25 0 1 0 21600347 69099520 11288 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16870 11288 364 364 0 16506 0 [pid=7603] vsize: 67480 Current children cumulated CPU time (s) 1066.77 Current children cumulated vsize (Kb) 67480 [startup+1090.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14629 0 0 0 106891 777 0 0 25 0 1 0 21600347 69099520 11305 4294967295 134512640 135987407 3221224560 3221223168 134801343 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 16870 11305 364 364 0 16506 0 [pid=7603] vsize: 67480 Current children cumulated CPU time (s) 1076.68 Current children cumulated vsize (Kb) 67480 [startup+1100.05 s] Raw data (loadavg): 0.99 1.00 0.99 1/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) T 7602 7603 4057 0 -1 0 14648 0 0 0 107877 782 0 0 25 0 1 0 21600347 69099520 11324 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7603/statm): 16870 11324 364 364 0 16506 0 [pid=7603] vsize: 67480 Current children cumulated CPU time (s) 1086.59 Current children cumulated vsize (Kb) 67480 [startup+1110.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14755 0 0 0 108864 788 0 0 25 0 1 0 21600347 69234688 11431 4294967295 134512640 135987407 3221224560 3221223236 134812452 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 16903 11431 364 364 0 16539 0 [pid=7603] 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 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14833 0 0 0 109850 794 0 0 25 0 1 0 21600347 69369856 11509 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16936 11509 364 364 0 16572 0 [pid=7603] 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 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 14899 0 0 0 110839 798 0 0 25 0 1 0 21600347 69369856 11575 4294967295 134512640 135987407 3221224560 3221222876 135480923 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 16936 11575 364 364 0 16572 0 [pid=7603] vsize: 67744 Current children cumulated CPU time (s) 1116.37 Current children cumulated vsize (Kb) 67744 [startup+1140.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 16130 0 0 0 111821 806 0 0 25 0 1 0 21600347 74100736 12806 4294967295 134512640 135987407 3221224560 3221223104 134811915 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 18091 12806 364 364 0 17727 0 [pid=7603] vsize: 72364 Current children cumulated CPU time (s) 1126.27 Current children cumulated vsize (Kb) 72364 [startup+1150.06 s] Raw data (loadavg): 1.07 1.02 1.00 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 16199 0 0 0 112798 813 0 0 25 0 1 0 21600347 74100736 12875 4294967295 134512640 135987407 3221224560 3221223104 134811863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 18091 12875 364 364 0 17727 0 [pid=7603] vsize: 72364 Current children cumulated CPU time (s) 1136.11 Current children cumulated vsize (Kb) 72364 [startup+1160.06 s] Raw data (loadavg): 1.06 1.02 1.00 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 16217 0 0 0 113781 820 0 0 25 0 1 0 21600347 74100736 12893 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 18091 12893 364 364 0 17727 0 [pid=7603] vsize: 72364 Current children cumulated CPU time (s) 1146.01 Current children cumulated vsize (Kb) 72364 [startup+1170.06 s] Raw data (loadavg): 1.05 1.01 1.00 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 16235 0 0 0 114762 825 0 0 25 0 1 0 21600347 74100736 12911 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7603/statm): 18091 12911 364 364 0 17727 0 [pid=7603] vsize: 72364 Current children cumulated CPU time (s) 1155.87 Current children cumulated vsize (Kb) 72364 [startup+1180.06 s] Raw data (loadavg): 1.04 1.01 1.00 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 16252 0 0 0 115746 832 0 0 25 0 1 0 21600347 74100736 12928 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 18091 12928 364 364 0 17727 0 [pid=7603] vsize: 72364 Current children cumulated CPU time (s) 1165.78 Current children cumulated vsize (Kb) 72364 [startup+1190.06 s] Raw data (loadavg): 1.03 1.01 1.00 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 16267 0 0 0 116729 838 0 0 25 0 1 0 21600347 74100736 12943 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 18091 12943 364 364 0 17727 0 [pid=7603] vsize: 72364 Current children cumulated CPU time (s) 1175.67 Current children cumulated vsize (Kb) 72364 [startup+1200.06 s] Raw data (loadavg): 1.03 1.01 1.00 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 16282 0 0 0 117715 843 0 0 25 0 1 0 21600347 74100736 12958 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 18091 12958 364 364 0 17727 0 [pid=7603] vsize: 72364 Current children cumulated CPU time (s) 1185.58 Current children cumulated vsize (Kb) 72364 [startup+1210.06 s] Raw data (loadavg): 1.02 1.01 1.00 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 16297 0 0 0 118696 849 0 0 25 0 1 0 21600347 74100736 12973 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 18091 12973 364 364 0 17727 0 [pid=7603] vsize: 72364 Current children cumulated CPU time (s) 1195.45 Current children cumulated vsize (Kb) 72364 [startup+1220.06 s] Raw data (loadavg): 1.02 1.01 1.00 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 16311 0 0 0 119680 855 0 0 25 0 1 0 21600347 74100736 12987 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 18091 12987 364 364 0 17727 0 [pid=7603] vsize: 72364 Current children cumulated CPU time (s) 1205.35 Current children cumulated vsize (Kb) 72364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.06 s] Raw data (loadavg): 1.02 1.01 1.00 2/55 7603 Raw data (/proc/7603/stat): 7603 (pb2sat) R 7602 7603 4057 0 -1 0 16311 0 0 0 119680 855 0 0 25 0 1 0 21600347 74100736 12987 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7603/statm): 18091 12987 364 364 0 17727 0 [pid=7603] vsize: 72364 Current children cumulated CPU time (s) 1205.35 Current children cumulated vsize (Kb) 72364 Sending SIGTERM to -7603 Sleeping 2 seconds One traced child (pid=7603) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1220.21 CPU time (s): 1205.5 CPU user time (s): 1196.92 CPU system time (s): 8.5807 CPU usage (%): 98.7943 Max. virtual memory (cumulated for all children) (Kb): 72364
Verifier: OK 30