Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb |
MD5SUM | 6c328ef6f9d8d5a179eec9bf3550b7fd |
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 | 26 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.027995 |
Number of variables | 1000 |
Total number of constraints | 90 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 40 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 25 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-15 19:12:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25107 boxname=wulflinc4 idbench=9 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 6c328ef6f9d8d5a179eec9bf3550b7fd /oldhome/oroussel/tmp/wulflinc4/normalized-chnl20_25_pb.cnf.cr.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-chnl20_25_pb.cnf.cr.opb IDLAUNCH: 25107 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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.169 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: 735752 kB Buffers: 33252 kB Cached: 243856 kB SwapCached: 944 kB Active: 52524 kB Inactive: 226684 kB HighTotal: 131008 kB HighFree: 10780 kB LowTotal: 903652 kB LowFree: 724972 kB SwapTotal: 2097136 kB SwapFree: 2095208 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4992 kB Slab: 13856 kB Committed_AS: 71908 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-15 19:32:10 (client local time) WITH STATUS 0 IN 1200.45 SECONDS stats: 25107 7 1200.45 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 960/2920 Time: 24.6982/86400 c Decision: 960/2920 Time: 25.6611/86400 c Decision: 960/2920 Time: 26.525/86400 c Decision: 960/2920 Time: 27.4538/86400 c Decision: 960/2920 Time: 28.4957/86400 c Decision: 960/2920 Time: 29.6775/86400 c Decision: 960/2920 Time: 30.8533/86400 c Decision: 960/2920 Time: 32.0071/86400 c Decision: 960/2920 Time: 33.058/86400 c Decision: 960/2920 Time: 34.2378/86400 c Decision: 960/2920 Time: 35.5976/86400 c Decision: 960/2920 Time: 36.7634/86400 c Decision: 960/2920 Time: 37.8622/86400 c Decision: 960/2920 Time: 39.1291/86400 c Decision: 960/2920 Time: 40.3769/86400 c Decision: 960/2920 Time: 41.6507/86400 c Decision: 960/2920 Time: 42.6295/86400 c Decision: 960/2920 Time: 43.6534/86400 c Decision: 960/2920 Time: 44.6562/86400 c Decision: 960/2920 Time: 45.784/86400 c Decision: 960/2920 Time: 46.9989/86400 c Decision: 960/2920 Time: 48.1427/86400 c Decision: 960/2920 Time: 49.3335/86400 c Decision: 960/2920 Time: 50.5403/86400 c Decision: 960/2920 Time: 51.8441/86400 c Decision: 960/2920 Time: 53.4699/86400 c Decision: 960/2920 Time: 54.7597/86400 c Decision: 960/2920 Time: 56.1295/86400 c Decision: 960/2920 Time: 57.5413/86400 c Decision: 960/2920 Time: 58.965/86400 c Decision: 960/2920 Time: 60.5488/86400 c Decision: 960/2920 Time: 62.0676/86400 c Decision: 960/2920 Time: 63.4274/86400 c Decision: 960/2920 Time: 64.7901/86400 c Decision: 960/2920 Time: 66.093/86400 c Decision: 960/2920 Time: 67.6407/86400 c Decision: 960/2920 Time: 69.0685/86400 c Decision: 960/2920 Time: 70.4813/86400 c Decision: 960/2920 Time: 71.9361/86400 c Decision: 960/2920 Time: 73.2589/86400 c Decision: 960/2920 Time: 74.7636/86400 c Decision: 960/2920 Time: 76.2094/86400 c Decision: 960/2920 Time: 77.6302/86400 c Decision: 960/2920 Time: 78.916/86400 c Decision: 960/2920 Time: 80.3938/86400 c Decision: 960/2920 Time: 82.0305/86400 c Decision: 960/2920 Time: 83.5143/86400 c Decision: 960/2920 Time: 85.0891/86400 c Decision: 960/2920 Time: 86.8098/86400 c Decision: 960/2920 Time: 88.2586/86400 c Decision: 960/2920 Time: 90.0313/86400 c Decision: 960/2920 Time: 91.4761/86400 c Decision: 960/2920 Time: 92.9979/86400 c Decision: 960/2920 Time: 94.4716/86400 c Decision: 960/2920 Time: 95.8794/86400 c Decision: 960/2920 Time: 97.6692/86400 c Decision: 960/2920 Time: 99.2789/86400 c Decision: 960/2920 Time: 100.823/86400 c Decision: 960/2920 Time: 102.491/86400 c Decision: 960/2920 Time: 104.035/86400 c Decision: 960/2920 Time: 105.894/86400 c Decision: 960/2920 Time: 107.385/86400 c Decision: 960/2920 Time: 108.947/86400 c Decision: 960/2920 Time: 110.619/86400 c Decision: 960/2920 Time: 112.285/86400 c Decision: 960/2920 Time: 114.247/86400 c Decision: 960/2920 Time: 115.826/86400 c Decision: 960/2920 Time: 117.452/86400 c Decision: 960/2920 Time: 119.032/86400 c Decision: 960/2920 Time: 120.808/86400 c Decision: 960/2920 Time: 122.692/86400 c Decision: 960/2920 Time: 124.35/86400 c Decision: 960/2920 Time: 125.915/86400 c Decision: 960/2920 Time: 127.593/86400 c Decision: 960/2920 Time: 129.245/86400 c Decision: 960/2920 Time: 131.299/86400 c Decision: 960/2920 Time: 132.871/86400 c Decision: 960/2920 Time: 134.461/86400 c Decision: 960/2920 Time: 136.164/86400 c Decision: 960/2920 Time: 137.979/86400 c Decision: 960/2920 Time: 139.976/86400 c Decision: 960/2920 Time: 141.69/86400 c Decision: 960/2920 Time: 143.533/86400 c Decision: 960/2920 Time: 145.225/86400 c Decision: 960/2920 Time: 146.947/86400 c Decision: 960/2920 Time: 148.918/86400 c Decision: 960/2920 Time: 150.779/86400 c Decision: 960/2920 Time: 152.501/86400 c Decision: 960/2920 Time: 154.211/86400 c Decision: 960/2920 Time: 155.908/86400 c Decision: 960/2920 Time: 157.982/86400 c Decision: 960/2920 Time: 159.783/86400 c Decision: 960/2920 Time: 161.626/86400 c Decision: 960/2920 Time: 163.386/86400 c Decision: 960/2920 Time: 165.285/86400 c Decision: 960/2920 Time: 167.493/86400 c Decision: 960/2920 Time: 169.447/86400 c Decision: 960/2920 Time: 171.437/86400 c Decision: 960/2920 Time: 173.292/86400 c Decision: 960/2920 Time: 175.223/86400 c Decision: 960/2920 Time: 177.493/86400 c Decision: 960/2920 Time: 179.278/86400 c Decision: 960/2920 Time: 181.135/86400 c Decision: 960/2920 Time: 183.06/86400 c Decision: 960/2920 Time: 184.957/86400 c Decision: 960/2920 Time: 187.187/86400 c Decision: 960/2920 Time: 189.154/86400 c Decision: 960/2920 Time: 191.113/86400 c Decision: 960/2920 Time: 192.955/86400 c Decision: 960/2920 Time: 194.702/86400 c Decision: 960/2920 Time: 197.182/86400 c Decision: 960/2920 Time: 199.066/86400 c Decision: 960/2920 Time: 200.934/86400 c Decision: 960/2920 Time: 202.789/86400 c Decision: 960/2920 Time: 204.654/86400 c Decision: 960/2920 Time: 206.991/86400 c Decision: 960/2920 Time: 208.878/86400 c Decision: 960/2920 Time: 210.753/86400 c Decision: 960/2920 Time: 212.651/86400 c Decision: 960/2920 Time: 214.536/86400 c Decision: 960/2920 Time: 216.799/86400 c Decision: 960/2920 Time: 218.589/86400 c Decision: 960/2920 Time: 220.54/86400 c Decision: 960/2920 Time: 222.5/86400 c Decision: 960/2920 Time: 224.38/86400 c Decision: 960/2920 Time: 226.818/86400 c Decision: 960/2920 Time: 228.7/86400 c Decision: 960/2920 Time: 230.643/86400 c Decision: 960/2920 Time: 232.547/86400 c Decision: 960/2920 Time: 234.524/86400 c Decision: 960/2920 Time: 236.769/86400 c Decision: 960/2920 Time: 238.763/86400 c Decision: 960/2920 Time: 240.738/86400 c Decision: 960/2920 Time: 242.899/86400 c Decision: 960/2920 Time: 244.763/86400 c Decision: 960/2920 Time: 247.148/86400 c Decision: 960/2920 Time: 249.045/86400 c Decision: 960/2920 Time: 250.906/86400 c Decision: 960/2920 Time: 252.814/86400 c Decision: 960/2920 Time: 254.749/86400 c Decision: 960/2920 Time: 257.053/86400 c Decision: 960/2920 Time: 259.069/86400 c Decision: 960/2920 Time: 260.954/86400 c Decision: 960/2920 Time: 262.818/86400 c Decision: 960/2920 Time: 264.69/86400 c Decision: 960/2920 Time: 267.14/86400 c Decision: 960/2920 Time: 269.159/86400 c Decision: 960/2920 Time: 271.212/86400 c Decision: 960/2920 Time: 273.033/86400 c Decision: 960/2920 Time: 274.971/86400 c Decision: 960/2920 Time: 277.235/86400 c Decision: 960/2920 Time: 279.343/86400 c Decision: 960/2920 Time: 281.311/86400 c Decision: 960/2920 Time: 283.223/86400 c Decision: 960/2920 Time: 285.12/86400 c Decision: 960/2920 Time: 287.502/86400 c Decision: 960/2920 Time: 289.642/86400 c Decision: 960/2920 Time: 291.636/86400 c Decision: 960/2920 Time: 293.761/86400 c Decision: 960/2920 Time: 295.465/86400 c Decision: 960/2920 Time: 297.935/86400 c Decision: 960/2920 Time: 299.96/86400 c Decision: 960/2920 Time: 301.921/86400 c Decision: 960/2920 Time: 303.831/86400 c Decision: 960/2920 Time: 305.795/86400 c Decision: 960/2920 Time: 308.209/86400 c Decision: 960/2920 Time: 310.231/86400 c Decision: 960/2920 Time: 312.293/86400 c Decision: 960/2920 Time: 314.484/86400 c Decision: 960/2920 Time: 316.639/86400 c Decision: 960/2920 Time: 319.326/86400 c Decision: 960/2920 Time: 321.37/86400 c Decision: 960/2920 Time: 323.536/86400 c Decision: 960/2920 Time: 325.576/86400 c Decision: 960/2920 Time: 327.703/86400 c Decision: 960/2920 Time: 330.124/86400 c Decision: 960/2920 Time: 332.157/86400 c Decision: 960/2920 Time: 334.132/86400 c Decision: 960/2920 Time: 336.222/86400 c Decision: 960/2920 Time: 338.267/86400 c Decision: 960/2920 Time: 340.792/86400 c Decision: 960/2920 Time: 342.793/86400 c Decision: 960/2920 Time: 344.743/86400 c Decision: 960/2920 Time: 346.949/86400 c Decision: 960/2920 Time: 348.938/86400 c Decision: 960/2920 Time: 351.523/86400 c Decision: 960/2920 Time: 353.538/86400 c Decision: 960/2920 Time: 355.579/86400 c Decision: 960/2920 Time: 357.69/86400 c Decision: 960/2920 Time: 359.818/86400 c Decision: 960/2920 Time: 362.352/86400 c Decision: 960/2920 Time: 364.427/86400 c Decision: 960/2920 Time: 366.573/86400 c Decision: 960/2920 Time: 368.746/86400 c Decision: 960/2920 Time: 370.681/86400 c Decision: 960/2920 Time: 373.033/86400 c Decision: 960/2920 Time: 375.059/86400 c Decision: 960/2920 Time: 377.197/86400 c Decision: 960/2920 Time: 379.254/86400 c Decision: 960/2920 Time: 381.221/86400 c Decision: 960/2920 Time: 383.703/86400 c Decision: 960/2920 Time: 385.771/86400 c Decision: 960/2920 Time: 387.824/86400 c Decision: 960/2920 Time: 389.876/86400 c Decision: 960/2920 Time: 391.911/86400 c Decision: 960/2920 Time: 394.406/86400 c Decision: 960/2920 Time: 396.458/86400 c Decision: 960/2920 Time: 398.51/86400 c Decision: 960/2920 Time: 400.752/86400 c Decision: 960/2920 Time: 402.845/86400 c Decision: 960/2920 Time: 405.504/86400 c Decision: 960/2920 Time: 407.565/86400 c Decision: 960/2920 Time: 409.638/86400 c Decision: 960/2920 Time: 411.88/86400 c Decision: 960/2920 Time: 414.052/86400 c Decision: 960/2920 Time: 416.71/86400 c Decision: 960/2920 Time: 418.837/86400 c Decision: 960/2920 Time: 421.104/86400 c Decision: 960/2920 Time: 423.348/86400 c Decision: 960/2920 Time: 425.612/86400 c Decision: 960/2920 Time: 428.377/86400 c Decision: 960/2920 Time: 430.571/86400 c Decision: 960/2920 Time: 432.737/86400 c Decision: 960/2920 Time: 434.92/86400 c Decision: 960/2920 Time: 437.217/86400 c Decision: 960/2920 Time: 439.964/86400 c Decision: 960/2920 Time: 442.055/86400 c Decision: 960/2920 Time: 444.309/86400 c Decision: 960/2920 Time: 446.537/86400 c Decision: 960/2920 Time: 448.815/86400 c Decision: 960/2920 Time: 451.505/86400 c Decision: 960/2920 Time: 453.567/86400 c Decision: 960/2920 Time: 455.792/86400 c Decision: 960/2920 Time: 458.121/86400 c Decision: 960/2920 Time: 460.314/86400 c Decision: 960/2920 Time: 463.187/86400 c Decision: 960/2920 Time: 465.411/86400 c Decision: 960/2920 Time: 467.684/86400 c Decision: 960/2920 Time: 469.982/86400 c Decision: 960/2920 Time: 472.209/86400 c Decision: 960/2920 Time: 475.195/86400 c Decision: 960/2920 Time: 477.612/86400 c Decision: 960/2920 Time: 479.756/86400 c Decision: 960/2920 Time: 482.055/86400 c Decision: 960/2920 Time: 484.412/86400 c Decision: 960/2920 Time: 487.324/86400 c Decision: 960/2920 Time: 489.89/86400 c Decision: 960/2920 Time: 492.315/86400 c Decision: 960/2920 Time: 494.699/86400 c Decision: 960/2920 Time: 497.142/86400 c Decision: 960/2920 Time: 500.144/86400 c Decision: 960/2920 Time: 502.695/86400 c Decision: 960/2920 Time: 505.107/86400 c Decision: 960/2920 Time: 507.575/86400 c Decision: 960/2920 Time: 509.953/86400 c Decision: 960/2920 Time: 512.947/86400 c Decision: 960/2920 Time: 515.466/86400 c Decision: 960/2920 Time: 517.918/86400 c Decision: 960/2920 Time: 520.364/86400 c Decision: 960/2920 Time: 522.87/86400 c Decision: 960/2920 Time: 525.828/86400 c Decision: 960/2920 Time: 528.174/86400 c Decision: 960/2920 Time: 530.576/86400 c Decision: 960/2920 Time: 533.035/86400 c Decision: 960/2920 Time: 535.46/86400 c Decision: 960/2920 Time: 538.517/86400 c Decision: 960/2920 Time: 540.862/86400 c Decision: 960/2920 Time: 543.231/86400 c Decision: 960/2920 Time: 545.529/86400 c Decision: 960/2920 Time: 547.981/86400 c Decision: 960/2920 Time: 550.972/86400 c Decision: 960/2920 Time: 553.483/86400 c Decision: 960/2920 Time: 555.696/86400 c Decision: 960/2920 Time: 557.989/86400 c Decision: 960/2920 Time: 560.35/86400 c Decision: 960/2920 Time: 563.255/86400 c Decision: 960/2920 Time: 565.525/86400 c Decision: 960/2920 Time: 567.982/86400 c Decision: 960/2920 Time: 570.34/86400 c Decision: 960/2920 Time: 572.581/86400 c Decision: 960/2920 Time: 575.563/86400 c Decision: 960/2920 Time: 577.773/86400 c Decision: 960/2920 Time: 580.057/86400 c Decision: 960/2920 Time: 582.395/86400 c Decision: 960/2920 Time: 584.879/86400 c Decision: 960/2920 Time: 587.743/86400 c Decision: 960/2920 Time: 590.11/86400 c Decision: 960/2920 Time: 592.438/86400 c Decision: 960/2920 Time: 595.073/86400 c Decision: 960/2920 Time: 597.664/86400 c Decision: 960/2920 Time: 600.62/86400 c Decision: 960/2920 Time: 603.05/86400 c Decision: 960/2920 Time: 605.382/86400 c Decision: 960/2920 Time: 607.879/86400 c Decision: 960/2920 Time: 610.516/86400 c Decision: 960/2920 Time: 613.662/86400 c Decision: 960/2920 Time: 616.193/86400 c Decision: 960/2920 Time: 618.695/86400 c Decision: 960/2920 Time: 621.418/86400 c Decision: 960/2920 Time: 624.104/86400 c Decision: 960/2920 Time: 627.247/86400 c Decision: 960/2920 Time: 629.665/86400 c Decision: 960/2920 Time: 632.07/86400 c Decision: 960/2920 Time: 634.528/86400 c Decision: 960/2920 Time: 637.078/86400 c Decision: 960/2920 Time: 640.19/86400 c Decision: 960/2920 Time: 642.863/86400 c Decision: 960/2920 Time: 645.371/86400 c Decision: 960/2920 Time: 647.758/86400 c Decision: 960/2920 Time: 650.272/86400 c Decision: 960/2920 Time: 653.356/86400 c Decision: 960/2920 Time: 656.195/86400 c Decision: 960/2920 Time: 658.557/86400 c Decision: 960/2920 Time: 661.111/86400 c Decision: 960/2920 Time: 663.568/86400 c Decision: 960/2920 Time: 666.864/86400 c Decision: 960/2920 Time: 669.358/86400 c Decision: 960/2920 Time: 671.965/86400 c Decision: 960/2920 Time: 674.382/86400 c Decision: 960/2920 Time: 676.719/86400 c Decision: 960/2920 Time: 679.922/86400 c Decision: 960/2920 Time: 682.483/86400 c Decision: 960/2920 Time: 684.897/86400 c Decision: 960/2920 Time: 687.279/86400 c Decision: 960/2920 Time: 689.622/86400 c Decision: 960/2920 Time: 692.592/86400 c Decision: 960/2920 Time: 695.115/86400 c Decision: 960/2920 Time: 697.666/86400 c Decision: 960/2920 Time: 700.1/86400 c Decision: 960/2920 Time: 702.736/86400 c Decision: 960/2920 Time: 705.908/86400 c Decision: 960/2920 Time: 708.372/86400 c Decision: 960/2920 Time: 710.823/86400 c Decision: 960/2920 Time: 713.127/86400 c Decision: 960/2920 Time: 715.504/86400 c Decision: 960/2920 Time: 718.583/86400 c Decision: 960/2920 Time: 721.097/86400 c Decision: 960/2920 Time: 723.608/86400 c Decision: 960/2920 Time: 726.319/86400 c Decision: 960/2920 Time: 728.765/86400 c Decision: 960/2920 Time: 731.941/86400 c Decision: 960/2920 Time: 734.163/86400 c Decision: 960/2920 Time: 736.649/86400 c Decision: 960/2920 Time: 738.864/86400 c Decision: 960/2920 Time: 741.332/86400 c Decision: 960/2920 Time: 744.523/86400 c Decision: 960/2920 Time: 746.851/86400 c Decision: 960/2920 Time: 749.374/86400 c Decision: 960/2920 Time: 751.816/86400 c Decision: 960/2920 Time: 754.389/86400 c Decision: 960/2920 Time: 757.574/86400 c Decision: 960/2920 Time: 760.066/86400 c Decision: 960/2920 Time: 762.54/86400 c Decision: 960/2920 Time: 765.075/86400 c Decision: 960/2920 Time: 767.735/86400 c Decision: 960/2920 Time: 770.715/86400 c Decision: 960/2920 Time: 773.243/86400 c Decision: 960/2920 Time: 775.781/86400 c Decision: 960/2920 Time: 778.317/86400 c Decision: 960/2920 Time: 781.082/86400 c Decision: 960/2920 Time: 784.157/86400 c Decision: 960/2920 Time: 786.749/86400 c Decision: 960/2920 Time: 789.347/86400 c Decision: 960/2920 Time: 791.844/86400 c Decision: 960/2920 Time: 794.327/86400 c Decision: 960/2920 Time: 797.592/86400 c Decision: 960/2920 Time: 800.154/86400 c Decision: 960/2920 Time: 802.673/86400 c Decision: 960/2920 Time: 804.824/86400 c Decision: 960/2920 Time: 806.831/86400 c Decision: 960/2920 Time: 809.456/86400 c Decision: 960/2920 Time: 811.326/86400 c Decision: 960/2920 Time: 813.622/86400 c Decision: 960/2920 Time: 815.789/86400 c Decision: 960/2920 Time: 817.704/86400 c Decision: 960/2920 Time: 820.088/86400 c Decision: 960/2920 Time: 822.333/86400 c Decision: 960/2920 Time: 824.245/86400 c Decision: 960/2920 Time: 826.182/86400 c Decision: 960/2920 Time: 828.266/86400 c Decision: 960/2920 Time: 830.865/86400 c Decision: 960/2920 Time: 833.136/86400 c Decision: 960/2920 Time: 835.372/86400 c Decision: 960/2920 Time: 837.623/86400 c Decision: 960/2920 Time: 839.788/86400 c Decision: 960/2920 Time: 842.269/86400 c Decision: 960/2920 Time: 844.508/86400 c Decision: 960/2920 Time: 846.996/86400 c Decision: 960/2920 Time: 849.074/86400 c Decision: 960/2920 Time: 851.27/86400 c Decision: 960/2920 Time: 853.81/86400 c Decision: 960/2920 Time: 856.021/86400 c Decision: 960/2920 Time: 858.347/86400 c Decision: 960/2920 Time: 860.701/86400 c Decision: 960/2920 Time: 862.857/86400 c Decision: 960/2920 Time: 865.697/86400 c Decision: 960/2920 Time: 868.213/86400 c Decision: 960/2920 Time: 870.565/86400 c Decision: 960/2920 Time: 872.878/86400 c Decision: 960/2920 Time: 875.194/86400 c Decision: 960/2920 Time: 877.954/86400 c Decision: 960/2920 Time: 880.256/86400 c Decision: 960/2920 Time: 882.562/86400 c Decision: 960/2920 Time: 884.792/86400 c Decision: 960/2920 Time: 887.105/86400 c Decision: 960/2920 Time: 889.892/86400 c Decision: 960/2920 Time: 892.2/86400 c Decision: 960/2920 Time: 894.311/86400 c Decision: 960/2920 Time: 896.661/86400 c Decision: 960/2920 Time: 899.164/86400 c Decision: 960/2920 Time: 901.955/86400 c Decision: 960/2920 Time: 904.199/86400 c Decision: 960/2920 Time: 907.222/86400 c Decision: 960/2920 Time: 908.893/86400 c Decision: 960/2920 Time: 910.559/86400 c Decision: 960/2920 Time: 912.848/86400 c Decision: 960/2920 Time: 914.745/86400 c Decision: 960/2920 Time: 916.73/86400 c Decision: 960/2920 Time: 918.502/86400 c Decision: 960/2920 Time: 920.344/86400 c Decision: 960/2920 Time: 922.297/86400 c Decision: 960/2920 Time: 924.149/86400 c Decision: 960/2920 Time: 926.057/86400 c Decision: 960/2920 Time: 927.87/86400 c Decision: 960/2920 Time: 929.668/86400 c Decision: 960/2920 Time: 931.856/86400 c Decision: 960/2920 Time: 933.695/86400 c Decision: 960/2920 Time: 935.579/86400 c Decision: 960/2920 Time: 937.74/86400 c Decision: 960/2920 Time: 939.731/86400 c Decision: 960/2920 Time: 941.816/86400 c Decision: 960/2920 Time: 943.768/86400 c Decision: 960/2920 Time: 945.721/86400 c Decision: 960/2920 Time: 947.545/86400 c Decision: 960/2920 Time: 949.536/86400 c Decision: 960/2920 Time: 951.765/86400 c Decision: 960/2920 Time: 953.826/86400 c Decision: 960/2920 Time: 955.71/86400 c Decision: 960/2920 Time: 957.777/86400 c Decision: 960/2920 Time: 959.644/86400 c Decision: 960/2920 Time: 962.075/86400 c Decision: 960/2920 Time: 964.164/86400 c Decision: 960/2920 Time: 966.313/86400 c Decision: 960/2920 Time: 968.612/86400 c Decision: 960/2920 Time: 970.546/86400 c Decision: 960/2920 Time: 973.111/86400 c Decision: 960/2920 Time: 975.24/86400 c Decision: 960/2920 Time: 977.294/86400 c Decision: 960/2920 Time: 979.638/86400 c Decision: 960/2920 Time: 981.742/86400 c Decision: 960/2920 Time: 984.193/86400 c Decision: 960/2920 Time: 986.252/86400 c Decision: 960/2920 Time: 988.34/86400 c Decision: 960/2920 Time: 990.591/86400 c Decision: 960/2920 Time: 992.741/86400 c Decision: 960/2920 Time: 995.329/86400 c Decision: 960/2920 Time: 997.438/86400 c Decision: 960/2920 Time: 999.568/86400 c Decision: 960/2920 Time: 1001.63/86400 c Decision: 960/2920 Time: 1003.74/86400 c Decision: 960/2920 Time: 1006.51/86400 c Decision: 960/2920 Time: 1008.73/86400 c Decision: 960/2920 Time: 1010.98/86400 c Decision: 960/2920 Time: 1013.2/86400 c Decision: 960/2920 Time: 1015.45/86400 c Decision: 960/2920 Time: 1018.17/86400 c Decision: 960/2920 Time: 1020.37/86400 c Decision: 960/2920 Time: 1022.57/86400 c Decision: 960/2920 Time: 1024.86/86400 c Decision: 960/2920 Time: 1027.11/86400 c Decision: 960/2920 Time: 1029.86/86400 c Decision: 960/2920 Time: 1032.11/86400 c Decision: 960/2920 Time: 1034.38/86400 c Decision: 960/2920 Time: 1036.64/86400 c Decision: 960/2920 Time: 1038.82/86400 c Decision: 960/2920 Time: 1041.83/86400 c Decision: 960/2920 Time: 1045.52/86400 c Decision: 960/2920 Time: 1047.06/86400 c Decision: 960/2920 Time: 1048.58/86400 c Decision: 960/2920 Time: 1050.42/86400 c Decision: 960/2920 Time: 1052.2/86400 c Decision: 960/2920 Time: 1054.09/86400 c Decision: 960/2920 Time: 1055.86/86400 c Decision: 960/2920 Time: 1057.48/86400 c Decision: 960/2920 Time: 1059.16/86400 c Decision: 960/2920 Time: 1061.04/86400 c Decision: 960/2920 Time: 1062.49/86400 c Decision: 960/2920 Time: 1064.24/86400 c Decision: 960/2920 Time: 1066.06/86400 c Decision: 960/2920 Time: 1067.93/86400 c Decision: 960/2920 Time: 1070/86400 c Decision: 960/2920 Time: 1071.85/86400 c Decision: 960/2920 Time: 1073.74/86400 c Decision: 960/2920 Time: 1075.74/86400 c Decision: 960/2920 Time: 1077.63/86400 c Decision: 960/2920 Time: 1080/86400 c Decision: 960/2920 Time: 1081.88/86400 c Decision: 960/2920 Time: 1083.86/86400 c Decision: 960/2920 Time: 1085.73/86400 c Decision: 960/2920 Time: 1087.66/86400 c Decision: 960/2920 Time: 1089.94/86400 c Decision: 960/2920 Time: 1092.1/86400 c Decision: 960/2920 Time: 1094.18/86400 c Decision: 960/2920 Time: 1096.3/86400 c Decision: 960/2920 Time: 1098.4/86400 c Decision: 960/2920 Time: 1100.71/86400 c Decision: 960/2920 Time: 1102.86/86400 c Decision: 960/2920 Time: 1104.89/86400 c Decision: 960/2920 Time: 1106.98/86400 c Decision: 960/2920 Time: 1109.01/86400 c Decision: 960/2920 Time: 1111.43/86400 c Decision: 960/2920 Time: 1113.64/86400 c Decision: 960/2920 Time: 1115.75/86400 c Decision: 960/2920 Time: 1117.79/86400 c Decision: 960/2920 Time: 1119.86/86400 c Decision: 960/2920 Time: 1122.4/86400 c Decision: 960/2920 Time: 1124.61/86400 c Decision: 960/2920 Time: 1126.75/86400 c Decision: 960/2920 Time: 1128.88/86400 c Decision: 960/2920 Time: 1131.11/86400 c Decision: 960/2920 Time: 1133.73/86400 c Decision: 960/2920 Time: 1135.92/86400 c Decision: 960/2920 Time: 1138.37/86400 c Decision: 960/2920 Time: 1140.54/86400 c Decision: 960/2920 Time: 1142.7/86400 c Decision: 960/2920 Time: 1145.34/86400 c Decision: 960/2920 Time: 1147.57/86400 c Decision: 960/2920 Time: 1150/86400 c Decision: 960/2920 Time: 1152.4/86400 c Decision: 960/2920 Time: 1154.68/86400 c Decision: 960/2920 Time: 1157.68/86400 c Decision: 960/2920 Time: 1160.11/86400 c Decision: 960/2920 Time: 1162.35/86400 c Decision: 960/2920 Time: 1164.68/86400 c Decision: 960/2920 Time: 1167.09/86400 c Decision: 960/2920 Time: 1170.03/86400 c Decision: 960/2920 Time: 1172.3/86400 c Decision: 960/2920 Time: 1174.69/86400 c Decision: 960/2920 Time: 1177.17/86400 c Decision: 960/2920 Time: 1179.29/86400 c Decision: 960/2920 Time: 1182.1/86400 c Decision: 960/2920 Time: 1184.42/86400 c Decision: 960/2920 Time: 1186.8/86400 c Decision: 960/2920 Time: 1189.02/86400 c Decision: 960/2920 Time: 1191.39/86400 c Decision: 960/2920 Time: 1194.12/86400 c Decision: 960/2920 Time: 1196.42/86400 c Decision: 960/2920 Time: 1198.62/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.83 0.66 2/54 15130 Raw data (stat): 15130 (runsolver) R 15129 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964535887 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.0012 s] Raw data (loadavg): 0.93 0.83 0.67 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 1315 0 0 0 994 4 0 0 25 0 1 0 964535887 7143424 1215 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 1744 1215 301 301 0 1443 0 vsize: 6976 [startup+20.002 s] Raw data (loadavg): 0.94 0.84 0.67 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 1874 0 0 0 1992 7 0 0 25 0 1 0 964535887 11632640 1774 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2840 1774 301 301 0 2539 0 vsize: 11360 [startup+30.0025 s] Raw data (loadavg): 0.95 0.84 0.67 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 2931 0 0 0 2988 10 0 0 25 0 1 0 964535887 13115392 2734 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3202 2734 301 301 0 2901 0 vsize: 12808 [startup+40.0028 s] Raw data (loadavg): 0.96 0.85 0.68 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 3634 0 0 0 3985 13 0 0 25 0 1 0 964535887 22708224 3437 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5544 3437 301 301 0 5243 0 vsize: 22176 [startup+50.0026 s] Raw data (loadavg): 0.96 0.85 0.68 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 3912 0 0 0 4982 15 0 0 25 0 1 0 964535887 23183360 3715 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5660 3715 301 301 0 5359 0 vsize: 22640 [startup+60.0041 s] Raw data (loadavg): 0.97 0.86 0.68 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 4284 0 0 0 5980 18 0 0 25 0 1 0 964535887 24633344 3894 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6014 3894 301 301 0 5713 0 vsize: 24056 [startup+70.0043 s] Raw data (loadavg): 0.97 0.86 0.68 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 4485 0 0 0 6978 20 0 0 25 0 1 0 964535887 25460736 4095 4294967295 134512640 135730672 3221224576 3221223200 134748208 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6216 4095 301 301 0 5915 0 vsize: 24864 [startup+80.0041 s] Raw data (loadavg): 0.98 0.86 0.69 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 5207 0 0 0 7976 22 0 0 25 0 1 0 964535887 26329088 4817 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6428 4817 301 301 0 6127 0 vsize: 25712 [startup+90.0044 s] Raw data (loadavg): 0.98 0.87 0.69 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 5840 0 0 0 8973 25 0 0 25 0 1 0 964535887 27082752 5450 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6612 5450 301 301 0 6311 0 vsize: 26448 [startup+100.004 s] Raw data (loadavg): 0.98 0.87 0.69 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 6205 0 0 0 9971 27 0 0 25 0 1 0 964535887 27660288 5815 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6753 5815 301 301 0 6452 0 vsize: 27012 [startup+110.005 s] Raw data (loadavg): 0.98 0.88 0.70 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 6641 0 0 0 10968 30 0 0 25 0 1 0 964535887 28135424 6251 4294967295 134512640 135730672 3221224576 3221223120 134740282 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6869 6251 301 301 0 6568 0 vsize: 27476 [startup+120.006 s] Raw data (loadavg): 0.99 0.88 0.70 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 6924 0 0 0 11966 32 0 0 25 0 1 0 964535887 28626944 6534 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6989 6534 301 301 0 6688 0 vsize: 27956 [startup+130.005 s] Raw data (loadavg): 0.99 0.88 0.70 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 7621 0 0 0 12964 34 0 0 25 0 1 0 964535887 47796224 6846 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11669 6846 301 301 0 11368 0 vsize: 46676 [startup+140.005 s] Raw data (loadavg): 0.99 0.89 0.71 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 7887 0 0 0 13963 36 0 0 25 0 1 0 964535887 48287744 7112 4294967295 134512640 135730672 3221224576 3221223200 134783315 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11789 7112 301 301 0 11488 0 vsize: 47156 [startup+150.005 s] Raw data (loadavg): 0.99 0.89 0.71 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 8376 0 0 0 14961 38 0 0 25 0 1 0 964535887 49106944 7601 4294967295 134512640 135730672 3221224576 3221223120 134740265 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11989 7601 301 301 0 11688 0 vsize: 47956 [startup+160.006 s] Raw data (loadavg): 0.99 0.89 0.71 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 8496 0 0 0 15959 39 0 0 25 0 1 0 964535887 49598464 7721 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12109 7721 301 301 0 11808 0 vsize: 48436 [startup+170.006 s] Raw data (loadavg): 0.99 0.90 0.71 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 8918 0 0 0 16957 41 0 0 25 0 1 0 964535887 50417664 8143 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12309 8143 301 301 0 12008 0 vsize: 49236 [startup+180.006 s] Raw data (loadavg): 0.99 0.90 0.72 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 9400 0 0 0 17955 43 0 0 25 0 1 0 964535887 51236864 8625 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12509 8625 301 301 0 12208 0 vsize: 50036 [startup+190.007 s] Raw data (loadavg): 0.99 0.90 0.72 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 9625 0 0 0 18955 44 0 0 25 0 1 0 964535887 51564544 8850 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12589 8850 301 301 0 12288 0 vsize: 50356 [startup+200.006 s] Raw data (loadavg): 0.99 0.90 0.72 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 9842 0 0 0 19954 45 0 0 25 0 1 0 964535887 52056064 9067 4294967295 134512640 135730672 3221224576 3221222944 134762565 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12709 9067 301 301 0 12408 0 vsize: 50836 [startup+210.008 s] Raw data (loadavg): 0.99 0.91 0.73 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10100 0 0 0 20953 47 0 0 25 0 1 0 964535887 52383744 9325 4294967295 134512640 135730672 3221224576 3221223120 134740406 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12789 9325 301 301 0 12488 0 vsize: 51156 [startup+220.008 s] Raw data (loadavg): 0.99 0.91 0.73 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10220 0 0 0 21952 48 0 0 25 0 1 0 964535887 52711424 9445 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12869 9445 301 301 0 12568 0 vsize: 51476 [startup+230.008 s] Raw data (loadavg): 0.99 0.91 0.73 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10486 0 0 0 22951 49 0 0 25 0 1 0 964535887 53202944 9711 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12989 9711 301 301 0 12688 0 vsize: 51956 [startup+240.008 s] Raw data (loadavg): 0.99 0.91 0.73 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10554 0 0 0 23950 50 0 0 25 0 1 0 964535887 53366784 9779 4294967295 134512640 135730672 3221224576 3221222756 135281172 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13029 9779 301 301 0 12728 0 vsize: 52116 [startup+250.009 s] Raw data (loadavg): 0.99 0.92 0.73 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10624 0 0 0 24950 51 0 0 25 0 1 0 964535887 53530624 9849 4294967295 134512640 135730672 3221224576 3221222896 134732736 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13069 9849 301 301 0 12768 0 vsize: 52276 [startup+260.009 s] Raw data (loadavg): 0.99 0.92 0.74 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10735 0 0 0 25949 52 0 0 25 0 1 0 964535887 53694464 9960 4294967295 134512640 135730672 3221224576 3221223120 134740440 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13109 9960 301 301 0 12808 0 vsize: 52436 [startup+270.01 s] Raw data (loadavg): 0.99 0.92 0.74 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10794 0 0 0 26948 53 0 0 25 0 1 0 964535887 53858304 10019 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13149 10019 301 301 0 12848 0 vsize: 52596 [startup+280.009 s] Raw data (loadavg): 0.99 0.92 0.74 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10840 0 0 0 27946 55 0 0 25 0 1 0 964535887 54022144 10065 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13189 10065 301 301 0 12888 0 vsize: 52756 [startup+290.01 s] Raw data (loadavg): 0.99 0.92 0.74 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 10892 0 0 0 28945 56 0 0 25 0 1 0 964535887 54022144 10117 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13189 10117 301 301 0 12888 0 vsize: 52756 [startup+300.011 s] Raw data (loadavg): 0.99 0.93 0.74 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 11192 0 0 0 29944 58 0 0 25 0 1 0 964535887 54185984 10417 4294967295 134512640 135730672 3221224576 3221223088 134746193 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13229 10417 301 301 0 12928 0 vsize: 52916 [startup+310.011 s] Raw data (loadavg): 0.99 0.93 0.75 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 11397 0 0 0 30943 59 0 0 25 0 1 0 964535887 54382592 10622 4294967295 134512640 135730672 3221224576 3221223088 134746474 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13277 10622 301 301 0 12976 0 vsize: 53108 [startup+320.012 s] Raw data (loadavg): 0.99 0.93 0.75 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 12329 0 0 0 31941 61 0 0 25 0 1 0 964535887 57692160 10785 4294967295 134512640 135730672 3221224576 3221223072 134747878 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14085 10785 301 301 0 13784 0 vsize: 56340 [startup+330.012 s] Raw data (loadavg): 0.99 0.93 0.75 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 12767 0 0 0 32939 63 0 0 25 0 1 0 964535887 57856000 11223 4294967295 134512640 135730672 3221224576 3221223200 134783076 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11223 301 301 0 13824 0 vsize: 56500 [startup+340.013 s] Raw data (loadavg): 0.99 0.93 0.75 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 12820 0 0 0 33939 63 0 0 25 0 1 0 964535887 57856000 11276 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11276 301 301 0 13824 0 vsize: 56500 [startup+350.012 s] Raw data (loadavg): 0.99 0.94 0.75 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 12863 0 0 0 34938 64 0 0 25 0 1 0 964535887 58019840 11319 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14165 11319 301 301 0 13864 0 vsize: 56660 [startup+360.014 s] Raw data (loadavg): 0.99 0.94 0.76 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 12937 0 0 0 35938 65 0 0 25 0 1 0 964535887 58216448 11393 4294967295 134512640 135730672 3221224576 3221223072 134747878 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14213 11393 301 301 0 13912 0 vsize: 56852 [startup+370.014 s] Raw data (loadavg): 0.99 0.94 0.76 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13007 0 0 0 36937 66 0 0 25 0 1 0 964535887 58380288 11463 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14253 11463 301 301 0 13952 0 vsize: 57012 [startup+380.014 s] Raw data (loadavg): 0.99 0.94 0.76 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13038 0 0 0 37937 66 0 0 25 0 1 0 964535887 58576896 11494 4294967295 134512640 135730672 3221224576 3221222896 134732625 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14301 11494 301 301 0 14000 0 vsize: 57204 [startup+390.014 s] Raw data (loadavg): 0.99 0.94 0.76 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13082 0 0 0 38935 68 0 0 25 0 1 0 964535887 58576896 11538 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14301 11538 301 301 0 14000 0 vsize: 57204 [startup+400.015 s] Raw data (loadavg): 0.99 0.94 0.76 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13148 0 0 0 39935 69 0 0 25 0 1 0 964535887 58970112 11604 4294967295 134512640 135730672 3221224576 3221222944 134762568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14397 11604 301 301 0 14096 0 vsize: 57588 [startup+410.015 s] Raw data (loadavg): 0.99 0.94 0.77 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13214 0 0 0 40934 69 0 0 25 0 1 0 964535887 59166720 11670 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14445 11670 301 301 0 14144 0 vsize: 57780 [startup+420.016 s] Raw data (loadavg): 0.99 0.95 0.77 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13276 0 0 0 41933 71 0 0 25 0 1 0 964535887 59363328 11732 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14493 11732 301 301 0 14192 0 vsize: 57972 [startup+430.016 s] Raw data (loadavg): 0.99 0.95 0.77 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13521 0 0 0 42931 73 0 0 25 0 1 0 964535887 59559936 11977 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14541 11977 301 301 0 14240 0 vsize: 58164 [startup+440.017 s] Raw data (loadavg): 0.99 0.95 0.77 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13658 0 0 0 43931 74 0 0 25 0 1 0 964535887 59756544 12114 4294967295 134512640 135730672 3221224576 3221223200 134783244 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14589 12114 301 301 0 14288 0 vsize: 58356 [startup+450.017 s] Raw data (loadavg): 0.99 0.95 0.77 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 13900 0 0 0 44930 74 0 0 25 0 1 0 964535887 60149760 12356 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14685 12356 301 301 0 14384 0 vsize: 58740 [startup+460.018 s] Raw data (loadavg): 0.99 0.95 0.78 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 14241 0 0 0 45928 76 0 0 25 0 1 0 964535887 60542976 12697 4294967295 134512640 135730672 3221224576 3221223088 134746486 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14781 12697 301 301 0 14480 0 vsize: 59124 [startup+470.018 s] Raw data (loadavg): 0.99 0.95 0.78 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 14558 0 0 0 46927 77 0 0 25 0 1 0 964535887 61329408 13014 4294967295 134512640 135730672 3221224576 3221223088 134746536 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14973 13014 301 301 0 14672 0 vsize: 59892 [startup+480.019 s] Raw data (loadavg): 0.99 0.95 0.78 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 14983 0 0 0 47926 79 0 0 25 0 1 0 964535887 62115840 13439 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15165 13439 301 301 0 14864 0 vsize: 60660 [startup+490.019 s] Raw data (loadavg): 0.99 0.95 0.78 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 15429 0 0 0 48924 81 0 0 25 0 1 0 964535887 62705664 13885 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15309 13885 301 301 0 15008 0 vsize: 61236 [startup+500.02 s] Raw data (loadavg): 0.99 0.95 0.78 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 15590 0 0 0 49923 82 0 0 25 0 1 0 964535887 63295488 14046 4294967295 134512640 135730672 3221224576 3221223200 134783311 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15453 14046 301 301 0 15152 0 vsize: 61812 [startup+510.021 s] Raw data (loadavg): 0.99 0.95 0.79 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 15709 0 0 0 50922 83 0 0 25 0 1 0 964535887 63885312 14165 4294967295 134512640 135730672 3221224576 3221223088 134746474 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15597 14165 301 301 0 15296 0 vsize: 62388 [startup+520.022 s] Raw data (loadavg): 0.99 0.96 0.79 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 15870 0 0 0 51921 85 0 0 25 0 1 0 964535887 64081920 14326 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15645 14326 301 301 0 15344 0 vsize: 62580 [startup+530.022 s] Raw data (loadavg): 0.99 0.96 0.79 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16150 0 0 0 52919 86 0 0 25 0 1 0 964535887 98226176 14606 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23981 14606 301 301 0 23680 0 vsize: 95924 [startup+540.023 s] Raw data (loadavg): 0.99 0.96 0.79 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16272 0 0 0 53919 87 0 0 25 0 1 0 964535887 98619392 14728 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24077 14728 301 301 0 23776 0 vsize: 96308 [startup+550.024 s] Raw data (loadavg): 0.99 0.96 0.79 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16348 0 0 0 54918 88 0 0 25 0 1 0 964535887 98816000 14804 4294967295 134512640 135730672 3221224576 3221223088 134746481 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24125 14804 301 301 0 23824 0 vsize: 96500 [startup+560.024 s] Raw data (loadavg): 0.99 0.96 0.79 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16429 0 0 0 55917 89 0 0 25 0 1 0 964535887 99209216 14885 4294967295 134512640 135730672 3221224576 3221223088 134746168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24221 14885 301 301 0 23920 0 vsize: 96884 [startup+570.025 s] Raw data (loadavg): 0.99 0.96 0.80 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16475 0 0 0 56917 90 0 0 25 0 1 0 964535887 99405824 14931 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24269 14931 301 301 0 23968 0 vsize: 97076 [startup+580.025 s] Raw data (loadavg): 0.99 0.96 0.80 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16538 0 0 0 57916 91 0 0 25 0 1 0 964535887 99602432 14994 4294967295 134512640 135730672 3221224576 3221223088 134746536 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24317 14994 301 301 0 24016 0 vsize: 97268 [startup+590.026 s] Raw data (loadavg): 0.99 0.96 0.80 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16586 0 0 0 58916 92 0 0 25 0 1 0 964535887 99799040 15042 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24365 15042 301 301 0 24064 0 vsize: 97460 [startup+600.031 s] Raw data (loadavg): 0.99 0.96 0.80 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16642 0 0 0 59916 92 0 0 25 0 1 0 964535887 99995648 15098 4294967295 134512640 135730672 3221224576 3221223088 134746211 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24413 15098 301 301 0 24112 0 vsize: 97652 [startup+610.032 s] Raw data (loadavg): 0.99 0.96 0.80 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16761 0 0 0 60915 93 0 0 25 0 1 0 964535887 100585472 15217 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24557 15217 301 301 0 24256 0 vsize: 98228 [startup+620.031 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 16948 0 0 0 61914 95 0 0 25 0 1 0 964535887 100978688 15404 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24653 15404 301 301 0 24352 0 vsize: 98612 [startup+630.032 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 17292 0 0 0 62913 96 0 0 25 0 1 0 964535887 101175296 15748 4294967295 134512640 135730672 3221224576 3221223232 134748664 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24701 15748 301 301 0 24400 0 vsize: 98804 [startup+640.032 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 17511 0 0 0 63912 97 0 0 25 0 1 0 964535887 101371904 15967 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24749 15967 301 301 0 24448 0 vsize: 98996 [startup+650.032 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 17592 0 0 0 64911 97 0 0 25 0 1 0 964535887 101765120 16048 4294967295 134512640 135730672 3221224576 3221223088 134746520 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24845 16048 301 301 0 24544 0 vsize: 99380 [startup+660.033 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 17777 0 0 0 65911 98 0 0 25 0 1 0 964535887 101961728 16233 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24893 16233 301 301 0 24592 0 vsize: 99572 [startup+670.034 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 17817 0 0 0 66910 99 0 0 25 0 1 0 964535887 102158336 16273 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24941 16273 301 301 0 24640 0 vsize: 99764 [startup+680.034 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 17869 0 0 0 67910 100 0 0 25 0 1 0 964535887 102158336 16325 4294967295 134512640 135730672 3221224576 3221223072 134747842 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24941 16325 301 301 0 24640 0 vsize: 99764 [startup+690.035 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 17944 0 0 0 68909 100 0 0 25 0 1 0 964535887 102551552 16400 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25037 16400 301 301 0 24736 0 vsize: 100148 [startup+700.034 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 17980 0 0 0 69909 101 0 0 25 0 1 0 964535887 102551552 16436 4294967295 134512640 135730672 3221224576 3221223088 134746488 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25037 16436 301 301 0 24736 0 vsize: 100148 [startup+710.035 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 18005 0 0 0 70908 102 0 0 25 0 1 0 964535887 102551552 16461 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25037 16461 301 301 0 24736 0 vsize: 100148 [startup+720.035 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 18033 0 0 0 71908 102 0 0 25 0 1 0 964535887 102748160 16489 4294967295 134512640 135730672 3221224576 3221223168 134763776 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25085 16489 301 301 0 24784 0 vsize: 100340 [startup+730.035 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 18068 0 0 0 72907 103 0 0 25 0 1 0 964535887 102748160 16524 4294967295 134512640 135730672 3221224576 3221223072 134747856 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25085 16524 301 301 0 24784 0 vsize: 100340 [startup+740.035 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 18109 0 0 0 73907 104 0 0 25 0 1 0 964535887 102944768 16565 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25133 16565 301 301 0 24832 0 vsize: 100532 [startup+750.036 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 18149 0 0 0 74906 104 0 0 25 0 1 0 964535887 102944768 16605 4294967295 134512640 135730672 3221224576 3221223120 134740301 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25133 16605 301 301 0 24832 0 vsize: 100532 [startup+760.037 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 18168 0 0 0 75906 105 0 0 25 0 1 0 964535887 102944768 16624 4294967295 134512640 135730672 3221224576 3221223088 134746526 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25133 16624 301 301 0 24832 0 vsize: 100532 [startup+770.037 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19764 0 0 0 76902 109 0 0 25 0 1 0 964535887 109432832 16683 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26717 16683 301 301 0 26416 0 vsize: 106868 [startup+780.038 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19800 0 0 0 77902 110 0 0 25 0 1 0 964535887 109629440 16719 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26765 16719 301 301 0 26464 0 vsize: 107060 [startup+790.038 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19831 0 0 0 78901 111 0 0 25 0 1 0 964535887 109629440 16750 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26765 16750 301 301 0 26464 0 vsize: 107060 [startup+800.038 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19875 0 0 0 79901 111 0 0 25 0 1 0 964535887 109826048 16794 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26813 16794 301 301 0 26512 0 vsize: 107252 [startup+810.039 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19922 0 0 0 80900 112 0 0 25 0 1 0 964535887 109826048 16841 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26813 16841 301 301 0 26512 0 vsize: 107252 [startup+820.04 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19942 0 0 0 81899 113 0 0 25 0 1 0 964535887 109826048 16861 4294967295 134512640 135730672 3221224576 3221223200 134783315 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26813 16861 301 301 0 26512 0 vsize: 107252 [startup+830.039 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19962 0 0 0 82898 114 0 0 25 0 1 0 964535887 109826048 16881 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26813 16881 301 301 0 26512 0 vsize: 107252 [startup+840.04 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19979 0 0 0 83898 115 0 0 25 0 1 0 964535887 109826048 16898 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26813 16898 301 301 0 26512 0 vsize: 107252 [startup+850.04 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 19997 0 0 0 84897 116 0 0 25 0 1 0 964535887 109826048 16916 4294967295 134512640 135730672 3221224576 3221223120 134740298 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26813 16916 301 301 0 26512 0 vsize: 107252 [startup+860.041 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20015 0 0 0 85896 117 0 0 25 0 1 0 964535887 109826048 16934 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26813 16934 301 301 0 26512 0 vsize: 107252 [startup+870.041 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20033 0 0 0 86895 118 0 0 25 0 1 0 964535887 109826048 16952 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26813 16952 301 301 0 26512 0 vsize: 107252 [startup+880.041 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20050 0 0 0 87895 119 0 0 25 0 1 0 964535887 109826048 16969 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26813 16969 301 301 0 26512 0 vsize: 107252 [startup+890.043 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20066 0 0 0 88894 120 0 0 25 0 1 0 964535887 109826048 16985 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26813 16985 301 301 0 26512 0 vsize: 107252 [startup+900.044 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20085 0 0 0 89893 121 0 0 25 0 1 0 964535887 109826048 17004 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26813 17004 301 301 0 26512 0 vsize: 107252 [startup+910.044 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20150 0 0 0 90892 122 0 0 25 0 1 0 964535887 110157824 17069 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26894 17069 301 301 0 26593 0 vsize: 107576 [startup+920.045 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20175 0 0 0 91892 123 0 0 25 0 1 0 964535887 110157824 17094 4294967295 134512640 135730672 3221224576 3221223184 134744768 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26894 17094 301 301 0 26593 0 vsize: 107576 [startup+930.045 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20204 0 0 0 92891 124 0 0 25 0 1 0 964535887 110157824 17123 4294967295 134512640 135730672 3221224576 3221223120 134740242 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26894 17123 301 301 0 26593 0 vsize: 107576 [startup+940.046 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20240 0 0 0 93890 125 0 0 25 0 1 0 964535887 110268416 17159 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26921 17159 301 301 0 26620 0 vsize: 107684 [startup+950.045 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20267 0 0 0 94889 126 0 0 25 0 1 0 964535887 110268416 17186 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26921 17186 301 301 0 26620 0 vsize: 107684 [startup+960.047 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20298 0 0 0 95889 126 0 0 25 0 1 0 964535887 110268416 17217 4294967295 134512640 135730672 3221224576 3221222912 134730113 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26921 17217 301 301 0 26620 0 vsize: 107684 [startup+970.047 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20327 0 0 0 96888 127 0 0 25 0 1 0 964535887 110379008 17246 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26948 17246 301 301 0 26647 0 vsize: 107792 [startup+980.047 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20354 0 0 0 97888 128 0 0 25 0 1 0 964535887 110379008 17273 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26948 17273 301 301 0 26647 0 vsize: 107792 [startup+990.048 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20384 0 0 0 98887 129 0 0 25 0 1 0 964535887 110379008 17303 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26948 17303 301 301 0 26647 0 vsize: 107792 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20413 0 0 0 99886 129 0 0 25 0 1 0 964535887 110497792 17332 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26977 17332 301 301 0 26676 0 vsize: 107908 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20433 0 0 0 100886 130 0 0 25 0 1 0 964535887 110497792 17352 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26977 17352 301 301 0 26676 0 vsize: 107908 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20465 0 0 0 101885 131 0 0 25 0 1 0 964535887 110497792 17384 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26977 17384 301 301 0 26676 0 vsize: 107908 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20494 0 0 0 102884 132 0 0 25 0 1 0 964535887 110612480 17413 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27005 17413 301 301 0 26704 0 vsize: 108020 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20518 0 0 0 103884 133 0 0 25 0 1 0 964535887 110612480 17437 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27005 17437 301 301 0 26704 0 vsize: 108020 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20747 0 0 0 104882 135 0 0 25 0 1 0 964535887 111538176 17666 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27231 17666 301 301 0 26930 0 vsize: 108924 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20775 0 0 0 105882 135 0 0 25 0 1 0 964535887 111538176 17694 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27231 17694 301 301 0 26930 0 vsize: 108924 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20800 0 0 0 106881 136 0 0 25 0 1 0 964535887 111538176 17719 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27231 17719 301 301 0 26930 0 vsize: 108924 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20827 0 0 0 107880 137 0 0 25 0 1 0 964535887 111538176 17746 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27231 17746 301 301 0 26930 0 vsize: 108924 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20858 0 0 0 108880 138 0 0 25 0 1 0 964535887 111652864 17777 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27259 17777 301 301 0 26958 0 vsize: 109036 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20887 0 0 0 109879 139 0 0 25 0 1 0 964535887 111652864 17806 4294967295 134512640 135730672 3221224576 3221223088 134746520 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27259 17806 301 301 0 26958 0 vsize: 109036 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20913 0 0 0 110878 140 0 0 25 0 1 0 964535887 111652864 17832 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27259 17832 301 301 0 26958 0 vsize: 109036 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20939 0 0 0 111877 141 0 0 25 0 1 0 964535887 111771648 17858 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27288 17858 301 301 0 26987 0 vsize: 109152 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20963 0 0 0 112877 141 0 0 25 0 1 0 964535887 111771648 17882 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27288 17882 301 301 0 26987 0 vsize: 109152 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 20987 0 0 0 113876 142 0 0 25 0 1 0 964535887 111771648 17906 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27288 17906 301 301 0 26987 0 vsize: 109152 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 21012 0 0 0 114875 143 0 0 25 0 1 0 964535887 111771648 17931 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27288 17931 301 301 0 26987 0 vsize: 109152 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 21031 0 0 0 115875 144 0 0 25 0 1 0 964535887 111771648 17950 4294967295 134512640 135730672 3221224576 3221223088 134746175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27288 17950 301 301 0 26987 0 vsize: 109152 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 21061 0 0 0 116874 145 0 0 25 0 1 0 964535887 111882240 17980 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27315 17980 301 301 0 27014 0 vsize: 109260 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 21101 0 0 0 117874 145 0 0 25 0 1 0 964535887 112005120 18020 4294967295 134512640 135730672 3221224576 3221223072 134747629 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27345 18020 301 301 0 27044 0 vsize: 109380 [startup+1190.05 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 21137 0 0 0 118873 146 0 0 25 0 1 0 964535887 112005120 18056 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27345 18056 301 301 0 27044 0 vsize: 109380 [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 15130 Raw data (stat): 15130 (pb2sat-v2) R 15129 21152 21151 0 -1 0 21178 0 0 0 119873 147 0 0 25 0 1 0 964535887 112128000 18097 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27375 18097 301 301 0 27074 0 vsize: 109500 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.3 s] Raw data (loadavg): 0.99 0.97 0.87 1/54 15130 Raw data (stat): 15130 (pb2sat-v2) Z 15129 21152 21151 0 -1 12 21180 0 0 0 119894 150 0 0 25 0 1 0 964535887 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.3 CPU time (s): 1200.45 CPU user time (s): 1198.94 CPU system time (s): 1.50477 CPU usage (%): 100.012 Max. virtual memory (Kb): 109500 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####