Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb |
MD5SUM | 3f8902c4e8af50006f671e2bddb3e9aa |
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 | 17 |
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.013997 |
Number of variables | 480 |
Total number of constraints | 62 |
Number of constraints which are clauses | 32 |
Number of constraints which are cardinality constraints (but not clauses) | 30 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 15 |
Maximum length of a constraint | 16 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-15 19:04:14 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25103 boxname=wulflinc3 idbench=5 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 3f8902c4e8af50006f671e2bddb3e9aa /oldhome/oroussel/tmp/wulflinc3/normalized-chnl15_16_pb.cnf.cr.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-chnl15_16_pb.cnf.cr.opb IDLAUNCH: 25103 /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: 845116 kB Buffers: 33504 kB Cached: 134724 kB SwapCached: 820 kB Active: 41748 kB Inactive: 128628 kB HighTotal: 131008 kB HighFree: 23576 kB LowTotal: 903652 kB LowFree: 821540 kB SwapTotal: 2097136 kB SwapFree: 2095340 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5104 kB Slab: 13412 kB Committed_AS: 71900 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-15 19:24:26 (client local time) WITH STATUS 0 IN 1209.97 SECONDS stats: 25103 7 1209.97 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 450/1380 Time: 17.9333/86400 c Decision: 450/1380 Time: 18.3802/86400 c Decision: 450/1380 Time: 18.8601/86400 c Decision: 450/1380 Time: 19.497/86400 c Decision: 450/1380 Time: 20.044/86400 c Decision: 450/1380 Time: 21.0598/86400 c Decision: 450/1380 Time: 21.6717/86400 c Decision: 450/1380 Time: 22.4116/86400 c Decision: 450/1380 Time: 23.1595/86400 c Decision: 450/1380 Time: 23.8924/86400 c Decision: 450/1380 Time: 24.8582/86400 c Decision: 450/1380 Time: 25.5981/86400 c Decision: 450/1380 Time: 26.437/86400 c Decision: 450/1380 Time: 27.3538/86400 c Decision: 450/1380 Time: 28.2867/86400 c Decision: 450/1380 Time: 29.1236/86400 c Decision: 450/1380 Time: 30.0044/86400 c Decision: 450/1380 Time: 30.9153/86400 c Decision: 450/1380 Time: 31.7982/86400 c Decision: 450/1380 Time: 32.773/86400 c Decision: 450/1380 Time: 33.8019/86400 c Decision: 450/1380 Time: 34.9077/86400 c Decision: 450/1380 Time: 35.9275/86400 c Decision: 450/1380 Time: 36.8944/86400 c Decision: 450/1380 Time: 37.9562/86400 c Decision: 450/1380 Time: 39.178/86400 c Decision: 450/1380 Time: 40.2819/86400 c Decision: 450/1380 Time: 41.5037/86400 c Decision: 450/1380 Time: 42.7285/86400 c Decision: 450/1380 Time: 43.8223/86400 c Decision: 450/1380 Time: 45.0532/86400 c Decision: 450/1380 Time: 46.159/86400 c Decision: 450/1380 Time: 47.4228/86400 c Decision: 450/1380 Time: 48.7186/86400 c Decision: 450/1380 Time: 50.1114/86400 c Decision: 450/1380 Time: 51.5332/86400 c Decision: 450/1380 Time: 52.837/86400 c Decision: 450/1380 Time: 54.0658/86400 c Decision: 450/1380 Time: 55.3836/86400 c Decision: 450/1380 Time: 56.4444/86400 c Decision: 450/1380 Time: 58.1002/86400 c Decision: 450/1380 Time: 59.452/86400 c Decision: 450/1380 Time: 60.6298/86400 c Decision: 450/1380 Time: 61.8266/86400 c Decision: 450/1380 Time: 63.1824/86400 c Decision: 450/1380 Time: 64.6782/86400 c Decision: 450/1380 Time: 66.068/86400 c Decision: 450/1380 Time: 67.5897/86400 c Decision: 450/1380 Time: 68.9105/86400 c Decision: 450/1380 Time: 70.2133/86400 c Decision: 450/1380 Time: 71.9471/86400 c Decision: 450/1380 Time: 73.2679/86400 c Decision: 450/1380 Time: 74.6117/86400 c Decision: 450/1380 Time: 76.2164/86400 c Decision: 450/1380 Time: 77.5612/86400 c Decision: 450/1380 Time: 79.6979/86400 c Decision: 450/1380 Time: 81.0857/86400 c Decision: 450/1380 Time: 82.7424/86400 c Decision: 450/1380 Time: 84.4002/86400 c Decision: 450/1380 Time: 85.9879/86400 c Decision: 450/1380 Time: 87.8326/86400 c Decision: 450/1380 Time: 89.3024/86400 c Decision: 450/1380 Time: 90.8152/86400 c Decision: 450/1380 Time: 92.368/86400 c Decision: 450/1380 Time: 94.0347/86400 c Decision: 450/1380 Time: 95.8864/86400 c Decision: 450/1380 Time: 97.7261/86400 c Decision: 450/1380 Time: 99.4419/86400 c Decision: 450/1380 Time: 101.31/86400 c Decision: 450/1380 Time: 103.048/86400 c Decision: 450/1380 Time: 105.095/86400 c Decision: 450/1380 Time: 106.959/86400 c Decision: 450/1380 Time: 109.197/86400 c Decision: 450/1380 Time: 110.994/86400 c Decision: 450/1380 Time: 112.709/86400 c Decision: 450/1380 Time: 114.712/86400 c Decision: 450/1380 Time: 116.91/86400 c Decision: 450/1380 Time: 118.902/86400 c Decision: 450/1380 Time: 120.931/86400 c Decision: 450/1380 Time: 122.905/86400 c Decision: 450/1380 Time: 125.108/86400 c Decision: 450/1380 Time: 127.339/86400 c Decision: 450/1380 Time: 129.293/86400 c Decision: 450/1380 Time: 131.399/86400 c Decision: 450/1380 Time: 133.707/86400 c Decision: 450/1380 Time: 136.173/86400 c Decision: 450/1380 Time: 138.334/86400 c Decision: 450/1380 Time: 140.483/86400 c Decision: 450/1380 Time: 142.544/86400 c Decision: 450/1380 Time: 144.386/86400 c Decision: 450/1380 Time: 146.598/86400 c Decision: 450/1380 Time: 148.629/86400 c Decision: 450/1380 Time: 150.792/86400 c Decision: 450/1380 Time: 152.649/86400 c Decision: 450/1380 Time: 155.179/86400 c Decision: 450/1380 Time: 157.404/86400 c Decision: 450/1380 Time: 159.482/86400 c Decision: 450/1380 Time: 161.588/86400 c Decision: 450/1380 Time: 164.059/86400 c Decision: 450/1380 Time: 166.399/86400 c Decision: 450/1380 Time: 168.552/86400 c Decision: 450/1380 Time: 170.819/86400 c Decision: 450/1380 Time: 172.784/86400 c Decision: 450/1380 Time: 174.71/86400 c Decision: 450/1380 Time: 176.643/86400 c Decision: 450/1380 Time: 179.441/86400 c Decision: 450/1380 Time: 181.676/86400 c Decision: 450/1380 Time: 183.713/86400 c Decision: 450/1380 Time: 185.861/86400 c Decision: 450/1380 Time: 188.056/86400 c Decision: 450/1380 Time: 190.491/86400 c Decision: 450/1380 Time: 192.67/86400 c Decision: 450/1380 Time: 194.677/86400 c Decision: 450/1380 Time: 196.996/86400 c Decision: 450/1380 Time: 198.959/86400 c Decision: 450/1380 Time: 201.504/86400 c Decision: 450/1380 Time: 203.903/86400 c Decision: 450/1380 Time: 206.482/86400 c Decision: 450/1380 Time: 208.912/86400 c Decision: 450/1380 Time: 211.334/86400 c Decision: 450/1380 Time: 213.884/86400 c Decision: 450/1380 Time: 216.395/86400 c Decision: 450/1380 Time: 218.662/86400 c Decision: 450/1380 Time: 221.018/86400 c Decision: 450/1380 Time: 223.374/86400 c Decision: 450/1380 Time: 225.946/86400 c Decision: 450/1380 Time: 228.762/86400 c Decision: 450/1380 Time: 231.165/86400 c Decision: 450/1380 Time: 233.179/86400 c Decision: 450/1380 Time: 235.616/86400 c Decision: 450/1380 Time: 238.018/86400 c Decision: 450/1380 Time: 240.185/86400 c Decision: 450/1380 Time: 242.441/86400 c Decision: 450/1380 Time: 244.577/86400 c Decision: 450/1380 Time: 246.811/86400 c Decision: 450/1380 Time: 249.333/86400 c Decision: 450/1380 Time: 251.813/86400 c Decision: 450/1380 Time: 254.229/86400 c Decision: 450/1380 Time: 256.777/86400 c Decision: 450/1380 Time: 258.883/86400 c Decision: 450/1380 Time: 261.2/86400 c Decision: 450/1380 Time: 263.379/86400 c Decision: 450/1380 Time: 265.238/86400 c Decision: 450/1380 Time: 267.36/86400 c Decision: 450/1380 Time: 269.508/86400 c Decision: 450/1380 Time: 271.735/86400 c Decision: 450/1380 Time: 273.674/86400 c Decision: 450/1380 Time: 275.61/86400 c Decision: 450/1380 Time: 277.77/86400 c Decision: 450/1380 Time: 279.738/86400 c Decision: 450/1380 Time: 282.281/86400 c Decision: 450/1380 Time: 284.64/86400 c Decision: 450/1380 Time: 286.856/86400 c Decision: 450/1380 Time: 289.106/86400 c Decision: 450/1380 Time: 291.55/86400 c Decision: 450/1380 Time: 294.598/86400 c Decision: 450/1380 Time: 296.576/86400 c Decision: 450/1380 Time: 298.846/86400 c Decision: 450/1380 Time: 301.099/86400 c Decision: 450/1380 Time: 303.205/86400 c Decision: 450/1380 Time: 305.946/86400 c Decision: 450/1380 Time: 308.361/86400 c Decision: 450/1380 Time: 310.716/86400 c Decision: 450/1380 Time: 313.054/86400 c Decision: 450/1380 Time: 315.273/86400 c Decision: 450/1380 Time: 317.806/86400 c Decision: 450/1380 Time: 320.019/86400 c Decision: 450/1380 Time: 322.239/86400 c Decision: 450/1380 Time: 324.873/86400 c Decision: 450/1380 Time: 327.277/86400 c Decision: 450/1380 Time: 329.74/86400 c Decision: 450/1380 Time: 332.01/86400 c Decision: 450/1380 Time: 334.249/86400 c Decision: 450/1380 Time: 336.521/86400 c Decision: 450/1380 Time: 338.506/86400 c Decision: 450/1380 Time: 340.846/86400 c Decision: 450/1380 Time: 343.075/86400 c Decision: 450/1380 Time: 344.996/86400 c Decision: 450/1380 Time: 346.975/86400 c Decision: 450/1380 Time: 348.918/86400 c Decision: 450/1380 Time: 351.449/86400 c Decision: 450/1380 Time: 353.7/86400 c Decision: 450/1380 Time: 355.947/86400 c Decision: 450/1380 Time: 358/86400 c Decision: 450/1380 Time: 360.676/86400 c Decision: 450/1380 Time: 362.803/86400 c Decision: 450/1380 Time: 364.94/86400 c Decision: 450/1380 Time: 367.165/86400 c Decision: 450/1380 Time: 369.294/86400 c Decision: 450/1380 Time: 371.429/86400 c Decision: 450/1380 Time: 373.846/86400 c Decision: 450/1380 Time: 375.983/86400 c Decision: 450/1380 Time: 378.127/86400 c Decision: 450/1380 Time: 380.117/86400 c Decision: 450/1380 Time: 382.323/86400 c Decision: 450/1380 Time: 384.641/86400 c Decision: 450/1380 Time: 386.953/86400 c Decision: 450/1380 Time: 389.185/86400 c Decision: 450/1380 Time: 391.364/86400 c Decision: 450/1380 Time: 393.569/86400 c Decision: 450/1380 Time: 395.925/86400 c Decision: 450/1380 Time: 398.094/86400 c Decision: 450/1380 Time: 400.193/86400 c Decision: 450/1380 Time: 402.804/86400 c Decision: 450/1380 Time: 405.258/86400 c Decision: 450/1380 Time: 408.095/86400 c Decision: 450/1380 Time: 410.597/86400 c Decision: 450/1380 Time: 413.256/86400 c Decision: 450/1380 Time: 415.16/86400 c Decision: 450/1380 Time: 417.161/86400 c Decision: 450/1380 Time: 419.43/86400 c Decision: 450/1380 Time: 421.552/86400 c Decision: 450/1380 Time: 423.482/86400 c Decision: 450/1380 Time: 425.453/86400 c Decision: 450/1380 Time: 427.774/86400 c Decision: 450/1380 Time: 430.089/86400 c Decision: 450/1380 Time: 432.299/86400 c Decision: 450/1380 Time: 434.704/86400 c Decision: 450/1380 Time: 437.168/86400 c Decision: 450/1380 Time: 439.2/86400 c Decision: 450/1380 Time: 441.615/86400 c Decision: 450/1380 Time: 443.734/86400 c Decision: 450/1380 Time: 446.009/86400 c Decision: 450/1380 Time: 448.088/86400 c Decision: 450/1380 Time: 450.689/86400 c Decision: 450/1380 Time: 453.437/86400 c Decision: 450/1380 Time: 455.665/86400 c Decision: 450/1380 Time: 458.146/86400 c Decision: 450/1380 Time: 460.635/86400 c Decision: 450/1380 Time: 463.369/86400 c Decision: 450/1380 Time: 465.804/86400 c Decision: 450/1380 Time: 468.046/86400 c Decision: 450/1380 Time: 470.618/86400 c Decision: 450/1380 Time: 473.098/86400 c Decision: 450/1380 Time: 475.641/86400 c Decision: 450/1380 Time: 478.439/86400 c Decision: 450/1380 Time: 480.973/86400 c Decision: 450/1380 Time: 483.406/86400 c Decision: 450/1380 Time: 485.878/86400 c Decision: 450/1380 Time: 488.171/86400 c Decision: 450/1380 Time: 491.064/86400 c Decision: 450/1380 Time: 493.341/86400 c Decision: 450/1380 Time: 495.8/86400 c Decision: 450/1380 Time: 498.226/86400 c Decision: 450/1380 Time: 500.528/86400 c Decision: 450/1380 Time: 502.895/86400 c Decision: 450/1380 Time: 505.108/86400 c Decision: 450/1380 Time: 507.365/86400 c Decision: 450/1380 Time: 509.469/86400 c Decision: 450/1380 Time: 511.565/86400 c Decision: 450/1380 Time: 513.932/86400 c Decision: 450/1380 Time: 515.82/86400 c Decision: 450/1380 Time: 518.073/86400 c Decision: 450/1380 Time: 520.25/86400 c Decision: 450/1380 Time: 522.586/86400 c Decision: 450/1380 Time: 524.982/86400 c Decision: 450/1380 Time: 527.515/86400 c Decision: 450/1380 Time: 529.978/86400 c Decision: 450/1380 Time: 532.497/86400 c Decision: 450/1380 Time: 534.852/86400 c Decision: 450/1380 Time: 537.637/86400 c Decision: 450/1380 Time: 540.048/86400 c Decision: 450/1380 Time: 542.444/86400 c Decision: 450/1380 Time: 544.926/86400 c Decision: 450/1380 Time: 547.585/86400 c Decision: 450/1380 Time: 550.572/86400 c Decision: 450/1380 Time: 553.13/86400 c Decision: 450/1380 Time: 555.741/86400 c Decision: 450/1380 Time: 558.377/86400 c Decision: 450/1380 Time: 561.174/86400 c Decision: 450/1380 Time: 564.222/86400 c Decision: 450/1380 Time: 566.725/86400 c Decision: 450/1380 Time: 569.614/86400 c Decision: 450/1380 Time: 572.071/86400 c Decision: 450/1380 Time: 574.66/86400 c Decision: 450/1380 Time: 577.561/86400 c Decision: 450/1380 Time: 580.246/86400 c Decision: 450/1380 Time: 583.062/86400 c Decision: 450/1380 Time: 585.801/86400 c Decision: 450/1380 Time: 588.772/86400 c Decision: 450/1380 Time: 592.064/86400 c Decision: 450/1380 Time: 595.148/86400 c Decision: 450/1380 Time: 597.964/86400 c Decision: 450/1380 Time: 600.786/86400 c Decision: 450/1380 Time: 603.477/86400 c Decision: 450/1380 Time: 606.726/86400 c Decision: 450/1380 Time: 609.526/86400 c Decision: 450/1380 Time: 612.451/86400 c Decision: 450/1380 Time: 615.198/86400 c Decision: 450/1380 Time: 617.677/86400 c Decision: 450/1380 Time: 620.685/86400 c Decision: 450/1380 Time: 623.172/86400 c Decision: 450/1380 Time: 625.626/86400 c Decision: 450/1380 Time: 628.396/86400 c Decision: 450/1380 Time: 631.327/86400 c Decision: 450/1380 Time: 634.22/86400 c Decision: 450/1380 Time: 636.903/86400 c Decision: 450/1380 Time: 639.227/86400 c Decision: 450/1380 Time: 642.509/86400 c Decision: 450/1380 Time: 645.311/86400 c Decision: 450/1380 Time: 648.696/86400 c Decision: 450/1380 Time: 651.557/86400 c Decision: 450/1380 Time: 654.451/86400 c Decision: 450/1380 Time: 657.437/86400 c Decision: 450/1380 Time: 660.667/86400 c Decision: 450/1380 Time: 663.782/86400 c Decision: 450/1380 Time: 666.622/86400 c Decision: 450/1380 Time: 669.031/86400 c Decision: 450/1380 Time: 671.752/86400 c Decision: 450/1380 Time: 674.487/86400 c Decision: 450/1380 Time: 677.782/86400 c Decision: 450/1380 Time: 680.52/86400 c Decision: 450/1380 Time: 683.258/86400 c Decision: 450/1380 Time: 685.94/86400 c Decision: 450/1380 Time: 688.869/86400 c Decision: 450/1380 Time: 692.241/86400 c Decision: 450/1380 Time: 694.631/86400 c Decision: 450/1380 Time: 697.276/86400 c Decision: 450/1380 Time: 700.168/86400 c Decision: 450/1380 Time: 702.947/86400 c Decision: 450/1380 Time: 706.058/86400 c Decision: 450/1380 Time: 708.847/86400 c Decision: 450/1380 Time: 711.706/86400 c Decision: 450/1380 Time: 714.72/86400 c Decision: 450/1380 Time: 717.807/86400 c Decision: 450/1380 Time: 721.212/86400 c Decision: 450/1380 Time: 724.457/86400 c Decision: 450/1380 Time: 727.402/86400 c Decision: 450/1380 Time: 730.541/86400 c Decision: 450/1380 Time: 734.931/86400 c Decision: 450/1380 Time: 739.078/86400 c Decision: 450/1380 Time: 742.241/86400 c Decision: 450/1380 Time: 745.79/86400 c Decision: 450/1380 Time: 749.268/86400 c Decision: 450/1380 Time: 752.778/86400 c Decision: 450/1380 Time: 756.638/86400 c Decision: 450/1380 Time: 759.656/86400 c Decision: 450/1380 Time: 762.867/86400 c Decision: 450/1380 Time: 766.379/86400 c Decision: 450/1380 Time: 769.593/86400 c Decision: 450/1380 Time: 772.984/86400 c Decision: 450/1380 Time: 776.142/86400 c Decision: 450/1380 Time: 779.737/86400 c Decision: 450/1380 Time: 783.363/86400 c Decision: 450/1380 Time: 786.782/86400 c Decision: 450/1380 Time: 790.648/86400 c Decision: 450/1380 Time: 794.819/86400 c Decision: 450/1380 Time: 797.957/86400 c Decision: 450/1380 Time: 801.42/86400 c Decision: 450/1380 Time: 804.471/86400 c Decision: 450/1380 Time: 807.848/86400 c Decision: 450/1380 Time: 811.082/86400 c Decision: 450/1380 Time: 814.175/86400 c Decision: 450/1380 Time: 817.455/86400 c Decision: 450/1380 Time: 820.555/86400 c Decision: 450/1380 Time: 824.092/86400 c Decision: 450/1380 Time: 827.056/86400 c Decision: 450/1380 Time: 830.12/86400 c Decision: 450/1380 Time: 833.457/86400 c Decision: 450/1380 Time: 836.562/86400 c Decision: 450/1380 Time: 840.344/86400 c Decision: 450/1380 Time: 843.584/86400 c Decision: 450/1380 Time: 846.905/86400 c Decision: 450/1380 Time: 850.062/86400 c Decision: 450/1380 Time: 853.198/86400 c Decision: 450/1380 Time: 856.576/86400 c Decision: 450/1380 Time: 859.43/86400 c Decision: 450/1380 Time: 862.673/86400 c Decision: 450/1380 Time: 865.62/86400 c Decision: 450/1380 Time: 868.908/86400 c Decision: 450/1380 Time: 872.308/86400 c Decision: 450/1380 Time: 875.158/86400 c Decision: 450/1380 Time: 877.617/86400 c Decision: 450/1380 Time: 880.511/86400 c Decision: 450/1380 Time: 882.947/86400 c Decision: 450/1380 Time: 885.734/86400 c Decision: 450/1380 Time: 888.382/86400 c Decision: 450/1380 Time: 891.226/86400 c Decision: 450/1380 Time: 894.134/86400 c Decision: 450/1380 Time: 896.545/86400 c Decision: 450/1380 Time: 899.695/86400 c Decision: 450/1380 Time: 902.471/86400 c Decision: 450/1380 Time: 905.138/86400 c Decision: 450/1380 Time: 908.115/86400 c Decision: 450/1380 Time: 910.962/86400 c Decision: 450/1380 Time: 914.109/86400 c Decision: 450/1380 Time: 917.27/86400 c Decision: 450/1380 Time: 920.212/86400 c Decision: 450/1380 Time: 923.234/86400 c Decision: 450/1380 Time: 926.438/86400 c Decision: 450/1380 Time: 929.798/86400 c Decision: 450/1380 Time: 932.81/86400 c Decision: 450/1380 Time: 936.047/86400 c Decision: 450/1380 Time: 938.898/86400 c Decision: 450/1380 Time: 941.831/86400 c Decision: 450/1380 Time: 944.848/86400 c Decision: 450/1380 Time: 947.651/86400 c Decision: 450/1380 Time: 950.88/86400 c Decision: 450/1380 Time: 953.738/86400 c Decision: 450/1380 Time: 956.535/86400 c Decision: 450/1380 Time: 959.508/86400 c Decision: 450/1380 Time: 962.323/86400 c Decision: 450/1380 Time: 965.238/86400 c Decision: 450/1380 Time: 968.194/86400 c Decision: 450/1380 Time: 970.936/86400 c Decision: 450/1380 Time: 974.25/86400 c Decision: 450/1380 Time: 977.576/86400 c Decision: 450/1380 Time: 980.561/86400 c Decision: 450/1380 Time: 983.317/86400 c Decision: 450/1380 Time: 986.145/86400 c Decision: 450/1380 Time: 989.464/86400 c Decision: 450/1380 Time: 992.361/86400 c Decision: 450/1380 Time: 995.348/86400 c Decision: 450/1380 Time: 998.592/86400 c Decision: 450/1380 Time: 1002.11/86400 c Decision: 450/1380 Time: 1005.54/86400 c Decision: 450/1380 Time: 1008.97/86400 c Decision: 450/1380 Time: 1011.94/86400 c Decision: 450/1380 Time: 1014.71/86400 c Decision: 450/1380 Time: 1018.01/86400 c Decision: 450/1380 Time: 1021.63/86400 c Decision: 450/1380 Time: 1024.75/86400 c Decision: 450/1380 Time: 1027.89/86400 c Decision: 450/1380 Time: 1031.23/86400 c Decision: 450/1380 Time: 1034.75/86400 c Decision: 450/1380 Time: 1038.61/86400 c Decision: 450/1380 Time: 1042.17/86400 c Decision: 450/1380 Time: 1045.39/86400 c Decision: 450/1380 Time: 1049.09/86400 c Decision: 450/1380 Time: 1052.27/86400 c Decision: 450/1380 Time: 1056.57/86400 c Decision: 450/1380 Time: 1059.71/86400 c Decision: 450/1380 Time: 1063.44/86400 c Decision: 450/1380 Time: 1066.59/86400 c Decision: 450/1380 Time: 1069.67/86400 c Decision: 450/1380 Time: 1073.27/86400 c Decision: 450/1380 Time: 1076.46/86400 c Decision: 450/1380 Time: 1079.87/86400 c Decision: 450/1380 Time: 1083.2/86400 c Decision: 450/1380 Time: 1086.86/86400 c Decision: 450/1380 Time: 1090.71/86400 c Decision: 450/1380 Time: 1094.58/86400 c Decision: 450/1380 Time: 1098.14/86400 c Decision: 450/1380 Time: 1101.38/86400 c Decision: 450/1380 Time: 1104.47/86400 c Decision: 450/1380 Time: 1108.58/86400 c Decision: 450/1380 Time: 1111.88/86400 c Decision: 450/1380 Time: 1115.39/86400 c Decision: 450/1380 Time: 1118.54/86400 c Decision: 450/1380 Time: 1121.8/86400 c Decision: 450/1380 Time: 1126.07/86400 c Decision: 450/1380 Time: 1129.81/86400 c Decision: 450/1380 Time: 1133.4/86400 c Decision: 450/1380 Time: 1136.98/86400 c Decision: 450/1380 Time: 1140.31/86400 c Decision: 450/1380 Time: 1144.11/86400 c Decision: 450/1380 Time: 1147.62/86400 c Decision: 450/1380 Time: 1151.27/86400 c Decision: 450/1380 Time: 1154.9/86400 c Decision: 450/1380 Time: 1158.7/86400 c Decision: 450/1380 Time: 1162.93/86400 c Decision: 450/1380 Time: 1166.56/86400 c Decision: 450/1380 Time: 1169.85/86400 c Decision: 450/1380 Time: 1173.24/86400 c Decision: 450/1380 Time: 1176.91/86400 c Decision: 450/1380 Time: 1181.08/86400 c Decision: 450/1380 Time: 1184.68/86400 c Decision: 450/1380 Time: 1188.26/86400 c Decision: 450/1380 Time: 1192.01/86400 c Decision: 450/1380 Time: 1195.75/86400 c Decision: 450/1380 Time: 1200.22/86400 c Decision: 450/1380 Time: 1203.77/86400 c Decision: 450/1380 Time: 1207.23/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.00 0.01 0.22 1/54 11074 Raw data (stat): 11074 (runsolver) R 11073 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964489477 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.0008 s] Raw data (loadavg): 0.15 0.05 0.22 2/54 11074 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 1025 0 9 0 952 4 0 0 25 0 1 0 964489477 6664192 1021 4294967295 134512640 135730672 3221224576 3221223120 134740257 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 1627 1021 301 301 0 1326 0 vsize: 6508 [startup+20.0007 s] Raw data (loadavg): 0.28 0.08 0.23 2/54 11074 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 1654 0 9 0 1948 8 0 0 25 0 1 0 964489477 11616256 1601 4294967295 134512640 135730672 3221224576 3221222988 135301630 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2836 1601 301 301 0 2535 0 vsize: 11344 [startup+30.0018 s] Raw data (loadavg): 0.39 0.11 0.24 2/54 11074 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 2370 0 9 0 2943 13 0 0 25 0 1 0 964489477 13156352 2220 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3212 2220 301 301 0 2911 0 vsize: 12848 [startup+40.0023 s] Raw data (loadavg): 0.49 0.14 0.25 2/54 11074 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 2547 0 9 0 3941 15 0 0 25 0 1 0 964489477 13737984 2397 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3354 2397 301 301 0 3053 0 vsize: 13416 [startup+50.0031 s] Raw data (loadavg): 0.56 0.16 0.26 2/54 11074 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 3013 0 9 0 4938 18 0 0 25 0 1 0 964489477 15343616 2670 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3746 2670 301 301 0 3445 0 vsize: 14984 [startup+60.003 s] Raw data (loadavg): 0.63 0.19 0.26 2/54 11074 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 3305 0 9 0 5936 20 0 0 25 0 1 0 964489477 16326656 2962 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3986 2962 301 301 0 3685 0 vsize: 15944 [startup+70.0028 s] Raw data (loadavg): 0.69 0.22 0.27 2/54 11074 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 3765 0 9 0 6934 21 0 0 25 0 1 0 964489477 16982016 3422 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4146 3422 301 301 0 3845 0 vsize: 16584 [startup+80.0036 s] Raw data (loadavg): 0.74 0.24 0.28 2/54 11074 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 4044 0 9 0 7933 23 0 0 25 0 1 0 964489477 17637376 3701 4294967295 134512640 135730672 3221224576 3221223088 134746507 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4306 3701 301 301 0 4005 0 vsize: 17224 [startup+90.0038 s] Raw data (loadavg): 0.78 0.27 0.29 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 4336 0 9 0 8931 25 0 0 25 0 1 0 964489477 26517504 3993 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6474 3993 301 301 0 6173 0 vsize: 25896 [startup+100.004 s] Raw data (loadavg): 0.81 0.29 0.29 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 4675 0 9 0 9928 28 0 0 25 0 1 0 964489477 26681344 4332 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6514 4332 301 301 0 6213 0 vsize: 26056 [startup+110.005 s] Raw data (loadavg): 0.84 0.31 0.30 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 4960 0 9 0 10926 29 0 0 25 0 1 0 964489477 27041792 4617 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6602 4617 301 301 0 6301 0 vsize: 26408 [startup+120.005 s] Raw data (loadavg): 0.86 0.33 0.31 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 5267 0 9 0 11925 31 0 0 25 0 1 0 964489477 27828224 4924 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6794 4924 301 301 0 6493 0 vsize: 27176 [startup+130.006 s] Raw data (loadavg): 0.88 0.36 0.31 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 6069 0 9 0 12922 34 0 0 25 0 1 0 964489477 30580736 5341 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7466 5341 301 301 0 7165 0 vsize: 29864 [startup+140.007 s] Raw data (loadavg): 0.90 0.38 0.32 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 6493 0 9 0 13921 36 0 0 25 0 1 0 964489477 31760384 5765 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7754 5765 301 301 0 7453 0 vsize: 31016 [startup+150.007 s] Raw data (loadavg): 0.92 0.40 0.33 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 6803 0 9 0 14918 38 0 0 25 0 1 0 964489477 32546816 6075 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7946 6075 301 301 0 7645 0 vsize: 31784 [startup+160.007 s] Raw data (loadavg): 0.93 0.42 0.33 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 6853 0 9 0 15917 39 0 0 25 0 1 0 964489477 32546816 6125 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7946 6125 301 301 0 7645 0 vsize: 31784 [startup+170.008 s] Raw data (loadavg): 0.94 0.43 0.34 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 6937 0 9 0 16917 40 0 0 25 0 1 0 964489477 32940032 6209 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8042 6209 301 301 0 7741 0 vsize: 32168 [startup+180.009 s] Raw data (loadavg): 0.95 0.45 0.35 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 7035 0 9 0 17916 41 0 0 25 0 1 0 964489477 33333248 6307 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8138 6307 301 301 0 7837 0 vsize: 32552 [startup+190.009 s] Raw data (loadavg): 0.95 0.47 0.35 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 7167 0 9 0 18915 42 0 0 25 0 1 0 964489477 33529856 6439 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8186 6439 301 301 0 7885 0 vsize: 32744 [startup+200.009 s] Raw data (loadavg): 0.96 0.49 0.36 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 7410 0 9 0 19914 44 0 0 25 0 1 0 964489477 33923072 6682 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8282 6682 301 301 0 7981 0 vsize: 33128 [startup+210.009 s] Raw data (loadavg): 0.97 0.50 0.37 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 7618 0 9 0 20912 46 0 0 25 0 1 0 964489477 33923072 6890 4294967295 134512640 135730672 3221224576 3221222912 134739267 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8282 6890 301 301 0 7981 0 vsize: 33128 [startup+220.009 s] Raw data (loadavg): 0.97 0.52 0.37 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 7786 0 9 0 21911 47 0 0 25 0 1 0 964489477 34119680 7058 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8330 7058 301 301 0 8029 0 vsize: 33320 [startup+230.01 s] Raw data (loadavg): 0.98 0.54 0.38 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 7910 0 9 0 22910 48 0 0 25 0 1 0 964489477 34316288 7182 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8378 7182 301 301 0 8077 0 vsize: 33512 [startup+240.011 s] Raw data (loadavg): 0.98 0.55 0.38 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8117 0 9 0 23908 50 0 0 25 0 1 0 964489477 34512896 7389 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8426 7389 301 301 0 8125 0 vsize: 33704 [startup+250.012 s] Raw data (loadavg): 0.98 0.56 0.39 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8152 0 9 0 24908 50 0 0 25 0 1 0 964489477 34512896 7424 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8426 7424 301 301 0 8125 0 vsize: 33704 [startup+260.011 s] Raw data (loadavg): 0.98 0.58 0.40 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8216 0 9 0 25907 52 0 0 25 0 1 0 964489477 34709504 7488 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8474 7488 301 301 0 8173 0 vsize: 33896 [startup+270.012 s] Raw data (loadavg): 0.99 0.59 0.40 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8256 0 9 0 26906 53 0 0 25 0 1 0 964489477 34709504 7528 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8474 7528 301 301 0 8173 0 vsize: 33896 [startup+280.012 s] Raw data (loadavg): 0.99 0.60 0.41 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8305 0 9 0 27906 53 0 0 25 0 1 0 964489477 34906112 7577 4294967295 134512640 135730672 3221224576 3221223088 134746507 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8522 7577 301 301 0 8221 0 vsize: 34088 [startup+290.012 s] Raw data (loadavg): 0.99 0.62 0.41 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8326 0 9 0 28905 54 0 0 25 0 1 0 964489477 34906112 7598 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8522 7598 301 301 0 8221 0 vsize: 34088 [startup+300.013 s] Raw data (loadavg): 0.99 0.63 0.42 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8355 0 9 0 29904 55 0 0 25 0 1 0 964489477 34906112 7627 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8522 7627 301 301 0 8221 0 vsize: 34088 [startup+310.013 s] Raw data (loadavg): 0.99 0.64 0.43 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8379 0 9 0 30904 56 0 0 25 0 1 0 964489477 34906112 7651 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8522 7651 301 301 0 8221 0 vsize: 34088 [startup+320.012 s] Raw data (loadavg): 0.99 0.65 0.43 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8439 0 9 0 31903 57 0 0 25 0 1 0 964489477 34906112 7711 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8522 7711 301 301 0 8221 0 vsize: 34088 [startup+330.013 s] Raw data (loadavg): 0.99 0.66 0.44 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8546 0 9 0 32902 58 0 0 25 0 1 0 964489477 34906112 7818 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8522 7818 301 301 0 8221 0 vsize: 34088 [startup+340.013 s] Raw data (loadavg): 0.99 0.67 0.44 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9337 0 9 0 33900 60 0 0 25 0 1 0 964489477 38051840 7840 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9290 7840 301 301 0 8989 0 vsize: 37160 [startup+350.014 s] Raw data (loadavg): 0.99 0.68 0.45 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9359 0 9 0 34900 61 0 0 25 0 1 0 964489477 38051840 7862 4294967295 134512640 135730672 3221224576 3221222960 134761916 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9290 7862 301 301 0 8989 0 vsize: 37160 [startup+360.014 s] Raw data (loadavg): 0.99 0.69 0.45 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9380 0 9 0 35899 61 0 0 25 0 1 0 964489477 38051840 7883 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9290 7883 301 301 0 8989 0 vsize: 37160 [startup+370.014 s] Raw data (loadavg): 0.99 0.70 0.46 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9403 0 9 0 36898 62 0 0 25 0 1 0 964489477 38187008 7906 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9323 7906 301 301 0 9022 0 vsize: 37292 [startup+380.014 s] Raw data (loadavg): 0.99 0.71 0.46 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9448 0 9 0 37898 63 0 0 25 0 1 0 964489477 38187008 7951 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9323 7951 301 301 0 9022 0 vsize: 37292 [startup+390.014 s] Raw data (loadavg): 0.99 0.72 0.47 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9491 0 9 0 38897 64 0 0 25 0 1 0 964489477 38313984 7994 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9354 7994 301 301 0 9053 0 vsize: 37416 [startup+400.015 s] Raw data (loadavg): 0.99 0.73 0.47 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9518 0 9 0 39897 64 0 0 25 0 1 0 964489477 38313984 8021 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9354 8021 301 301 0 9053 0 vsize: 37416 [startup+410.016 s] Raw data (loadavg): 0.99 0.74 0.48 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9559 0 9 0 40896 65 0 0 25 0 1 0 964489477 38449152 8062 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9387 8062 301 301 0 9086 0 vsize: 37548 [startup+420.016 s] Raw data (loadavg): 0.99 0.75 0.48 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9614 0 9 0 41896 65 0 0 25 0 1 0 964489477 38584320 8117 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9420 8117 301 301 0 9119 0 vsize: 37680 [startup+430.017 s] Raw data (loadavg): 0.99 0.75 0.49 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9650 0 9 0 42895 67 0 0 25 0 1 0 964489477 38584320 8153 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9420 8153 301 301 0 9119 0 vsize: 37680 [startup+440.017 s] Raw data (loadavg): 0.99 0.76 0.49 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9682 0 9 0 43894 68 0 0 25 0 1 0 964489477 38719488 8185 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9453 8185 301 301 0 9152 0 vsize: 37812 [startup+450.017 s] Raw data (loadavg): 0.99 0.77 0.50 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9710 0 9 0 44894 68 0 0 25 0 1 0 964489477 38719488 8213 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9453 8213 301 301 0 9152 0 vsize: 37812 [startup+460.017 s] Raw data (loadavg): 0.99 0.78 0.50 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9737 0 9 0 45893 69 0 0 25 0 1 0 964489477 38719488 8240 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9453 8240 301 301 0 9152 0 vsize: 37812 [startup+470.017 s] Raw data (loadavg): 0.99 0.78 0.51 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9770 0 9 0 46893 70 0 0 25 0 1 0 964489477 38842368 8273 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9483 8273 301 301 0 9182 0 vsize: 37932 [startup+480.018 s] Raw data (loadavg): 0.99 0.79 0.51 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9845 0 9 0 47893 70 0 0 25 0 1 0 964489477 38842368 8348 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9483 8348 301 301 0 9182 0 vsize: 37932 [startup+490.018 s] Raw data (loadavg): 0.99 0.80 0.52 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9968 0 9 0 48892 71 0 0 25 0 1 0 964489477 39137280 8471 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9555 8471 301 301 0 9254 0 vsize: 38220 [startup+500.018 s] Raw data (loadavg): 0.99 0.80 0.52 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10033 0 9 0 49891 72 0 0 25 0 1 0 964489477 39137280 8536 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9555 8536 301 301 0 9254 0 vsize: 38220 [startup+510.019 s] Raw data (loadavg): 0.99 0.81 0.53 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10076 0 9 0 50890 73 0 0 25 0 1 0 964489477 39272448 8579 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9588 8579 301 301 0 9287 0 vsize: 38352 [startup+520.019 s] Raw data (loadavg): 0.99 0.81 0.53 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10100 0 9 0 51890 74 0 0 25 0 1 0 964489477 39272448 8603 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9588 8603 301 301 0 9287 0 vsize: 38352 [startup+530.02 s] Raw data (loadavg): 0.99 0.82 0.54 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10125 0 9 0 52889 74 0 0 25 0 1 0 964489477 39272448 8628 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9588 8628 301 301 0 9287 0 vsize: 38352 [startup+540.02 s] Raw data (loadavg): 0.99 0.83 0.54 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10157 0 9 0 53889 75 0 0 25 0 1 0 964489477 39272448 8660 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9588 8660 301 301 0 9287 0 vsize: 38352 [startup+550.021 s] Raw data (loadavg): 0.99 0.83 0.55 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10293 0 9 0 54888 76 0 0 25 0 1 0 964489477 56205312 8796 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13722 8796 301 301 0 13421 0 vsize: 54888 [startup+560.02 s] Raw data (loadavg): 0.99 0.84 0.55 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10516 0 9 0 55886 78 0 0 25 0 1 0 964489477 56205312 9019 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13722 9019 301 301 0 13421 0 vsize: 54888 [startup+570.02 s] Raw data (loadavg): 0.99 0.84 0.56 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10639 0 9 0 56886 78 0 0 25 0 1 0 964489477 56340480 9142 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13755 9142 301 301 0 13454 0 vsize: 55020 [startup+580.021 s] Raw data (loadavg): 0.99 0.85 0.56 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10676 0 9 0 57886 79 0 0 25 0 1 0 964489477 56340480 9179 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13755 9179 301 301 0 13454 0 vsize: 55020 [startup+590.021 s] Raw data (loadavg): 0.99 0.85 0.56 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10727 0 9 0 58885 80 0 0 25 0 1 0 964489477 56475648 9230 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13788 9230 301 301 0 13487 0 vsize: 55152 [startup+600.022 s] Raw data (loadavg): 0.99 0.85 0.57 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10900 0 9 0 59884 81 0 0 25 0 1 0 964489477 57151488 9403 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13953 9403 301 301 0 13652 0 vsize: 55812 [startup+610.022 s] Raw data (loadavg): 0.99 0.86 0.57 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11076 0 9 0 60883 82 0 0 25 0 1 0 964489477 57286656 9579 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13986 9579 301 301 0 13685 0 vsize: 55944 [startup+620.021 s] Raw data (loadavg): 0.99 0.86 0.58 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11122 0 9 0 61883 83 0 0 25 0 1 0 964489477 57421824 9625 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14019 9625 301 301 0 13718 0 vsize: 56076 [startup+630.021 s] Raw data (loadavg): 0.99 0.87 0.58 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11145 0 9 0 62882 83 0 0 25 0 1 0 964489477 57421824 9648 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14019 9648 301 301 0 13718 0 vsize: 56076 [startup+640.021 s] Raw data (loadavg): 0.99 0.87 0.58 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11192 0 9 0 63882 84 0 0 25 0 1 0 964489477 57556992 9695 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14052 9695 301 301 0 13751 0 vsize: 56208 [startup+650.022 s] Raw data (loadavg): 0.99 0.87 0.59 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11450 0 9 0 64881 85 0 0 25 0 1 0 964489477 58368000 9953 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14250 9953 301 301 0 13949 0 vsize: 57000 [startup+660.022 s] Raw data (loadavg): 0.99 0.88 0.59 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11533 0 9 0 65880 86 0 0 25 0 1 0 964489477 58503168 10036 4294967295 134512640 135730672 3221224576 3221223072 134747777 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14283 10036 301 301 0 13982 0 vsize: 57132 [startup+670.022 s] Raw data (loadavg): 0.99 0.88 0.59 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11673 0 9 0 66879 87 0 0 25 0 1 0 964489477 58908672 10176 4294967295 134512640 135730672 3221224576 3221223120 134740276 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14382 10176 301 301 0 14081 0 vsize: 57528 [startup+680.022 s] Raw data (loadavg): 0.99 0.89 0.60 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11890 0 9 0 67878 88 0 0 25 0 1 0 964489477 59179008 10393 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14448 10393 301 301 0 14147 0 vsize: 57792 [startup+690.022 s] Raw data (loadavg): 0.99 0.89 0.60 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11981 0 9 0 68877 89 0 0 25 0 1 0 964489477 59719680 10484 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14580 10484 301 301 0 14279 0 vsize: 58320 [startup+700.023 s] Raw data (loadavg): 0.99 0.89 0.61 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 12040 0 9 0 69877 90 0 0 25 0 1 0 964489477 59990016 10543 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14646 10543 301 301 0 14345 0 vsize: 58584 [startup+710.023 s] Raw data (loadavg): 0.99 0.89 0.61 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 12130 0 9 0 70876 91 0 0 25 0 1 0 964489477 60530688 10633 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14778 10633 301 301 0 14477 0 vsize: 59112 [startup+720.023 s] Raw data (loadavg): 0.99 0.90 0.61 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 12262 0 9 0 71876 91 0 0 25 0 1 0 964489477 61071360 10765 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14910 10765 301 301 0 14609 0 vsize: 59640 [startup+730.024 s] Raw data (loadavg): 0.99 0.90 0.62 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 12488 0 9 0 72876 92 0 0 25 0 1 0 964489477 61882368 10991 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15108 10991 301 301 0 14807 0 vsize: 60432 [startup+740.023 s] Raw data (loadavg): 0.99 0.90 0.62 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 12758 0 9 0 73874 94 0 0 25 0 1 0 964489477 62558208 11261 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15273 11261 301 301 0 14972 0 vsize: 61092 [startup+750.023 s] Raw data (loadavg): 0.99 0.91 0.63 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 13081 0 9 0 74872 96 0 0 25 0 1 0 964489477 63639552 11584 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15537 11584 301 301 0 15236 0 vsize: 62148 [startup+760.024 s] Raw data (loadavg): 0.99 0.91 0.63 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 13268 0 9 0 75871 97 0 0 25 0 1 0 964489477 64045056 11771 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15636 11771 301 301 0 15335 0 vsize: 62544 [startup+770.024 s] Raw data (loadavg): 0.99 0.91 0.63 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 13403 0 9 0 76870 98 0 0 25 0 1 0 964489477 64450560 11906 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15735 11906 301 301 0 15434 0 vsize: 62940 [startup+780.025 s] Raw data (loadavg): 0.99 0.91 0.64 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 13537 0 9 0 77869 99 0 0 25 0 1 0 964489477 64856064 12040 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15834 12040 301 301 0 15533 0 vsize: 63336 [startup+790.026 s] Raw data (loadavg): 0.99 0.92 0.64 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 13680 0 9 0 78868 100 0 0 25 0 1 0 964489477 65396736 12183 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15966 12183 301 301 0 15665 0 vsize: 63864 [startup+800.027 s] Raw data (loadavg): 0.99 0.92 0.64 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 13872 0 9 0 79867 102 0 0 25 0 1 0 964489477 65667072 12375 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16032 12375 301 301 0 15731 0 vsize: 64128 [startup+810.027 s] Raw data (loadavg): 0.99 0.92 0.65 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 14034 0 9 0 80866 103 0 0 25 0 1 0 964489477 65667072 12537 4294967295 134512640 135730672 3221224576 3221223184 134744821 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16032 12537 301 301 0 15731 0 vsize: 64128 [startup+820.026 s] Raw data (loadavg): 0.99 0.92 0.65 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 14087 0 9 0 81865 104 0 0 25 0 1 0 964489477 65937408 12590 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16098 12590 301 301 0 15797 0 vsize: 64392 [startup+830.027 s] Raw data (loadavg): 0.99 0.92 0.65 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 14105 0 9 0 82865 105 0 0 25 0 1 0 964489477 65937408 12608 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16098 12608 301 301 0 15797 0 vsize: 64392 [startup+840.028 s] Raw data (loadavg): 0.99 0.93 0.66 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15701 0 9 0 83861 109 0 0 25 0 1 0 964489477 72499200 12667 4294967295 134512640 135730672 3221224576 3221223088 134746488 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17700 12667 301 301 0 17399 0 vsize: 70800 [startup+850.029 s] Raw data (loadavg): 0.99 0.93 0.66 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15736 0 9 0 84860 109 0 0 25 0 1 0 964489477 72634368 12702 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17733 12702 301 301 0 17432 0 vsize: 70932 [startup+860.03 s] Raw data (loadavg): 0.99 0.93 0.66 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15784 0 9 0 85860 110 0 0 25 0 1 0 964489477 72904704 12750 4294967295 134512640 135730672 3221224576 3221223072 134747768 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17799 12750 301 301 0 17498 0 vsize: 71196 [startup+870.029 s] Raw data (loadavg): 0.99 0.93 0.66 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15815 0 9 0 86859 111 0 0 25 0 1 0 964489477 73039872 12781 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17832 12781 301 301 0 17531 0 vsize: 71328 [startup+880.03 s] Raw data (loadavg): 0.99 0.93 0.67 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15848 0 9 0 87859 112 0 0 25 0 1 0 964489477 73175040 12814 4294967295 134512640 135730672 3221224576 3221223184 134744763 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17865 12814 301 301 0 17564 0 vsize: 71460 [startup+890.03 s] Raw data (loadavg): 0.99 0.94 0.67 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15866 0 9 0 88858 112 0 0 25 0 1 0 964489477 73175040 12832 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17865 12832 301 301 0 17564 0 vsize: 71460 [startup+900.032 s] Raw data (loadavg): 0.99 0.94 0.67 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15903 0 9 0 89858 113 0 0 25 0 1 0 964489477 73310208 12869 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17898 12869 301 301 0 17597 0 vsize: 71592 [startup+910.032 s] Raw data (loadavg): 0.99 0.94 0.68 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15935 0 9 0 90857 114 0 0 25 0 1 0 964489477 73445376 12901 4294967295 134512640 135730672 3221224576 3221223184 134744732 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17931 12901 301 301 0 17630 0 vsize: 71724 [startup+920.032 s] Raw data (loadavg): 0.99 0.94 0.68 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15990 0 9 0 91857 115 0 0 25 0 1 0 964489477 73715712 12956 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17997 12956 301 301 0 17696 0 vsize: 71988 [startup+930.032 s] Raw data (loadavg): 0.99 0.94 0.68 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16021 0 9 0 92856 115 0 0 25 0 1 0 964489477 73850880 12987 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18030 12987 301 301 0 17729 0 vsize: 72120 [startup+940.032 s] Raw data (loadavg): 0.99 0.94 0.68 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16056 0 9 0 93856 116 0 0 25 0 1 0 964489477 73986048 13022 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18063 13022 301 301 0 17762 0 vsize: 72252 [startup+950.033 s] Raw data (loadavg): 0.99 0.94 0.69 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16089 0 9 0 94855 117 0 0 25 0 1 0 964489477 74121216 13055 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18096 13055 301 301 0 17795 0 vsize: 72384 [startup+960.034 s] Raw data (loadavg): 0.99 0.95 0.69 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16123 0 9 0 95855 117 0 0 25 0 1 0 964489477 74256384 13089 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18129 13089 301 301 0 17828 0 vsize: 72516 [startup+970.034 s] Raw data (loadavg): 0.99 0.95 0.69 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16156 0 9 0 96854 118 0 0 25 0 1 0 964489477 74391552 13122 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18162 13122 301 301 0 17861 0 vsize: 72648 [startup+980.035 s] Raw data (loadavg): 0.99 0.95 0.70 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16192 0 9 0 97854 119 0 0 25 0 1 0 964489477 74526720 13158 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18195 13158 301 301 0 17894 0 vsize: 72780 [startup+990.034 s] Raw data (loadavg): 0.99 0.95 0.70 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16225 0 9 0 98853 119 0 0 25 0 1 0 964489477 74661888 13191 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18228 13191 301 301 0 17927 0 vsize: 72912 [startup+1000.04 s] Raw data (loadavg): 0.99 0.95 0.70 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16240 0 9 0 99853 120 0 0 25 0 1 0 964489477 74661888 13206 4294967295 134512640 135730672 3221224576 3221223072 134747845 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18228 13206 301 301 0 17927 0 vsize: 72912 [startup+1010.04 s] Raw data (loadavg): 0.99 0.95 0.70 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16276 0 9 0 100852 121 0 0 25 0 1 0 964489477 74797056 13242 4294967295 134512640 135730672 3221224576 3221223184 134744868 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18261 13242 301 301 0 17960 0 vsize: 73044 [startup+1020.03 s] Raw data (loadavg): 0.99 0.95 0.71 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16313 0 9 0 101852 121 0 0 25 0 1 0 964489477 74932224 13279 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18294 13279 301 301 0 17993 0 vsize: 73176 [startup+1030.04 s] Raw data (loadavg): 0.99 0.95 0.71 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16381 0 9 0 102851 122 0 0 25 0 1 0 964489477 75337728 13347 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18393 13347 301 301 0 18092 0 vsize: 73572 [startup+1040.04 s] Raw data (loadavg): 0.99 0.95 0.71 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16411 0 9 0 103851 122 0 0 25 0 1 0 964489477 75472896 13377 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18426 13377 301 301 0 18125 0 vsize: 73704 [startup+1050.04 s] Raw data (loadavg): 0.99 0.95 0.72 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16427 0 9 0 104851 122 0 0 25 0 1 0 964489477 75472896 13393 4294967295 134512640 135730672 3221224576 3221223120 134740270 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18426 13393 301 301 0 18125 0 vsize: 73704 [startup+1060.04 s] Raw data (loadavg): 0.99 0.95 0.72 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16465 0 9 0 105851 123 0 0 25 0 1 0 964489477 75608064 13431 4294967295 134512640 135730672 3221224576 3221223088 134746497 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18459 13431 301 301 0 18158 0 vsize: 73836 [startup+1070.04 s] Raw data (loadavg): 0.99 0.96 0.72 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16481 0 9 0 106850 124 0 0 25 0 1 0 964489477 75608064 13447 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18459 13447 301 301 0 18158 0 vsize: 73836 [startup+1080.04 s] Raw data (loadavg): 0.99 0.96 0.73 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16513 0 9 0 107850 124 0 0 25 0 1 0 964489477 75743232 13479 4294967295 134512640 135730672 3221224576 3221223088 134746217 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18492 13479 301 301 0 18191 0 vsize: 73968 [startup+1090.04 s] Raw data (loadavg): 0.99 0.96 0.73 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16546 0 9 0 108849 125 0 0 25 0 1 0 964489477 75878400 13512 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18525 13512 301 301 0 18224 0 vsize: 74100 [startup+1100.04 s] Raw data (loadavg): 0.99 0.96 0.73 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16565 0 9 0 109849 125 0 0 25 0 1 0 964489477 75878400 13531 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18525 13531 301 301 0 18224 0 vsize: 74100 [startup+1110.04 s] Raw data (loadavg): 0.99 0.96 0.73 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16586 0 9 0 110849 126 0 0 25 0 1 0 964489477 75878400 13552 4294967295 134512640 135730672 3221224576 3221223120 134740274 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18525 13552 301 301 0 18224 0 vsize: 74100 [startup+1120.04 s] Raw data (loadavg): 0.99 0.96 0.73 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16645 0 9 0 111849 126 0 0 25 0 1 0 964489477 76148736 13611 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18591 13611 301 301 0 18290 0 vsize: 74364 [startup+1130.04 s] Raw data (loadavg): 0.99 0.96 0.74 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16681 0 9 0 112849 127 0 0 25 0 1 0 964489477 76148736 13647 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18591 13647 301 301 0 18290 0 vsize: 74364 [startup+1140.04 s] Raw data (loadavg): 0.99 0.96 0.74 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16751 0 9 0 113848 127 0 0 25 0 1 0 964489477 76148736 13717 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18591 13717 301 301 0 18290 0 vsize: 74364 [startup+1150.04 s] Raw data (loadavg): 0.99 0.96 0.74 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16831 0 9 0 114848 128 0 0 25 0 1 0 964489477 76148736 13797 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18591 13797 301 301 0 18290 0 vsize: 74364 [startup+1160.04 s] Raw data (loadavg): 0.99 0.96 0.74 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16985 0 9 0 115847 129 0 0 25 0 1 0 964489477 76148736 13951 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18591 13951 301 301 0 18290 0 vsize: 74364 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.74 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 17064 0 9 0 116846 130 0 0 25 0 1 0 964489477 76148736 14030 4294967295 134512640 135730672 3221224576 3221223088 134746175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18591 14030 301 301 0 18290 0 vsize: 74364 [startup+1180.04 s] Raw data (loadavg): 0.99 0.97 0.75 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 17171 0 9 0 117845 131 0 0 25 0 1 0 964489477 76148736 14137 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18591 14137 301 301 0 18290 0 vsize: 74364 [startup+1190.04 s] Raw data (loadavg): 0.99 0.97 0.75 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 17195 0 9 0 118844 132 0 0 25 0 1 0 964489477 76148736 14161 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18591 14161 301 301 0 18290 0 vsize: 74364 [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.75 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 17235 0 9 0 119844 133 0 0 25 0 1 0 964489477 76283904 14201 4294967295 134512640 135730672 3221224576 3221223088 134746539 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18624 14201 301 301 0 18323 0 vsize: 74496 [startup+1210.04 s] Raw data (loadavg): 0.99 0.97 0.75 2/54 11076 Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 17292 0 9 0 120844 133 0 0 25 0 1 0 964489477 76554240 14258 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18690 14258 301 301 0 18389 0 vsize: 74760 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1210.24 s] Raw data (loadavg): 0.99 0.97 0.75 1/54 11076 Raw data (stat): 11074 (pb2sat-v2) Z 11073 20224 20223 0 -1 12 17294 0 9 0 120860 136 0 0 25 0 1 0 964489477 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): 1210.24 CPU time (s): 1209.97 CPU user time (s): 1208.6 CPU system time (s): 1.36779 CPU usage (%): 99.9779 Max. virtual memory (Kb): 74760 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####