Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4.opb |
MD5SUM | 4ad922a0ad53056b410be6ab5caa6b5b |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 6352 |
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 | 6352 |
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 | 6352 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 6352 |
Total number of constraints | 13489 |
Number of constraints which are clauses | 13489 |
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 | 1 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-16 00:06:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25308 boxname=wulflinc2 idbench=210 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 4ad922a0ad53056b410be6ab5caa6b5b /oldhome/oroussel/tmp/wulflinc2/normalized-par32-4.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-par32-4.opb IDLAUNCH: 25308 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 857100 kB Buffers: 34072 kB Cached: 118016 kB SwapCached: 4448 kB Active: 61456 kB Inactive: 95768 kB HighTotal: 131008 kB HighFree: 24892 kB LowTotal: 903652 kB LowFree: 832208 kB SwapTotal: 2097136 kB SwapFree: 2091696 kB Dirty: 32 kB Writeback: 0 kB Mapped: 5052 kB Slab: 14672 kB Committed_AS: 71900 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 00:26:26 (client local time) WITH STATUS 0 IN 1200.35 SECONDS stats: 25308 7 1200.35 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 1599/6365 Time: 4.38733/86400 c Decision: 1599/6365 Time: 5.67714/86400 c Decision: 1599/6365 Time: 7.37988/86400 c Decision: 1599/6365 Time: 9.26859/86400 c Decision: 1599/6365 Time: 10.8673/86400 c Decision: 1599/6365 Time: 12.3091/86400 c Decision: 1599/6365 Time: 14.0519/86400 c Decision: 1599/6365 Time: 15.9536/86400 c Decision: 1599/6365 Time: 17.4793/86400 c Decision: 1599/6365 Time: 18.7372/86400 c Decision: 1599/6365 Time: 20.1029/86400 c Decision: 1599/6365 Time: 21.3128/86400 c Decision: 1599/6365 Time: 22.9055/86400 c Decision: 1599/6365 Time: 24.6453/86400 c Decision: 1599/6365 Time: 26.235/86400 c Decision: 1599/6365 Time: 27.7838/86400 c Decision: 1599/6365 Time: 29.8865/86400 c Decision: 1599/6365 Time: 31.7822/86400 c Decision: 1599/6365 Time: 33.4579/86400 c Decision: 1599/6365 Time: 35.5106/86400 c Decision: 1599/6365 Time: 37.6053/86400 c Decision: 1599/6365 Time: 39.0611/86400 c Decision: 1599/6365 Time: 40.5168/86400 c Decision: 1599/6365 Time: 42.0616/86400 c Decision: 1599/6365 Time: 43.6304/86400 c Decision: 1599/6365 Time: 45.4601/86400 c Decision: 1599/6365 Time: 47.1608/86400 c Decision: 1599/6365 Time: 48.3666/86400 c Decision: 1599/6365 Time: 49.5835/86400 c Decision: 1599/6365 Time: 51.0572/86400 c Decision: 1599/6365 Time: 52.787/86400 c Decision: 1599/6365 Time: 54.8427/86400 c Decision: 1599/6365 Time: 57.0033/86400 c Decision: 1599/6365 Time: 59.242/86400 c Decision: 1599/6365 Time: 61.4647/86400 c Decision: 1599/6365 Time: 63.7443/86400 c Decision: 1599/6365 Time: 65.542/86400 c Decision: 1599/6365 Time: 67.4028/86400 c Decision: 1599/6365 Time: 69.2615/86400 c Decision: 1599/6365 Time: 71.4741/86400 c Decision: 1599/6365 Time: 73.0319/86400 c Decision: 1599/6365 Time: 74.6666/86400 c Decision: 1599/6365 Time: 76.6753/86400 c Decision: 1599/6365 Time: 78.876/86400 c Decision: 1599/6365 Time: 80.9917/86400 c Decision: 1599/6365 Time: 83.1804/86400 c Decision: 1599/6365 Time: 85.235/86400 c Decision: 1599/6365 Time: 87.2627/86400 c Decision: 1599/6365 Time: 89.6714/86400 c Decision: 1599/6365 Time: 91.4891/86400 c Decision: 1599/6365 Time: 93.8507/86400 c Decision: 1599/6365 Time: 96.0884/86400 c Decision: 1599/6365 Time: 98.651/86400 c Decision: 1599/6365 Time: 100.938/86400 c Decision: 1599/6365 Time: 103.184/86400 c Decision: 1599/6365 Time: 105.629/86400 c Decision: 1599/6365 Time: 106.978/86400 c Decision: 1599/6365 Time: 109.421/86400 c Decision: 1599/6365 Time: 112.112/86400 c Decision: 1599/6365 Time: 114.277/86400 c Decision: 1599/6365 Time: 116.813/86400 c Decision: 1599/6365 Time: 119.103/86400 c Decision: 1599/6365 Time: 121.496/86400 c Decision: 1599/6365 Time: 124.239/86400 c Decision: 1599/6365 Time: 126.802/86400 c Decision: 1599/6365 Time: 129.332/86400 c Decision: 1599/6365 Time: 131.708/86400 c Decision: 1599/6365 Time: 134.237/86400 c Decision: 1599/6365 Time: 136.027/86400 c Decision: 1599/6365 Time: 138.373/86400 c Decision: 1599/6365 Time: 140.869/86400 c Decision: 1599/6365 Time: 143.331/86400 c Decision: 1599/6365 Time: 145.856/86400 c Decision: 1599/6365 Time: 147.86/86400 c Decision: 1599/6365 Time: 150.461/86400 c Decision: 1599/6365 Time: 153.202/86400 c Decision: 1599/6365 Time: 155.472/86400 c Decision: 1599/6365 Time: 157.277/86400 c Decision: 1599/6365 Time: 159.881/86400 c Decision: 1599/6365 Time: 162.08/86400 c Decision: 1599/6365 Time: 164.822/86400 c Decision: 1599/6365 Time: 166.94/86400 c Decision: 1599/6365 Time: 169.321/86400 c Decision: 1599/6365 Time: 171.664/86400 c Decision: 1599/6365 Time: 174.38/86400 c Decision: 1599/6365 Time: 177.137/86400 c Decision: 1599/6365 Time: 179.541/86400 c Decision: 1599/6365 Time: 182.098/86400 c Decision: 1599/6365 Time: 184.927/86400 c Decision: 1599/6365 Time: 187.694/86400 c Decision: 1599/6365 Time: 190.681/86400 c Decision: 1599/6365 Time: 193.48/86400 c Decision: 1599/6365 Time: 196.262/86400 c Decision: 1599/6365 Time: 199.122/86400 c Decision: 1599/6365 Time: 201.79/86400 c Decision: 1599/6365 Time: 204.395/86400 c Decision: 1599/6365 Time: 206.861/86400 c Decision: 1599/6365 Time: 209.503/86400 c Decision: 1599/6365 Time: 211.809/86400 c Decision: 1599/6365 Time: 214.637/86400 c Decision: 1599/6365 Time: 217.76/86400 c Decision: 1599/6365 Time: 220.062/86400 c Decision: 1599/6365 Time: 222.618/86400 c Decision: 1599/6365 Time: 225.598/86400 c Decision: 1599/6365 Time: 228.338/86400 c Decision: 1599/6365 Time: 231.18/86400 c Decision: 1599/6365 Time: 234.211/86400 c Decision: 1599/6365 Time: 237.119/86400 c Decision: 1599/6365 Time: 240.032/86400 c Decision: 1599/6365 Time: 243.176/86400 c Decision: 1599/6365 Time: 246.051/86400 c Decision: 1599/6365 Time: 248.989/86400 c Decision: 1599/6365 Time: 251.745/86400 c Decision: 1599/6365 Time: 254.51/86400 c Decision: 1599/6365 Time: 257.241/86400 c Decision: 1599/6365 Time: 260.503/86400 c Decision: 1599/6365 Time: 263.21/86400 c Decision: 1599/6365 Time: 265.825/86400 c Decision: 1599/6365 Time: 268.463/86400 c Decision: 1599/6365 Time: 271.347/86400 c Decision: 1599/6365 Time: 274.203/86400 c Decision: 1599/6365 Time: 276.812/86400 c Decision: 1599/6365 Time: 279.749/86400 c Decision: 1599/6365 Time: 282.689/86400 c Decision: 1599/6365 Time: 285.846/86400 c Decision: 1599/6365 Time: 289.027/86400 c Decision: 1599/6365 Time: 291.663/86400 c Decision: 1599/6365 Time: 294.604/86400 c Decision: 1599/6365 Time: 297.278/86400 c Decision: 1599/6365 Time: 299.946/86400 c Decision: 1599/6365 Time: 302.977/86400 c Decision: 1599/6365 Time: 305.879/86400 c Decision: 1599/6365 Time: 308.889/86400 c Decision: 1599/6365 Time: 311.704/86400 c Decision: 1599/6365 Time: 314.881/86400 c Decision: 1599/6365 Time: 317.946/86400 c Decision: 1599/6365 Time: 321.052/86400 c Decision: 1599/6365 Time: 323.785/86400 c Decision: 1599/6365 Time: 326.819/86400 c Decision: 1599/6365 Time: 329.766/86400 c Decision: 1599/6365 Time: 332.917/86400 c Decision: 1599/6365 Time: 335.77/86400 c Decision: 1599/6365 Time: 338.567/86400 c Decision: 1599/6365 Time: 341.466/86400 c Decision: 1599/6365 Time: 344.124/86400 c Decision: 1599/6365 Time: 347.613/86400 c Decision: 1599/6365 Time: 350.426/86400 c Decision: 1599/6365 Time: 353.333/86400 c Decision: 1599/6365 Time: 356.72/86400 c Decision: 1599/6365 Time: 359.891/86400 c Decision: 1599/6365 Time: 363.44/86400 c Decision: 1599/6365 Time: 366.566/86400 c Decision: 1599/6365 Time: 369.674/86400 c Decision: 1599/6365 Time: 372.474/86400 c Decision: 1599/6365 Time: 375.58/86400 c Decision: 1599/6365 Time: 379.077/86400 c Decision: 1599/6365 Time: 382.138/86400 c Decision: 1599/6365 Time: 384.875/86400 c Decision: 1599/6365 Time: 387.942/86400 c Decision: 1599/6365 Time: 390.812/86400 c Decision: 1599/6365 Time: 394.041/86400 c Decision: 1599/6365 Time: 397.171/86400 c Decision: 1599/6365 Time: 400.007/86400 c Decision: 1599/6365 Time: 402.928/86400 c Decision: 1599/6365 Time: 405.957/86400 c Decision: 1599/6365 Time: 409.344/86400 c Decision: 1599/6365 Time: 412.433/86400 c Decision: 1599/6365 Time: 415.89/86400 c Decision: 1599/6365 Time: 418.861/86400 c Decision: 1599/6365 Time: 422.047/86400 c Decision: 1599/6365 Time: 425.386/86400 c Decision: 1599/6365 Time: 428.719/86400 c Decision: 1599/6365 Time: 431.54/86400 c Decision: 1599/6365 Time: 434.357/86400 c Decision: 1599/6365 Time: 437.603/86400 c Decision: 1599/6365 Time: 441.171/86400 c Decision: 1599/6365 Time: 444.355/86400 c Decision: 1599/6365 Time: 447.92/86400 c Decision: 1599/6365 Time: 450.872/86400 c Decision: 1599/6365 Time: 454.209/86400 c Decision: 1599/6365 Time: 457.668/86400 c Decision: 1599/6365 Time: 461.122/86400 c Decision: 1599/6365 Time: 464.293/86400 c Decision: 1599/6365 Time: 467.282/86400 c Decision: 1599/6365 Time: 470.849/86400 c Decision: 1599/6365 Time: 474.722/86400 c Decision: 1599/6365 Time: 477.729/86400 c Decision: 1599/6365 Time: 481.017/86400 c Decision: 1599/6365 Time: 483.964/86400 c Decision: 1599/6365 Time: 487.262/86400 c Decision: 1599/6365 Time: 490.754/86400 c Decision: 1599/6365 Time: 493.9/86400 c Decision: 1599/6365 Time: 496.925/86400 c Decision: 1599/6365 Time: 500.108/86400 c Decision: 1599/6365 Time: 503.432/86400 c Decision: 1599/6365 Time: 506.963/86400 c Decision: 1599/6365 Time: 509.846/86400 c Decision: 1599/6365 Time: 513.052/86400 c Decision: 1599/6365 Time: 515.882/86400 c Decision: 1599/6365 Time: 518.838/86400 c Decision: 1599/6365 Time: 522.365/86400 c Decision: 1599/6365 Time: 525.286/86400 c Decision: 1599/6365 Time: 528.636/86400 c Decision: 1599/6365 Time: 531.648/86400 c Decision: 1599/6365 Time: 534.719/86400 c Decision: 1599/6365 Time: 538.113/86400 c Decision: 1599/6365 Time: 541.234/86400 c Decision: 1599/6365 Time: 544.797/86400 c Decision: 1599/6365 Time: 548.474/86400 c Decision: 1599/6365 Time: 552.055/86400 c Decision: 1599/6365 Time: 555.672/86400 c Decision: 1599/6365 Time: 559.294/86400 c Decision: 1599/6365 Time: 562.9/86400 c Decision: 1599/6365 Time: 566.047/86400 c Decision: 1599/6365 Time: 569.043/86400 c Decision: 1599/6365 Time: 573.243/86400 c Decision: 1599/6365 Time: 576.583/86400 c Decision: 1599/6365 Time: 579.726/86400 c Decision: 1599/6365 Time: 583.319/86400 c Decision: 1599/6365 Time: 586.951/86400 c Decision: 1599/6365 Time: 590.644/86400 c Decision: 1599/6365 Time: 594.211/86400 c Decision: 1599/6365 Time: 597.819/86400 c Decision: 1599/6365 Time: 601.418/86400 c Decision: 1599/6365 Time: 604.927/86400 c Decision: 1599/6365 Time: 608.622/86400 c Decision: 1599/6365 Time: 611.817/86400 c Decision: 1599/6365 Time: 615.109/86400 c Decision: 1599/6365 Time: 618.46/86400 c Decision: 1599/6365 Time: 622.05/86400 c Decision: 1599/6365 Time: 626.051/86400 c Decision: 1599/6365 Time: 629.598/86400 c Decision: 1599/6365 Time: 632.982/86400 c Decision: 1599/6365 Time: 635.817/86400 c Decision: 1599/6365 Time: 639.121/86400 c Decision: 1599/6365 Time: 642.425/86400 c Decision: 1599/6365 Time: 645.778/86400 c Decision: 1599/6365 Time: 649.066/86400 c Decision: 1599/6365 Time: 652.012/86400 c Decision: 1599/6365 Time: 655.528/86400 c Decision: 1599/6365 Time: 659.213/86400 c Decision: 1599/6365 Time: 662.471/86400 c Decision: 1599/6365 Time: 665.844/86400 c Decision: 1599/6365 Time: 669.334/86400 c Decision: 1599/6365 Time: 672.596/86400 c Decision: 1599/6365 Time: 676.231/86400 c Decision: 1599/6365 Time: 679.533/86400 c Decision: 1599/6365 Time: 682.883/86400 c Decision: 1599/6365 Time: 686.566/86400 c Decision: 1599/6365 Time: 690.006/86400 c Decision: 1599/6365 Time: 693.993/86400 c Decision: 1599/6365 Time: 697.375/86400 c Decision: 1599/6365 Time: 701.167/86400 c Decision: 1599/6365 Time: 704.818/86400 c Decision: 1599/6365 Time: 708.474/86400 c Decision: 1599/6365 Time: 712.365/86400 c Decision: 1599/6365 Time: 715.926/86400 c Decision: 1599/6365 Time: 719.763/86400 c Decision: 1599/6365 Time: 723.041/86400 c Decision: 1599/6365 Time: 726.161/86400 c Decision: 1599/6365 Time: 729.712/86400 c Decision: 1599/6365 Time: 733.111/86400 c Decision: 1599/6365 Time: 736.658/86400 c Decision: 1599/6365 Time: 740.131/86400 c Decision: 1599/6365 Time: 743.3/86400 c Decision: 1599/6365 Time: 746.801/86400 c Decision: 1599/6365 Time: 750.124/86400 c Decision: 1599/6365 Time: 753.617/86400 c Decision: 1599/6365 Time: 756.962/86400 c Decision: 1599/6365 Time: 760.323/86400 c Decision: 1599/6365 Time: 764.058/86400 c Decision: 1599/6365 Time: 767.656/86400 c Decision: 1599/6365 Time: 771.192/86400 c Decision: 1599/6365 Time: 775.082/86400 c Decision: 1599/6365 Time: 778.204/86400 c Decision: 1599/6365 Time: 782.182/86400 c Decision: 1599/6365 Time: 785.694/86400 c Decision: 1599/6365 Time: 789.107/86400 c Decision: 1599/6365 Time: 792.491/86400 c Decision: 1599/6365 Time: 795.643/86400 c Decision: 1599/6365 Time: 799.618/86400 c Decision: 1599/6365 Time: 803.482/86400 c Decision: 1599/6365 Time: 807.008/86400 c Decision: 1599/6365 Time: 810.648/86400 c Decision: 1599/6365 Time: 814.835/86400 c Decision: 1599/6365 Time: 819.072/86400 c Decision: 1599/6365 Time: 822.948/86400 c Decision: 1599/6365 Time: 826.694/86400 c Decision: 1599/6365 Time: 830.93/86400 c Decision: 1599/6365 Time: 834.698/86400 c Decision: 1599/6365 Time: 839.222/86400 c Decision: 1599/6365 Time: 843.051/86400 c Decision: 1599/6365 Time: 846.735/86400 c Decision: 1599/6365 Time: 850.572/86400 c Decision: 1599/6365 Time: 853.679/86400 c Decision: 1599/6365 Time: 857.463/86400 c Decision: 1599/6365 Time: 860.891/86400 c Decision: 1599/6365 Time: 864.653/86400 c Decision: 1599/6365 Time: 868.168/86400 c Decision: 1599/6365 Time: 871.983/86400 c Decision: 1599/6365 Time: 876.306/86400 c Decision: 1599/6365 Time: 879.718/86400 c Decision: 1599/6365 Time: 883.137/86400 c Decision: 1599/6365 Time: 886.601/86400 c Decision: 1599/6365 Time: 890.326/86400 c Decision: 1599/6365 Time: 894.674/86400 c Decision: 1599/6365 Time: 898.56/86400 c Decision: 1599/6365 Time: 902.47/86400 c Decision: 1599/6365 Time: 906.292/86400 c Decision: 1599/6365 Time: 909.946/86400 c Decision: 1599/6365 Time: 913.654/86400 c Decision: 1599/6365 Time: 918.034/86400 c Decision: 1599/6365 Time: 921.645/86400 c Decision: 1599/6365 Time: 925.486/86400 c Decision: 1599/6365 Time: 929.32/86400 c Decision: 1599/6365 Time: 933.715/86400 c Decision: 1599/6365 Time: 937.336/86400 c Decision: 1599/6365 Time: 941.323/86400 c Decision: 1599/6365 Time: 945.039/86400 c Decision: 1599/6365 Time: 949.028/86400 c Decision: 1599/6365 Time: 953.228/86400 c Decision: 1599/6365 Time: 956.808/86400 c Decision: 1599/6365 Time: 960.363/86400 c Decision: 1599/6365 Time: 963.789/86400 c Decision: 1599/6365 Time: 967.817/86400 c Decision: 1599/6365 Time: 971.848/86400 c Decision: 1599/6365 Time: 975.416/86400 c Decision: 1599/6365 Time: 979.212/86400 c Decision: 1599/6365 Time: 983.684/86400 c Decision: 1599/6365 Time: 988.094/86400 c Decision: 1599/6365 Time: 992.136/86400 c Decision: 1599/6365 Time: 995.663/86400 c Decision: 1599/6365 Time: 999.513/86400 c Decision: 1599/6365 Time: 1003.28/86400 c Decision: 1599/6365 Time: 1007.03/86400 c Decision: 1599/6365 Time: 1011.68/86400 c Decision: 1599/6365 Time: 1015.8/86400 c Decision: 1599/6365 Time: 1019.92/86400 c Decision: 1599/6365 Time: 1023.91/86400 c Decision: 1599/6365 Time: 1028.19/86400 c Decision: 1599/6365 Time: 1032.76/86400 c Decision: 1599/6365 Time: 1036.72/86400 c Decision: 1599/6365 Time: 1041.53/86400 c Decision: 1599/6365 Time: 1045.63/86400 c Decision: 1599/6365 Time: 1050.23/86400 c Decision: 1599/6365 Time: 1054.73/86400 c Decision: 1599/6365 Time: 1058.73/86400 c Decision: 1599/6365 Time: 1062.66/86400 c Decision: 1599/6365 Time: 1066.24/86400 c Decision: 1599/6365 Time: 1069.56/86400 c Decision: 1599/6365 Time: 1074.98/86400 c Decision: 1599/6365 Time: 1079.09/86400 c Decision: 1599/6365 Time: 1083.54/86400 c Decision: 1599/6365 Time: 1087.11/86400 c Decision: 1599/6365 Time: 1090.61/86400 c Decision: 1599/6365 Time: 1094.52/86400 c Decision: 1599/6365 Time: 1098.37/86400 c Decision: 1599/6365 Time: 1102.26/86400 c Decision: 1599/6365 Time: 1105.79/86400 c Decision: 1599/6365 Time: 1109.31/86400 c Decision: 1599/6365 Time: 1113.75/86400 c Decision: 1599/6365 Time: 1117.68/86400 c Decision: 1599/6365 Time: 1121.15/86400 c Decision: 1599/6365 Time: 1125.04/86400 c Decision: 1599/6365 Time: 1128.56/86400 c Decision: 1599/6365 Time: 1132.85/86400 c Decision: 1599/6365 Time: 1136.6/86400 c Decision: 1599/6365 Time: 1140.59/86400 c Decision: 1599/6365 Time: 1144.85/86400 c Decision: 1599/6365 Time: 1148.4/86400 c Decision: 1599/6365 Time: 1153.18/86400 c Decision: 1599/6365 Time: 1157.29/86400 c Decision: 1599/6365 Time: 1160.97/86400 c Decision: 1599/6365 Time: 1164.89/86400 c Decision: 1599/6365 Time: 1168.65/86400 c Decision: 1599/6365 Time: 1172.97/86400 c Decision: 1599/6365 Time: 1177.04/86400 c Decision: 1599/6365 Time: 1181.15/86400 c Decision: 1599/6365 Time: 1185.7/86400 c Decision: 1599/6365 Time: 1189.18/86400 c Decision: 1599/6365 Time: 1193.19/86400 c Decision: 1599/6365 Time: 1196.83/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 Raw data (loadavg): 1.09 1.02 0.93 2/54 1544 Raw data (stat): 1544 (runsolver) R 1543 31399 31398 0 -1 64 6 0 0 0 0 0 0 0 19 0 1 0 966315734 884736 93 4294967295 134512640 135332820 3221224480 3221219124 134915621 0 0 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 93 205 205 0 11 0 vsize: 864 Current StackSize limit: 67108864 bytes [startup+9.99964 s] Raw data (loadavg): 1.07 1.02 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 1405 0 0 0 993 4 0 0 25 0 1 0 966315734 6176768 1123 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 1508 1123 301 301 0 1207 0 vsize: 6032 [startup+20.0006 s] Raw data (loadavg): 1.06 1.01 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 1666 0 0 0 1991 7 0 0 25 0 1 0 966315734 7434240 1384 4294967295 134512640 135730672 3221224592 3221223244 134748060 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 1815 1384 301 301 0 1514 0 vsize: 7260 [startup+30.0011 s] Raw data (loadavg): 1.05 1.01 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 2022 0 0 0 2988 9 0 0 25 0 1 0 966315734 10297344 1740 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2514 1740 301 301 0 2213 0 vsize: 10056 [startup+40.0007 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 2152 0 0 0 3987 11 0 0 25 0 1 0 966315734 10493952 1870 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2562 1870 301 301 0 2261 0 vsize: 10248 [startup+50.0017 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 2503 0 0 0 4985 13 0 0 25 0 1 0 966315734 11575296 2028 4294967295 134512640 135730672 3221224592 3221222840 135284864 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2826 2028 301 301 0 2525 0 vsize: 11304 [startup+60.0013 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 2572 0 0 0 5983 15 0 0 25 0 1 0 966315734 11685888 2097 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2853 2097 301 301 0 2552 0 vsize: 11412 [startup+70.0018 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 2722 0 0 0 6980 17 0 0 25 0 1 0 966315734 11911168 2247 4294967295 134512640 135730672 3221224592 3221223136 134740265 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2908 2247 301 301 0 2607 0 vsize: 11632 [startup+80.0028 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 2899 0 0 0 7978 19 0 0 25 0 1 0 966315734 12144640 2424 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2965 2424 301 301 0 2664 0 vsize: 11860 [startup+90.0022 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 3117 0 0 0 8976 21 0 0 25 0 1 0 966315734 12337152 2642 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3012 2642 301 301 0 2711 0 vsize: 12048 [startup+100.002 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 3313 0 0 0 9975 22 0 0 25 0 1 0 966315734 16642048 2838 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4063 2838 301 301 0 3762 0 vsize: 16252 [startup+110.002 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 3524 0 0 0 10973 24 0 0 25 0 1 0 966315734 16850944 3049 4294967295 134512640 135730672 3221224592 3221223072 134732831 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4114 3049 301 301 0 3813 0 vsize: 16456 [startup+120.002 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 3615 0 0 0 11972 25 0 0 25 0 1 0 966315734 17002496 3140 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4151 3140 301 301 0 3850 0 vsize: 16604 [startup+130.002 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 3870 0 0 0 12971 27 0 0 25 0 1 0 966315734 17117184 3395 4294967295 134512640 135730672 3221224592 3221223280 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4179 3395 301 301 0 3878 0 vsize: 16716 [startup+140.002 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 3987 0 0 0 13970 28 0 0 25 0 1 0 966315734 17317888 3512 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4228 3512 301 301 0 3927 0 vsize: 16912 [startup+150.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 4501 0 0 0 14968 30 0 0 25 0 1 0 966315734 19136512 3641 4294967295 134512640 135730672 3221224592 3221223088 134747708 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4672 3641 301 301 0 4371 0 vsize: 18688 [startup+160.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 4554 0 0 0 15967 31 0 0 25 0 1 0 966315734 19238912 3694 4294967295 134512640 135730672 3221224592 3221223216 134748176 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4697 3694 301 301 0 4396 0 vsize: 18788 [startup+170.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 4771 0 0 0 16966 33 0 0 25 0 1 0 966315734 19460096 3911 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4751 3911 301 301 0 4450 0 vsize: 19004 [startup+180.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5023 0 0 0 17964 34 0 0 25 0 1 0 966315734 19697664 4163 4294967295 134512640 135730672 3221224592 3221223248 134748661 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4809 4163 301 301 0 4508 0 vsize: 19236 [startup+190.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5219 0 0 0 18963 36 0 0 25 0 1 0 966315734 28364800 4359 4294967295 134512640 135730672 3221224592 3221223208 134748218 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6925 4359 301 301 0 6624 0 vsize: 27700 [startup+200.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5311 0 0 0 19961 38 0 0 25 0 1 0 966315734 28364800 4451 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6925 4451 301 301 0 6624 0 vsize: 27700 [startup+210.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5368 0 0 0 20961 39 0 0 25 0 1 0 966315734 28594176 4508 4294967295 134512640 135730672 3221224592 3221222920 134814643 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6981 4508 301 301 0 6680 0 vsize: 27924 [startup+220.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5401 0 0 0 21960 40 0 0 25 0 1 0 966315734 28684288 4541 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7003 4541 301 301 0 6702 0 vsize: 28012 [startup+230.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5439 0 0 0 22959 41 0 0 25 0 1 0 966315734 28684288 4579 4294967295 134512640 135730672 3221224592 3221223088 134747618 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7003 4579 301 301 0 6702 0 vsize: 28012 [startup+240.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5483 0 0 0 23958 41 0 0 25 0 1 0 966315734 28880896 4623 4294967295 134512640 135730672 3221224592 3221223072 134732831 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7051 4623 301 301 0 6750 0 vsize: 28204 [startup+250.001 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5618 0 0 0 24957 43 0 0 25 0 1 0 966315734 28880896 4758 4294967295 134512640 135730672 3221224592 3221223088 134747757 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7051 4758 301 301 0 6750 0 vsize: 28204 [startup+260.001 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5833 0 0 0 25955 44 0 0 25 0 1 0 966315734 29118464 4973 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7109 4973 301 301 0 6808 0 vsize: 28436 [startup+270.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5909 0 0 0 26955 46 0 0 25 0 1 0 966315734 29233152 5049 4294967295 134512640 135730672 3221224592 3221223280 134748554 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7137 5049 301 301 0 6836 0 vsize: 28548 [startup+280.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6096 0 0 0 27953 47 0 0 25 0 1 0 966315734 29347840 5236 4294967295 134512640 135730672 3221224592 3221223136 134740291 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7165 5236 301 301 0 6864 0 vsize: 28660 [startup+290.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6360 0 0 0 28951 49 0 0 25 0 1 0 966315734 29458432 5500 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7192 5500 301 301 0 6891 0 vsize: 28768 [startup+300.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6430 0 0 0 29950 51 0 0 25 0 1 0 966315734 29564928 5570 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7218 5570 301 301 0 6917 0 vsize: 28872 [startup+310.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6462 0 0 0 30949 51 0 0 25 0 1 0 966315734 29667328 5602 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7243 5602 301 301 0 6942 0 vsize: 28972 [startup+320.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6494 0 0 0 31949 52 0 0 25 0 1 0 966315734 29782016 5634 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7271 5634 301 301 0 6970 0 vsize: 29084 [startup+330.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6525 0 0 0 32948 53 0 0 25 0 1 0 966315734 29868032 5665 4294967295 134512640 135730672 3221224592 3221222976 134761958 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7292 5665 301 301 0 6991 0 vsize: 29168 [startup+340.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6552 0 0 0 33947 54 0 0 25 0 1 0 966315734 29868032 5692 4294967295 134512640 135730672 3221224592 3221223184 134764020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7292 5692 301 301 0 6991 0 vsize: 29168 [startup+350.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6782 0 0 0 34946 55 0 0 25 0 1 0 966315734 29966336 5922 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7316 5922 301 301 0 7015 0 vsize: 29264 [startup+360.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6977 0 0 0 35945 57 0 0 25 0 1 0 966315734 30154752 6117 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7362 6117 301 301 0 7061 0 vsize: 29448 [startup+370.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 7133 0 0 0 36944 58 0 0 25 0 1 0 966315734 30285824 6273 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7394 6273 301 301 0 7093 0 vsize: 29576 [startup+380.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 7158 0 0 0 37944 58 0 0 25 0 1 0 966315734 30285824 6298 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7394 6298 301 301 0 7093 0 vsize: 29576 [startup+390.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 7217 0 0 0 38944 59 0 0 25 0 1 0 966315734 30564352 6357 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7462 6357 301 301 0 7161 0 vsize: 29848 [startup+400.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 7296 0 0 0 39943 60 0 0 25 0 1 0 966315734 30662656 6436 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7486 6436 301 301 0 7185 0 vsize: 29944 [startup+410.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 7486 0 0 0 40941 62 0 0 25 0 1 0 966315734 30662656 6626 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7486 6626 301 301 0 7185 0 vsize: 29944 [startup+420.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 8416 0 0 0 41938 65 0 0 25 0 1 0 966315734 33968128 6787 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8293 6787 301 301 0 7992 0 vsize: 33172 [startup+430.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 8590 0 0 0 42937 66 0 0 25 0 1 0 966315734 34082816 6961 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8321 6961 301 301 0 8020 0 vsize: 33284 [startup+440.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 8802 0 0 0 43936 68 0 0 25 0 1 0 966315734 34222080 7173 4294967295 134512640 135730672 3221224592 3221223184 134763672 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8355 7173 301 301 0 8054 0 vsize: 33420 [startup+450.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 8918 0 0 0 44934 70 0 0 25 0 1 0 966315734 34369536 7289 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8391 7289 301 301 0 8090 0 vsize: 33564 [startup+460.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9113 0 0 0 45932 71 0 0 25 0 1 0 966315734 51376128 7484 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12543 7484 301 301 0 12242 0 vsize: 50172 [startup+470.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9312 0 0 0 46931 73 0 0 25 0 1 0 966315734 51511296 7683 4294967295 134512640 135730672 3221224592 3221222912 134732800 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12576 7683 301 301 0 12275 0 vsize: 50304 [startup+480.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9478 0 0 0 47930 75 0 0 25 0 1 0 966315734 51675136 7849 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12616 7849 301 301 0 12315 0 vsize: 50464 [startup+490.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9551 0 0 0 48928 76 0 0 25 0 1 0 966315734 51937280 7922 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12680 7922 301 301 0 12379 0 vsize: 50720 [startup+500.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9601 0 0 0 49928 77 0 0 25 0 1 0 966315734 52101120 7972 4294967295 134512640 135730672 3221224592 3221223088 134747708 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12720 7972 301 301 0 12419 0 vsize: 50880 [startup+510.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9647 0 0 0 50927 77 0 0 25 0 1 0 966315734 52236288 8018 4294967295 134512640 135730672 3221224592 3221223088 134747811 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12753 8018 301 301 0 12452 0 vsize: 51012 [startup+520.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9694 0 0 0 51926 79 0 0 25 0 1 0 966315734 52457472 8065 4294967295 134512640 135730672 3221224592 3221223088 134747483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12807 8065 301 301 0 12506 0 vsize: 51228 [startup+530.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9741 0 0 0 52926 79 0 0 25 0 1 0 966315734 52682752 8112 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12862 8112 301 301 0 12561 0 vsize: 51448 [startup+540.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9775 0 0 0 53925 80 0 0 25 0 1 0 966315734 52682752 8146 4294967295 134512640 135730672 3221224592 3221223216 134783328 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12862 8146 301 301 0 12561 0 vsize: 51448 [startup+550.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9795 0 0 0 54925 80 0 0 25 0 1 0 966315734 52682752 8166 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12862 8166 301 301 0 12561 0 vsize: 51448 [startup+560.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9818 0 0 0 55924 81 0 0 25 0 1 0 966315734 52776960 8189 4294967295 134512640 135730672 3221224592 3221223088 134747868 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12885 8189 301 301 0 12584 0 vsize: 51540 [startup+570.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9848 0 0 0 56924 82 0 0 25 0 1 0 966315734 52776960 8219 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12885 8219 301 301 0 12584 0 vsize: 51540 [startup+580.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9888 0 0 0 57924 82 0 0 25 0 1 0 966315734 52887552 8259 4294967295 134512640 135730672 3221224592 3221223088 134747902 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12912 8259 301 301 0 12611 0 vsize: 51648 [startup+590.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9912 0 0 0 58923 83 0 0 25 0 1 0 966315734 52994048 8283 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12938 8283 301 301 0 12637 0 vsize: 51752 [startup+600.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9962 0 0 0 59922 84 0 0 25 0 1 0 966315734 53190656 8333 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12986 8333 301 301 0 12685 0 vsize: 51944 [startup+610.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10118 0 0 0 60921 85 0 0 25 0 1 0 966315734 53190656 8489 4294967295 134512640 135730672 3221224592 3221223104 134745782 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12986 8489 301 301 0 12685 0 vsize: 51944 [startup+620.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10138 0 0 0 61921 86 0 0 25 0 1 0 966315734 53288960 8509 4294967295 134512640 135730672 3221224592 3221223104 134746512 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13010 8509 301 301 0 12709 0 vsize: 52040 [startup+630.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10248 0 0 0 62920 87 0 0 25 0 1 0 966315734 53424128 8619 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13043 8619 301 301 0 12742 0 vsize: 52172 [startup+640.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10294 0 0 0 63919 87 0 0 25 0 1 0 966315734 53522432 8665 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13067 8665 301 301 0 12766 0 vsize: 52268 [startup+650.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10344 0 0 0 64918 89 0 0 25 0 1 0 966315734 53755904 8715 4294967295 134512640 135730672 3221224592 3221223088 134747757 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13124 8715 301 301 0 12823 0 vsize: 52496 [startup+660.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10366 0 0 0 65918 89 0 0 25 0 1 0 966315734 53755904 8737 4294967295 134512640 135730672 3221224592 3221223088 134747477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13124 8737 301 301 0 12823 0 vsize: 52496 [startup+670.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10395 0 0 0 66917 90 0 0 25 0 1 0 966315734 53846016 8766 4294967295 134512640 135730672 3221224592 3221222504 134787727 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13146 8766 301 301 0 12845 0 vsize: 52584 [startup+680.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10415 0 0 0 67917 91 0 0 25 0 1 0 966315734 53846016 8786 4294967295 134512640 135730672 3221224592 3221222976 134761984 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13146 8786 301 301 0 12845 0 vsize: 52584 [startup+690.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10498 0 0 0 68916 92 0 0 25 0 1 0 966315734 53981184 8869 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13179 8869 301 301 0 12878 0 vsize: 52716 [startup+700.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10620 0 0 0 69915 93 0 0 25 0 1 0 966315734 54083584 8991 4294967295 134512640 135730672 3221224592 3221222964 134763215 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13204 8991 301 301 0 12903 0 vsize: 52816 [startup+710.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10763 0 0 0 70914 94 0 0 25 0 1 0 966315734 54206464 9134 4294967295 134512640 135730672 3221224592 3221223104 134746193 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13234 9134 301 301 0 12933 0 vsize: 52936 [startup+720.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10905 0 0 0 71913 95 0 0 25 0 1 0 966315734 54476800 9276 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13300 9276 301 301 0 12999 0 vsize: 53200 [startup+730.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10919 0 0 0 72913 96 0 0 25 0 1 0 966315734 54476800 9290 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13300 9290 301 301 0 12999 0 vsize: 53200 [startup+740.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10971 0 0 0 73912 97 0 0 25 0 1 0 966315734 54706176 9342 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13356 9342 301 301 0 13055 0 vsize: 53424 [startup+750.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10990 0 0 0 74912 97 0 0 25 0 1 0 966315734 54706176 9361 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13356 9361 301 301 0 13055 0 vsize: 53424 [startup+760.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11030 0 0 0 75911 98 0 0 25 0 1 0 966315734 54816768 9401 4294967295 134512640 135730672 3221224592 3221222976 134761958 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13383 9401 301 301 0 13082 0 vsize: 53532 [startup+770.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11045 0 0 0 76911 98 0 0 25 0 1 0 966315734 54816768 9416 4294967295 134512640 135730672 3221224592 3221223088 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13383 9416 301 301 0 13082 0 vsize: 53532 [startup+780.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11070 0 0 0 77910 99 0 0 25 0 1 0 966315734 54915072 9441 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13407 9441 301 301 0 13106 0 vsize: 53628 [startup+790.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11084 0 0 0 78910 99 0 0 25 0 1 0 966315734 54915072 9455 4294967295 134512640 135730672 3221224592 3221223088 134747705 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13407 9455 301 301 0 13106 0 vsize: 53628 [startup+800.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11125 0 0 0 79910 100 0 0 25 0 1 0 966315734 55021568 9496 4294967295 134512640 135730672 3221224592 3221223236 134748260 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13433 9496 301 301 0 13132 0 vsize: 53732 [startup+810.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11171 0 0 0 80909 100 0 0 25 0 1 0 966315734 55234560 9542 4294967295 134512640 135730672 3221224592 3221222832 134786288 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13485 9542 301 301 0 13184 0 vsize: 53940 [startup+820.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11194 0 0 0 81909 101 0 0 25 0 1 0 966315734 55234560 9565 4294967295 134512640 135730672 3221224592 3221223104 134746517 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13485 9565 301 301 0 13184 0 vsize: 53940 [startup+830.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11239 0 0 0 82909 102 0 0 25 0 1 0 966315734 55382016 9610 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13521 9610 301 301 0 13220 0 vsize: 54084 [startup+840.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11482 0 0 0 83908 103 0 0 25 0 1 0 966315734 55517184 9853 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13554 9853 301 301 0 13253 0 vsize: 54216 [startup+850.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11636 0 0 0 84907 104 0 0 25 0 1 0 966315734 55652352 10007 4294967295 134512640 135730672 3221224592 3221223088 134747536 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13587 10007 301 301 0 13286 0 vsize: 54348 [startup+860.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11850 0 0 0 85905 105 0 0 25 0 1 0 966315734 55652352 10221 4294967295 134512640 135730672 3221224592 3221223260 134748653 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13587 10221 301 301 0 13286 0 vsize: 54348 [startup+870.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11880 0 0 0 86905 106 0 0 25 0 1 0 966315734 55787520 10251 4294967295 134512640 135730672 3221224592 3221223104 134746181 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13620 10251 301 301 0 13319 0 vsize: 54480 [startup+880.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11911 0 0 0 87905 106 0 0 25 0 1 0 966315734 55984128 10282 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13668 10282 301 301 0 13367 0 vsize: 54672 [startup+890.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11923 0 0 0 88904 107 0 0 25 0 1 0 966315734 55984128 10294 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13668 10294 301 301 0 13367 0 vsize: 54672 [startup+900.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11958 0 0 0 89904 108 0 0 25 0 1 0 966315734 56164352 10329 4294967295 134512640 135730672 3221224592 3221223104 134746526 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13712 10329 301 301 0 13411 0 vsize: 54848 [startup+910.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11983 0 0 0 90903 108 0 0 25 0 1 0 966315734 56164352 10354 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13712 10354 301 301 0 13411 0 vsize: 54848 [startup+920.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12013 0 0 0 91903 109 0 0 25 0 1 0 966315734 56164352 10384 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13712 10384 301 301 0 13411 0 vsize: 54848 [startup+930.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12106 0 0 0 92902 110 0 0 25 0 1 0 966315734 56393728 10477 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13768 10477 301 301 0 13467 0 vsize: 55072 [startup+940.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12237 0 0 0 93901 111 0 0 25 0 1 0 966315734 56664064 10608 4294967295 134512640 135730672 3221224592 3221222912 134732459 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13834 10608 301 301 0 13533 0 vsize: 55336 [startup+950.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12252 0 0 0 94900 112 0 0 25 0 1 0 966315734 56664064 10623 4294967295 134512640 135730672 3221224592 3221223216 134748182 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13834 10623 301 301 0 13533 0 vsize: 55336 [startup+960.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12323 0 0 0 95900 113 0 0 25 0 1 0 966315734 56799232 10694 4294967295 134512640 135730672 3221224592 3221223216 134748249 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13867 10694 301 301 0 13566 0 vsize: 55468 [startup+970.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12393 0 0 0 96899 114 0 0 25 0 1 0 966315734 56799232 10764 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13867 10764 301 301 0 13566 0 vsize: 55468 [startup+980.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12545 0 0 0 97898 115 0 0 25 0 1 0 966315734 56799232 10916 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13867 10916 301 301 0 13566 0 vsize: 55468 [startup+990.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12733 0 0 0 98896 117 0 0 25 0 1 0 966315734 56897536 11104 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13891 11104 301 301 0 13590 0 vsize: 55564 [startup+1000.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12849 0 0 0 99896 118 0 0 25 0 1 0 966315734 57032704 11220 4294967295 134512640 135730672 3221224592 3221222808 134813609 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13924 11220 301 301 0 13623 0 vsize: 55696 [startup+1010.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12885 0 0 0 100895 119 0 0 25 0 1 0 966315734 57126912 11256 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13947 11256 301 301 0 13646 0 vsize: 55788 [startup+1020.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12990 0 0 0 101894 120 0 0 25 0 1 0 966315734 57126912 11361 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13947 11361 301 301 0 13646 0 vsize: 55788 [startup+1030.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 13186 0 0 0 102893 121 0 0 25 0 1 0 966315734 57262080 11557 4294967295 134512640 135730672 3221224592 3221223104 134745860 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13980 11557 301 301 0 13679 0 vsize: 55920 [startup+1040.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 13293 0 0 0 103892 122 0 0 25 0 1 0 966315734 57262080 11664 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13980 11664 301 301 0 13679 0 vsize: 55920 [startup+1050.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 13486 0 0 0 104891 123 0 0 25 0 1 0 966315734 57397248 11857 4294967295 134512640 135730672 3221224592 3221223184 134764020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14013 11857 301 301 0 13712 0 vsize: 56052 [startup+1060.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 13646 0 0 0 105890 124 0 0 25 0 1 0 966315734 57716736 12017 4294967295 134512640 135730672 3221224592 3221223104 134746520 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14091 12017 301 301 0 13790 0 vsize: 56364 [startup+1070.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 13667 0 0 0 106890 125 0 0 25 0 1 0 966315734 57716736 12038 4294967295 134512640 135730672 3221224592 3221223248 134748670 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14091 12038 301 301 0 13790 0 vsize: 56364 [startup+1080.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 13707 0 0 0 107888 126 0 0 25 0 1 0 966315734 57851904 12078 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14124 12078 301 301 0 13823 0 vsize: 56496 [startup+1090.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15312 0 0 0 108885 130 0 0 25 0 1 0 966315734 64520192 12146 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15752 12146 301 301 0 15451 0 vsize: 63008 [startup+1100.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15325 0 0 0 109884 131 0 0 25 0 1 0 966315734 64520192 12159 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15752 12159 301 301 0 15451 0 vsize: 63008 [startup+1110.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15367 0 0 0 110883 132 0 0 25 0 1 0 966315734 64655360 12201 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15785 12201 301 301 0 15484 0 vsize: 63140 [startup+1120.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15378 0 0 0 111883 132 0 0 25 0 1 0 966315734 64655360 12212 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15785 12212 301 301 0 15484 0 vsize: 63140 [startup+1130.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15410 0 0 0 112883 133 0 0 25 0 1 0 966315734 64790528 12244 4294967295 134512640 135730672 3221224592 3221223104 134746226 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15818 12244 301 301 0 15517 0 vsize: 63272 [startup+1140.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15428 0 0 0 113882 134 0 0 25 0 1 0 966315734 64790528 12262 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15818 12262 301 301 0 15517 0 vsize: 63272 [startup+1150.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15461 0 0 0 114882 135 0 0 25 0 1 0 966315734 64901120 12295 4294967295 134512640 135730672 3221224592 3221223104 134746501 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15845 12295 301 301 0 15544 0 vsize: 63380 [startup+1160.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15510 0 0 0 115880 136 0 0 25 0 1 0 966315734 65064960 12344 4294967295 134512640 135730672 3221224592 3221223184 134764020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15885 12344 301 301 0 15584 0 vsize: 63540 [startup+1170.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15525 0 0 0 116880 137 0 0 25 0 1 0 966315734 65064960 12359 4294967295 134512640 135730672 3221224592 3221223104 134745782 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15885 12359 301 301 0 15584 0 vsize: 63540 [startup+1180.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15556 0 0 0 117880 137 0 0 25 0 1 0 966315734 65196032 12390 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15917 12390 301 301 0 15616 0 vsize: 63668 [startup+1190.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15602 0 0 0 118879 138 0 0 25 0 1 0 966315734 65425408 12436 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15973 12436 301 301 0 15672 0 vsize: 63892 [startup+1200.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1544 Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15616 0 0 0 119878 139 0 0 25 0 1 0 966315734 65425408 12450 4294967295 134512640 135730672 3221224592 3221223164 134740379 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15973 12450 301 301 0 15672 0 vsize: 63892 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.19 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 1544 Raw data (stat): 1544 (pb2sat-v2) Z 1543 31399 31398 0 -1 12 15618 0 0 0 119892 141 0 0 25 0 1 0 966315734 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1200.18 CPU time (s): 1200.35 CPU user time (s): 1198.93 CPU system time (s): 1.41778 CPU usage (%): 100.013 Max. virtual memory (Kb): 63892 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####