Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb |
MD5SUM | 3c9e81ddaaf37dd621fe2bc839a3f27f |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 42 |
Number of bits of the biggest sum of numbers | 6 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.098984 |
Number of variables | 3280 |
Total number of constraints | 162 |
Number of constraints which are clauses | 82 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 41 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-15 19:44:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25115 boxname=wulflinc3 idbench=17 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 3c9e81ddaaf37dd621fe2bc839a3f27f /oldhome/oroussel/tmp/wulflinc3/normalized-chnl40_41_pb.cnf.cr.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-chnl40_41_pb.cnf.cr.opb IDLAUNCH: 25115 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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: 844696 kB Buffers: 33536 kB Cached: 134828 kB SwapCached: 820 kB Active: 44956 kB Inactive: 125588 kB HighTotal: 131008 kB HighFree: 21980 kB LowTotal: 903652 kB LowFree: 822716 kB SwapTotal: 2097136 kB SwapFree: 2095340 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5104 kB Slab: 13584 kB Committed_AS: 71900 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-15 20:04:47 (client local time) WITH STATUS 0 IN 1200.47 SECONDS stats: 25115 7 1200.47 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 3200/9680 Time: 56.4674/86400 c Decision: 3200/9680 Time: 58.2811/86400 c Decision: 3200/9680 Time: 60.2538/86400 c Decision: 3200/9680 Time: 62.1416/86400 c Decision: 3200/9680 Time: 64.0083/86400 c Decision: 3200/9680 Time: 66.4429/86400 c Decision: 3200/9680 Time: 68.3006/86400 c Decision: 3200/9680 Time: 70.0294/86400 c Decision: 3200/9680 Time: 71.7781/86400 c Decision: 3200/9680 Time: 73.3638/86400 c Decision: 3200/9680 Time: 75.2136/86400 c Decision: 3200/9680 Time: 76.8243/86400 c Decision: 3200/9680 Time: 78.5431/86400 c Decision: 3200/9680 Time: 86.4679/86400 c Decision: 3200/9680 Time: 88.1806/86400 c Decision: 3200/9680 Time: 90.1723/86400 c Decision: 3200/9680 Time: 91.7351/86400 c Decision: 3200/9680 Time: 93.9117/86400 c Decision: 3200/9680 Time: 95.5525/86400 c Decision: 3200/9680 Time: 97.3292/86400 c Decision: 3200/9680 Time: 99.0699/86400 c Decision: 3200/9680 Time: 100.46/86400 c Decision: 3200/9680 Time: 101.833/86400 c Decision: 3200/9680 Time: 103.19/86400 c Decision: 3200/9680 Time: 104.539/86400 c Decision: 3200/9680 Time: 106.098/86400 c Decision: 3200/9680 Time: 107.525/86400 c Decision: 3200/9680 Time: 108.982/86400 c Decision: 3200/9680 Time: 110.398/86400 c Decision: 3200/9680 Time: 111.987/86400 c Decision: 3200/9680 Time: 113.652/86400 c Decision: 3200/9680 Time: 115.197/86400 c Decision: 3200/9680 Time: 116.771/86400 c Decision: 3200/9680 Time: 118.507/86400 c Decision: 3200/9680 Time: 123.737/86400 c Decision: 3200/9680 Time: 125.432/86400 c Decision: 3200/9680 Time: 127.031/86400 c Decision: 3200/9680 Time: 128.462/86400 c Decision: 3200/9680 Time: 129.636/86400 c Decision: 3200/9680 Time: 132.166/86400 c Decision: 3200/9680 Time: 133.438/86400 c Decision: 3200/9680 Time: 134.727/86400 c Decision: 3200/9680 Time: 136.07/86400 c Decision: 3200/9680 Time: 137.434/86400 c Decision: 3200/9680 Time: 138.703/86400 c Decision: 3200/9680 Time: 140.049/86400 c Decision: 3200/9680 Time: 141.454/86400 c Decision: 3200/9680 Time: 142.821/86400 c Decision: 3200/9680 Time: 144.219/86400 c Decision: 3200/9680 Time: 145.509/86400 c Decision: 3200/9680 Time: 146.992/86400 c Decision: 3200/9680 Time: 148.452/86400 c Decision: 3200/9680 Time: 149.839/86400 c Decision: 3200/9680 Time: 151.336/86400 c Decision: 3200/9680 Time: 152.911/86400 c Decision: 3200/9680 Time: 160.882/86400 c Decision: 3200/9680 Time: 162.487/86400 c Decision: 3200/9680 Time: 164.249/86400 c Decision: 3200/9680 Time: 165.783/86400 c Decision: 3200/9680 Time: 167.308/86400 c Decision: 3200/9680 Time: 169.124/86400 c Decision: 3200/9680 Time: 179.08/86400 c Decision: 3200/9680 Time: 180.498/86400 c Decision: 3200/9680 Time: 181.85/86400 c Decision: 3200/9680 Time: 183.389/86400 c Decision: 3200/9680 Time: 184.94/86400 c Decision: 3200/9680 Time: 186.318/86400 c Decision: 3200/9680 Time: 187.676/86400 c Decision: 3200/9680 Time: 189.024/86400 c Decision: 3200/9680 Time: 190.47/86400 c Decision: 3200/9680 Time: 191.991/86400 c Decision: 3200/9680 Time: 193.415/86400 c Decision: 3200/9680 Time: 194.907/86400 c Decision: 3200/9680 Time: 196.399/86400 c Decision: 3200/9680 Time: 197.895/86400 c Decision: 3200/9680 Time: 199.671/86400 c Decision: 3200/9680 Time: 201.389/86400 c Decision: 3200/9680 Time: 202.881/86400 c Decision: 3200/9680 Time: 204.565/86400 c Decision: 3200/9680 Time: 206.037/86400 c Decision: 3200/9680 Time: 211.677/86400 c Decision: 3200/9680 Time: 212.956/86400 c Decision: 3200/9680 Time: 214.291/86400 c Decision: 3200/9680 Time: 215.51/86400 c Decision: 3200/9680 Time: 216.835/86400 c Decision: 3200/9680 Time: 218.312/86400 c Decision: 3200/9680 Time: 222.383/86400 c Decision: 3200/9680 Time: 224.21/86400 c Decision: 3200/9680 Time: 225.531/86400 c Decision: 3200/9680 Time: 226.953/86400 c Decision: 3200/9680 Time: 228.548/86400 c Decision: 3200/9680 Time: 229.971/86400 c Decision: 3200/9680 Time: 231.419/86400 c Decision: 3200/9680 Time: 232.869/86400 c Decision: 3200/9680 Time: 234.235/86400 c Decision: 3200/9680 Time: 239.799/86400 c Decision: 3200/9680 Time: 241.3/86400 c Decision: 3200/9680 Time: 242.913/86400 c Decision: 3200/9680 Time: 244.392/86400 c Decision: 3200/9680 Time: 245.841/86400 c Decision: 3200/9680 Time: 247.255/86400 c Decision: 3200/9680 Time: 248.659/86400 c Decision: 3200/9680 Time: 250.068/86400 c Decision: 3200/9680 Time: 251.372/86400 c Decision: 3200/9680 Time: 252.899/86400 c Decision: 3200/9680 Time: 254.478/86400 c Decision: 3200/9680 Time: 255.987/86400 c Decision: 3200/9680 Time: 257.529/86400 c Decision: 3200/9680 Time: 259.026/86400 c Decision: 3200/9680 Time: 260.522/86400 c Decision: 3200/9680 Time: 262.206/86400 c Decision: 3200/9680 Time: 263.837/86400 c Decision: 3200/9680 Time: 265.374/86400 c Decision: 3200/9680 Time: 266.864/86400 c Decision: 3200/9680 Time: 268.436/86400 c Decision: 3200/9680 Time: 270.32/86400 c Decision: 3200/9680 Time: 272.017/86400 c Decision: 3200/9680 Time: 273.597/86400 c Decision: 3200/9680 Time: 275.517/86400 c Decision: 3200/9680 Time: 277.324/86400 c Decision: 3200/9680 Time: 279.249/86400 c Decision: 3200/9680 Time: 281.413/86400 c Decision: 3200/9680 Time: 283.102/86400 c Decision: 3200/9680 Time: 284.875/86400 c Decision: 3200/9680 Time: 286.476/86400 c Decision: 3200/9680 Time: 288.319/86400 c Decision: 3200/9680 Time: 290.045/86400 c Decision: 3200/9680 Time: 291.915/86400 c Decision: 3200/9680 Time: 293.59/86400 c Decision: 3200/9680 Time: 295.442/86400 c Decision: 3200/9680 Time: 297.502/86400 c Decision: 3200/9680 Time: 299.144/86400 c Decision: 3200/9680 Time: 307.486/86400 c Decision: 3200/9680 Time: 308.924/86400 c Decision: 3200/9680 Time: 311.368/86400 c Decision: 3200/9680 Time: 312.937/86400 c Decision: 3200/9680 Time: 314.505/86400 c Decision: 3200/9680 Time: 316.325/86400 c Decision: 3200/9680 Time: 317.924/86400 c Decision: 3200/9680 Time: 319.3/86400 c Decision: 3200/9680 Time: 320.826/86400 c Decision: 3200/9680 Time: 322.211/86400 c Decision: 3200/9680 Time: 323.736/86400 c Decision: 3200/9680 Time: 325.326/86400 c Decision: 3200/9680 Time: 326.779/86400 c Decision: 3200/9680 Time: 328.405/86400 c Decision: 3200/9680 Time: 329.861/86400 c Decision: 3200/9680 Time: 331.37/86400 c Decision: 3200/9680 Time: 332.97/86400 c Decision: 3200/9680 Time: 334.54/86400 c Decision: 3200/9680 Time: 336.237/86400 c Decision: 3200/9680 Time: 337.773/86400 c Decision: 3200/9680 Time: 339.38/86400 c Decision: 3200/9680 Time: 341.03/86400 c Decision: 3200/9680 Time: 342.707/86400 c Decision: 3200/9680 Time: 344.594/86400 c Decision: 3200/9680 Time: 346.276/86400 c Decision: 3200/9680 Time: 348.377/86400 c Decision: 3200/9680 Time: 350.428/86400 c Decision: 3200/9680 Time: 352.093/86400 c Decision: 3200/9680 Time: 354.034/86400 c Decision: 3200/9680 Time: 355.664/86400 c Decision: 3200/9680 Time: 357.388/86400 c Decision: 3200/9680 Time: 359.087/86400 c Decision: 3200/9680 Time: 361/86400 c Decision: 3200/9680 Time: 363.226/86400 c Decision: 3200/9680 Time: 364.936/86400 c Decision: 3200/9680 Time: 373.593/86400 c Decision: 3200/9680 Time: 375.734/86400 c Decision: 3200/9680 Time: 377.476/86400 c Decision: 3200/9680 Time: 379.605/86400 c Decision: 3200/9680 Time: 381.63/86400 c Decision: 3200/9680 Time: 383.324/86400 c Decision: 3200/9680 Time: 385.177/86400 c Decision: 3200/9680 Time: 387.041/86400 c Decision: 3200/9680 Time: 389.189/86400 c Decision: 3200/9680 Time: 391.126/86400 c Decision: 3200/9680 Time: 392.993/86400 c Decision: 3200/9680 Time: 394.907/86400 c Decision: 3200/9680 Time: 396.91/86400 c Decision: 3200/9680 Time: 399.059/86400 c Decision: 3200/9680 Time: 400.938/86400 c Decision: 3200/9680 Time: 402.882/86400 c Decision: 3200/9680 Time: 405.014/86400 c Decision: 3200/9680 Time: 406.81/86400 c Decision: 3200/9680 Time: 408.998/86400 c Decision: 3200/9680 Time: 411.007/86400 c Decision: 3200/9680 Time: 412.903/86400 c Decision: 3200/9680 Time: 414.853/86400 c Decision: 3200/9680 Time: 416.704/86400 c Decision: 3200/9680 Time: 419.302/86400 c Decision: 3200/9680 Time: 421.296/86400 c Decision: 3200/9680 Time: 431.065/86400 c Decision: 3200/9680 Time: 432.442/86400 c Decision: 3200/9680 Time: 433.916/86400 c Decision: 3200/9680 Time: 438.634/86400 c Decision: 3200/9680 Time: 440.673/86400 c Decision: 3200/9680 Time: 442.115/86400 c Decision: 3200/9680 Time: 445.648/86400 c Decision: 3200/9680 Time: 447.459/86400 c Decision: 3200/9680 Time: 449.104/86400 c Decision: 3200/9680 Time: 450.937/86400 c Decision: 3200/9680 Time: 452.565/86400 c Decision: 3200/9680 Time: 454.12/86400 c Decision: 3200/9680 Time: 455.615/86400 c Decision: 3200/9680 Time: 457.485/86400 c Decision: 3200/9680 Time: 458.843/86400 c Decision: 3200/9680 Time: 460.255/86400 c Decision: 3200/9680 Time: 461.806/86400 c Decision: 3200/9680 Time: 463.313/86400 c Decision: 3200/9680 Time: 464.956/86400 c Decision: 3200/9680 Time: 466.45/86400 c Decision: 3200/9680 Time: 467.99/86400 c Decision: 3200/9680 Time: 474.645/86400 c Decision: 3200/9680 Time: 476.791/86400 c Decision: 3200/9680 Time: 478.538/86400 c Decision: 3200/9680 Time: 480.075/86400 c Decision: 3200/9680 Time: 481.57/86400 c Decision: 3200/9680 Time: 482.92/86400 c Decision: 3200/9680 Time: 484.311/86400 c Decision: 3200/9680 Time: 485.933/86400 c Decision: 3200/9680 Time: 487.282/86400 c Decision: 3200/9680 Time: 488.85/86400 c Decision: 3200/9680 Time: 490.285/86400 c Decision: 3200/9680 Time: 491.74/86400 c Decision: 3200/9680 Time: 493.556/86400 c Decision: 3200/9680 Time: 495.142/86400 c Decision: 3200/9680 Time: 496.804/86400 c Decision: 3200/9680 Time: 498.313/86400 c Decision: 3200/9680 Time: 499.792/86400 c Decision: 3200/9680 Time: 501.561/86400 c Decision: 3200/9680 Time: 503.315/86400 c Decision: 3200/9680 Time: 505.021/86400 c Decision: 3200/9680 Time: 506.697/86400 c Decision: 3200/9680 Time: 508.533/86400 c Decision: 3200/9680 Time: 516.762/86400 c Decision: 3200/9680 Time: 518.913/86400 c Decision: 3200/9680 Time: 520.395/86400 c Decision: 3200/9680 Time: 521.943/86400 c Decision: 3200/9680 Time: 523.58/86400 c Decision: 3200/9680 Time: 528.381/86400 c Decision: 3200/9680 Time: 530.428/86400 c Decision: 3200/9680 Time: 532.337/86400 c Decision: 3200/9680 Time: 535.475/86400 c Decision: 3200/9680 Time: 536.943/86400 c Decision: 3200/9680 Time: 538.694/86400 c Decision: 3200/9680 Time: 543.655/86400 c Decision: 3200/9680 Time: 545.169/86400 c Decision: 3200/9680 Time: 547.036/86400 c Decision: 3200/9680 Time: 548.702/86400 c Decision: 3200/9680 Time: 550.775/86400 c Decision: 3200/9680 Time: 552.462/86400 c Decision: 3200/9680 Time: 554.052/86400 c Decision: 3200/9680 Time: 555.56/86400 c Decision: 3200/9680 Time: 557.11/86400 c Decision: 3200/9680 Time: 558.729/86400 c Decision: 3200/9680 Time: 560.428/86400 c Decision: 3200/9680 Time: 562.015/86400 c Decision: 3200/9680 Time: 563.643/86400 c Decision: 3200/9680 Time: 565.385/86400 c Decision: 3200/9680 Time: 567.2/86400 c Decision: 3200/9680 Time: 569.021/86400 c Decision: 3200/9680 Time: 570.814/86400 c Decision: 3200/9680 Time: 572.289/86400 c Decision: 3200/9680 Time: 574.169/86400 c Decision: 3200/9680 Time: 575.997/86400 c Decision: 3200/9680 Time: 577.754/86400 c Decision: 3200/9680 Time: 587.233/86400 c Decision: 3200/9680 Time: 589.272/86400 c Decision: 3200/9680 Time: 590.881/86400 c Decision: 3200/9680 Time: 592.458/86400 c Decision: 3200/9680 Time: 593.831/86400 c Decision: 3200/9680 Time: 595.286/86400 c Decision: 3200/9680 Time: 596.688/86400 c Decision: 3200/9680 Time: 598.187/86400 c Decision: 3200/9680 Time: 599.812/86400 c Decision: 3200/9680 Time: 601.304/86400 c Decision: 3200/9680 Time: 602.76/86400 c Decision: 3200/9680 Time: 604.341/86400 c Decision: 3200/9680 Time: 605.977/86400 c Decision: 3200/9680 Time: 607.909/86400 c Decision: 3200/9680 Time: 609.538/86400 c Decision: 3200/9680 Time: 611.08/86400 c Decision: 3200/9680 Time: 612.732/86400 c Decision: 3200/9680 Time: 614.545/86400 c Decision: 3200/9680 Time: 616.469/86400 c Decision: 3200/9680 Time: 618.059/86400 c Decision: 3200/9680 Time: 619.571/86400 c Decision: 3200/9680 Time: 621.381/86400 c Decision: 3200/9680 Time: 623.069/86400 c Decision: 3200/9680 Time: 625.056/86400 c Decision: 3200/9680 Time: 626.925/86400 c Decision: 3200/9680 Time: 628.62/86400 c Decision: 3200/9680 Time: 630.174/86400 c Decision: 3200/9680 Time: 632.113/86400 c Decision: 3200/9680 Time: 634.393/86400 c Decision: 3200/9680 Time: 636.033/86400 c Decision: 3200/9680 Time: 637.948/86400 c Decision: 3200/9680 Time: 639.701/86400 c Decision: 3200/9680 Time: 641.45/86400 c Decision: 3200/9680 Time: 652.927/86400 c Decision: 3200/9680 Time: 654.991/86400 c Decision: 3200/9680 Time: 656.887/86400 c Decision: 3200/9680 Time: 658.706/86400 c Decision: 3200/9680 Time: 660.56/86400 c Decision: 3200/9680 Time: 662.765/86400 c Decision: 3200/9680 Time: 664.632/86400 c Decision: 3200/9680 Time: 671.864/86400 c Decision: 3200/9680 Time: 673.198/86400 c Decision: 3200/9680 Time: 674.578/86400 c Decision: 3200/9680 Time: 676.111/86400 c Decision: 3200/9680 Time: 677.474/86400 c Decision: 3200/9680 Time: 679.058/86400 c Decision: 3200/9680 Time: 680.524/86400 c Decision: 3200/9680 Time: 682.105/86400 c Decision: 3200/9680 Time: 683.819/86400 c Decision: 3200/9680 Time: 685.432/86400 c Decision: 3200/9680 Time: 687.088/86400 c Decision: 3200/9680 Time: 688.726/86400 c Decision: 3200/9680 Time: 690.324/86400 c Decision: 3200/9680 Time: 692.343/86400 c Decision: 3200/9680 Time: 693.996/86400 c Decision: 3200/9680 Time: 695.674/86400 c Decision: 3200/9680 Time: 698.05/86400 c Decision: 3200/9680 Time: 699.674/86400 c Decision: 3200/9680 Time: 703.363/86400 c Decision: 3200/9680 Time: 704.99/86400 c Decision: 3200/9680 Time: 706.546/86400 c Decision: 3200/9680 Time: 710.544/86400 c Decision: 3200/9680 Time: 712.329/86400 c Decision: 3200/9680 Time: 714.534/86400 c Decision: 3200/9680 Time: 716.055/86400 c Decision: 3200/9680 Time: 717.587/86400 c Decision: 3200/9680 Time: 719.184/86400 c Decision: 3200/9680 Time: 720.837/86400 c Decision: 3200/9680 Time: 722.495/86400 c Decision: 3200/9680 Time: 724.048/86400 c Decision: 3200/9680 Time: 725.708/86400 c Decision: 3200/9680 Time: 727.283/86400 c Decision: 3200/9680 Time: 728.942/86400 c Decision: 3200/9680 Time: 730.77/86400 c Decision: 3200/9680 Time: 732.556/86400 c Decision: 3200/9680 Time: 734.214/86400 c Decision: 3200/9680 Time: 735.981/86400 c Decision: 3200/9680 Time: 737.741/86400 c Decision: 3200/9680 Time: 746.05/86400 c Decision: 3200/9680 Time: 747.802/86400 c Decision: 3200/9680 Time: 749.737/86400 c Decision: 3200/9680 Time: 751.401/86400 c Decision: 3200/9680 Time: 752.96/86400 c Decision: 3200/9680 Time: 754.764/86400 c Decision: 3200/9680 Time: 756.433/86400 c Decision: 3200/9680 Time: 758.102/86400 c Decision: 3200/9680 Time: 759.792/86400 c Decision: 3200/9680 Time: 761.67/86400 c Decision: 3200/9680 Time: 763.612/86400 c Decision: 3200/9680 Time: 765.424/86400 c Decision: 3200/9680 Time: 767.169/86400 c Decision: 3200/9680 Time: 768.927/86400 c Decision: 3200/9680 Time: 770.7/86400 c Decision: 3200/9680 Time: 772.682/86400 c Decision: 3200/9680 Time: 780.279/86400 c Decision: 3200/9680 Time: 782.069/86400 c Decision: 3200/9680 Time: 783.486/86400 c Decision: 3200/9680 Time: 787.986/86400 c Decision: 3200/9680 Time: 790.428/86400 c Decision: 3200/9680 Time: 793.862/86400 c Decision: 3200/9680 Time: 795.361/86400 c Decision: 3200/9680 Time: 797.911/86400 c Decision: 3200/9680 Time: 799.226/86400 c Decision: 3200/9680 Time: 800.532/86400 c Decision: 3200/9680 Time: 802.015/86400 c Decision: 3200/9680 Time: 803.623/86400 c Decision: 3200/9680 Time: 805.054/86400 c Decision: 3200/9680 Time: 806.495/86400 c Decision: 3200/9680 Time: 808.166/86400 c Decision: 3200/9680 Time: 809.585/86400 c Decision: 3200/9680 Time: 811.396/86400 c Decision: 3200/9680 Time: 813.467/86400 c Decision: 3200/9680 Time: 815.269/86400 c Decision: 3200/9680 Time: 817.169/86400 c Decision: 3200/9680 Time: 818.998/86400 c Decision: 3200/9680 Time: 820.845/86400 c Decision: 3200/9680 Time: 822.544/86400 c Decision: 3200/9680 Time: 824.281/86400 c Decision: 3200/9680 Time: 826.146/86400 c Decision: 3200/9680 Time: 827.852/86400 c Decision: 3200/9680 Time: 829.506/86400 c Decision: 3200/9680 Time: 831.152/86400 c Decision: 3200/9680 Time: 832.867/86400 c Decision: 3200/9680 Time: 835.192/86400 c Decision: 3200/9680 Time: 837.019/86400 c Decision: 3200/9680 Time: 838.765/86400 c Decision: 3200/9680 Time: 840.604/86400 c Decision: 3200/9680 Time: 842.785/86400 c Decision: 3200/9680 Time: 844.874/86400 c Decision: 3200/9680 Time: 846.707/86400 c Decision: 3200/9680 Time: 848.567/86400 c Decision: 3200/9680 Time: 850.469/86400 c Decision: 3200/9680 Time: 852.311/86400 c Decision: 3200/9680 Time: 854.622/86400 c Decision: 3200/9680 Time: 863.528/86400 c Decision: 3200/9680 Time: 865.166/86400 c Decision: 3200/9680 Time: 866.653/86400 c Decision: 3200/9680 Time: 868.195/86400 c Decision: 3200/9680 Time: 873.731/86400 c Decision: 3200/9680 Time: 875.784/86400 c Decision: 3200/9680 Time: 877.509/86400 c Decision: 3200/9680 Time: 880.399/86400 c Decision: 3200/9680 Time: 881.872/86400 c Decision: 3200/9680 Time: 883.293/86400 c Decision: 3200/9680 Time: 885.045/86400 c Decision: 3200/9680 Time: 886.428/86400 c Decision: 3200/9680 Time: 887.908/86400 c Decision: 3200/9680 Time: 889.604/86400 c Decision: 3200/9680 Time: 891.218/86400 c Decision: 3200/9680 Time: 892.798/86400 c Decision: 3200/9680 Time: 894.26/86400 c Decision: 3200/9680 Time: 895.871/86400 c Decision: 3200/9680 Time: 897.545/86400 c Decision: 3200/9680 Time: 899.278/86400 c Decision: 3200/9680 Time: 900.896/86400 c Decision: 3200/9680 Time: 902.8/86400 c Decision: 3200/9680 Time: 904.702/86400 c Decision: 3200/9680 Time: 906.755/86400 c Decision: 3200/9680 Time: 908.84/86400 c Decision: 3200/9680 Time: 910.769/86400 c Decision: 3200/9680 Time: 912.653/86400 c Decision: 3200/9680 Time: 914.36/86400 c Decision: 3200/9680 Time: 916.427/86400 c Decision: 3200/9680 Time: 924.433/86400 c Decision: 3200/9680 Time: 926.229/86400 c Decision: 3200/9680 Time: 927.712/86400 c Decision: 3200/9680 Time: 929.267/86400 c Decision: 3200/9680 Time: 930.8/86400 c Decision: 3200/9680 Time: 932.375/86400 c Decision: 3200/9680 Time: 934.126/86400 c Decision: 3200/9680 Time: 936.549/86400 c Decision: 3200/9680 Time: 938.069/86400 c Decision: 3200/9680 Time: 939.666/86400 c Decision: 3200/9680 Time: 942.047/86400 c Decision: 3200/9680 Time: 943.879/86400 c Decision: 3200/9680 Time: 945.605/86400 c Decision: 3200/9680 Time: 947.292/86400 c Decision: 3200/9680 Time: 948.825/86400 c Decision: 3200/9680 Time: 950.636/86400 c Decision: 3200/9680 Time: 952.596/86400 c Decision: 3200/9680 Time: 954.264/86400 c Decision: 3200/9680 Time: 956.18/86400 c Decision: 3200/9680 Time: 958.391/86400 c Decision: 3200/9680 Time: 960.222/86400 c Decision: 3200/9680 Time: 962.093/86400 c Decision: 3200/9680 Time: 963.79/86400 c Decision: 3200/9680 Time: 965.699/86400 c Decision: 3200/9680 Time: 967.347/86400 c Decision: 3200/9680 Time: 971.483/86400 c Decision: 3200/9680 Time: 972.855/86400 c Decision: 3200/9680 Time: 974.447/86400 c Decision: 3200/9680 Time: 975.938/86400 c Decision: 3200/9680 Time: 977.383/86400 c Decision: 3200/9680 Time: 979.048/86400 c Decision: 3200/9680 Time: 980.544/86400 c Decision: 3200/9680 Time: 981.939/86400 c Decision: 3200/9680 Time: 988.546/86400 c Decision: 3200/9680 Time: 990.192/86400 c Decision: 3200/9680 Time: 992.111/86400 c Decision: 3200/9680 Time: 993.671/86400 c Decision: 3200/9680 Time: 995.053/86400 c Decision: 3200/9680 Time: 996.763/86400 c Decision: 3200/9680 Time: 998.381/86400 c Decision: 3200/9680 Time: 1000.28/86400 c Decision: 3200/9680 Time: 1001.79/86400 c Decision: 3200/9680 Time: 1003.51/86400 c Decision: 3200/9680 Time: 1005.1/86400 c Decision: 3200/9680 Time: 1006.88/86400 c Decision: 3200/9680 Time: 1008.66/86400 c Decision: 3200/9680 Time: 1010.28/86400 c Decision: 3200/9680 Time: 1012.17/86400 c Decision: 3200/9680 Time: 1019.87/86400 c Decision: 3200/9680 Time: 1021.56/86400 c Decision: 3200/9680 Time: 1023.25/86400 c Decision: 3200/9680 Time: 1024.79/86400 c Decision: 3200/9680 Time: 1028.92/86400 c Decision: 3200/9680 Time: 1030.47/86400 c Decision: 3200/9680 Time: 1032.3/86400 c Decision: 3200/9680 Time: 1034.63/86400 c Decision: 3200/9680 Time: 1036.16/86400 c Decision: 3200/9680 Time: 1037.81/86400 c Decision: 3200/9680 Time: 1039.41/86400 c Decision: 3200/9680 Time: 1041.24/86400 c Decision: 3200/9680 Time: 1042.94/86400 c Decision: 3200/9680 Time: 1044.57/86400 c Decision: 3200/9680 Time: 1046.26/86400 c Decision: 3200/9680 Time: 1048.17/86400 c Decision: 3200/9680 Time: 1050.11/86400 c Decision: 3200/9680 Time: 1052.04/86400 c Decision: 3200/9680 Time: 1053.96/86400 c Decision: 3200/9680 Time: 1055.81/86400 c Decision: 3200/9680 Time: 1057.8/86400 c Decision: 3200/9680 Time: 1059.5/86400 c Decision: 3200/9680 Time: 1061.69/86400 c Decision: 3200/9680 Time: 1063.28/86400 c Decision: 3200/9680 Time: 1065.04/86400 c Decision: 3200/9680 Time: 1066.77/86400 c Decision: 3200/9680 Time: 1069.08/86400 c Decision: 3200/9680 Time: 1071.02/86400 c Decision: 3200/9680 Time: 1073.68/86400 c Decision: 3200/9680 Time: 1075.46/86400 c Decision: 3200/9680 Time: 1077.19/86400 c Decision: 3200/9680 Time: 1078.85/86400 c Decision: 3200/9680 Time: 1080.89/86400 c Decision: 3200/9680 Time: 1084.43/86400 c Decision: 3200/9680 Time: 1086.22/86400 c Decision: 3200/9680 Time: 1088.04/86400 c Decision: 3200/9680 Time: 1090.06/86400 c Decision: 3200/9680 Time: 1092.25/86400 c Decision: 3200/9680 Time: 1094.02/86400 c Decision: 3200/9680 Time: 1095.91/86400 c Decision: 3200/9680 Time: 1097.8/86400 c Decision: 3200/9680 Time: 1099.59/86400 c Decision: 3200/9680 Time: 1101.67/86400 c Decision: 3200/9680 Time: 1103.68/86400 c Decision: 3200/9680 Time: 1105.49/86400 c Decision: 3200/9680 Time: 1108.38/86400 c Decision: 3200/9680 Time: 1110.34/86400 c Decision: 3200/9680 Time: 1112.4/86400 c Decision: 3200/9680 Time: 1114.36/86400 c Decision: 3200/9680 Time: 1116.69/86400 c Decision: 3200/9680 Time: 1127.9/86400 c Decision: 3200/9680 Time: 1129.56/86400 c Decision: 3200/9680 Time: 1131.42/86400 c Decision: 3200/9680 Time: 1132.94/86400 c Decision: 3200/9680 Time: 1134.69/86400 c Decision: 3200/9680 Time: 1136.19/86400 c Decision: 3200/9680 Time: 1137.88/86400 c Decision: 3200/9680 Time: 1139.6/86400 c Decision: 3200/9680 Time: 1141.19/86400 c Decision: 3200/9680 Time: 1142.8/86400 c Decision: 3200/9680 Time: 1144.29/86400 c Decision: 3200/9680 Time: 1146.17/86400 c Decision: 3200/9680 Time: 1147.75/86400 c Decision: 3200/9680 Time: 1149.29/86400 c Decision: 3200/9680 Time: 1151.07/86400 c Decision: 3200/9680 Time: 1152.82/86400 c Decision: 3200/9680 Time: 1154.61/86400 c Decision: 3200/9680 Time: 1156.73/86400 c Decision: 3200/9680 Time: 1158.59/86400 c Decision: 3200/9680 Time: 1160.61/86400 c Decision: 3200/9680 Time: 1162.53/86400 c Decision: 3200/9680 Time: 1164.31/86400 c Decision: 3200/9680 Time: 1166.41/86400 c Decision: 3200/9680 Time: 1168.18/86400 c Decision: 3200/9680 Time: 1170.27/86400 c Decision: 3200/9680 Time: 1177.04/86400 c Decision: 3200/9680 Time: 1178.54/86400 c Decision: 3200/9680 Time: 1180.28/86400 c Decision: 3200/9680 Time: 1181.65/86400 c Decision: 3200/9680 Time: 1183.32/86400 c Decision: 3200/9680 Time: 1185.13/86400 c Decision: 3200/9680 Time: 1186.64/86400 c Decision: 3200/9680 Time: 1188.35/86400 c Decision: 3200/9680 Time: 1189.93/86400 c Decision: 3200/9680 Time: 1191.86/86400 c Decision: 3200/9680 Time: 1193.78/86400 c Decision: 3200/9680 Time: 1195.79/86400 c Decision: 3200/9680 Time: 1197.55/86400 c Decision: 3200/9680 Time: 1199.4/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.92 0.97 0.90 1/54 11260 Raw data (stat): 11260 (runsolver) R 11259 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964732531 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0006 s] Raw data (loadavg): 0.93 0.97 0.90 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 2102 0 0 0 993 6 0 0 25 0 1 0 964732531 8916992 1681 4294967295 134512640 135730672 3221224576 3221222900 135282783 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2177 1681 301 301 0 1876 0 vsize: 8708 [startup+20.0003 s] Raw data (loadavg): 0.94 0.97 0.90 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 2718 0 0 0 1991 8 0 0 25 0 1 0 964732531 13250560 2297 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3235 2297 301 301 0 2934 0 vsize: 12940 [startup+30.0012 s] Raw data (loadavg): 0.95 0.97 0.90 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 3202 0 0 0 2989 10 0 0 25 0 1 0 964732531 13398016 2781 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3271 2781 301 301 0 2970 0 vsize: 13084 [startup+40.001 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 3617 0 0 0 3988 12 0 0 25 0 1 0 964732531 21925888 3196 4294967295 134512640 135730672 3221224576 3221222824 134813779 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5353 3196 301 301 0 5052 0 vsize: 21412 [startup+50.0015 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 4089 0 0 0 4986 14 0 0 25 0 1 0 964732531 22073344 3668 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5389 3668 301 301 0 5088 0 vsize: 21556 [startup+60.002 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 4894 0 0 0 5983 16 0 0 25 0 1 0 964732531 22814720 4473 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5570 4473 301 301 0 5269 0 vsize: 22280 [startup+70.0028 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 5982 0 0 0 6980 19 0 0 25 0 1 0 964732531 24821760 5368 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6060 5368 301 301 0 5759 0 vsize: 24240 [startup+80.0035 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 6810 0 0 0 7975 23 0 0 25 0 1 0 964732531 43528192 6196 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10627 6196 301 301 0 10326 0 vsize: 42508 [startup+90.0035 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 7008 0 0 0 8969 28 0 0 25 0 1 0 964732531 44306432 6394 4294967295 134512640 135730672 3221224576 3221222896 134732625 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10817 6394 301 301 0 10516 0 vsize: 43268 [startup+100.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 7048 0 0 0 9968 30 0 0 25 0 1 0 964732531 44376064 6434 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10834 6434 301 301 0 10533 0 vsize: 43336 [startup+110.005 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 7141 0 0 0 10967 31 0 0 25 0 1 0 964732531 44605440 6527 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10890 6527 301 301 0 10589 0 vsize: 43560 [startup+120.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 7394 0 0 0 11963 35 0 0 25 0 1 0 964732531 45588480 6780 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11130 6780 301 301 0 10829 0 vsize: 44520 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 7449 0 0 0 12958 39 0 0 25 0 1 0 964732531 45723648 6835 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11163 6835 301 301 0 10862 0 vsize: 44652 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 7507 0 0 0 13954 44 0 0 25 0 1 0 964732531 45826048 6893 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11188 6893 301 301 0 10887 0 vsize: 44752 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 7954 0 0 0 14951 47 0 0 25 0 1 0 964732531 47521792 6955 4294967295 134512640 135730672 3221224576 3221223120 134740251 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11602 6955 301 301 0 11301 0 vsize: 46408 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8046 0 0 0 15946 52 0 0 25 0 1 0 964732531 47878144 7047 4294967295 134512640 135730672 3221224576 3221223184 134744763 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11689 7047 301 301 0 11388 0 vsize: 46756 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8212 0 0 0 16944 54 0 0 25 0 1 0 964732531 48455680 7213 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11830 7213 301 301 0 11529 0 vsize: 47320 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8295 0 0 0 17939 59 0 0 25 0 1 0 964732531 48812032 7296 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11917 7296 301 301 0 11616 0 vsize: 47668 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8331 0 0 0 18938 61 0 0 25 0 1 0 964732531 48812032 7332 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11917 7332 301 301 0 11616 0 vsize: 47668 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8373 0 0 0 19936 62 0 0 25 0 1 0 964732531 48869376 7374 4294967295 134512640 135730672 3221224576 3221223200 134783060 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11931 7374 301 301 0 11630 0 vsize: 47724 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8421 0 0 0 20933 66 0 0 25 0 1 0 964732531 49086464 7422 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11984 7422 301 301 0 11683 0 vsize: 47936 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8518 0 0 0 21930 69 0 0 25 0 1 0 964732531 49299456 7519 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12036 7519 301 301 0 11735 0 vsize: 48144 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8570 0 0 0 22927 72 0 0 25 0 1 0 964732531 49434624 7571 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12069 7571 301 301 0 11768 0 vsize: 48276 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8589 0 0 0 23921 78 0 0 25 0 1 0 964732531 49434624 7590 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12069 7590 301 301 0 11768 0 vsize: 48276 [startup+250.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8661 0 0 0 24921 79 0 0 25 0 1 0 964732531 49631232 7662 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12117 7662 301 301 0 11816 0 vsize: 48468 [startup+260.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8698 0 0 0 25920 80 0 0 25 0 1 0 964732531 49631232 7699 4294967295 134512640 135730672 3221224576 3221222648 135284936 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12117 7699 301 301 0 11816 0 vsize: 48468 [startup+270.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8745 0 0 0 26919 81 0 0 25 0 1 0 964732531 49754112 7746 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12147 7746 301 301 0 11846 0 vsize: 48588 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8826 0 0 0 27918 82 0 0 25 0 1 0 964732531 50008064 7827 4294967295 134512640 135730672 3221224576 3221222896 134732625 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12209 7827 301 301 0 11908 0 vsize: 48836 [startup+290.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8894 0 0 0 28915 85 0 0 25 0 1 0 964732531 50180096 7895 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12251 7895 301 301 0 11950 0 vsize: 49004 [startup+300.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8995 0 0 0 29914 87 0 0 25 0 1 0 964732531 50524160 7996 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12335 7996 301 301 0 12034 0 vsize: 49340 [startup+310.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 9091 0 0 0 30909 92 0 0 25 0 1 0 964732531 50860032 8092 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12417 8092 301 301 0 12116 0 vsize: 49668 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 9129 0 0 0 31905 96 0 0 25 0 1 0 964732531 50917376 8130 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12431 8130 301 301 0 12130 0 vsize: 49724 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 9931 0 0 0 32901 100 0 0 25 0 1 0 964732531 54063104 8163 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13199 8163 301 301 0 12898 0 vsize: 52796 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 9974 0 0 0 33901 101 0 0 25 0 1 0 964732531 54136832 8206 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13217 8206 301 301 0 12916 0 vsize: 52868 [startup+350.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 10016 0 0 0 34900 102 0 0 25 0 1 0 964732531 54198272 8248 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13232 8248 301 301 0 12931 0 vsize: 52928 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 10069 0 0 0 35899 102 0 0 25 0 1 0 964732531 54325248 8301 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13263 8301 301 301 0 12962 0 vsize: 53052 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 10244 0 0 0 36896 105 0 0 25 0 1 0 964732531 55083008 8476 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13448 8476 301 301 0 13147 0 vsize: 53792 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 10558 0 0 0 37893 109 0 0 25 0 1 0 964732531 56246272 8790 4294967295 134512640 135730672 3221224576 3221223200 134783330 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13732 8790 301 301 0 13431 0 vsize: 54928 [startup+390.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 10650 0 0 0 38892 111 0 0 25 0 1 0 964732531 56492032 8882 4294967295 134512640 135730672 3221224576 3221223200 134748120 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13792 8882 301 301 0 13491 0 vsize: 55168 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 10822 0 0 0 39891 112 0 0 25 0 1 0 964732531 57102336 9054 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13941 9054 301 301 0 13640 0 vsize: 55764 [startup+410.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 10996 0 0 0 40889 113 0 0 25 0 1 0 964732531 57536512 9228 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14047 9228 301 301 0 13746 0 vsize: 56188 [startup+420.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11174 0 0 0 41888 115 0 0 25 0 1 0 964732531 58249216 9406 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14221 9406 301 301 0 13920 0 vsize: 56884 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11288 0 0 0 42884 119 0 0 25 0 1 0 964732531 58667008 9520 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14323 9520 301 301 0 14022 0 vsize: 57292 [startup+440.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11324 0 0 0 43879 124 0 0 25 0 1 0 964732531 58765312 9556 4294967295 134512640 135730672 3221224576 3221222800 134813821 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14347 9556 301 301 0 14046 0 vsize: 57388 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11344 0 0 0 44875 128 0 0 25 0 1 0 964732531 58765312 9576 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14347 9576 301 301 0 14046 0 vsize: 57388 [startup+460.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11369 0 0 0 45874 129 0 0 25 0 1 0 964732531 58765312 9601 4294967295 134512640 135730672 3221224576 3221222872 134767107 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14347 9601 301 301 0 14046 0 vsize: 57388 [startup+470.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11392 0 0 0 46873 131 0 0 25 0 1 0 964732531 58765312 9624 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14347 9624 301 301 0 14046 0 vsize: 57388 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11409 0 0 0 47869 135 0 0 25 0 1 0 964732531 58765312 9641 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14347 9641 301 301 0 14046 0 vsize: 57388 [startup+490.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11440 0 0 0 48868 136 0 0 25 0 1 0 964732531 58765312 9672 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14347 9672 301 301 0 14046 0 vsize: 57388 [startup+500.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11472 0 0 0 49867 137 0 0 25 0 1 0 964732531 58765312 9704 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14347 9704 301 301 0 14046 0 vsize: 57388 [startup+510.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11501 0 0 0 50865 139 0 0 25 0 1 0 964732531 58822656 9733 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14361 9733 301 301 0 14060 0 vsize: 57444 [startup+520.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11591 0 0 0 51861 143 0 0 25 0 1 0 964732531 59170816 9823 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14446 9823 301 301 0 14145 0 vsize: 57784 [startup+530.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11631 0 0 0 52858 147 0 0 25 0 1 0 964732531 59260928 9863 4294967295 134512640 135730672 3221224576 3221222896 134732625 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14468 9863 301 301 0 14167 0 vsize: 57872 [startup+540.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11664 0 0 0 53853 152 0 0 25 0 1 0 964732531 59322368 9896 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14483 9896 301 301 0 14182 0 vsize: 57932 [startup+550.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11699 0 0 0 54849 157 0 0 25 0 1 0 964732531 59392000 9931 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14500 9931 301 301 0 14199 0 vsize: 58000 [startup+560.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11726 0 0 0 55848 157 0 0 25 0 1 0 964732531 59392000 9958 4294967295 134512640 135730672 3221224576 3221222912 134767181 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14500 9958 301 301 0 14199 0 vsize: 58000 [startup+570.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11754 0 0 0 56847 159 0 0 25 0 1 0 964732531 59392000 9986 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14500 9986 301 301 0 14199 0 vsize: 58000 [startup+580.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11785 0 0 0 57845 161 0 0 25 0 1 0 964732531 59453440 10017 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14515 10017 301 301 0 14214 0 vsize: 58060 [startup+590.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11870 0 0 0 58840 166 0 0 25 0 1 0 964732531 59723776 10102 4294967295 134512640 135730672 3221224576 3221223120 134740301 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14581 10102 301 301 0 14280 0 vsize: 58324 [startup+600.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11898 0 0 0 59839 167 0 0 25 0 1 0 964732531 59723776 10130 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14581 10130 301 301 0 14280 0 vsize: 58324 [startup+610.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11928 0 0 0 60838 169 0 0 25 0 1 0 964732531 59785216 10160 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14596 10160 301 301 0 14295 0 vsize: 58384 [startup+620.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11962 0 0 0 61836 170 0 0 25 0 1 0 964732531 59785216 10194 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14596 10194 301 301 0 14295 0 vsize: 58384 [startup+630.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12004 0 0 0 62835 171 0 0 25 0 1 0 964732531 59858944 10236 4294967295 134512640 135730672 3221224576 3221222960 134763180 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14614 10236 301 301 0 14313 0 vsize: 58456 [startup+640.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12037 0 0 0 63835 172 0 0 25 0 1 0 964732531 59920384 10269 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14629 10269 301 301 0 14328 0 vsize: 58516 [startup+650.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12078 0 0 0 64832 175 0 0 25 0 1 0 964732531 60121088 10310 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14678 10310 301 301 0 14377 0 vsize: 58712 [startup+660.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12181 0 0 0 65830 177 0 0 25 0 1 0 964732531 60416000 10413 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14750 10413 301 301 0 14449 0 vsize: 59000 [startup+670.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12223 0 0 0 66827 180 0 0 25 0 1 0 964732531 60628992 10455 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14802 10455 301 301 0 14501 0 vsize: 59208 [startup+680.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12328 0 0 0 67824 183 0 0 25 0 1 0 964732531 60891136 10560 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14866 10560 301 301 0 14565 0 vsize: 59464 [startup+690.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12359 0 0 0 68823 185 0 0 25 0 1 0 964732531 60891136 10591 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14866 10591 301 301 0 14565 0 vsize: 59464 [startup+700.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12437 0 0 0 69822 186 0 0 25 0 1 0 964732531 61161472 10669 4294967295 134512640 135730672 3221224576 3221223120 134740276 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14932 10669 301 301 0 14631 0 vsize: 59728 [startup+710.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12466 0 0 0 70815 193 0 0 25 0 1 0 964732531 61161472 10698 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14932 10698 301 301 0 14631 0 vsize: 59728 [startup+720.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14042 0 0 0 71809 199 0 0 25 0 1 0 964732531 67559424 10737 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16494 10737 301 301 0 16193 0 vsize: 65976 [startup+730.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14071 0 0 0 72809 200 0 0 25 0 1 0 964732531 67559424 10766 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16494 10766 301 301 0 16193 0 vsize: 65976 [startup+740.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14095 0 0 0 73807 202 0 0 25 0 1 0 964732531 67559424 10790 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16494 10790 301 301 0 16193 0 vsize: 65976 [startup+750.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14120 0 0 0 74802 207 0 0 25 0 1 0 964732531 67649536 10815 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16516 10815 301 301 0 16215 0 vsize: 66064 [startup+760.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14158 0 0 0 75801 208 0 0 25 0 1 0 964732531 67706880 10853 4294967295 134512640 135730672 3221224576 3221223088 134746474 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16530 10853 301 301 0 16229 0 vsize: 66120 [startup+770.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14200 0 0 0 76800 209 0 0 25 0 1 0 964732531 67764224 10895 4294967295 134512640 135730672 3221224576 3221222904 134814122 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16544 10895 301 301 0 16243 0 vsize: 66176 [startup+780.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14251 0 0 0 77796 214 0 0 25 0 1 0 964732531 68042752 10946 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16612 10946 301 301 0 16311 0 vsize: 66448 [startup+790.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14369 0 0 0 78791 219 0 0 25 0 1 0 964732531 68382720 11064 4294967295 134512640 135730672 3221224576 3221223120 134740380 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16695 11064 301 301 0 16394 0 vsize: 66780 [startup+800.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14401 0 0 0 79784 225 0 0 25 0 1 0 964732531 68382720 11096 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16695 11096 301 301 0 16394 0 vsize: 66780 [startup+810.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14433 0 0 0 80783 227 0 0 25 0 1 0 964732531 68444160 11128 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16710 11128 301 301 0 16409 0 vsize: 66840 [startup+820.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14461 0 0 0 81782 229 0 0 25 0 1 0 964732531 68444160 11156 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16710 11156 301 301 0 16409 0 vsize: 66840 [startup+830.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14497 0 0 0 82781 230 0 0 25 0 1 0 964732531 68501504 11192 4294967295 134512640 135730672 3221224576 3221223184 134744459 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16724 11192 301 301 0 16423 0 vsize: 66896 [startup+840.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14530 0 0 0 83780 231 0 0 25 0 1 0 964732531 68558848 11225 4294967295 134512640 135730672 3221224576 3221223168 134763611 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16738 11225 301 301 0 16437 0 vsize: 66952 [startup+850.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14569 0 0 0 84779 231 0 0 25 0 1 0 964732531 68624384 11264 4294967295 134512640 135730672 3221224576 3221222648 135284259 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16754 11264 301 301 0 16453 0 vsize: 67016 [startup+860.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14590 0 0 0 85776 235 0 0 25 0 1 0 964732531 68689920 11285 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16770 11285 301 301 0 16469 0 vsize: 67080 [startup+870.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14702 0 0 0 86773 238 0 0 25 0 1 0 964732531 69079040 11397 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16865 11397 301 301 0 16564 0 vsize: 67460 [startup+880.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14734 0 0 0 87769 242 0 0 25 0 1 0 964732531 69156864 11429 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16884 11429 301 301 0 16583 0 vsize: 67536 [startup+890.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14772 0 0 0 88767 244 0 0 25 0 1 0 964732531 69156864 11467 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16884 11467 301 301 0 16583 0 vsize: 67536 [startup+900.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14804 0 0 0 89767 245 0 0 25 0 1 0 964732531 69214208 11499 4294967295 134512640 135730672 3221224576 3221223168 134763776 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16898 11499 301 301 0 16597 0 vsize: 67592 [startup+910.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11260 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14836 0 0 0 90766 246 0 0 25 0 1 0 964732531 69275648 11531 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16913 11531 301 301 0 16612 0 vsize: 67652 [startup+920.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 11298 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14854 0 0 0 91764 248 0 0 25 0 1 0 964732531 69275648 11549 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16913 11549 301 301 0 16612 0 vsize: 67652 [startup+930.028 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 11313 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14955 0 0 0 92761 251 0 0 25 0 1 0 964732531 69615616 11650 4294967295 134512640 135730672 3221224576 3221222648 135284348 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16996 11650 301 301 0 16695 0 vsize: 67984 [startup+940.029 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 11313 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14980 0 0 0 93760 253 0 0 25 0 1 0 964732531 69615616 11675 4294967295 134512640 135730672 3221224576 3221223184 134744754 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16996 11675 301 301 0 16695 0 vsize: 67984 [startup+950.03 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 11313 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15008 0 0 0 94759 254 0 0 25 0 1 0 964732531 69615616 11703 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16996 11703 301 301 0 16695 0 vsize: 67984 [startup+960.03 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 11313 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15041 0 0 0 95758 255 0 0 25 0 1 0 964732531 69677056 11736 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17011 11736 301 301 0 16710 0 vsize: 68044 [startup+970.03 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 11313 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15069 0 0 0 96755 258 0 0 25 0 1 0 964732531 69738496 11764 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17026 11764 301 301 0 16725 0 vsize: 68104 [startup+980.031 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 11313 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15160 0 0 0 97753 261 0 0 25 0 1 0 964732531 69996544 11855 4294967295 134512640 135730672 3221224576 3221223168 134763784 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17089 11855 301 301 0 16788 0 vsize: 68356 [startup+990.03 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15218 0 0 0 98746 268 0 0 25 0 1 0 964732531 70193152 11913 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17137 11913 301 301 0 16836 0 vsize: 68548 [startup+1000.03 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15247 0 0 0 99745 269 0 0 25 0 1 0 964732531 70193152 11942 4294967295 134512640 135730672 3221224576 3221223072 134747851 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17137 11942 301 301 0 16836 0 vsize: 68548 [startup+1010.03 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15277 0 0 0 100743 271 0 0 25 0 1 0 964732531 70193152 11972 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17137 11972 301 301 0 16836 0 vsize: 68548 [startup+1020.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15289 0 0 0 101738 276 0 0 25 0 1 0 964732531 70193152 11984 4294967295 134512640 135730672 3221224576 3221223088 134746399 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17137 11984 301 301 0 16836 0 vsize: 68548 [startup+1030.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15376 0 0 0 102732 282 0 0 25 0 1 0 964732531 70524928 12071 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17218 12071 301 301 0 16917 0 vsize: 68872 [startup+1040.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15403 0 0 0 103731 284 0 0 25 0 1 0 964732531 70524928 12098 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17218 12098 301 301 0 16917 0 vsize: 68872 [startup+1050.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15429 0 0 0 104730 285 0 0 25 0 1 0 964732531 70524928 12124 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17218 12124 301 301 0 16917 0 vsize: 68872 [startup+1060.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15457 0 0 0 105729 286 0 0 25 0 1 0 964732531 70524928 12152 4294967295 134512640 135730672 3221224576 3221223184 134744450 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17218 12152 301 301 0 16917 0 vsize: 68872 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15484 0 0 0 106728 287 0 0 25 0 1 0 964732531 70586368 12179 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17233 12179 301 301 0 16932 0 vsize: 68932 [startup+1080.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15540 0 0 0 107725 291 0 0 25 0 1 0 964732531 70721536 12235 4294967295 134512640 135730672 3221224576 3221223056 134732800 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17266 12235 301 301 0 16965 0 vsize: 69064 [startup+1090.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15566 0 0 0 108721 294 0 0 25 0 1 0 964732531 70721536 12261 4294967295 134512640 135730672 3221224576 3221222892 134813650 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17266 12261 301 301 0 16965 0 vsize: 69064 [startup+1100.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15592 0 0 0 109720 296 0 0 25 0 1 0 964732531 70782976 12287 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17281 12287 301 301 0 16980 0 vsize: 69124 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15634 0 0 0 110719 297 0 0 25 0 1 0 964732531 70852608 12329 4294967295 134512640 135730672 3221224576 3221222824 135284791 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17298 12329 301 301 0 16997 0 vsize: 69192 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15683 0 0 0 111715 301 0 0 25 0 1 0 964732531 70979584 12378 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17329 12378 301 301 0 17028 0 vsize: 69316 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15811 0 0 0 112711 306 0 0 25 0 1 0 964732531 71512064 12506 4294967295 134512640 135730672 3221224576 3221223184 134744459 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17459 12506 301 301 0 17158 0 vsize: 69836 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15838 0 0 0 113710 307 0 0 25 0 1 0 964732531 71512064 12533 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17459 12533 301 301 0 17158 0 vsize: 69836 [startup+1150.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15868 0 0 0 114708 309 0 0 25 0 1 0 964732531 71512064 12563 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17459 12563 301 301 0 17158 0 vsize: 69836 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15899 0 0 0 115708 309 0 0 25 0 1 0 964732531 71573504 12594 4294967295 134512640 135730672 3221224576 3221223120 134740242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17474 12594 301 301 0 17173 0 vsize: 69896 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15929 0 0 0 116707 310 0 0 25 0 1 0 964732531 71573504 12624 4294967295 134512640 135730672 3221224576 3221222896 134732683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17474 12624 301 301 0 17173 0 vsize: 69896 [startup+1180.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 16026 0 0 0 117703 314 0 0 25 0 1 0 964732531 71970816 12721 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17571 12721 301 301 0 17270 0 vsize: 70284 [startup+1190.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 16055 0 0 0 118702 315 0 0 25 0 1 0 964732531 71970816 12750 4294967295 134512640 135730672 3221224576 3221222896 134732800 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17571 12750 301 301 0 17270 0 vsize: 70284 [startup+1200.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11315 Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 16082 0 0 0 119701 317 0 0 25 0 1 0 964732531 71970816 12777 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17571 12777 301 301 0 17270 0 vsize: 70284 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.32 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 11315 Raw data (stat): 11260 (pb2sat-v2) Z 11259 20224 20223 0 -1 12 16084 0 0 0 119727 319 0 0 25 0 1 0 964732531 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1200.32 CPU time (s): 1200.47 CPU user time (s): 1197.27 CPU system time (s): 3.19551 CPU usage (%): 100.012 Max. virtual memory (Kb): 70284 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####