Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb |
MD5SUM | 9cfcc49797c7ac58bfef2056b3d91b66 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
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 | 7500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 7500 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 7500 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.065989 |
Number of variables | 7500 |
Total number of constraints | 237715 |
Number of constraints which are clauses | 237715 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 15 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-15 21:13:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25230 boxname=wulflinc1 idbench=132 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 9cfcc49797c7ac58bfef2056b3d91b66 /oldhome/oroussel/tmp/wulflinc1/normalized-g250.15.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-g250.15.opb IDLAUNCH: 25230 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 822968 kB Buffers: 33656 kB Cached: 153648 kB SwapCached: 1192 kB Active: 82408 kB Inactive: 107196 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 822716 kB SwapTotal: 2097136 kB SwapFree: 2094880 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 16372 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-15 21:34:01 (client local time) WITH STATUS 0 IN 1200.43 SECONDS stats: 25230 7 1200.43 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 13/7513 Time: 19.953/86400 c Decision: 13/7513 Time: 22.9145/86400 c Decision: 13/7513 Time: 25.8041/86400 c Decision: 13/7513 Time: 28.1497/86400 c Decision: 13/7513 Time: 30.8943/86400 c Decision: 13/7513 Time: 34.2668/86400 c Decision: 13/7513 Time: 36.3295/86400 c Decision: 13/7513 Time: 38.7021/86400 c Decision: 13/7513 Time: 41.2427/86400 c Decision: 13/7513 Time: 43.7753/86400 c Decision: 13/7513 Time: 46.4749/86400 c Decision: 13/7513 Time: 49.0585/86400 c Decision: 13/7513 Time: 52.437/86400 c Decision: 13/7513 Time: 55.1346/86400 c Decision: 13/7513 Time: 58.1592/86400 c Decision: 13/7513 Time: 60.5888/86400 c Decision: 13/7513 Time: 63.3654/86400 c Decision: 13/7513 Time: 65.803/86400 c Decision: 13/7513 Time: 68.8085/86400 c Decision: 13/7513 Time: 71.5601/86400 c Decision: 13/7513 Time: 73.8568/86400 c Decision: 13/7513 Time: 76.0354/86400 c Decision: 13/7513 Time: 79.076/86400 c Decision: 13/7513 Time: 81.6296/86400 c Decision: 13/7513 Time: 83.7633/86400 c Decision: 13/7513 Time: 86.7668/86400 c Decision: 13/7513 Time: 88.7295/86400 c Decision: 13/7513 Time: 91.3741/86400 c Decision: 13/7513 Time: 94.8096/86400 c Decision: 13/7513 Time: 97.3512/86400 c Decision: 13/7513 Time: 100.421/86400 c Decision: 13/7513 Time: 103.233/86400 c Decision: 13/7513 Time: 106.384/86400 c Decision: 13/7513 Time: 109.443/86400 c Decision: 13/7513 Time: 112.176/86400 c Decision: 13/7513 Time: 115.249/86400 c Decision: 13/7513 Time: 117.55/86400 c Decision: 13/7513 Time: 120.217/86400 c Decision: 13/7513 Time: 123.346/86400 c Decision: 13/7513 Time: 126.486/86400 c Decision: 13/7513 Time: 129.882/86400 c Decision: 13/7513 Time: 131.169/86400 c Decision: 13/7513 Time: 133.205/86400 c Decision: 13/7513 Time: 135.43/86400 c Decision: 13/7513 Time: 137.817/86400 c Decision: 13/7513 Time: 141.726/86400 c Decision: 13/7513 Time: 144.671/86400 c Decision: 13/7513 Time: 147.059/86400 c Decision: 13/7513 Time: 150.823/86400 c Decision: 13/7513 Time: 153.621/86400 c Decision: 13/7513 Time: 156.338/86400 c Decision: 13/7513 Time: 159.528/86400 c Decision: 13/7513 Time: 163.438/86400 c Decision: 13/7513 Time: 166.566/86400 c Decision: 13/7513 Time: 169.338/86400 c Decision: 13/7513 Time: 172.795/86400 c Decision: 13/7513 Time: 175.659/86400 c Decision: 13/7513 Time: 178.682/86400 c Decision: 13/7513 Time: 181.765/86400 c Decision: 13/7513 Time: 184.963/86400 c Decision: 13/7513 Time: 188.787/86400 c Decision: 13/7513 Time: 191.265/86400 c Decision: 13/7513 Time: 194.094/86400 c Decision: 13/7513 Time: 197.492/86400 c Decision: 13/7513 Time: 200.246/86400 c Decision: 13/7513 Time: 203.368/86400 c Decision: 13/7513 Time: 206.974/86400 c Decision: 13/7513 Time: 210.69/86400 c Decision: 13/7513 Time: 213.245/86400 c Decision: 13/7513 Time: 216.461/86400 c Decision: 13/7513 Time: 220.245/86400 c Decision: 13/7513 Time: 221.591/86400 c Decision: 13/7513 Time: 223.57/86400 c Decision: 13/7513 Time: 225.379/86400 c Decision: 13/7513 Time: 228.181/86400 c Decision: 13/7513 Time: 231.752/86400 c Decision: 13/7513 Time: 233.791/86400 c Decision: 13/7513 Time: 237.138/86400 c Decision: 13/7513 Time: 240.701/86400 c Decision: 13/7513 Time: 243.476/86400 c Decision: 13/7513 Time: 245.329/86400 c Decision: 13/7513 Time: 247.817/86400 c Decision: 13/7513 Time: 251.056/86400 c Decision: 13/7513 Time: 253.454/86400 c Decision: 13/7513 Time: 256.086/86400 c Decision: 13/7513 Time: 259.479/86400 c Decision: 13/7513 Time: 261.751/86400 c Decision: 13/7513 Time: 264.477/86400 c Decision: 13/7513 Time: 268.512/86400 c Decision: 13/7513 Time: 270.782/86400 c Decision: 13/7513 Time: 273.66/86400 c Decision: 13/7513 Time: 277.002/86400 c Decision: 13/7513 Time: 279.86/86400 c Decision: 13/7513 Time: 281.426/86400 c Decision: 13/7513 Time: 284/86400 c Decision: 13/7513 Time: 287.376/86400 c Decision: 13/7513 Time: 289.237/86400 c Decision: 13/7513 Time: 292.059/86400 c Decision: 13/7513 Time: 295.141/86400 c Decision: 13/7513 Time: 298.296/86400 c Decision: 13/7513 Time: 301.659/86400 c Decision: 13/7513 Time: 305.631/86400 c Decision: 13/7513 Time: 308.245/86400 c Decision: 13/7513 Time: 312.018/86400 c Decision: 13/7513 Time: 314.993/86400 c Decision: 13/7513 Time: 318.392/86400 c Decision: 13/7513 Time: 320.955/86400 c Decision: 13/7513 Time: 324.983/86400 c Decision: 13/7513 Time: 327.777/86400 c Decision: 13/7513 Time: 330.705/86400 c Decision: 13/7513 Time: 333.413/86400 c Decision: 13/7513 Time: 336.495/86400 c Decision: 13/7513 Time: 339.242/86400 c Decision: 13/7513 Time: 341.833/86400 c Decision: 13/7513 Time: 344.861/86400 c Decision: 13/7513 Time: 347.599/86400 c Decision: 13/7513 Time: 351.319/86400 c Decision: 13/7513 Time: 352.675/86400 c Decision: 13/7513 Time: 355.928/86400 c Decision: 13/7513 Time: 358.81/86400 c Decision: 13/7513 Time: 362.229/86400 c Decision: 13/7513 Time: 364.783/86400 c Decision: 13/7513 Time: 366.95/86400 c Decision: 13/7513 Time: 370.828/86400 c Decision: 13/7513 Time: 374.178/86400 c Decision: 13/7513 Time: 377.249/86400 c Decision: 13/7513 Time: 380.813/86400 c Decision: 13/7513 Time: 384.588/86400 c Decision: 13/7513 Time: 387.678/86400 c Decision: 13/7513 Time: 391.411/86400 c Decision: 13/7513 Time: 394.355/86400 c Decision: 13/7513 Time: 398.254/86400 c Decision: 13/7513 Time: 401.955/86400 c Decision: 13/7513 Time: 404.207/86400 c Decision: 13/7513 Time: 407.373/86400 c Decision: 13/7513 Time: 410.132/86400 c Decision: 13/7513 Time: 413.499/86400 c Decision: 13/7513 Time: 416.058/86400 c Decision: 13/7513 Time: 418.718/86400 c Decision: 13/7513 Time: 421.249/86400 c Decision: 13/7513 Time: 425.089/86400 c Decision: 13/7513 Time: 427.794/86400 c Decision: 13/7513 Time: 429.025/86400 c Decision: 13/7513 Time: 431.775/86400 c Decision: 13/7513 Time: 434.936/86400 c Decision: 13/7513 Time: 438.874/86400 c Decision: 13/7513 Time: 442.885/86400 c Decision: 13/7513 Time: 445.593/86400 c Decision: 13/7513 Time: 449.001/86400 c Decision: 13/7513 Time: 451.468/86400 c Decision: 13/7513 Time: 453.587/86400 c Decision: 13/7513 Time: 457.122/86400 c Decision: 13/7513 Time: 460.011/86400 c Decision: 13/7513 Time: 463.525/86400 c Decision: 13/7513 Time: 465.734/86400 c Decision: 13/7513 Time: 468.579/86400 c Decision: 13/7513 Time: 471.042/86400 c Decision: 13/7513 Time: 472.7/86400 c Decision: 13/7513 Time: 476.116/86400 c Decision: 13/7513 Time: 478.481/86400 c Decision: 13/7513 Time: 481.724/86400 c Decision: 13/7513 Time: 484.479/86400 c Decision: 13/7513 Time: 487.083/86400 c Decision: 13/7513 Time: 490.101/86400 c Decision: 13/7513 Time: 492.501/86400 c Decision: 13/7513 Time: 495.067/86400 c Decision: 13/7513 Time: 496.539/86400 c Decision: 13/7513 Time: 498.071/86400 c Decision: 13/7513 Time: 500.305/86400 c Decision: 13/7513 Time: 504.033/86400 c Decision: 13/7513 Time: 506.576/86400 c Decision: 13/7513 Time: 508.637/86400 c Decision: 13/7513 Time: 510.747/86400 c Decision: 13/7513 Time: 513.756/86400 c Decision: 13/7513 Time: 516.37/86400 c Decision: 13/7513 Time: 520.551/86400 c Decision: 13/7513 Time: 522.977/86400 c Decision: 13/7513 Time: 525.697/86400 c Decision: 13/7513 Time: 526.941/86400 c Decision: 13/7513 Time: 529.096/86400 c Decision: 13/7513 Time: 532.034/86400 c Decision: 13/7513 Time: 534.273/86400 c Decision: 13/7513 Time: 537.158/86400 c Decision: 13/7513 Time: 538.587/86400 c Decision: 13/7513 Time: 541.043/86400 c Decision: 13/7513 Time: 545.366/86400 c Decision: 13/7513 Time: 548.41/86400 c Decision: 13/7513 Time: 550.789/86400 c Decision: 13/7513 Time: 553.556/86400 c Decision: 13/7513 Time: 555.932/86400 c Decision: 13/7513 Time: 558.303/86400 c Decision: 13/7513 Time: 561.309/86400 c Decision: 13/7513 Time: 564.606/86400 c Decision: 13/7513 Time: 567.372/86400 c Decision: 13/7513 Time: 569.58/86400 c Decision: 13/7513 Time: 573.353/86400 c Decision: 13/7513 Time: 575.461/86400 c Decision: 13/7513 Time: 578.744/86400 c Decision: 13/7513 Time: 581.229/86400 c Decision: 13/7513 Time: 584.153/86400 c Decision: 13/7513 Time: 586.505/86400 c Decision: 13/7513 Time: 589.371/86400 c Decision: 13/7513 Time: 591.828/86400 c Decision: 13/7513 Time: 594.271/86400 c Decision: 13/7513 Time: 597.09/86400 c Decision: 13/7513 Time: 601.235/86400 c Decision: 13/7513 Time: 603.799/86400 c Decision: 13/7513 Time: 606.156/86400 c Decision: 13/7513 Time: 608.783/86400 c Decision: 13/7513 Time: 612.028/86400 c Decision: 13/7513 Time: 614.705/86400 c Decision: 13/7513 Time: 615.894/86400 c Decision: 13/7513 Time: 618.102/86400 c Decision: 13/7513 Time: 621.088/86400 c Decision: 13/7513 Time: 623.155/86400 c Decision: 13/7513 Time: 624.9/86400 c Decision: 13/7513 Time: 626.852/86400 c Decision: 13/7513 Time: 629.785/86400 c Decision: 13/7513 Time: 631.246/86400 c Decision: 13/7513 Time: 633.037/86400 c Decision: 13/7513 Time: 635.784/86400 c Decision: 13/7513 Time: 638.793/86400 c Decision: 13/7513 Time: 642.31/86400 c Decision: 13/7513 Time: 644.834/86400 c Decision: 13/7513 Time: 647.631/86400 c Decision: 13/7513 Time: 650.487/86400 c Decision: 13/7513 Time: 652.798/86400 c Decision: 13/7513 Time: 655.565/86400 c Decision: 13/7513 Time: 657.965/86400 c Decision: 13/7513 Time: 660.915/86400 c Decision: 13/7513 Time: 663.974/86400 c Decision: 13/7513 Time: 667.033/86400 c Decision: 13/7513 Time: 669.678/86400 c Decision: 13/7513 Time: 671.377/86400 c Decision: 13/7513 Time: 673.276/86400 c Decision: 13/7513 Time: 675.541/86400 c Decision: 13/7513 Time: 677.631/86400 c Decision: 13/7513 Time: 680.146/86400 c Decision: 13/7513 Time: 683.7/86400 c Decision: 13/7513 Time: 686.846/86400 c Decision: 13/7513 Time: 691.415/86400 c Decision: 13/7513 Time: 694.039/86400 c Decision: 13/7513 Time: 696.445/86400 c Decision: 13/7513 Time: 700.529/86400 c Decision: 13/7513 Time: 703.638/86400 c Decision: 13/7513 Time: 705.479/86400 c Decision: 13/7513 Time: 708.739/86400 c Decision: 13/7513 Time: 712.441/86400 c Decision: 13/7513 Time: 715.33/86400 c Decision: 13/7513 Time: 717.354/86400 c Decision: 13/7513 Time: 719.08/86400 c Decision: 13/7513 Time: 721.369/86400 c Decision: 13/7513 Time: 724.55/86400 c Decision: 13/7513 Time: 727.621/86400 c Decision: 13/7513 Time: 730.716/86400 c Decision: 13/7513 Time: 734.165/86400 c Decision: 13/7513 Time: 737.666/86400 c Decision: 13/7513 Time: 739.621/86400 c Decision: 13/7513 Time: 742.544/86400 c Decision: 13/7513 Time: 745.184/86400 c Decision: 13/7513 Time: 748.506/86400 c Decision: 13/7513 Time: 751.485/86400 c Decision: 13/7513 Time: 755.128/86400 c Decision: 13/7513 Time: 758.734/86400 c Decision: 13/7513 Time: 761.752/86400 c Decision: 13/7513 Time: 764.955/86400 c Decision: 13/7513 Time: 767.315/86400 c Decision: 13/7513 Time: 770.263/86400 c Decision: 13/7513 Time: 773.125/86400 c Decision: 13/7513 Time: 775.902/86400 c Decision: 13/7513 Time: 778.993/86400 c Decision: 13/7513 Time: 781.45/86400 c Decision: 13/7513 Time: 784.139/86400 c Decision: 13/7513 Time: 786.982/86400 c Decision: 13/7513 Time: 789.248/86400 c Decision: 13/7513 Time: 791.94/86400 c Decision: 13/7513 Time: 794.833/86400 c Decision: 13/7513 Time: 798.274/86400 c Decision: 13/7513 Time: 800.28/86400 c Decision: 13/7513 Time: 802.984/86400 c Decision: 13/7513 Time: 805.706/86400 c Decision: 13/7513 Time: 808.606/86400 c Decision: 13/7513 Time: 811.698/86400 c Decision: 13/7513 Time: 814.251/86400 c Decision: 13/7513 Time: 817.857/86400 c Decision: 13/7513 Time: 820.393/86400 c Decision: 13/7513 Time: 823.051/86400 c Decision: 13/7513 Time: 825.168/86400 c Decision: 13/7513 Time: 828.35/86400 c Decision: 13/7513 Time: 831.658/86400 c Decision: 13/7513 Time: 834.782/86400 c Decision: 13/7513 Time: 838.591/86400 c Decision: 13/7513 Time: 841.164/86400 c Decision: 13/7513 Time: 844.22/86400 c Decision: 13/7513 Time: 845.955/86400 c Decision: 13/7513 Time: 848.687/86400 c Decision: 13/7513 Time: 852.144/86400 c Decision: 13/7513 Time: 853.73/86400 c Decision: 13/7513 Time: 854.91/86400 c Decision: 13/7513 Time: 856.936/86400 c Decision: 13/7513 Time: 860.083/86400 c Decision: 13/7513 Time: 862.152/86400 c Decision: 13/7513 Time: 864.536/86400 c Decision: 13/7513 Time: 867.058/86400 c Decision: 13/7513 Time: 869.419/86400 c Decision: 13/7513 Time: 873.538/86400 c Decision: 13/7513 Time: 875.122/86400 c Decision: 13/7513 Time: 877.071/86400 c Decision: 13/7513 Time: 880.766/86400 c Decision: 13/7513 Time: 883.545/86400 c Decision: 13/7513 Time: 887.06/86400 c Decision: 13/7513 Time: 889.415/86400 c Decision: 13/7513 Time: 892.365/86400 c Decision: 13/7513 Time: 895.199/86400 c Decision: 13/7513 Time: 897.613/86400 c Decision: 13/7513 Time: 899.248/86400 c Decision: 13/7513 Time: 901.16/86400 c Decision: 13/7513 Time: 903.044/86400 c Decision: 13/7513 Time: 905.231/86400 c Decision: 13/7513 Time: 908.191/86400 c Decision: 13/7513 Time: 911.674/86400 c Decision: 13/7513 Time: 913.912/86400 c Decision: 13/7513 Time: 916.884/86400 c Decision: 13/7513 Time: 919.201/86400 c Decision: 13/7513 Time: 920.935/86400 c Decision: 13/7513 Time: 923.208/86400 c Decision: 13/7513 Time: 926.082/86400 c Decision: 13/7513 Time: 928.605/86400 c Decision: 13/7513 Time: 932.157/86400 c Decision: 13/7513 Time: 935.382/86400 c Decision: 13/7513 Time: 937.585/86400 c Decision: 13/7513 Time: 940.6/86400 c Decision: 13/7513 Time: 943.074/86400 c Decision: 13/7513 Time: 945.944/86400 c Decision: 13/7513 Time: 948.106/86400 c Decision: 13/7513 Time: 950.907/86400 c Decision: 13/7513 Time: 953.834/86400 c Decision: 13/7513 Time: 955.929/86400 c Decision: 13/7513 Time: 958.754/86400 c Decision: 13/7513 Time: 961.251/86400 c Decision: 13/7513 Time: 963.298/86400 c Decision: 13/7513 Time: 966.196/86400 c Decision: 13/7513 Time: 968.044/86400 c Decision: 13/7513 Time: 971.604/86400 c Decision: 13/7513 Time: 974.123/86400 c Decision: 13/7513 Time: 976.962/86400 c Decision: 13/7513 Time: 979.306/86400 c Decision: 13/7513 Time: 982.61/86400 c Decision: 13/7513 Time: 985.725/86400 c Decision: 13/7513 Time: 987.262/86400 c Decision: 13/7513 Time: 989.01/86400 c Decision: 13/7513 Time: 991.322/86400 c Decision: 13/7513 Time: 993.376/86400 c Decision: 13/7513 Time: 995.324/86400 c Decision: 13/7513 Time: 997.574/86400 c Decision: 13/7513 Time: 1001.37/86400 c Decision: 13/7513 Time: 1004.04/86400 c Decision: 13/7513 Time: 1006.04/86400 c Decision: 13/7513 Time: 1008.85/86400 c Decision: 13/7513 Time: 1011.34/86400 c Decision: 13/7513 Time: 1013.98/86400 c Decision: 13/7513 Time: 1016.44/86400 c Decision: 13/7513 Time: 1020.08/86400 c Decision: 13/7513 Time: 1022.72/86400 c Decision: 13/7513 Time: 1024.96/86400 c Decision: 13/7513 Time: 1027.51/86400 c Decision: 13/7513 Time: 1030.29/86400 c Decision: 13/7513 Time: 1032.74/86400 c Decision: 13/7513 Time: 1036.16/86400 c Decision: 13/7513 Time: 1038.84/86400 c Decision: 13/7513 Time: 1041.98/86400 c Decision: 13/7513 Time: 1046.44/86400 c Decision: 13/7513 Time: 1048.31/86400 c Decision: 13/7513 Time: 1050.72/86400 c Decision: 13/7513 Time: 1053.7/86400 c Decision: 13/7513 Time: 1057.27/86400 c Decision: 13/7513 Time: 1060.24/86400 c Decision: 13/7513 Time: 1062.91/86400 c Decision: 13/7513 Time: 1065.58/86400 c Decision: 13/7513 Time: 1068.13/86400 c Decision: 13/7513 Time: 1071.73/86400 c Decision: 13/7513 Time: 1074.59/86400 c Decision: 13/7513 Time: 1076.11/86400 c Decision: 13/7513 Time: 1078.51/86400 c Decision: 13/7513 Time: 1082.02/86400 c Decision: 13/7513 Time: 1086.48/86400 c Decision: 13/7513 Time: 1090.19/86400 c Decision: 13/7513 Time: 1093.31/86400 c Decision: 13/7513 Time: 1096.23/86400 c Decision: 13/7513 Time: 1098.66/86400 c Decision: 13/7513 Time: 1102.48/86400 c Decision: 13/7513 Time: 1105.02/86400 c Decision: 13/7513 Time: 1107.51/86400 c Decision: 13/7513 Time: 1110.09/86400 c Decision: 13/7513 Time: 1113.13/86400 c Decision: 13/7513 Time: 1116.06/86400 c Decision: 13/7513 Time: 1119.17/86400 c Decision: 13/7513 Time: 1121.86/86400 c Decision: 13/7513 Time: 1124.21/86400 c Decision: 13/7513 Time: 1127.22/86400 c Decision: 13/7513 Time: 1131/86400 c Decision: 13/7513 Time: 1133.66/86400 c Decision: 13/7513 Time: 1136.37/86400 c Decision: 13/7513 Time: 1139.73/86400 c Decision: 13/7513 Time: 1143.54/86400 c Decision: 13/7513 Time: 1146.05/86400 c Decision: 13/7513 Time: 1148.46/86400 c Decision: 13/7513 Time: 1151.51/86400 c Decision: 13/7513 Time: 1153.91/86400 c Decision: 13/7513 Time: 1156.79/86400 c Decision: 13/7513 Time: 1159.88/86400 c Decision: 13/7513 Time: 1162.2/86400 c Decision: 13/7513 Time: 1165.15/86400 c Decision: 13/7513 Time: 1168.19/86400 c Decision: 13/7513 Time: 1171.53/86400 c Decision: 13/7513 Time: 1173.45/86400 c Decision: 13/7513 Time: 1176.08/86400 c Decision: 13/7513 Time: 1180.38/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.86 0.95 0.90 2/55 6180 Raw data (stat): 6180 (runsolver) R 6179 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908420051 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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+9.99963 s] Raw data (loadavg): 0.88 0.96 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 2978 0 0 0 992 7 0 0 25 0 1 0 908420051 10301440 2114 4294967295 134512640 135730672 3221224592 3221221792 134578474 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2515 2114 301 301 0 2214 0 vsize: 10060 [startup+20.0004 s] Raw data (loadavg): 0.90 0.96 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 5287 0 0 0 1983 16 0 0 25 0 1 0 908420051 17543168 3654 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4283 3654 301 301 0 3982 0 vsize: 17132 [startup+30.0002 s] Raw data (loadavg): 0.91 0.96 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 5801 0 0 0 2976 24 0 0 25 0 1 0 908420051 18903040 4168 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4615 4168 301 301 0 4314 0 vsize: 18460 [startup+40.001 s] Raw data (loadavg): 0.93 0.96 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 6079 0 0 0 3970 30 0 0 25 0 1 0 908420051 19578880 4446 4294967295 134512640 135730672 3221224592 3221223088 134747768 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4780 4446 301 301 0 4479 0 vsize: 19120 [startup+50.0017 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 6323 0 0 0 4964 36 0 0 25 0 1 0 908420051 24244224 4690 4294967295 134512640 135730672 3221224592 3221223200 134748222 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5919 4691 301 301 0 5618 0 vsize: 23676 [startup+60.0015 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 6422 0 0 0 5958 42 0 0 25 0 1 0 908420051 24432640 4789 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5965 4789 301 301 0 5664 0 vsize: 23860 [startup+70.0018 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 6483 0 0 0 6953 47 0 0 25 0 1 0 908420051 24686592 4850 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6027 4850 301 301 0 5726 0 vsize: 24108 [startup+80.0021 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 6564 0 0 0 7948 52 0 0 25 0 1 0 908420051 24965120 4931 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6095 4931 301 301 0 5794 0 vsize: 24380 [startup+90.0019 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 6660 0 0 0 8943 57 0 0 25 0 1 0 908420051 25165824 5027 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6144 5027 301 301 0 5843 0 vsize: 24576 [startup+100.002 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 6750 0 0 0 9939 62 0 0 25 0 1 0 908420051 25366528 5117 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6193 5117 301 301 0 5892 0 vsize: 24772 [startup+110.001 s] Raw data (loadavg): 0.97 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 8394 0 0 0 10930 71 0 0 25 0 1 0 908420051 31875072 5224 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7782 5224 301 301 0 7481 0 vsize: 31128 [startup+120.002 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 8443 0 0 0 11925 76 0 0 25 0 1 0 908420051 31952896 5273 4294967295 134512640 135730672 3221224592 3221223088 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7801 5273 301 301 0 7500 0 vsize: 31204 [startup+130.002 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 8477 0 0 0 12920 81 0 0 25 0 1 0 908420051 32051200 5307 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7825 5307 301 301 0 7524 0 vsize: 31300 [startup+140.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 8520 0 0 0 13916 85 0 0 25 0 1 0 908420051 32149504 5350 4294967295 134512640 135730672 3221224592 3221223184 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7849 5350 301 301 0 7548 0 vsize: 31396 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 8575 0 0 0 14913 89 0 0 25 0 1 0 908420051 32309248 5405 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7888 5405 301 301 0 7587 0 vsize: 31552 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 8694 0 0 0 15907 94 0 0 25 0 1 0 908420051 32571392 5524 4294967295 134512640 135730672 3221224592 3221223136 134740386 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7952 5524 301 301 0 7651 0 vsize: 31808 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 8748 0 0 0 16902 100 0 0 25 0 1 0 908420051 32710656 5578 4294967295 134512640 135730672 3221224592 3221223088 134747578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7986 5578 301 301 0 7685 0 vsize: 31944 [startup+180.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 8787 0 0 0 17898 104 0 0 25 0 1 0 908420051 32841728 5617 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8018 5617 301 301 0 7717 0 vsize: 32072 [startup+190.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 8884 0 0 0 18894 108 0 0 25 0 1 0 908420051 33075200 5714 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8075 5714 301 301 0 7774 0 vsize: 32300 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 8922 0 0 0 19889 113 0 0 25 0 1 0 908420051 33148928 5752 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8093 5752 301 301 0 7792 0 vsize: 32372 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 8957 0 0 0 20885 117 0 0 25 0 1 0 908420051 33226752 5787 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8112 5787 301 301 0 7811 0 vsize: 32448 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 8987 0 0 0 21881 122 0 0 25 0 1 0 908420051 33304576 5817 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8131 5817 301 301 0 7830 0 vsize: 32524 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9015 0 0 0 22878 125 0 0 25 0 1 0 908420051 33304576 5845 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8131 5845 301 301 0 7830 0 vsize: 32524 [startup+240.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9057 0 0 0 23874 129 0 0 25 0 1 0 908420051 33480704 5887 4294967295 134512640 135730672 3221224592 3221223088 134747629 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8174 5887 301 301 0 7873 0 vsize: 32696 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9123 0 0 0 24870 133 0 0 25 0 1 0 908420051 33705984 5953 4294967295 134512640 135730672 3221224592 3221222912 134732772 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8229 5953 301 301 0 7928 0 vsize: 32916 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9166 0 0 0 25866 138 0 0 25 0 1 0 908420051 33779712 5996 4294967295 134512640 135730672 3221224592 3221223136 134740386 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8247 5996 301 301 0 7946 0 vsize: 32988 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9264 0 0 0 26861 142 0 0 25 0 1 0 908420051 33890304 6094 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8274 6094 301 301 0 7973 0 vsize: 33096 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9311 0 0 0 27857 147 0 0 25 0 1 0 908420051 33992704 6141 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8299 6141 301 301 0 7998 0 vsize: 33196 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9343 0 0 0 28852 152 0 0 25 0 1 0 908420051 34086912 6173 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8322 6173 301 301 0 8021 0 vsize: 33288 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9377 0 0 0 29848 156 0 0 25 0 1 0 908420051 34086912 6207 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8322 6207 301 301 0 8021 0 vsize: 33288 [startup+310.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9428 0 0 0 30844 161 0 0 25 0 1 0 908420051 34197504 6258 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8349 6258 301 301 0 8048 0 vsize: 33396 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9522 0 0 0 31841 164 0 0 25 0 1 0 908420051 34373632 6352 4294967295 134512640 135730672 3221224592 3221223184 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8392 6352 301 301 0 8091 0 vsize: 33568 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9555 0 0 0 32836 169 0 0 25 0 1 0 908420051 34508800 6385 4294967295 134512640 135730672 3221224592 3221222960 134787417 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8425 6385 301 301 0 8124 0 vsize: 33700 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9616 0 0 0 33832 173 0 0 25 0 1 0 908420051 34582528 6446 4294967295 134512640 135730672 3221224592 3221223216 134748073 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8443 6446 301 301 0 8142 0 vsize: 33772 [startup+350.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9641 0 0 0 34827 178 0 0 25 0 1 0 908420051 34680832 6471 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8467 6471 301 301 0 8166 0 vsize: 33868 [startup+360.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9677 0 0 0 35823 182 0 0 25 0 1 0 908420051 34770944 6507 4294967295 134512640 135730672 3221224592 3221223216 134748108 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8489 6507 301 301 0 8188 0 vsize: 33956 [startup+370.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9710 0 0 0 36819 186 0 0 25 0 1 0 908420051 34848768 6540 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8508 6540 301 301 0 8207 0 vsize: 34032 [startup+380.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9746 0 0 0 37815 190 0 0 25 0 1 0 908420051 34934784 6576 4294967295 134512640 135730672 3221224592 3221223104 134746515 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8529 6576 301 301 0 8228 0 vsize: 34116 [startup+390.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9784 0 0 0 38812 194 0 0 25 0 1 0 908420051 35012608 6614 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8548 6614 301 301 0 8247 0 vsize: 34192 [startup+400.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9819 0 0 0 39808 197 0 0 25 0 1 0 908420051 35131392 6649 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8577 6649 301 301 0 8276 0 vsize: 34308 [startup+410.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9861 0 0 0 40806 200 0 0 25 0 1 0 908420051 35254272 6691 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8607 6691 301 301 0 8306 0 vsize: 34428 [startup+420.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9910 0 0 0 41803 203 0 0 25 0 1 0 908420051 35254272 6740 4294967295 134512640 135730672 3221224592 3221223104 134745860 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8607 6740 301 301 0 8306 0 vsize: 34428 [startup+430.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9957 0 0 0 42800 206 0 0 25 0 1 0 908420051 35418112 6787 4294967295 134512640 135730672 3221224592 3221223088 134747925 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8647 6787 301 301 0 8346 0 vsize: 34588 [startup+440.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 9993 0 0 0 43796 210 0 0 25 0 1 0 908420051 35491840 6823 4294967295 134512640 135730672 3221224592 3221223088 134747708 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8665 6823 301 301 0 8364 0 vsize: 34660 [startup+450.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10037 0 0 0 44792 215 0 0 25 0 1 0 908420051 35586048 6867 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8688 6867 301 301 0 8387 0 vsize: 34752 [startup+460.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10057 0 0 0 45787 220 0 0 25 0 1 0 908420051 35672064 6887 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8709 6887 301 301 0 8408 0 vsize: 34836 [startup+470.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10091 0 0 0 46783 224 0 0 25 0 1 0 908420051 35749888 6921 4294967295 134512640 135730672 3221224592 3221223088 134747947 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8728 6921 301 301 0 8427 0 vsize: 34912 [startup+480.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10123 0 0 0 47779 228 0 0 25 0 1 0 908420051 35827712 6953 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8747 6953 301 301 0 8446 0 vsize: 34988 [startup+490.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10150 0 0 0 48775 232 0 0 25 0 1 0 908420051 35827712 6980 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8747 6980 301 301 0 8446 0 vsize: 34988 [startup+500.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10192 0 0 0 49772 235 0 0 25 0 1 0 908420051 35913728 7022 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8768 7022 301 301 0 8467 0 vsize: 35072 [startup+510.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10220 0 0 0 50769 239 0 0 25 0 1 0 908420051 35999744 7050 4294967295 134512640 135730672 3221224592 3221223180 134747723 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8789 7050 301 301 0 8488 0 vsize: 35156 [startup+520.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10255 0 0 0 51765 242 0 0 25 0 1 0 908420051 36081664 7085 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8809 7085 301 301 0 8508 0 vsize: 35236 [startup+530.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10300 0 0 0 52761 247 0 0 25 0 1 0 908420051 36155392 7130 4294967295 134512640 135730672 3221224592 3221222892 134767016 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8827 7130 301 301 0 8526 0 vsize: 35308 [startup+540.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10338 0 0 0 53757 251 0 0 25 0 1 0 908420051 36249600 7168 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8850 7168 301 301 0 8549 0 vsize: 35400 [startup+550.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10514 0 0 0 54755 254 0 0 25 0 1 0 908420051 36462592 7344 4294967295 134512640 135730672 3221224592 3221223216 134783294 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8902 7344 301 301 0 8601 0 vsize: 35608 [startup+560.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10567 0 0 0 55753 256 0 0 25 0 1 0 908420051 36540416 7397 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8921 7397 301 301 0 8620 0 vsize: 35684 [startup+570.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10644 0 0 0 56749 260 0 0 25 0 1 0 908420051 36786176 7474 4294967295 134512640 135730672 3221224592 3221223088 134747741 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8981 7474 301 301 0 8680 0 vsize: 35924 [startup+580.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10681 0 0 0 57746 263 0 0 25 0 1 0 908420051 36876288 7511 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9003 7511 301 301 0 8702 0 vsize: 36012 [startup+590.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10715 0 0 0 58742 267 0 0 25 0 1 0 908420051 36958208 7545 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9023 7545 301 301 0 8722 0 vsize: 36092 [startup+600.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10749 0 0 0 59739 270 0 0 25 0 1 0 908420051 37056512 7579 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9047 7579 301 301 0 8746 0 vsize: 36188 [startup+610.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10775 0 0 0 60735 274 0 0 25 0 1 0 908420051 37056512 7605 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9047 7605 301 301 0 8746 0 vsize: 36188 [startup+620.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10808 0 0 0 61732 278 0 0 25 0 1 0 908420051 37134336 7638 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9066 7638 301 301 0 8765 0 vsize: 36264 [startup+630.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10833 0 0 0 62727 283 0 0 25 0 1 0 908420051 37208064 7663 4294967295 134512640 135730672 3221224592 3221223104 134746574 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9084 7663 301 301 0 8783 0 vsize: 36336 [startup+640.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10871 0 0 0 63725 285 0 0 25 0 1 0 908420051 37310464 7701 4294967295 134512640 135730672 3221224592 3221223088 134747549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9109 7701 301 301 0 8808 0 vsize: 36436 [startup+650.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10923 0 0 0 64723 287 0 0 25 0 1 0 908420051 37425152 7753 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9137 7753 301 301 0 8836 0 vsize: 36548 [startup+660.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10963 0 0 0 65721 290 0 0 25 0 1 0 908420051 37498880 7793 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9155 7793 301 301 0 8854 0 vsize: 36620 [startup+670.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 10998 0 0 0 66716 295 0 0 25 0 1 0 908420051 37588992 7828 4294967295 134512640 135730672 3221224592 3221223088 134747970 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9177 7828 301 301 0 8876 0 vsize: 36708 [startup+680.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11026 0 0 0 67713 298 0 0 25 0 1 0 908420051 37666816 7856 4294967295 134512640 135730672 3221224592 3221223280 134748575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9196 7856 301 301 0 8895 0 vsize: 36784 [startup+690.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11062 0 0 0 68709 302 0 0 25 0 1 0 908420051 37744640 7892 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9215 7892 301 301 0 8914 0 vsize: 36860 [startup+700.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11106 0 0 0 69707 304 0 0 25 0 1 0 908420051 37855232 7936 4294967295 134512640 135730672 3221224592 3221223216 134748108 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9242 7936 301 301 0 8941 0 vsize: 36968 [startup+710.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11147 0 0 0 70703 308 0 0 25 0 1 0 908420051 37933056 7977 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9261 7977 301 301 0 8960 0 vsize: 37044 [startup+720.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11196 0 0 0 71699 312 0 0 25 0 1 0 908420051 38133760 8026 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9310 8026 301 301 0 9009 0 vsize: 37240 [startup+730.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11217 0 0 0 72695 316 0 0 25 0 1 0 908420051 38133760 8047 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9310 8047 301 301 0 9009 0 vsize: 37240 [startup+740.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11249 0 0 0 73690 321 0 0 25 0 1 0 908420051 38215680 8079 4294967295 134512640 135730672 3221224592 3221223088 134747639 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9330 8079 301 301 0 9029 0 vsize: 37320 [startup+750.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11281 0 0 0 74686 325 0 0 25 0 1 0 908420051 38301696 8111 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9351 8111 301 301 0 9050 0 vsize: 37404 [startup+760.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11308 0 0 0 75683 328 0 0 25 0 1 0 908420051 38301696 8138 4294967295 134512640 135730672 3221224592 3221223088 134747772 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9351 8138 301 301 0 9050 0 vsize: 37404 [startup+770.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11343 0 0 0 76680 332 0 0 25 0 1 0 908420051 38375424 8173 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9369 8173 301 301 0 9068 0 vsize: 37476 [startup+780.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11376 0 0 0 77676 335 0 0 25 0 1 0 908420051 38477824 8206 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9394 8206 301 301 0 9093 0 vsize: 37576 [startup+790.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11400 0 0 0 78673 339 0 0 25 0 1 0 908420051 38563840 8230 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9415 8230 301 301 0 9114 0 vsize: 37660 [startup+800.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11433 0 0 0 79669 343 0 0 25 0 1 0 908420051 38641664 8263 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9434 8263 301 301 0 9133 0 vsize: 37736 [startup+810.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11466 0 0 0 80665 347 0 0 25 0 1 0 908420051 38641664 8296 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9434 8296 301 301 0 9133 0 vsize: 37736 [startup+820.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11490 0 0 0 81661 351 0 0 25 0 1 0 908420051 38727680 8320 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9455 8320 301 301 0 9154 0 vsize: 37820 [startup+830.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11528 0 0 0 82658 355 0 0 25 0 1 0 908420051 38817792 8358 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9477 8358 301 301 0 9176 0 vsize: 37908 [startup+840.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11555 0 0 0 83654 359 0 0 25 0 1 0 908420051 38899712 8385 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9497 8385 301 301 0 9196 0 vsize: 37988 [startup+850.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11593 0 0 0 84649 364 0 0 25 0 1 0 908420051 38989824 8423 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9519 8423 301 301 0 9218 0 vsize: 38076 [startup+860.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11646 0 0 0 85645 368 0 0 25 0 1 0 908420051 39124992 8476 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9552 8476 301 301 0 9251 0 vsize: 38208 [startup+870.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11668 0 0 0 86641 372 0 0 25 0 1 0 908420051 39124992 8498 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9552 8498 301 301 0 9251 0 vsize: 38208 [startup+880.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11708 0 0 0 87637 376 0 0 25 0 1 0 908420051 39202816 8538 4294967295 134512640 135730672 3221224592 3221223088 134747760 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9571 8538 301 301 0 9270 0 vsize: 38284 [startup+890.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11735 0 0 0 88633 381 0 0 25 0 1 0 908420051 39280640 8565 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9590 8565 301 301 0 9289 0 vsize: 38360 [startup+900.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11766 0 0 0 89629 385 0 0 25 0 1 0 908420051 39370752 8596 4294967295 134512640 135730672 3221224592 3221223184 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9612 8596 301 301 0 9311 0 vsize: 38448 [startup+910.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11791 0 0 0 90626 388 0 0 25 0 1 0 908420051 39370752 8621 4294967295 134512640 135730672 3221224592 3221222912 134732515 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9612 8621 301 301 0 9311 0 vsize: 38448 [startup+920.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11831 0 0 0 91623 391 0 0 25 0 1 0 908420051 39444480 8661 4294967295 134512640 135730672 3221224592 3221223248 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9630 8661 301 301 0 9329 0 vsize: 38520 [startup+930.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11874 0 0 0 92619 395 0 0 25 0 1 0 908420051 39550976 8704 4294967295 134512640 135730672 3221224592 3221223088 134747594 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9656 8704 301 301 0 9355 0 vsize: 38624 [startup+940.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11903 0 0 0 93616 398 0 0 25 0 1 0 908420051 39632896 8733 4294967295 134512640 135730672 3221224592 3221223216 134748208 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9676 8733 301 301 0 9375 0 vsize: 38704 [startup+950.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11927 0 0 0 94613 402 0 0 25 0 1 0 908420051 39632896 8757 4294967295 134512640 135730672 3221224592 3221223104 134745782 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9676 8757 301 301 0 9375 0 vsize: 38704 [startup+960.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 11995 0 0 0 95609 406 0 0 25 0 1 0 908420051 39890944 8825 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9739 8825 301 301 0 9438 0 vsize: 38956 [startup+970.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12025 0 0 0 96602 413 0 0 25 0 1 0 908420051 39968768 8855 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9758 8855 301 301 0 9457 0 vsize: 39032 [startup+980.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12060 0 0 0 97598 417 0 0 25 0 1 0 908420051 40050688 8890 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9778 8890 301 301 0 9477 0 vsize: 39112 [startup+990.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12092 0 0 0 98596 420 0 0 25 0 1 0 908420051 40050688 8922 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9778 8922 301 301 0 9477 0 vsize: 39112 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12113 0 0 0 99591 425 0 0 25 0 1 0 908420051 40124416 8943 4294967295 134512640 135730672 3221224592 3221223088 134747657 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9796 8943 301 301 0 9495 0 vsize: 39184 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12153 0 0 0 100588 428 0 0 25 0 1 0 908420051 40206336 8983 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9816 8983 301 301 0 9515 0 vsize: 39264 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12190 0 0 0 101585 431 0 0 25 0 1 0 908420051 40280064 9020 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9834 9020 301 301 0 9533 0 vsize: 39336 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12227 0 0 0 102583 434 0 0 25 0 1 0 908420051 40357888 9057 4294967295 134512640 135730672 3221224592 3221223216 134748163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9853 9057 301 301 0 9552 0 vsize: 39412 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12263 0 0 0 103580 436 0 0 25 0 1 0 908420051 40439808 9093 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9873 9093 301 301 0 9572 0 vsize: 39492 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12296 0 0 0 104576 440 0 0 25 0 1 0 908420051 40525824 9126 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9894 9126 301 301 0 9593 0 vsize: 39576 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12317 0 0 0 105573 444 0 0 25 0 1 0 908420051 40525824 9147 4294967295 134512640 135730672 3221224592 3221223136 134740242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9894 9147 301 301 0 9593 0 vsize: 39576 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12349 0 0 0 106569 448 0 0 25 0 1 0 908420051 40615936 9179 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9916 9179 301 301 0 9615 0 vsize: 39664 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12376 0 0 0 107566 451 0 0 25 0 1 0 908420051 40697856 9206 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9936 9206 301 301 0 9635 0 vsize: 39744 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12408 0 0 0 108562 455 0 0 25 0 1 0 908420051 40792064 9238 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9959 9238 301 301 0 9658 0 vsize: 39836 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12446 0 0 0 109558 460 0 0 25 0 1 0 908420051 40882176 9276 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9981 9276 301 301 0 9680 0 vsize: 39924 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12477 0 0 0 110554 464 0 0 25 0 1 0 908420051 40964096 9307 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10001 9307 301 301 0 9700 0 vsize: 40004 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12507 0 0 0 111550 468 0 0 25 0 1 0 908420051 40964096 9337 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10001 9337 301 301 0 9700 0 vsize: 40004 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12535 0 0 0 112546 472 0 0 25 0 1 0 908420051 41054208 9365 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10023 9365 301 301 0 9722 0 vsize: 40092 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 12565 0 0 0 113543 476 0 0 25 0 1 0 908420051 41140224 9395 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10044 9395 301 301 0 9743 0 vsize: 40176 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 15658 0 0 0 114533 485 0 0 25 0 1 0 908420051 53723136 9415 4294967295 134512640 135730672 3221224592 3221223088 134747720 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13116 9415 301 301 0 12815 0 vsize: 52464 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 15682 0 0 0 115529 489 0 0 25 0 1 0 908420051 53796864 9439 4294967295 134512640 135730672 3221224592 3221223248 134734835 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13134 9439 301 301 0 12833 0 vsize: 52536 [startup+1170.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 15717 0 0 0 116527 492 0 0 25 0 1 0 908420051 53878784 9474 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13154 9474 301 301 0 12853 0 vsize: 52616 [startup+1180.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 15740 0 0 0 117524 495 0 0 25 0 1 0 908420051 53878784 9497 4294967295 134512640 135730672 3221224592 3221223088 134747757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13154 9497 301 301 0 12853 0 vsize: 52616 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 15777 0 0 0 118520 499 0 0 25 0 1 0 908420051 53972992 9534 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13177 9534 301 301 0 12876 0 vsize: 52708 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6180 Raw data (stat): 6180 (pb2sat-v2) R 6179 8378 8377 0 -1 0 15806 0 0 0 119516 503 0 0 25 0 1 0 908420051 54075392 9563 4294967295 134512640 135730672 3221224592 3221223280 134748554 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13202 9563 301 301 0 12901 0 vsize: 52808 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.26 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 6180 Raw data (stat): 6180 (pb2sat-v2) Z 6179 8378 8377 0 -1 12 15808 0 0 0 119537 505 0 0 25 0 1 0 908420051 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1200.26 CPU time (s): 1200.43 CPU user time (s): 1195.38 CPU system time (s): 5.05323 CPU usage (%): 100.015 Max. virtual memory (Kb): 52808 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####