Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb |
MD5SUM | b552ff39062b6c42ea64365c815cbd78 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 2650 |
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 | 2650 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2650 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 2650 |
Total number of constraints | 6619 |
Number of constraints which are clauses | 6619 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-15 23:48:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25305 boxname=wulflinc1 idbench=207 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: b552ff39062b6c42ea64365c815cbd78 /oldhome/oroussel/tmp/wulflinc1/normalized-par32-3-c.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-par32-3-c.opb IDLAUNCH: 25305 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 826480 kB Buffers: 33852 kB Cached: 150460 kB SwapCached: 1192 kB Active: 76920 kB Inactive: 109756 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 826228 kB SwapTotal: 2097136 kB SwapFree: 2094880 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 15672 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 00:08:11 (client local time) WITH STATUS 0 IN 1200.34 SECONDS stats: 25305 7 1200.34 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 14/2662 Time: 2.32465/86400 c Decision: 14/2662 Time: 3.34149/86400 c Decision: 14/2662 Time: 4.36534/86400 c Decision: 14/2662 Time: 5.36918/86400 c Decision: 14/2662 Time: 6.20706/86400 c Decision: 14/2662 Time: 7.27589/86400 c Decision: 14/2662 Time: 8.12177/86400 c Decision: 14/2662 Time: 9.04162/86400 c Decision: 14/2662 Time: 10.0495/86400 c Decision: 14/2662 Time: 11.1503/86400 c Decision: 14/2662 Time: 12.1841/86400 c Decision: 14/2662 Time: 13.137/86400 c Decision: 14/2662 Time: 13.9539/86400 c Decision: 14/2662 Time: 14.8277/86400 c Decision: 14/2662 Time: 15.6816/86400 c Decision: 14/2662 Time: 16.6955/86400 c Decision: 14/2662 Time: 17.7393/86400 c Decision: 14/2662 Time: 18.5932/86400 c Decision: 14/2662 Time: 19.588/86400 c Decision: 14/2662 Time: 20.6699/86400 c Decision: 14/2662 Time: 21.8697/86400 c Decision: 14/2662 Time: 22.9565/86400 c Decision: 14/2662 Time: 23.8664/86400 c Decision: 14/2662 Time: 24.8422/86400 c Decision: 14/2662 Time: 25.7291/86400 c Decision: 14/2662 Time: 26.9059/86400 c Decision: 14/2662 Time: 28.0437/86400 c Decision: 14/2662 Time: 29.0516/86400 c Decision: 14/2662 Time: 30.3094/86400 c Decision: 14/2662 Time: 31.6402/86400 c Decision: 14/2662 Time: 32.881/86400 c Decision: 14/2662 Time: 33.8878/86400 c Decision: 14/2662 Time: 35.1327/86400 c Decision: 14/2662 Time: 36.2465/86400 c Decision: 14/2662 Time: 37.5013/86400 c Decision: 14/2662 Time: 38.6821/86400 c Decision: 14/2662 Time: 39.8449/86400 c Decision: 14/2662 Time: 41.0268/86400 c Decision: 14/2662 Time: 42.0836/86400 c Decision: 14/2662 Time: 43.3904/86400 c Decision: 14/2662 Time: 44.4742/86400 c Decision: 14/2662 Time: 45.7051/86400 c Decision: 14/2662 Time: 46.9089/86400 c Decision: 14/2662 Time: 48.1587/86400 c Decision: 14/2662 Time: 49.1695/86400 c Decision: 14/2662 Time: 50.1664/86400 c Decision: 14/2662 Time: 51.3682/86400 c Decision: 14/2662 Time: 52.2571/86400 c Decision: 14/2662 Time: 53.5009/86400 c Decision: 14/2662 Time: 54.7397/86400 c Decision: 14/2662 Time: 56.2494/86400 c Decision: 14/2662 Time: 57.2913/86400 c Decision: 14/2662 Time: 58.5311/86400 c Decision: 14/2662 Time: 59.8429/86400 c Decision: 14/2662 Time: 60.9807/86400 c Decision: 14/2662 Time: 62.3505/86400 c Decision: 14/2662 Time: 63.5263/86400 c Decision: 14/2662 Time: 64.7632/86400 c Decision: 14/2662 Time: 66.1269/86400 c Decision: 14/2662 Time: 67.3938/86400 c Decision: 14/2662 Time: 68.7995/86400 c Decision: 14/2662 Time: 70.1353/86400 c Decision: 14/2662 Time: 71.6281/86400 c Decision: 14/2662 Time: 73.1139/86400 c Decision: 14/2662 Time: 74.4687/86400 c Decision: 14/2662 Time: 76.3124/86400 c Decision: 14/2662 Time: 77.7992/86400 c Decision: 14/2662 Time: 79.007/86400 c Decision: 14/2662 Time: 80.5708/86400 c Decision: 14/2662 Time: 81.8536/86400 c Decision: 14/2662 Time: 83.5173/86400 c Decision: 14/2662 Time: 84.9951/86400 c Decision: 14/2662 Time: 86.3579/86400 c Decision: 14/2662 Time: 87.9486/86400 c Decision: 14/2662 Time: 89.2134/86400 c Decision: 14/2662 Time: 90.6112/86400 c Decision: 14/2662 Time: 92.047/86400 c Decision: 14/2662 Time: 93.4698/86400 c Decision: 14/2662 Time: 94.8786/86400 c Decision: 14/2662 Time: 96.3264/86400 c Decision: 14/2662 Time: 98.0381/86400 c Decision: 14/2662 Time: 99.3749/86400 c Decision: 14/2662 Time: 101.028/86400 c Decision: 14/2662 Time: 102.506/86400 c Decision: 14/2662 Time: 103.686/86400 c Decision: 14/2662 Time: 105.542/86400 c Decision: 14/2662 Time: 107.076/86400 c Decision: 14/2662 Time: 108.507/86400 c Decision: 14/2662 Time: 110.039/86400 c Decision: 14/2662 Time: 111.365/86400 c Decision: 14/2662 Time: 112.884/86400 c Decision: 14/2662 Time: 114.608/86400 c Decision: 14/2662 Time: 116.523/86400 c Decision: 14/2662 Time: 118.125/86400 c Decision: 14/2662 Time: 119.716/86400 c Decision: 14/2662 Time: 121.366/86400 c Decision: 14/2662 Time: 122.58/86400 c Decision: 14/2662 Time: 124.197/86400 c Decision: 14/2662 Time: 125.872/86400 c Decision: 14/2662 Time: 127.64/86400 c Decision: 14/2662 Time: 129.581/86400 c Decision: 14/2662 Time: 131.157/86400 c Decision: 14/2662 Time: 132.992/86400 c Decision: 14/2662 Time: 134.714/86400 c Decision: 14/2662 Time: 136.521/86400 c Decision: 14/2662 Time: 138.258/86400 c Decision: 14/2662 Time: 139.867/86400 c Decision: 14/2662 Time: 141.804/86400 c Decision: 14/2662 Time: 143.674/86400 c Decision: 14/2662 Time: 145.306/86400 c Decision: 14/2662 Time: 147.529/86400 c Decision: 14/2662 Time: 149.206/86400 c Decision: 14/2662 Time: 151.034/86400 c Decision: 14/2662 Time: 152.509/86400 c Decision: 14/2662 Time: 154.186/86400 c Decision: 14/2662 Time: 156.246/86400 c Decision: 14/2662 Time: 157.983/86400 c Decision: 14/2662 Time: 159.579/86400 c Decision: 14/2662 Time: 161.454/86400 c Decision: 14/2662 Time: 163.26/86400 c Decision: 14/2662 Time: 165.216/86400 c Decision: 14/2662 Time: 166.919/86400 c Decision: 14/2662 Time: 168.668/86400 c Decision: 14/2662 Time: 170.333/86400 c Decision: 14/2662 Time: 172.167/86400 c Decision: 14/2662 Time: 174.267/86400 c Decision: 14/2662 Time: 176.133/86400 c Decision: 14/2662 Time: 178.037/86400 c Decision: 14/2662 Time: 179.631/86400 c Decision: 14/2662 Time: 181.599/86400 c Decision: 14/2662 Time: 183.846/86400 c Decision: 14/2662 Time: 185.559/86400 c Decision: 14/2662 Time: 187.431/86400 c Decision: 14/2662 Time: 189.25/86400 c Decision: 14/2662 Time: 191.261/86400 c Decision: 14/2662 Time: 193.083/86400 c Decision: 14/2662 Time: 194.733/86400 c Decision: 14/2662 Time: 196.498/86400 c Decision: 14/2662 Time: 198.368/86400 c Decision: 14/2662 Time: 200.411/86400 c Decision: 14/2662 Time: 202.496/86400 c Decision: 14/2662 Time: 204.387/86400 c Decision: 14/2662 Time: 206.475/86400 c Decision: 14/2662 Time: 208.566/86400 c Decision: 14/2662 Time: 210.588/86400 c Decision: 14/2662 Time: 212.925/86400 c Decision: 14/2662 Time: 214.912/86400 c Decision: 14/2662 Time: 216.808/86400 c Decision: 14/2662 Time: 218.709/86400 c Decision: 14/2662 Time: 220.584/86400 c Decision: 14/2662 Time: 223.097/86400 c Decision: 14/2662 Time: 225.342/86400 c Decision: 14/2662 Time: 227.405/86400 c Decision: 14/2662 Time: 229.547/86400 c Decision: 14/2662 Time: 231.887/86400 c Decision: 14/2662 Time: 234.08/86400 c Decision: 14/2662 Time: 236.171/86400 c Decision: 14/2662 Time: 238.035/86400 c Decision: 14/2662 Time: 240.157/86400 c Decision: 14/2662 Time: 242.477/86400 c Decision: 14/2662 Time: 245.002/86400 c Decision: 14/2662 Time: 246.84/86400 c Decision: 14/2662 Time: 248.953/86400 c Decision: 14/2662 Time: 251.196/86400 c Decision: 14/2662 Time: 253.007/86400 c Decision: 14/2662 Time: 255.379/86400 c Decision: 14/2662 Time: 257.267/86400 c Decision: 14/2662 Time: 259.504/86400 c Decision: 14/2662 Time: 261.578/86400 c Decision: 14/2662 Time: 263.748/86400 c Decision: 14/2662 Time: 266.105/86400 c Decision: 14/2662 Time: 268.309/86400 c Decision: 14/2662 Time: 270.237/86400 c Decision: 14/2662 Time: 272.393/86400 c Decision: 14/2662 Time: 274.697/86400 c Decision: 14/2662 Time: 277.343/86400 c Decision: 14/2662 Time: 279.547/86400 c Decision: 14/2662 Time: 281.559/86400 c Decision: 14/2662 Time: 283.71/86400 c Decision: 14/2662 Time: 285.914/86400 c Decision: 14/2662 Time: 288.541/86400 c Decision: 14/2662 Time: 290.486/86400 c Decision: 14/2662 Time: 292.515/86400 c Decision: 14/2662 Time: 294.87/86400 c Decision: 14/2662 Time: 296.691/86400 c Decision: 14/2662 Time: 298.48/86400 c Decision: 14/2662 Time: 300.745/86400 c Decision: 14/2662 Time: 302.686/86400 c Decision: 14/2662 Time: 304.625/86400 c Decision: 14/2662 Time: 306.821/86400 c Decision: 14/2662 Time: 309.032/86400 c Decision: 14/2662 Time: 311.07/86400 c Decision: 14/2662 Time: 313.323/86400 c Decision: 14/2662 Time: 315.405/86400 c Decision: 14/2662 Time: 317.554/86400 c Decision: 14/2662 Time: 319.792/86400 c Decision: 14/2662 Time: 321.887/86400 c Decision: 14/2662 Time: 323.911/86400 c Decision: 14/2662 Time: 325.956/86400 c Decision: 14/2662 Time: 327.912/86400 c Decision: 14/2662 Time: 329.983/86400 c Decision: 14/2662 Time: 332.142/86400 c Decision: 14/2662 Time: 334.288/86400 c Decision: 14/2662 Time: 336.209/86400 c Decision: 14/2662 Time: 338.434/86400 c Decision: 14/2662 Time: 340.466/86400 c Decision: 14/2662 Time: 342.449/86400 c Decision: 14/2662 Time: 344.47/86400 c Decision: 14/2662 Time: 346.508/86400 c Decision: 14/2662 Time: 348.586/86400 c Decision: 14/2662 Time: 350.894/86400 c Decision: 14/2662 Time: 352.944/86400 c Decision: 14/2662 Time: 355.078/86400 c Decision: 14/2662 Time: 357.134/86400 c Decision: 14/2662 Time: 359.302/86400 c Decision: 14/2662 Time: 361.87/86400 c Decision: 14/2662 Time: 364.001/86400 c Decision: 14/2662 Time: 366.279/86400 c Decision: 14/2662 Time: 368.326/86400 c Decision: 14/2662 Time: 370.544/86400 c Decision: 14/2662 Time: 373.041/86400 c Decision: 14/2662 Time: 374.924/86400 c Decision: 14/2662 Time: 376.793/86400 c Decision: 14/2662 Time: 378.97/86400 c Decision: 14/2662 Time: 381.313/86400 c Decision: 14/2662 Time: 383.647/86400 c Decision: 14/2662 Time: 385.824/86400 c Decision: 14/2662 Time: 388.014/86400 c Decision: 14/2662 Time: 389.946/86400 c Decision: 14/2662 Time: 392.428/86400 c Decision: 14/2662 Time: 395.02/86400 c Decision: 14/2662 Time: 397.342/86400 c Decision: 14/2662 Time: 399.612/86400 c Decision: 14/2662 Time: 402.061/86400 c Decision: 14/2662 Time: 404.666/86400 c Decision: 14/2662 Time: 407.027/86400 c Decision: 14/2662 Time: 409.274/86400 c Decision: 14/2662 Time: 411.72/86400 c Decision: 14/2662 Time: 413.829/86400 c Decision: 14/2662 Time: 416.119/86400 c Decision: 14/2662 Time: 418.671/86400 c Decision: 14/2662 Time: 421.043/86400 c Decision: 14/2662 Time: 423.286/86400 c Decision: 14/2662 Time: 425.759/86400 c Decision: 14/2662 Time: 428.239/86400 c Decision: 14/2662 Time: 430.876/86400 c Decision: 14/2662 Time: 433.112/86400 c Decision: 14/2662 Time: 435.547/86400 c Decision: 14/2662 Time: 438.161/86400 c Decision: 14/2662 Time: 440.368/86400 c Decision: 14/2662 Time: 443.099/86400 c Decision: 14/2662 Time: 445.492/86400 c Decision: 14/2662 Time: 447.561/86400 c Decision: 14/2662 Time: 449.688/86400 c Decision: 14/2662 Time: 452.151/86400 c Decision: 14/2662 Time: 454.777/86400 c Decision: 14/2662 Time: 456.981/86400 c Decision: 14/2662 Time: 459.488/86400 c Decision: 14/2662 Time: 461.706/86400 c Decision: 14/2662 Time: 463.605/86400 c Decision: 14/2662 Time: 466.213/86400 c Decision: 14/2662 Time: 468.56/86400 c Decision: 14/2662 Time: 470.864/86400 c Decision: 14/2662 Time: 473.22/86400 c Decision: 14/2662 Time: 475.75/86400 c Decision: 14/2662 Time: 478.206/86400 c Decision: 14/2662 Time: 480.362/86400 c Decision: 14/2662 Time: 482.447/86400 c Decision: 14/2662 Time: 484.499/86400 c Decision: 14/2662 Time: 487.001/86400 c Decision: 14/2662 Time: 489.782/86400 c Decision: 14/2662 Time: 492.248/86400 c Decision: 14/2662 Time: 494.546/86400 c Decision: 14/2662 Time: 496.784/86400 c Decision: 14/2662 Time: 499.028/86400 c Decision: 14/2662 Time: 501.591/86400 c Decision: 14/2662 Time: 503.908/86400 c Decision: 14/2662 Time: 506.314/86400 c Decision: 14/2662 Time: 508.871/86400 c Decision: 14/2662 Time: 511.366/86400 c Decision: 14/2662 Time: 514.067/86400 c Decision: 14/2662 Time: 516.255/86400 c Decision: 14/2662 Time: 518.716/86400 c Decision: 14/2662 Time: 520.989/86400 c Decision: 14/2662 Time: 523.506/86400 c Decision: 14/2662 Time: 526.269/86400 c Decision: 14/2662 Time: 528.716/86400 c Decision: 14/2662 Time: 531.235/86400 c Decision: 14/2662 Time: 533.883/86400 c Decision: 14/2662 Time: 536.138/86400 c Decision: 14/2662 Time: 538.934/86400 c Decision: 14/2662 Time: 541.38/86400 c Decision: 14/2662 Time: 543.868/86400 c Decision: 14/2662 Time: 546.488/86400 c Decision: 14/2662 Time: 549.069/86400 c Decision: 14/2662 Time: 552.208/86400 c Decision: 14/2662 Time: 554.623/86400 c Decision: 14/2662 Time: 557.245/86400 c Decision: 14/2662 Time: 560.027/86400 c Decision: 14/2662 Time: 562.514/86400 c Decision: 14/2662 Time: 565.394/86400 c Decision: 14/2662 Time: 567.791/86400 c Decision: 14/2662 Time: 570.2/86400 c Decision: 14/2662 Time: 572.732/86400 c Decision: 14/2662 Time: 575.397/86400 c Decision: 14/2662 Time: 578.328/86400 c Decision: 14/2662 Time: 580.855/86400 c Decision: 14/2662 Time: 583.282/86400 c Decision: 14/2662 Time: 586.292/86400 c Decision: 14/2662 Time: 588.936/86400 c Decision: 14/2662 Time: 591.549/86400 c Decision: 14/2662 Time: 594.161/86400 c Decision: 14/2662 Time: 596.82/86400 c Decision: 14/2662 Time: 599.506/86400 c Decision: 14/2662 Time: 601.864/86400 c Decision: 14/2662 Time: 604.716/86400 c Decision: 14/2662 Time: 606.88/86400 c Decision: 14/2662 Time: 609.186/86400 c Decision: 14/2662 Time: 611.809/86400 c Decision: 14/2662 Time: 614.158/86400 c Decision: 14/2662 Time: 616.962/86400 c Decision: 14/2662 Time: 619.557/86400 c Decision: 14/2662 Time: 621.9/86400 c Decision: 14/2662 Time: 624.336/86400 c Decision: 14/2662 Time: 626.818/86400 c Decision: 14/2662 Time: 630.027/86400 c Decision: 14/2662 Time: 632.676/86400 c Decision: 14/2662 Time: 635.333/86400 c Decision: 14/2662 Time: 637.861/86400 c Decision: 14/2662 Time: 640.672/86400 c Decision: 14/2662 Time: 643.733/86400 c Decision: 14/2662 Time: 646.133/86400 c Decision: 14/2662 Time: 648.959/86400 c Decision: 14/2662 Time: 651.817/86400 c Decision: 14/2662 Time: 654.437/86400 c Decision: 14/2662 Time: 656.958/86400 c Decision: 14/2662 Time: 659.182/86400 c Decision: 14/2662 Time: 661.574/86400 c Decision: 14/2662 Time: 663.939/86400 c Decision: 14/2662 Time: 666.361/86400 c Decision: 14/2662 Time: 669.124/86400 c Decision: 14/2662 Time: 671.754/86400 c Decision: 14/2662 Time: 674.338/86400 c Decision: 14/2662 Time: 677.021/86400 c Decision: 14/2662 Time: 679.845/86400 c Decision: 14/2662 Time: 682.858/86400 c Decision: 14/2662 Time: 685.504/86400 c Decision: 14/2662 Time: 688.158/86400 c Decision: 14/2662 Time: 690.561/86400 c Decision: 14/2662 Time: 693.397/86400 c Decision: 14/2662 Time: 696.24/86400 c Decision: 14/2662 Time: 698.517/86400 c Decision: 14/2662 Time: 701.035/86400 c Decision: 14/2662 Time: 703.518/86400 c Decision: 14/2662 Time: 706.363/86400 c Decision: 14/2662 Time: 709.277/86400 c Decision: 14/2662 Time: 711.906/86400 c Decision: 14/2662 Time: 714.602/86400 c Decision: 14/2662 Time: 717.411/86400 c Decision: 14/2662 Time: 719.687/86400 c Decision: 14/2662 Time: 722.82/86400 c Decision: 14/2662 Time: 725.656/86400 c Decision: 14/2662 Time: 728.585/86400 c Decision: 14/2662 Time: 730.998/86400 c Decision: 14/2662 Time: 733.5/86400 c Decision: 14/2662 Time: 736.472/86400 c Decision: 14/2662 Time: 739.387/86400 c Decision: 14/2662 Time: 742.003/86400 c Decision: 14/2662 Time: 744.477/86400 c Decision: 14/2662 Time: 746.913/86400 c Decision: 14/2662 Time: 749.923/86400 c Decision: 14/2662 Time: 752.605/86400 c Decision: 14/2662 Time: 755.061/86400 c Decision: 14/2662 Time: 757.553/86400 c Decision: 14/2662 Time: 760.304/86400 c Decision: 14/2662 Time: 763.66/86400 c Decision: 14/2662 Time: 766.11/86400 c Decision: 14/2662 Time: 768.656/86400 c Decision: 14/2662 Time: 771.884/86400 c Decision: 14/2662 Time: 774.696/86400 c Decision: 14/2662 Time: 777.796/86400 c Decision: 14/2662 Time: 780.459/86400 c Decision: 14/2662 Time: 783.153/86400 c Decision: 14/2662 Time: 785.423/86400 c Decision: 14/2662 Time: 787.823/86400 c Decision: 14/2662 Time: 790.863/86400 c Decision: 14/2662 Time: 793.675/86400 c Decision: 14/2662 Time: 796.115/86400 c Decision: 14/2662 Time: 798.818/86400 c Decision: 14/2662 Time: 801.891/86400 c Decision: 14/2662 Time: 805.262/86400 c Decision: 14/2662 Time: 808.141/86400 c Decision: 14/2662 Time: 811.019/86400 c Decision: 14/2662 Time: 813.633/86400 c Decision: 14/2662 Time: 816.345/86400 c Decision: 14/2662 Time: 819.989/86400 c Decision: 14/2662 Time: 822.82/86400 c Decision: 14/2662 Time: 825.696/86400 c Decision: 14/2662 Time: 828.5/86400 c Decision: 14/2662 Time: 831.368/86400 c Decision: 14/2662 Time: 834.369/86400 c Decision: 14/2662 Time: 837.074/86400 c Decision: 14/2662 Time: 840.214/86400 c Decision: 14/2662 Time: 843.317/86400 c Decision: 14/2662 Time: 846.063/86400 c Decision: 14/2662 Time: 849.631/86400 c Decision: 14/2662 Time: 852.514/86400 c Decision: 14/2662 Time: 855.404/86400 c Decision: 14/2662 Time: 858.308/86400 c Decision: 14/2662 Time: 860.978/86400 c Decision: 14/2662 Time: 864.28/86400 c Decision: 14/2662 Time: 867.04/86400 c Decision: 14/2662 Time: 869.586/86400 c Decision: 14/2662 Time: 872.574/86400 c Decision: 14/2662 Time: 875.432/86400 c Decision: 14/2662 Time: 878.923/86400 c Decision: 14/2662 Time: 881.842/86400 c Decision: 14/2662 Time: 885.013/86400 c Decision: 14/2662 Time: 887.741/86400 c Decision: 14/2662 Time: 890.839/86400 c Decision: 14/2662 Time: 894.365/86400 c Decision: 14/2662 Time: 897.104/86400 c Decision: 14/2662 Time: 900.065/86400 c Decision: 14/2662 Time: 902.727/86400 c Decision: 14/2662 Time: 905.37/86400 c Decision: 14/2662 Time: 908.563/86400 c Decision: 14/2662 Time: 910.992/86400 c Decision: 14/2662 Time: 913.712/86400 c Decision: 14/2662 Time: 916.478/86400 c Decision: 14/2662 Time: 919.014/86400 c Decision: 14/2662 Time: 922.264/86400 c Decision: 14/2662 Time: 925.158/86400 c Decision: 14/2662 Time: 927.672/86400 c Decision: 14/2662 Time: 930.654/86400 c Decision: 14/2662 Time: 933.674/86400 c Decision: 14/2662 Time: 936.946/86400 c Decision: 14/2662 Time: 939.877/86400 c Decision: 14/2662 Time: 942.719/86400 c Decision: 14/2662 Time: 945.241/86400 c Decision: 14/2662 Time: 947.585/86400 c Decision: 14/2662 Time: 950.724/86400 c Decision: 14/2662 Time: 953.524/86400 c Decision: 14/2662 Time: 956.441/86400 c Decision: 14/2662 Time: 959.194/86400 c Decision: 14/2662 Time: 961.865/86400 c Decision: 14/2662 Time: 964.815/86400 c Decision: 14/2662 Time: 967.807/86400 c Decision: 14/2662 Time: 970.777/86400 c Decision: 14/2662 Time: 973.497/86400 c Decision: 14/2662 Time: 976.386/86400 c Decision: 14/2662 Time: 979.693/86400 c Decision: 14/2662 Time: 982.362/86400 c Decision: 14/2662 Time: 985.35/86400 c Decision: 14/2662 Time: 988.514/86400 c Decision: 14/2662 Time: 991.698/86400 c Decision: 14/2662 Time: 994.937/86400 c Decision: 14/2662 Time: 997.669/86400 c Decision: 14/2662 Time: 1000.79/86400 c Decision: 14/2662 Time: 1003.93/86400 c Decision: 14/2662 Time: 1007.14/86400 c Decision: 14/2662 Time: 1010.75/86400 c Decision: 14/2662 Time: 1013.67/86400 c Decision: 14/2662 Time: 1016.7/86400 c Decision: 14/2662 Time: 1019.76/86400 c Decision: 14/2662 Time: 1022.42/86400 c Decision: 14/2662 Time: 1026.09/86400 c Decision: 14/2662 Time: 1029.06/86400 c Decision: 14/2662 Time: 1032.46/86400 c Decision: 14/2662 Time: 1035.47/86400 c Decision: 14/2662 Time: 1037.93/86400 c Decision: 14/2662 Time: 1041.82/86400 c Decision: 14/2662 Time: 1044.94/86400 c Decision: 14/2662 Time: 1047.76/86400 c Decision: 14/2662 Time: 1050.35/86400 c Decision: 14/2662 Time: 1053.05/86400 c Decision: 14/2662 Time: 1056.47/86400 c Decision: 14/2662 Time: 1059.41/86400 c Decision: 14/2662 Time: 1062.62/86400 c Decision: 14/2662 Time: 1065.63/86400 c Decision: 14/2662 Time: 1068.59/86400 c Decision: 14/2662 Time: 1071.4/86400 c Decision: 14/2662 Time: 1074.13/86400 c Decision: 14/2662 Time: 1076.63/86400 c Decision: 14/2662 Time: 1079.42/86400 c Decision: 14/2662 Time: 1082.17/86400 c Decision: 14/2662 Time: 1085.19/86400 c Decision: 14/2662 Time: 1088.22/86400 c Decision: 14/2662 Time: 1091.41/86400 c Decision: 14/2662 Time: 1093.85/86400 c Decision: 14/2662 Time: 1096.29/86400 c Decision: 14/2662 Time: 1099.69/86400 c Decision: 14/2662 Time: 1102.53/86400 c Decision: 14/2662 Time: 1105.57/86400 c Decision: 14/2662 Time: 1108.25/86400 c Decision: 14/2662 Time: 1111.1/86400 c Decision: 14/2662 Time: 1114.16/86400 c Decision: 14/2662 Time: 1116.63/86400 c Decision: 14/2662 Time: 1119.55/86400 c Decision: 14/2662 Time: 1122.76/86400 c Decision: 14/2662 Time: 1125.51/86400 c Decision: 14/2662 Time: 1128.76/86400 c Decision: 14/2662 Time: 1131.7/86400 c Decision: 14/2662 Time: 1134.51/86400 c Decision: 14/2662 Time: 1137.28/86400 c Decision: 14/2662 Time: 1140.29/86400 c Decision: 14/2662 Time: 1143.55/86400 c Decision: 14/2662 Time: 1146.41/86400 c Decision: 14/2662 Time: 1149.87/86400 c Decision: 14/2662 Time: 1152.69/86400 c Decision: 14/2662 Time: 1156.01/86400 c Decision: 14/2662 Time: 1159.93/86400 c Decision: 14/2662 Time: 1162.77/86400 c Decision: 14/2662 Time: 1165.92/86400 c Decision: 14/2662 Time: 1168.73/86400 c Decision: 14/2662 Time: 1171.56/86400 c Decision: 14/2662 Time: 1174.94/86400 c Decision: 14/2662 Time: 1177.43/86400 c Decision: 14/2662 Time: 1180.38/86400 c Decision: 14/2662 Time: 1183.51/86400 c Decision: 14/2662 Time: 1186.44/86400 c Decision: 14/2662 Time: 1189.76/86400 c Decision: 14/2662 Time: 1192.79/86400 c Decision: 14/2662 Time: 1195.84/86400 c Decision: 14/2662 Time: 1199.04/86400s UNKNOWN #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.91 0.95 0.90 1/55 7502 Raw data (stat): 7502 (runsolver) R 7501 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909345105 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0006 s] Raw data (loadavg): 0.93 0.95 0.90 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 912 0 0 0 995 3 0 0 25 0 1 0 909345105 4308992 806 4294967295 134512640 135730672 3221224592 3221222912 134732532 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 1052 806 301 301 0 751 0 vsize: 4208 [startup+20.0012 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 1429 0 0 0 1992 6 0 0 25 0 1 0 909345105 6537216 1226 4294967295 134512640 135730672 3221224592 3221223088 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1596 1226 301 301 0 1295 0 vsize: 6384 [startup+30.0022 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 1664 0 0 0 2989 9 0 0 25 0 1 0 909345105 9023488 1461 4294967295 134512640 135730672 3221224592 3221223136 134740286 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2203 1461 301 301 0 1902 0 vsize: 8812 [startup+40.0018 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 2112 0 0 0 3986 11 0 0 25 0 1 0 909345105 10170368 1716 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2483 1716 301 301 0 2182 0 vsize: 9932 [startup+50.0016 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 2333 0 0 0 4984 14 0 0 25 0 1 0 909345105 10575872 1937 4294967295 134512640 135730672 3221224592 3221223088 134747967 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2582 1937 301 301 0 2281 0 vsize: 10328 [startup+60.0016 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 2429 0 0 0 5982 16 0 0 25 0 1 0 909345105 10817536 2033 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2641 2033 301 301 0 2340 0 vsize: 10564 [startup+70.0022 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 2647 0 0 0 6979 18 0 0 25 0 1 0 909345105 10948608 2251 4294967295 134512640 135730672 3221224592 3221223088 134747634 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2673 2251 301 301 0 2372 0 vsize: 10692 [startup+80.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 2839 0 0 0 7978 20 0 0 25 0 1 0 909345105 11202560 2443 4294967295 134512640 135730672 3221224592 3221223088 134747730 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2735 2443 301 301 0 2434 0 vsize: 10940 [startup+90.0028 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 3040 0 0 0 8976 22 0 0 25 0 1 0 909345105 15679488 2644 4294967295 134512640 135730672 3221224592 3221223104 134746217 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3828 2644 301 301 0 3527 0 vsize: 15312 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 3110 0 0 0 9974 24 0 0 25 0 1 0 909345105 15929344 2714 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3889 2714 301 301 0 3588 0 vsize: 15556 [startup+110.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 3693 0 0 0 10972 26 0 0 25 0 1 0 909345105 17772544 2912 4294967295 134512640 135730672 3221224592 3221222912 134732575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4339 2912 301 301 0 4038 0 vsize: 17356 [startup+120.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 3785 0 0 0 11971 27 0 0 25 0 1 0 909345105 17911808 3004 4294967295 134512640 135730672 3221224592 3221223088 134747616 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4373 3004 301 301 0 4072 0 vsize: 17492 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 3999 0 0 0 12970 29 0 0 25 0 1 0 909345105 18030592 3218 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4402 3218 301 301 0 4101 0 vsize: 17608 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 4233 0 0 0 13967 32 0 0 25 0 1 0 909345105 18161664 3452 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4434 3452 301 301 0 4133 0 vsize: 17736 [startup+150.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 4475 0 0 0 14965 34 0 0 25 0 1 0 909345105 18456576 3694 4294967295 134512640 135730672 3221224592 3221223104 134746211 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4506 3694 301 301 0 4205 0 vsize: 18024 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 4790 0 0 0 15963 36 0 0 25 0 1 0 909345105 18591744 4009 4294967295 134512640 135730672 3221224592 3221222664 135284366 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4539 4009 301 301 0 4238 0 vsize: 18156 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 5015 0 0 0 16961 38 0 0 25 0 1 0 909345105 27488256 4234 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6711 4234 301 301 0 6410 0 vsize: 26844 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 5292 0 0 0 17959 40 0 0 25 0 1 0 909345105 27828224 4511 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6794 4511 301 301 0 6493 0 vsize: 27176 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 5456 0 0 0 18958 41 0 0 25 0 1 0 909345105 27975680 4675 4294967295 134512640 135730672 3221224592 3221223104 134746481 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6830 4675 301 301 0 6529 0 vsize: 27320 [startup+200.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 5594 0 0 0 19958 42 0 0 25 0 1 0 909345105 28139520 4813 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6870 4813 301 301 0 6569 0 vsize: 27480 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 5801 0 0 0 20957 43 0 0 25 0 1 0 909345105 28336128 5020 4294967295 134512640 135730672 3221224592 3221223248 134748670 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6918 5020 301 301 0 6617 0 vsize: 27672 [startup+220.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 6004 0 0 0 21956 44 0 0 25 0 1 0 909345105 28475392 5223 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6952 5223 301 301 0 6651 0 vsize: 27808 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 6225 0 0 0 22954 46 0 0 25 0 1 0 909345105 28639232 5444 4294967295 134512640 135730672 3221224592 3221223104 134745778 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6992 5444 301 301 0 6691 0 vsize: 27968 [startup+240.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 6374 0 0 0 23953 47 0 0 25 0 1 0 909345105 28835840 5593 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7040 5593 301 301 0 6739 0 vsize: 28160 [startup+250.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 6501 0 0 0 24952 49 0 0 25 0 1 0 909345105 29032448 5720 4294967295 134512640 135730672 3221224592 3221223088 134747777 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7088 5720 301 301 0 6787 0 vsize: 28352 [startup+260.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 6715 0 0 0 25950 51 0 0 25 0 1 0 909345105 29323264 5934 4294967295 134512640 135730672 3221224592 3221223104 134746520 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7159 5934 301 301 0 6858 0 vsize: 28636 [startup+270.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 6771 0 0 0 26949 52 0 0 25 0 1 0 909345105 29454336 5990 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7191 5990 301 301 0 6890 0 vsize: 28764 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 7684 0 0 0 27946 55 0 0 25 0 1 0 909345105 32751616 6134 4294967295 134512640 135730672 3221224592 3221223104 134746486 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7996 6134 301 301 0 7695 0 vsize: 31984 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 7864 0 0 0 28945 56 0 0 25 0 1 0 909345105 33009664 6314 4294967295 134512640 135730672 3221224592 3221222912 134732500 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8059 6314 301 301 0 7758 0 vsize: 32236 [startup+300.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8109 0 0 0 29944 57 0 0 25 0 1 0 909345105 33419264 6559 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8159 6559 301 301 0 7858 0 vsize: 32636 [startup+310.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8142 0 0 0 30943 59 0 0 25 0 1 0 909345105 33583104 6592 4294967295 134512640 135730672 3221224592 3221223200 134748227 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8199 6592 301 301 0 7898 0 vsize: 32796 [startup+320.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8195 0 0 0 31942 60 0 0 25 0 1 0 909345105 33746944 6645 4294967295 134512640 135730672 3221224592 3221223088 134747578 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8239 6645 301 301 0 7938 0 vsize: 32956 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8261 0 0 0 32941 61 0 0 25 0 1 0 909345105 33882112 6711 4294967295 134512640 135730672 3221224592 3221223236 134748064 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8272 6711 301 301 0 7971 0 vsize: 33088 [startup+340.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8305 0 0 0 33939 62 0 0 25 0 1 0 909345105 34000896 6755 4294967295 134512640 135730672 3221224592 3221223088 134747878 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8301 6755 301 301 0 8000 0 vsize: 33204 [startup+350.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8334 0 0 0 34939 63 0 0 25 0 1 0 909345105 34000896 6784 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8301 6784 301 301 0 8000 0 vsize: 33204 [startup+360.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8373 0 0 0 35938 64 0 0 25 0 1 0 909345105 34164736 6823 4294967295 134512640 135730672 3221224592 3221223104 134746507 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8341 6823 301 301 0 8040 0 vsize: 33364 [startup+370.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8407 0 0 0 36937 66 0 0 25 0 1 0 909345105 34164736 6857 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8341 6857 301 301 0 8040 0 vsize: 33364 [startup+380.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8474 0 0 0 37936 67 0 0 25 0 1 0 909345105 34299904 6924 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8374 6924 301 301 0 8073 0 vsize: 33496 [startup+390.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8502 0 0 0 38935 68 0 0 25 0 1 0 909345105 34414592 6952 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8402 6952 301 301 0 8101 0 vsize: 33608 [startup+400.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8540 0 0 0 39935 68 0 0 25 0 1 0 909345105 34545664 6990 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8434 6990 301 301 0 8133 0 vsize: 33736 [startup+410.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8585 0 0 0 40934 69 0 0 25 0 1 0 909345105 34545664 7035 4294967295 134512640 135730672 3221224592 3221223104 134746217 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8434 7035 301 301 0 8133 0 vsize: 33736 [startup+420.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8628 0 0 0 41933 70 0 0 25 0 1 0 909345105 34664448 7078 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8463 7078 301 301 0 8162 0 vsize: 33852 [startup+430.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8671 0 0 0 42932 71 0 0 25 0 1 0 909345105 34816000 7121 4294967295 134512640 135730672 3221224592 3221223088 134747578 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8500 7121 301 301 0 8199 0 vsize: 34000 [startup+440.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8706 0 0 0 43932 72 0 0 25 0 1 0 909345105 34816000 7156 4294967295 134512640 135730672 3221224592 3221222912 134732445 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8500 7156 301 301 0 8199 0 vsize: 34000 [startup+450.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8745 0 0 0 44931 72 0 0 25 0 1 0 909345105 34951168 7195 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8533 7195 301 301 0 8232 0 vsize: 34132 [startup+460.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8799 0 0 0 45930 73 0 0 25 0 1 0 909345105 35086336 7249 4294967295 134512640 135730672 3221224592 3221223104 134746544 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8566 7249 301 301 0 8265 0 vsize: 34264 [startup+470.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8940 0 0 0 46929 74 0 0 25 0 1 0 909345105 35614720 7390 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8695 7390 301 301 0 8394 0 vsize: 34780 [startup+480.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 9104 0 0 0 47928 76 0 0 25 0 1 0 909345105 35885056 7554 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8761 7554 301 301 0 8460 0 vsize: 35044 [startup+490.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 9145 0 0 0 48928 77 0 0 25 0 1 0 909345105 35885056 7595 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8761 7595 301 301 0 8460 0 vsize: 35044 [startup+500.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 9226 0 0 0 49927 78 0 0 25 0 1 0 909345105 36016128 7676 4294967295 134512640 135730672 3221224592 3221222828 135109334 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8793 7677 301 301 0 8492 0 vsize: 35172 [startup+510.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 9401 0 0 0 50926 78 0 0 25 0 1 0 909345105 36151296 7851 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8826 7851 301 301 0 8525 0 vsize: 35304 [startup+520.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 9508 0 0 0 51926 79 0 0 25 0 1 0 909345105 36302848 7958 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8863 7958 301 301 0 8562 0 vsize: 35452 [startup+530.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 9631 0 0 0 52925 80 0 0 25 0 1 0 909345105 36573184 8081 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8929 8081 301 301 0 8628 0 vsize: 35716 [startup+540.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 9849 0 0 0 53924 82 0 0 25 0 1 0 909345105 53514240 8299 4294967295 134512640 135730672 3221224592 3221223088 134747594 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13065 8299 301 301 0 12764 0 vsize: 52260 [startup+550.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 9974 0 0 0 54923 82 0 0 25 0 1 0 909345105 53710848 8424 4294967295 134512640 135730672 3221224592 3221223088 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13113 8424 301 301 0 12812 0 vsize: 52452 [startup+560.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10050 0 0 0 55922 83 0 0 25 0 1 0 909345105 53710848 8500 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13113 8500 301 301 0 12812 0 vsize: 52452 [startup+570.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10209 0 0 0 56921 84 0 0 25 0 1 0 909345105 53710848 8659 4294967295 134512640 135730672 3221224592 3221222912 134732792 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13113 8659 301 301 0 12812 0 vsize: 52452 [startup+580.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10401 0 0 0 57920 86 0 0 25 0 1 0 909345105 53874688 8851 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13153 8851 301 301 0 12852 0 vsize: 52612 [startup+590.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10524 0 0 0 58920 86 0 0 25 0 1 0 909345105 54022144 8974 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13189 8974 301 301 0 12888 0 vsize: 52756 [startup+600.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10642 0 0 0 59919 87 0 0 25 0 1 0 909345105 54427648 9092 4294967295 134512640 135730672 3221224592 3221223104 134746221 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13288 9092 301 301 0 12987 0 vsize: 53152 [startup+610.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10667 0 0 0 60918 88 0 0 25 0 1 0 909345105 54427648 9117 4294967295 134512640 135730672 3221224592 3221223088 134747757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13288 9117 301 301 0 12987 0 vsize: 53152 [startup+620.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10734 0 0 0 61917 89 0 0 25 0 1 0 909345105 54697984 9184 4294967295 134512640 135730672 3221224592 3221223104 134746175 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13354 9184 301 301 0 13053 0 vsize: 53416 [startup+630.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10869 0 0 0 62916 91 0 0 25 0 1 0 909345105 55033856 9319 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13436 9319 301 301 0 13135 0 vsize: 53744 [startup+640.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10895 0 0 0 63915 91 0 0 25 0 1 0 909345105 55033856 9345 4294967295 134512640 135730672 3221224592 3221223136 134740286 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13436 9345 301 301 0 13135 0 vsize: 53744 [startup+650.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11005 0 0 0 64914 93 0 0 25 0 1 0 909345105 55156736 9455 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13466 9455 301 301 0 13165 0 vsize: 53864 [startup+660.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11218 0 0 0 65913 94 0 0 25 0 1 0 909345105 55447552 9668 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13537 9668 301 301 0 13236 0 vsize: 54148 [startup+670.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11261 0 0 0 66912 95 0 0 25 0 1 0 909345105 55582720 9711 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13570 9711 301 301 0 13269 0 vsize: 54280 [startup+680.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11321 0 0 0 67912 96 0 0 25 0 1 0 909345105 55853056 9771 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13636 9771 301 301 0 13335 0 vsize: 54544 [startup+690.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11355 0 0 0 68911 96 0 0 25 0 1 0 909345105 55988224 9805 4294967295 134512640 135730672 3221224592 3221223136 134740314 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13669 9805 301 301 0 13368 0 vsize: 54676 [startup+700.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11381 0 0 0 69911 97 0 0 25 0 1 0 909345105 55988224 9831 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13669 9831 301 301 0 13368 0 vsize: 54676 [startup+710.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7502 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11409 0 0 0 70910 98 0 0 25 0 1 0 909345105 56111104 9859 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13699 9859 301 301 0 13398 0 vsize: 54796 [startup+720.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7555 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11528 0 0 0 71905 101 0 0 25 0 1 0 909345105 56246272 9978 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13732 9978 301 301 0 13431 0 vsize: 54928 [startup+730.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7555 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11619 0 0 0 72904 102 0 0 25 0 1 0 909345105 56381440 10069 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13765 10069 301 301 0 13464 0 vsize: 55060 [startup+740.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7555 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 13289 0 0 0 73899 107 0 0 25 0 1 0 909345105 62672896 10202 4294967295 134512640 135730672 3221224592 3221223104 134746514 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15301 10202 301 301 0 15000 0 vsize: 61204 [startup+750.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7555 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 13339 0 0 0 74899 108 0 0 25 0 1 0 909345105 62799872 10252 4294967295 134512640 135730672 3221224592 3221223104 134746515 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15332 10252 301 301 0 15031 0 vsize: 61328 [startup+760.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7555 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 13373 0 0 0 75898 110 0 0 25 0 1 0 909345105 62799872 10286 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15332 10286 301 301 0 15031 0 vsize: 61328 [startup+770.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7555 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 13433 0 0 0 76897 111 0 0 25 0 1 0 909345105 62922752 10346 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15362 10346 301 301 0 15061 0 vsize: 61448 [startup+780.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7557 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 13602 0 0 0 77896 112 0 0 25 0 1 0 909345105 63070208 10515 4294967295 134512640 135730672 3221224592 3221223088 134747501 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15398 10515 301 301 0 15097 0 vsize: 61592 [startup+790.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 13724 0 0 0 78895 112 0 0 25 0 1 0 909345105 63205376 10637 4294967295 134512640 135730672 3221224592 3221222976 134763159 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15431 10637 301 301 0 15130 0 vsize: 61724 [startup+800.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 13767 0 0 0 79895 113 0 0 25 0 1 0 909345105 63369216 10680 4294967295 134512640 135730672 3221224592 3221223088 134747854 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15471 10680 301 301 0 15170 0 vsize: 61884 [startup+810.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 13887 0 0 0 80894 114 0 0 25 0 1 0 909345105 63369216 10800 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15471 10800 301 301 0 15170 0 vsize: 61884 [startup+820.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 14069 0 0 0 81893 115 0 0 25 0 1 0 909345105 63369216 10982 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15471 10982 301 301 0 15170 0 vsize: 61884 [startup+830.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 14197 0 0 0 82892 116 0 0 25 0 1 0 909345105 63492096 11110 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15501 11110 301 301 0 15200 0 vsize: 62004 [startup+840.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 14373 0 0 0 83890 118 0 0 25 0 1 0 909345105 63614976 11286 4294967295 134512640 135730672 3221224592 3221223088 134747738 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15531 11286 301 301 0 15230 0 vsize: 62124 [startup+850.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 14558 0 0 0 84889 119 0 0 25 0 1 0 909345105 63750144 11471 4294967295 134512640 135730672 3221224592 3221223216 134783062 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15564 11471 301 301 0 15263 0 vsize: 62256 [startup+860.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 14732 0 0 0 85888 121 0 0 25 0 1 0 909345105 63946752 11645 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15612 11645 301 301 0 15311 0 vsize: 62448 [startup+870.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 14843 0 0 0 86887 122 0 0 25 0 1 0 909345105 64081920 11756 4294967295 134512640 135730672 3221224592 3221223104 134746501 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15645 11756 301 301 0 15344 0 vsize: 62580 [startup+880.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15009 0 0 0 87886 123 0 0 25 0 1 0 909345105 64196608 11922 4294967295 134512640 135730672 3221224592 3221222664 135285245 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15673 11922 301 301 0 15372 0 vsize: 62692 [startup+890.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15161 0 0 0 88885 124 0 0 25 0 1 0 909345105 64331776 12074 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15706 12074 301 301 0 15405 0 vsize: 62824 [startup+900.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15277 0 0 0 89883 126 0 0 25 0 1 0 909345105 64593920 12190 4294967295 134512640 135730672 3221224592 3221223104 134746520 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15770 12190 301 301 0 15469 0 vsize: 63080 [startup+910.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15476 0 0 0 90882 127 0 0 25 0 1 0 909345105 65036288 12389 4294967295 134512640 135730672 3221224592 3221223088 134747634 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15878 12389 301 301 0 15577 0 vsize: 63512 [startup+920.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15507 0 0 0 91882 127 0 0 25 0 1 0 909345105 65036288 12420 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15878 12420 301 301 0 15577 0 vsize: 63512 [startup+930.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15553 0 0 0 92882 128 0 0 25 0 1 0 909345105 65167360 12466 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15910 12466 301 301 0 15609 0 vsize: 63640 [startup+940.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15633 0 0 0 93881 129 0 0 25 0 1 0 909345105 65572864 12546 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16009 12546 301 301 0 15708 0 vsize: 64036 [startup+950.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15654 0 0 0 94880 130 0 0 25 0 1 0 909345105 65572864 12567 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16009 12567 301 301 0 15708 0 vsize: 64036 [startup+960.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15679 0 0 0 95879 131 0 0 25 0 1 0 909345105 65572864 12592 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16009 12592 301 301 0 15708 0 vsize: 64036 [startup+970.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15697 0 0 0 96879 132 0 0 25 0 1 0 909345105 65572864 12610 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16009 12610 301 301 0 15708 0 vsize: 64036 [startup+980.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15725 0 0 0 97879 132 0 0 25 0 1 0 909345105 65761280 12638 4294967295 134512640 135730672 3221224592 3221223216 134783060 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16055 12638 301 301 0 15754 0 vsize: 64220 [startup+990.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15760 0 0 0 98878 133 0 0 25 0 1 0 909345105 65761280 12673 4294967295 134512640 135730672 3221224592 3221223184 134763651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16055 12673 301 301 0 15754 0 vsize: 64220 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15775 0 0 0 99877 134 0 0 25 0 1 0 909345105 65761280 12688 4294967295 134512640 135730672 3221224592 3221222816 134813870 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16055 12688 301 301 0 15754 0 vsize: 64220 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15808 0 0 0 100877 134 0 0 25 0 1 0 909345105 65957888 12721 4294967295 134512640 135730672 3221224592 3221223088 134747728 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16103 12721 301 301 0 15802 0 vsize: 64412 [startup+1020.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15822 0 0 0 101876 135 0 0 25 0 1 0 909345105 65957888 12735 4294967295 134512640 135730672 3221224592 3221223104 134746486 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16103 12735 301 301 0 15802 0 vsize: 64412 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15868 0 0 0 102876 136 0 0 25 0 1 0 909345105 66093056 12781 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16136 12781 301 301 0 15835 0 vsize: 64544 [startup+1040.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7559 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15938 0 0 0 103875 137 0 0 25 0 1 0 909345105 66363392 12851 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16202 12851 301 301 0 15901 0 vsize: 64808 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7561 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15968 0 0 0 104874 137 0 0 25 0 1 0 909345105 66363392 12881 4294967295 134512640 135730672 3221224592 3221223088 134747714 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16202 12881 301 301 0 15901 0 vsize: 64808 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7561 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15992 0 0 0 105874 138 0 0 25 0 1 0 909345105 66560000 12905 4294967295 134512640 135730672 3221224592 3221223104 134746175 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16250 12905 301 301 0 15949 0 vsize: 65000 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7561 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16084 0 0 0 106873 139 0 0 25 0 1 0 909345105 66813952 12997 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16312 12997 301 301 0 16011 0 vsize: 65248 [startup+1080.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7561 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16108 0 0 0 107873 140 0 0 25 0 1 0 909345105 66813952 13021 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16312 13021 301 301 0 16011 0 vsize: 65248 [startup+1090.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7561 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16130 0 0 0 108873 140 0 0 25 0 1 0 909345105 66813952 13043 4294967295 134512640 135730672 3221224592 3221223200 134744836 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16312 13043 301 301 0 16011 0 vsize: 65248 [startup+1100.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7561 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16153 0 0 0 109871 141 0 0 25 0 1 0 909345105 66813952 13066 4294967295 134512640 135730672 3221224592 3221223216 134783062 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16312 13066 301 301 0 16011 0 vsize: 65248 [startup+1110.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7561 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16169 0 0 0 110871 142 0 0 25 0 1 0 909345105 66813952 13082 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16312 13082 301 301 0 16011 0 vsize: 65248 [startup+1120.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7561 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16189 0 0 0 111871 142 0 0 25 0 1 0 909345105 66813952 13102 4294967295 134512640 135730672 3221224592 3221223104 134746193 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16312 13102 301 301 0 16011 0 vsize: 65248 [startup+1130.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7561 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16216 0 0 0 112870 144 0 0 25 0 1 0 909345105 66936832 13129 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16342 13129 301 301 0 16041 0 vsize: 65368 [startup+1140.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7561 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16246 0 0 0 113869 145 0 0 25 0 1 0 909345105 66936832 13159 4294967295 134512640 135730672 3221224592 3221223088 134747578 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16342 13159 301 301 0 16041 0 vsize: 65368 [startup+1150.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7561 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16268 0 0 0 114869 145 0 0 25 0 1 0 909345105 66936832 13181 4294967295 134512640 135730672 3221224592 3221223104 134746216 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16342 13181 301 301 0 16041 0 vsize: 65368 [startup+1160.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7561 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16304 0 0 0 115867 146 0 0 25 0 1 0 909345105 67072000 13217 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16375 13217 301 301 0 16074 0 vsize: 65500 [startup+1170.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7561 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16320 0 0 0 116867 147 0 0 25 0 1 0 909345105 67072000 13233 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16375 13233 301 301 0 16074 0 vsize: 65500 [startup+1180.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7561 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16364 0 0 0 117866 148 0 0 25 0 1 0 909345105 67330048 13277 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16438 13277 301 301 0 16137 0 vsize: 65752 [startup+1190.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7561 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16398 0 0 0 118865 149 0 0 25 0 1 0 909345105 67330048 13311 4294967295 134512640 135730672 3221224592 3221223216 134783066 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16438 13311 301 301 0 16137 0 vsize: 65752 [startup+1200.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7561 Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16417 0 0 0 119864 150 0 0 25 0 1 0 909345105 67330048 13330 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16438 13330 301 301 0 16137 0 vsize: 65752 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.19 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 7561 Raw data (stat): 7502 (pb2sat-v2) Z 7501 8378 8377 0 -1 12 16419 0 0 0 119880 152 0 0 25 0 1 0 909345105 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1200.19 CPU time (s): 1200.34 CPU user time (s): 1198.81 CPU system time (s): 1.52777 CPU usage (%): 100.012 Max. virtual memory (Kb): 65752 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####