Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb |
MD5SUM | f6063d1ff7b0ba7c7cab7a438daedff8 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.013997 |
Number of variables | 400 |
Total number of constraints | 60 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 20 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc8 THE 2005-05-28 10:10:02 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=23930 boxname=wulflinc8 idbench=4 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: f6063d1ff7b0ba7c7cab7a438daedff8 /oldhome/oroussel/tmp/wulflinc8/normalized-chnl10_20_pb.cnf.cr.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-chnl10_20_pb.cnf.cr.opb IDLAUNCH: 23930 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 726296 kB Buffers: 37696 kB Cached: 248436 kB SwapCached: 896 kB Active: 56520 kB Inactive: 231920 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 726044 kB SwapTotal: 2097136 kB SwapFree: 2095540 kB Dirty: 0 kB Writeback: 0 kB Mapped: 5196 kB Slab: 14240 kB Committed_AS: 63736 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 10:30:14 (client local time) WITH STATUS 0 IN 1210.09 SECONDS stats: 23930 7 1210.09 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 380/1160 Time: 12.8111/86400 Decision: 380/1160 Time: 13.6019/86400 Decision: 380/1160 Time: 14.5038/86400 Decision: 380/1160 Time: 15.3997/86400 Decision: 380/1160 Time: 16.4325/86400 Decision: 380/1160 Time: 17.6733/86400 Decision: 380/1160 Time: 18.8021/86400 Decision: 380/1160 Time: 20.045/86400 Decision: 380/1160 Time: 21.1858/86400 Decision: 380/1160 Time: 22.4426/86400 Decision: 380/1160 Time: 24.1363/86400 Decision: 380/1160 Time: 25.6731/86400 Decision: 380/1160 Time: 27.2349/86400 Decision: 380/1160 Time: 29.0396/86400 Decision: 380/1160 Time: 30.6403/86400 Decision: 380/1160 Time: 32.577/86400 Decision: 380/1160 Time: 34.5717/86400 Decision: 380/1160 Time: 36.5324/86400 Decision: 380/1160 Time: 38.2002/86400 Decision: 380/1160 Time: 40.0389/86400 Decision: 380/1160 Time: 42.2566/86400 Decision: 380/1160 Time: 44.4372/86400 Decision: 380/1160 Time: 46.5079/86400 Decision: 380/1160 Time: 48.7006/86400 Decision: 380/1160 Time: 50.8713/86400 Decision: 380/1160 Time: 53.2169/86400 Decision: 380/1160 Time: 55.4236/86400 Decision: 380/1160 Time: 58.0892/86400 Decision: 380/1160 Time: 60.3618/86400 Decision: 380/1160 Time: 62.9204/86400 Decision: 380/1160 Time: 65.46/86400 Decision: 380/1160 Time: 67.8477/86400 Decision: 380/1160 Time: 70.2343/86400 Decision: 380/1160 Time: 72.571/86400 Decision: 380/1160 Time: 74.8226/86400 Decision: 380/1160 Time: 77.5282/86400 Decision: 380/1160 Time: 80.2068/86400 Decision: 380/1160 Time: 82.6884/86400 Decision: 380/1160 Time: 84.8931/86400 Decision: 380/1160 Time: 87.3527/86400 Decision: 380/1160 Time: 90.2233/86400 Decision: 380/1160 Time: 92.9419/86400 Decision: 380/1160 Time: 95.4005/86400 Decision: 380/1160 Time: 97.9511/86400 Decision: 380/1160 Time: 100.283/86400 Decision: 380/1160 Time: 103.661/86400 Decision: 380/1160 Time: 106.123/86400 Decision: 380/1160 Time: 108.718/86400 Decision: 380/1160 Time: 110.983/86400 Decision: 380/1160 Time: 113.632/86400 Decision: 380/1160 Time: 116.242/86400 Decision: 380/1160 Time: 119.477/86400 Decision: 380/1160 Time: 121.962/86400 Decision: 380/1160 Time: 124.751/86400 Decision: 380/1160 Time: 128.066/86400 Decision: 380/1160 Time: 131.272/86400 Decision: 380/1160 Time: 134.419/86400 Decision: 380/1160 Time: 137.867/86400 Decision: 380/1160 Time: 140.898/86400 Decision: 380/1160 Time: 144.402/86400 Decision: 380/1160 Time: 148.176/86400 Decision: 380/1160 Time: 151.099/86400 Decision: 380/1160 Time: 154.166/86400 Decision: 380/1160 Time: 157.31/86400 Decision: 380/1160 Time: 160.664/86400 Decision: 380/1160 Time: 164.551/86400 Decision: 380/1160 Time: 167.324/86400 Decision: 380/1160 Time: 170.809/86400 Decision: 380/1160 Time: 173.804/86400 Decision: 380/1160 Time: 176.606/86400 Decision: 380/1160 Time: 179.774/86400 Decision: 380/1160 Time: 183.512/86400 Decision: 380/1160 Time: 186.324/86400 Decision: 380/1160 Time: 189.732/86400 Decision: 380/1160 Time: 193.004/86400 Decision: 380/1160 Time: 197.091/86400 Decision: 380/1160 Time: 200.535/86400 Decision: 380/1160 Time: 204.226/86400 Decision: 380/1160 Time: 207.969/86400 Decision: 380/1160 Time: 211.22/86400 Decision: 380/1160 Time: 214.969/86400 Decision: 380/1160 Time: 218.191/86400 Decision: 380/1160 Time: 221.531/86400 Decision: 380/1160 Time: 225.083/86400 Decision: 380/1160 Time: 229.512/86400 Decision: 380/1160 Time: 234.089/86400 Decision: 380/1160 Time: 237.767/86400 Decision: 380/1160 Time: 241.386/86400 Decision: 380/1160 Time: 245.213/86400 Decision: 380/1160 Time: 248.779/86400 Decision: 380/1160 Time: 252.66/86400 Decision: 380/1160 Time: 256.628/86400 Decision: 380/1160 Time: 260.811/86400 Decision: 380/1160 Time: 264.545/86400 Decision: 380/1160 Time: 268.031/86400 Decision: 380/1160 Time: 272.406/86400 Decision: 380/1160 Time: 276.412/86400 Decision: 380/1160 Time: 280/86400 Decision: 380/1160 Time: 284.125/86400 Decision: 380/1160 Time: 288.495/86400 Decision: 380/1160 Time: 292.611/86400 Decision: 380/1160 Time: 296.96/86400 Decision: 380/1160 Time: 300.932/86400 Decision: 380/1160 Time: 305.604/86400 Decision: 380/1160 Time: 310.241/86400 Decision: 380/1160 Time: 315.193/86400 Decision: 380/1160 Time: 320.575/86400 Decision: 380/1160 Time: 325.106/86400 Decision: 380/1160 Time: 330.624/86400 Decision: 380/1160 Time: 335.047/86400 Decision: 380/1160 Time: 340.322/86400 Decision: 380/1160 Time: 344.922/86400 Decision: 380/1160 Time: 349.608/86400 Decision: 380/1160 Time: 354.559/86400 Decision: 380/1160 Time: 359.59/86400 Decision: 380/1160 Time: 364.735/86400 Decision: 380/1160 Time: 370.103/86400 Decision: 380/1160 Time: 375.045/86400 Decision: 380/1160 Time: 379.38/86400 Decision: 380/1160 Time: 384.668/86400 Decision: 380/1160 Time: 390.189/86400 Decision: 380/1160 Time: 395.205/86400 Decision: 380/1160 Time: 401.028/86400 Decision: 380/1160 Time: 405.151/86400 Decision: 380/1160 Time: 409.975/86400 Decision: 380/1160 Time: 414.889/86400 Decision: 380/1160 Time: 419.235/86400 Decision: 380/1160 Time: 423.836/86400 Decision: 380/1160 Time: 429.006/86400 Decision: 380/1160 Time: 433.476/86400 Decision: 380/1160 Time: 438.848/86400 Decision: 380/1160 Time: 443.14/86400 Decision: 380/1160 Time: 448.169/86400 Decision: 380/1160 Time: 452.142/86400 Decision: 380/1160 Time: 456.097/86400 Decision: 380/1160 Time: 461.241/86400 Decision: 380/1160 Time: 467.039/86400 Decision: 380/1160 Time: 472.034/86400 Decision: 380/1160 Time: 476.83/86400 Decision: 380/1160 Time: 481.748/86400 Decision: 380/1160 Time: 486.293/86400 Decision: 380/1160 Time: 491.43/86400 Decision: 380/1160 Time: 496.275/86400 Decision: 380/1160 Time: 500.797/86400 Decision: 380/1160 Time: 505.286/86400 Decision: 380/1160 Time: 510.116/86400 Decision: 380/1160 Time: 514.171/86400 Decision: 380/1160 Time: 518.842/86400 Decision: 380/1160 Time: 523.639/86400 Decision: 380/1160 Time: 527.875/86400 Decision: 380/1160 Time: 532.228/86400 Decision: 380/1160 Time: 536.96/86400 Decision: 380/1160 Time: 541.83/86400 Decision: 380/1160 Time: 546.431/86400 Decision: 380/1160 Time: 551.45/86400 Decision: 380/1160 Time: 556.294/86400 Decision: 380/1160 Time: 561.309/86400 Decision: 380/1160 Time: 565.852/86400 Decision: 380/1160 Time: 570.906/86400 Decision: 380/1160 Time: 576.004/86400 Decision: 380/1160 Time: 581.274/86400 Decision: 380/1160 Time: 587.014/86400 Decision: 380/1160 Time: 592.515/86400 Decision: 380/1160 Time: 598.796/86400 Decision: 380/1160 Time: 604.199/86400 Decision: 380/1160 Time: 609.654/86400 Decision: 380/1160 Time: 616.502/86400 Decision: 380/1160 Time: 622.443/86400 Decision: 380/1160 Time: 627.844/86400 Decision: 380/1160 Time: 632.963/86400 Decision: 380/1160 Time: 638.518/86400 Decision: 380/1160 Time: 643.857/86400 Decision: 380/1160 Time: 649.717/86400 Decision: 380/1160 Time: 655.608/86400 Decision: 380/1160 Time: 661.526/86400 Decision: 380/1160 Time: 668.688/86400 Decision: 380/1160 Time: 674.088/86400 Decision: 380/1160 Time: 680.068/86400 Decision: 380/1160 Time: 685.919/86400 Decision: 380/1160 Time: 691.297/86400 Decision: 380/1160 Time: 697.19/86400 Decision: 380/1160 Time: 702.225/86400 Decision: 380/1160 Time: 707.988/86400 Decision: 380/1160 Time: 714.321/86400 Decision: 380/1160 Time: 720.427/86400 Decision: 380/1160 Time: 727.534/86400 Decision: 380/1160 Time: 733.941/86400 Decision: 380/1160 Time: 741.065/86400 Decision: 380/1160 Time: 746.888/86400 Decision: 380/1160 Time: 752.872/86400 Decision: 380/1160 Time: 760.617/86400 Decision: 380/1160 Time: 769.826/86400 Decision: 380/1160 Time: 776.967/86400 Decision: 380/1160 Time: 784.111/86400 Decision: 380/1160 Time: 790.849/86400 Decision: 380/1160 Time: 798.362/86400 Decision: 380/1160 Time: 804.353/86400 Decision: 380/1160 Time: 810.779/86400 Decision: 380/1160 Time: 816.587/86400 Decision: 380/1160 Time: 823.282/86400 Decision: 380/1160 Time: 829.831/86400 Decision: 380/1160 Time: 835.245/86400 Decision: 380/1160 Time: 841.442/86400 Decision: 380/1160 Time: 847.559/86400 Decision: 380/1160 Time: 854.131/86400 Decision: 380/1160 Time: 860.4/86400 Decision: 380/1160 Time: 867.356/86400 Decision: 380/1160 Time: 873.563/86400 Decision: 380/1160 Time: 880.775/86400 Decision: 381/1160 Time: 894.048/86400 Decision: 381/1160 Time: 900.633/86400 Decision: 381/1160 Time: 909.076/86400 Decision: 381/1160 Time: 915.482/86400 Decision: 381/1160 Time: 921.499/86400 Decision: 381/1160 Time: 927.488/86400 Decision: 381/1160 Time: 933.748/86400 Decision: 381/1160 Time: 940.37/86400 Decision: 381/1160 Time: 946.28/86400 Decision: 381/1160 Time: 952.261/86400 Decision: 383/1160 Time: 961.798/86400 Decision: 383/1160 Time: 970.584/86400 Decision: 383/1160 Time: 977.599/86400 Decision: 383/1160 Time: 984.443/86400 Decision: 383/1160 Time: 991.106/86400 Decision: 383/1160 Time: 997.86/86400 Decision: 383/1160 Time: 1005.29/86400 Decision: 383/1160 Time: 1011.65/86400 Decision: 383/1160 Time: 1017.55/86400 Decision: 383/1160 Time: 1023.98/86400 Decision: 383/1160 Time: 1032.82/86400 Decision: 383/1160 Time: 1039.64/86400 Decision: 383/1160 Time: 1045.77/86400 Decision: 383/1160 Time: 1051.95/86400 Decision: 383/1160 Time: 1057.05/86400 Decision: 383/1160 Time: 1063.61/86400 Decision: 383/1160 Time: 1069.37/86400 Decision: 383/1160 Time: 1075.67/86400 Decision: 383/1160 Time: 1082.11/86400 Decision: 383/1160 Time: 1087.79/86400 Decision: 384/1160 Time: 1100.22/86400 Decision: 384/1160 Time: 1106.62/86400 Decision: 384/1160 Time: 1112.66/86400 Decision: 384/1160 Time: 1117.44/86400 Decision: 384/1160 Time: 1123.22/86400 Decision: 384/1160 Time: 1129.06/86400 Decision: 384/1160 Time: 1135.23/86400 Decision: 384/1160 Time: 1140.58/86400 Decision: 384/1160 Time: 1146.67/86400 Decision: 384/1160 Time: 1152.81/86400 Decision: 384/1160 Time: 1158.84/86400 Decision: 387/1160 Time: 1168.67/86400 Decision: 387/1160 Time: 1174.47/86400 Decision: 387/1160 Time: 1181.33/86400 Decision: 387/1160 Time: 1188.87/86400 Decision: 387/1160 Time: 1196.25/86400 Decision: 387/1160 Time: 1203.94/86400s UNKNOWN #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.00 0.00 0.00 2/54 14507 Raw data (stat): 14507 (runsolver) R 14506 3132 3131 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 792186063 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.001 s] Raw data (loadavg): 0.23 0.05 0.02 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 977 0 11 0 971 4 0 0 25 0 1 0 792186063 6787072 976 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 1657 976 300 300 0 1357 0 vsize: 6628 [startup+20.0015 s] Raw data (loadavg): 0.35 0.08 0.03 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 1803 0 11 0 1968 7 0 0 25 0 1 0 792186063 12124160 1753 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2960 1753 300 300 0 2660 0 vsize: 11840 [startup+30.0159 s] Raw data (loadavg): 0.45 0.11 0.04 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 2525 0 11 0 2965 11 0 0 25 0 1 0 792186063 13205504 2378 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3224 2378 300 300 0 2924 0 vsize: 12896 [startup+40.0226 s] Raw data (loadavg): 0.53 0.14 0.04 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 2879 0 11 0 3962 13 0 0 25 0 1 0 792186063 14123008 2732 4294967295 134512640 135726644 3221224576 3221222648 135281023 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3448 2732 300 300 0 3148 0 vsize: 13792 [startup+50.0278 s] Raw data (loadavg): 0.60 0.17 0.05 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 3134 0 11 0 4962 14 0 0 25 0 1 0 792186063 14516224 2987 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3544 2987 300 300 0 3244 0 vsize: 14176 [startup+60.0282 s] Raw data (loadavg): 0.66 0.19 0.06 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 3457 0 11 0 5960 16 0 0 25 0 1 0 792186063 23298048 3310 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5688 3310 300 300 0 5388 0 vsize: 22752 [startup+70.0287 s] Raw data (loadavg): 0.71 0.22 0.07 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 3743 0 11 0 6958 17 0 0 25 0 1 0 792186063 23658496 3596 4294967295 134512640 135726644 3221224576 3221223120 134736707 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 5776 3596 300 300 0 5476 0 vsize: 23104 [startup+80.0291 s] Raw data (loadavg): 0.76 0.24 0.08 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 4239 0 11 0 7956 20 0 0 25 0 1 0 792186063 24641536 3899 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6016 3899 300 300 0 5716 0 vsize: 24064 [startup+90.0292 s] Raw data (loadavg): 0.79 0.27 0.09 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 4416 0 11 0 8954 22 0 0 25 0 1 0 792186063 25001984 4076 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6104 4076 300 300 0 5804 0 vsize: 24416 [startup+100.029 s] Raw data (loadavg): 0.83 0.29 0.10 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 4548 0 11 0 9954 23 0 0 25 0 1 0 792186063 25362432 4208 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6192 4208 300 300 0 5892 0 vsize: 24768 [startup+110.029 s] Raw data (loadavg): 0.85 0.31 0.11 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 4678 0 11 0 10953 23 0 0 25 0 1 0 792186063 25362432 4338 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6192 4338 300 300 0 5892 0 vsize: 24768 [startup+120.03 s] Raw data (loadavg): 0.87 0.34 0.12 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 4915 0 11 0 11952 24 0 0 25 0 1 0 792186063 25755648 4575 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6288 4575 300 300 0 5988 0 vsize: 25152 [startup+130.03 s] Raw data (loadavg): 0.90 0.37 0.13 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 5237 0 11 0 12951 26 0 0 25 0 1 0 792186063 26087424 4897 4294967295 134512640 135726644 3221224576 3221223072 134744150 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6369 4897 300 300 0 6069 0 vsize: 25476 [startup+140.03 s] Raw data (loadavg): 0.92 0.39 0.14 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 5455 0 11 0 13950 27 0 0 25 0 1 0 792186063 26898432 5115 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6567 5115 300 300 0 6267 0 vsize: 26268 [startup+150.03 s] Raw data (loadavg): 0.93 0.41 0.15 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 5758 0 11 0 14949 28 0 0 25 0 1 0 792186063 27439104 5418 4294967295 134512640 135726644 3221224576 3221223200 134744513 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6699 5418 300 300 0 6399 0 vsize: 26796 [startup+160.03 s] Raw data (loadavg): 0.94 0.43 0.16 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 5961 0 11 0 15948 29 0 0 25 0 1 0 792186063 27844608 5621 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6798 5621 300 300 0 6498 0 vsize: 27192 [startup+170.029 s] Raw data (loadavg): 0.95 0.45 0.17 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 6124 0 11 0 16947 30 0 0 25 0 1 0 792186063 28114944 5784 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6864 5784 300 300 0 6564 0 vsize: 27456 [startup+180.03 s] Raw data (loadavg): 0.95 0.46 0.18 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 6225 0 11 0 17946 31 0 0 25 0 1 0 792186063 28655616 5885 4294967295 134512640 135726644 3221224576 3221223200 134779694 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6996 5885 300 300 0 6696 0 vsize: 27984 [startup+190.03 s] Raw data (loadavg): 0.96 0.48 0.19 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 6364 0 11 0 18945 32 0 0 25 0 1 0 792186063 29061120 6024 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7095 6024 300 300 0 6795 0 vsize: 28380 [startup+200.03 s] Raw data (loadavg): 0.97 0.50 0.19 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 6584 0 11 0 19944 33 0 0 25 0 1 0 792186063 29196288 6244 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7128 6244 300 300 0 6828 0 vsize: 28512 [startup+210.03 s] Raw data (loadavg): 0.97 0.51 0.20 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 6647 0 11 0 20944 34 0 0 25 0 1 0 792186063 29466624 6307 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7194 6307 300 300 0 6894 0 vsize: 28776 [startup+220.031 s] Raw data (loadavg): 0.98 0.53 0.21 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 7190 0 11 0 21943 36 0 0 25 0 1 0 792186063 31174656 6465 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7611 6465 300 300 0 7311 0 vsize: 30444 [startup+230.031 s] Raw data (loadavg): 0.98 0.54 0.22 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 7252 0 11 0 22942 37 0 0 25 0 1 0 792186063 31444992 6527 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7677 6527 300 300 0 7377 0 vsize: 30708 [startup+240.031 s] Raw data (loadavg): 0.98 0.56 0.22 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 7385 0 11 0 23941 38 0 0 25 0 1 0 792186063 31444992 6660 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7677 6660 300 300 0 7377 0 vsize: 30708 [startup+250.031 s] Raw data (loadavg): 0.98 0.57 0.23 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 7627 0 11 0 24940 39 0 0 25 0 1 0 792186063 48222208 6902 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11773 6902 300 300 0 11473 0 vsize: 47092 [startup+260.031 s] Raw data (loadavg): 0.99 0.59 0.24 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 7719 0 11 0 25939 40 0 0 25 0 1 0 792186063 48222208 6994 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11773 6994 300 300 0 11473 0 vsize: 47092 [startup+270.031 s] Raw data (loadavg): 0.99 0.60 0.25 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 7768 0 11 0 26938 41 0 0 25 0 1 0 792186063 48357376 7043 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11806 7043 300 300 0 11506 0 vsize: 47224 [startup+280.032 s] Raw data (loadavg): 0.99 0.61 0.26 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 7784 0 11 0 27937 42 0 0 25 0 1 0 792186063 48357376 7059 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11806 7059 300 300 0 11506 0 vsize: 47224 [startup+290.033 s] Raw data (loadavg): 0.99 0.62 0.26 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 7887 0 11 0 28937 43 0 0 25 0 1 0 792186063 48357376 7162 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11806 7162 300 300 0 11506 0 vsize: 47224 [startup+300.033 s] Raw data (loadavg): 0.99 0.64 0.27 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 7979 0 11 0 29936 43 0 0 25 0 1 0 792186063 48553984 7254 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11854 7254 300 300 0 11554 0 vsize: 47416 [startup+310.034 s] Raw data (loadavg): 0.99 0.65 0.28 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 8064 0 11 0 30936 44 0 0 25 0 1 0 792186063 48553984 7339 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11854 7339 300 300 0 11554 0 vsize: 47416 [startup+320.033 s] Raw data (loadavg): 0.99 0.66 0.29 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 8227 0 11 0 31935 45 0 0 25 0 1 0 792186063 48689152 7502 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11887 7502 300 300 0 11587 0 vsize: 47548 [startup+330.034 s] Raw data (loadavg): 0.99 0.67 0.29 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 8457 0 11 0 32934 46 0 0 25 0 1 0 792186063 48824320 7732 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11920 7732 300 300 0 11620 0 vsize: 47680 [startup+340.034 s] Raw data (loadavg): 0.99 0.68 0.30 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 8665 0 11 0 33933 48 0 0 25 0 1 0 792186063 48824320 7940 4294967295 134512640 135726644 3221224576 3221223088 134742627 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11920 7940 300 300 0 11620 0 vsize: 47680 [startup+350.033 s] Raw data (loadavg): 0.99 0.69 0.31 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 8707 0 11 0 34932 48 0 0 25 0 1 0 792186063 48824320 7982 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11920 7982 300 300 0 11620 0 vsize: 47680 [startup+360.035 s] Raw data (loadavg): 0.99 0.70 0.31 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 8866 0 11 0 35932 49 0 0 25 0 1 0 792186063 48824320 8141 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11920 8141 300 300 0 11620 0 vsize: 47680 [startup+370.035 s] Raw data (loadavg): 0.99 0.71 0.32 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 8978 0 11 0 36931 50 0 0 25 0 1 0 792186063 48824320 8253 4294967295 134512640 135726644 3221224576 3221223088 134742627 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11920 8253 300 300 0 11620 0 vsize: 47680 [startup+380.036 s] Raw data (loadavg): 0.99 0.72 0.33 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9041 0 11 0 37931 51 0 0 25 0 1 0 792186063 49094656 8316 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11986 8316 300 300 0 11686 0 vsize: 47944 [startup+390.036 s] Raw data (loadavg): 0.99 0.73 0.33 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9253 0 11 0 38929 52 0 0 25 0 1 0 792186063 49229824 8528 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12019 8528 300 300 0 11719 0 vsize: 48076 [startup+400.037 s] Raw data (loadavg): 0.99 0.74 0.34 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9307 0 11 0 39929 53 0 0 25 0 1 0 792186063 49364992 8582 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12052 8582 300 300 0 11752 0 vsize: 48208 [startup+410.037 s] Raw data (loadavg): 0.99 0.74 0.35 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9364 0 11 0 40929 53 0 0 25 0 1 0 792186063 49500160 8639 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12085 8639 300 300 0 11785 0 vsize: 48340 [startup+420.038 s] Raw data (loadavg): 0.99 0.75 0.35 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9487 0 11 0 41928 54 0 0 25 0 1 0 792186063 49635328 8762 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12118 8762 300 300 0 11818 0 vsize: 48472 [startup+430.039 s] Raw data (loadavg): 0.99 0.76 0.36 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9500 0 11 0 42928 55 0 0 25 0 1 0 792186063 49635328 8775 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12118 8775 300 300 0 11818 0 vsize: 48472 [startup+440.038 s] Raw data (loadavg): 0.99 0.77 0.37 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9511 0 11 0 43928 55 0 0 25 0 1 0 792186063 49635328 8786 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12118 8786 300 300 0 11818 0 vsize: 48472 [startup+450.039 s] Raw data (loadavg): 0.99 0.77 0.37 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9551 0 11 0 44928 55 0 0 25 0 1 0 792186063 49831936 8826 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12166 8826 300 300 0 11866 0 vsize: 48664 [startup+460.039 s] Raw data (loadavg): 0.99 0.78 0.38 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9584 0 11 0 45927 56 0 0 25 0 1 0 792186063 49967104 8859 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12199 8859 300 300 0 11899 0 vsize: 48796 [startup+470.04 s] Raw data (loadavg): 0.99 0.79 0.39 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9592 0 11 0 46927 56 0 0 25 0 1 0 792186063 49967104 8867 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12199 8867 300 300 0 11899 0 vsize: 48796 [startup+480.04 s] Raw data (loadavg): 0.99 0.79 0.39 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9620 0 11 0 47927 57 0 0 25 0 1 0 792186063 50102272 8895 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12232 8895 300 300 0 11932 0 vsize: 48928 [startup+490.041 s] Raw data (loadavg): 0.99 0.80 0.40 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9631 0 11 0 48927 57 0 0 25 0 1 0 792186063 50102272 8906 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12232 8906 300 300 0 11932 0 vsize: 48928 [startup+500.04 s] Raw data (loadavg): 0.99 0.81 0.40 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9661 0 11 0 49926 58 0 0 25 0 1 0 792186063 50237440 8936 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12265 8936 300 300 0 11965 0 vsize: 49060 [startup+510.04 s] Raw data (loadavg): 0.99 0.81 0.41 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9691 0 11 0 50925 59 0 0 25 0 1 0 792186063 50372608 8966 4294967295 134512640 135726644 3221224576 3221223200 134779424 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12298 8966 300 300 0 11998 0 vsize: 49192 [startup+520.04 s] Raw data (loadavg): 0.99 0.82 0.41 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9700 0 11 0 51925 59 0 0 25 0 1 0 792186063 50372608 8975 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12298 8975 300 300 0 11998 0 vsize: 49192 [startup+530.04 s] Raw data (loadavg): 0.99 0.82 0.42 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9710 0 11 0 52925 59 0 0 25 0 1 0 792186063 50372608 8985 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12298 8985 300 300 0 11998 0 vsize: 49192 [startup+540.041 s] Raw data (loadavg): 0.99 0.83 0.43 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9718 0 11 0 53925 60 0 0 25 0 1 0 792186063 50372608 8993 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12298 8993 300 300 0 11998 0 vsize: 49192 [startup+550.04 s] Raw data (loadavg): 0.99 0.83 0.43 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9734 0 11 0 54924 60 0 0 25 0 1 0 792186063 50503680 9009 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12330 9009 300 300 0 12030 0 vsize: 49320 [startup+560.041 s] Raw data (loadavg): 0.99 0.84 0.44 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9747 0 11 0 55925 60 0 0 25 0 1 0 792186063 50503680 9022 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12330 9022 300 300 0 12030 0 vsize: 49320 [startup+570.041 s] Raw data (loadavg): 0.99 0.84 0.44 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9796 0 11 0 56924 61 0 0 25 0 1 0 792186063 50774016 9071 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12396 9071 300 300 0 12096 0 vsize: 49584 [startup+580.042 s] Raw data (loadavg): 0.99 0.85 0.45 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9809 0 11 0 57923 62 0 0 25 0 1 0 792186063 50774016 9084 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12396 9084 300 300 0 12096 0 vsize: 49584 [startup+590.041 s] Raw data (loadavg): 0.99 0.85 0.46 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9835 0 11 0 58923 62 0 0 25 0 1 0 792186063 50909184 9110 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12429 9110 300 300 0 12129 0 vsize: 49716 [startup+600.042 s] Raw data (loadavg): 0.99 0.86 0.46 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 9866 0 11 0 59923 63 0 0 25 0 1 0 792186063 51044352 9141 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12462 9141 300 300 0 12162 0 vsize: 49848 [startup+610.042 s] Raw data (loadavg): 0.99 0.86 0.47 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 10042 0 11 0 60922 63 0 0 25 0 1 0 792186063 51449856 9317 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12561 9317 300 300 0 12261 0 vsize: 50244 [startup+620.042 s] Raw data (loadavg): 0.99 0.86 0.47 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 10108 0 11 0 61922 64 0 0 25 0 1 0 792186063 51720192 9383 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12627 9383 300 300 0 12327 0 vsize: 50508 [startup+630.042 s] Raw data (loadavg): 0.99 0.87 0.47 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 10291 0 11 0 62921 65 0 0 25 0 1 0 792186063 51720192 9566 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12627 9566 300 300 0 12327 0 vsize: 50508 [startup+640.043 s] Raw data (loadavg): 0.99 0.87 0.48 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 10450 0 11 0 63921 66 0 0 25 0 1 0 792186063 51720192 9725 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12627 9725 300 300 0 12327 0 vsize: 50508 [startup+650.042 s] Raw data (loadavg): 0.99 0.88 0.48 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 10468 0 11 0 64920 66 0 0 25 0 1 0 792186063 51720192 9743 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12627 9743 300 300 0 12327 0 vsize: 50508 [startup+660.042 s] Raw data (loadavg): 0.99 0.88 0.49 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 11267 0 11 0 65918 68 0 0 25 0 1 0 792186063 55001088 9773 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13428 9773 300 300 0 13128 0 vsize: 53712 [startup+670.042 s] Raw data (loadavg): 0.99 0.88 0.49 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 11293 0 11 0 66918 69 0 0 25 0 1 0 792186063 55136256 9799 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13461 9799 300 300 0 13161 0 vsize: 53844 [startup+680.042 s] Raw data (loadavg): 0.99 0.89 0.50 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 11305 0 11 0 67918 69 0 0 25 0 1 0 792186063 55136256 9811 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13461 9811 300 300 0 13161 0 vsize: 53844 [startup+690.042 s] Raw data (loadavg): 0.99 0.89 0.50 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 11378 0 11 0 68917 70 0 0 25 0 1 0 792186063 55136256 9884 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13461 9884 300 300 0 13161 0 vsize: 53844 [startup+700.042 s] Raw data (loadavg): 0.99 0.89 0.51 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 11497 0 11 0 69917 70 0 0 25 0 1 0 792186063 55136256 10003 4294967295 134512640 135726644 3221224576 3221223072 134744172 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13461 10003 300 300 0 13161 0 vsize: 53844 [startup+710.043 s] Raw data (loadavg): 0.99 0.90 0.51 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 11512 0 11 0 70916 71 0 0 25 0 1 0 792186063 55136256 10018 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13461 10018 300 300 0 13161 0 vsize: 53844 [startup+720.043 s] Raw data (loadavg): 0.99 0.90 0.52 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 11522 0 11 0 71916 72 0 0 25 0 1 0 792186063 55136256 10028 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13461 10028 300 300 0 13161 0 vsize: 53844 [startup+730.044 s] Raw data (loadavg): 0.99 0.90 0.52 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 11598 0 11 0 72916 72 0 0 25 0 1 0 792186063 55398400 10038 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13525 10038 300 300 0 13225 0 vsize: 54100 [startup+740.043 s] Raw data (loadavg): 0.99 0.90 0.53 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 11643 0 11 0 73915 73 0 0 25 0 1 0 792186063 55664640 10083 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13590 10083 300 300 0 13290 0 vsize: 54360 [startup+750.043 s] Raw data (loadavg): 0.99 0.91 0.53 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 11748 0 11 0 74915 74 0 0 25 0 1 0 792186063 55795712 10155 4294967295 134512640 135726644 3221224576 3221222960 134758065 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13622 10155 300 300 0 13322 0 vsize: 54488 [startup+760.044 s] Raw data (loadavg): 0.99 0.91 0.54 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 11953 0 11 0 75914 74 0 0 25 0 1 0 792186063 56193024 10327 4294967295 134512640 135726644 3221224576 3221223088 134742942 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13719 10327 300 300 0 13419 0 vsize: 54876 [startup+770.043 s] Raw data (loadavg): 0.99 0.91 0.54 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 11976 0 11 0 76914 75 0 0 25 0 1 0 792186063 56193024 10350 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13719 10350 300 300 0 13419 0 vsize: 54876 [startup+780.045 s] Raw data (loadavg): 0.99 0.91 0.55 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 12090 0 11 0 77913 75 0 0 25 0 1 0 792186063 56856576 10431 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13881 10431 300 300 0 13581 0 vsize: 55524 [startup+790.045 s] Raw data (loadavg): 0.99 0.92 0.55 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 12207 0 11 0 78913 76 0 0 25 0 1 0 792186063 57118720 10482 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13945 10482 300 300 0 13645 0 vsize: 55780 [startup+800.045 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 12382 0 11 0 79912 77 0 0 25 0 1 0 792186063 57380864 10591 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14009 10591 300 300 0 13709 0 vsize: 56036 [startup+810.045 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 12424 0 11 0 80912 77 0 0 25 0 1 0 792186063 57511936 10600 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14041 10600 300 300 0 13741 0 vsize: 56164 [startup+820.046 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 12466 0 11 0 81912 78 0 0 25 0 1 0 792186063 57643008 10609 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14073 10609 300 300 0 13773 0 vsize: 56292 [startup+830.046 s] Raw data (loadavg): 0.99 0.92 0.57 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 12511 0 11 0 82911 78 0 0 25 0 1 0 792186063 57774080 10621 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14105 10621 300 300 0 13805 0 vsize: 56420 [startup+840.047 s] Raw data (loadavg): 0.99 0.93 0.57 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 12558 0 11 0 83911 79 0 0 25 0 1 0 792186063 57905152 10635 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14137 10635 300 300 0 13837 0 vsize: 56548 [startup+850.047 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 12600 0 11 0 84911 79 0 0 25 0 1 0 792186063 58036224 10644 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14169 10644 300 300 0 13869 0 vsize: 56676 [startup+860.047 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 12650 0 11 0 85910 80 0 0 25 0 1 0 792186063 58167296 10661 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14201 10661 300 300 0 13901 0 vsize: 56804 [startup+870.048 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 12725 0 11 0 86910 80 0 0 25 0 1 0 792186063 58564608 10703 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14298 10703 300 300 0 13998 0 vsize: 57192 [startup+880.048 s] Raw data (loadavg): 0.99 0.93 0.59 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 12733 0 11 0 87910 81 0 0 25 0 1 0 792186063 58564608 10711 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14298 10711 300 300 0 13998 0 vsize: 57192 [startup+890.049 s] Raw data (loadavg): 0.99 0.94 0.59 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 12846 0 11 0 88909 81 0 0 25 0 1 0 792186063 58695680 10791 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14330 10791 300 300 0 14030 0 vsize: 57320 [startup+900.049 s] Raw data (loadavg): 0.99 0.94 0.59 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13019 0 11 0 89908 83 0 0 25 0 1 0 792186063 58695680 10964 4294967295 134512640 135726644 3221224576 3221223088 134742627 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14330 10964 300 300 0 14030 0 vsize: 57320 [startup+910.05 s] Raw data (loadavg): 0.99 0.94 0.60 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13059 0 11 0 90908 83 0 0 25 0 1 0 792186063 58830848 11004 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14363 11004 300 300 0 14063 0 vsize: 57452 [startup+920.05 s] Raw data (loadavg): 0.99 0.94 0.60 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13067 0 11 0 91908 83 0 0 25 0 1 0 792186063 58830848 11012 4294967295 134512640 135726644 3221224576 3221223072 134744159 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14363 11012 300 300 0 14063 0 vsize: 57452 [startup+930.05 s] Raw data (loadavg): 0.99 0.94 0.61 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13107 0 11 0 92908 84 0 0 25 0 1 0 792186063 59097088 11052 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14428 11052 300 300 0 14128 0 vsize: 57712 [startup+940.05 s] Raw data (loadavg): 0.99 0.94 0.61 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13114 0 11 0 93908 84 0 0 25 0 1 0 792186063 59097088 11059 4294967295 134512640 135726644 3221224576 3221222960 134759584 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14428 11059 300 300 0 14128 0 vsize: 57712 [startup+950.049 s] Raw data (loadavg): 0.99 0.94 0.61 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13164 0 11 0 94907 85 0 0 25 0 1 0 792186063 59228160 11076 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14460 11076 300 300 0 14160 0 vsize: 57840 [startup+960.051 s] Raw data (loadavg): 0.99 0.95 0.62 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13209 0 11 0 95907 85 0 0 25 0 1 0 792186063 59359232 11088 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14492 11088 300 300 0 14192 0 vsize: 57968 [startup+970.051 s] Raw data (loadavg): 0.99 0.95 0.62 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13216 0 11 0 96907 85 0 0 25 0 1 0 792186063 59359232 11095 4294967295 134512640 135726644 3221224576 3221223088 134742584 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14492 11095 300 300 0 14192 0 vsize: 57968 [startup+980.052 s] Raw data (loadavg): 0.99 0.95 0.63 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13287 0 11 0 97907 86 0 0 25 0 1 0 792186063 59625472 11133 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14557 11133 300 300 0 14257 0 vsize: 58228 [startup+990.053 s] Raw data (loadavg): 0.99 0.95 0.63 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13443 0 11 0 98907 86 0 0 25 0 1 0 792186063 60022784 11256 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14654 11256 300 300 0 14354 0 vsize: 58616 [startup+1000.05 s] Raw data (loadavg): 0.99 0.95 0.63 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13582 0 11 0 99906 87 0 0 25 0 1 0 792186063 60022784 11395 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14654 11395 300 300 0 14354 0 vsize: 58616 [startup+1010.05 s] Raw data (loadavg): 0.99 0.95 0.64 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13696 0 11 0 100905 88 0 0 25 0 1 0 792186063 60153856 11476 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14686 11476 300 300 0 14386 0 vsize: 58744 [startup+1020.05 s] Raw data (loadavg): 0.99 0.95 0.64 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13705 0 11 0 101905 89 0 0 25 0 1 0 792186063 60153856 11485 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14686 11485 300 300 0 14386 0 vsize: 58744 [startup+1030.05 s] Raw data (loadavg): 0.99 0.95 0.64 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13715 0 11 0 102905 89 0 0 25 0 1 0 792186063 60153856 11495 4294967295 134512640 135726644 3221224576 3221223120 134736688 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14686 11495 300 300 0 14386 0 vsize: 58744 [startup+1040.05 s] Raw data (loadavg): 0.99 0.95 0.65 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13760 0 11 0 103904 89 0 0 25 0 1 0 792186063 60284928 11507 4294967295 134512640 135726644 3221224576 3221223072 134744150 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14718 11507 300 300 0 14418 0 vsize: 58872 [startup+1050.05 s] Raw data (loadavg): 0.99 0.95 0.65 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13767 0 11 0 104904 90 0 0 25 0 1 0 792186063 60284928 11514 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14718 11514 300 300 0 14418 0 vsize: 58872 [startup+1060.05 s] Raw data (loadavg): 0.99 0.96 0.65 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13815 0 11 0 105904 90 0 0 25 0 1 0 792186063 60416000 11529 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14750 11529 300 300 0 14450 0 vsize: 59000 [startup+1070.05 s] Raw data (loadavg): 0.99 0.96 0.66 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13831 0 11 0 106904 91 0 0 25 0 1 0 792186063 60416000 11545 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14750 11545 300 300 0 14450 0 vsize: 59000 [startup+1080.05 s] Raw data (loadavg): 0.99 0.96 0.66 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13844 0 11 0 107903 91 0 0 25 0 1 0 792186063 60416000 11558 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14750 11558 300 300 0 14450 0 vsize: 59000 [startup+1090.05 s] Raw data (loadavg): 0.99 0.96 0.66 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13874 0 11 0 108903 91 0 0 25 0 1 0 792186063 60682240 11588 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14815 11588 300 300 0 14515 0 vsize: 59260 [startup+1100.05 s] Raw data (loadavg): 0.99 0.96 0.66 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13890 0 11 0 109903 91 0 0 25 0 1 0 792186063 60682240 11604 4294967295 134512640 135726644 3221224576 3221223088 134742591 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14815 11604 300 300 0 14515 0 vsize: 59260 [startup+1110.05 s] Raw data (loadavg): 0.99 0.96 0.67 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13910 0 11 0 110903 92 0 0 25 0 1 0 792186063 60682240 11624 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14815 11624 300 300 0 14515 0 vsize: 59260 [startup+1120.05 s] Raw data (loadavg): 0.99 0.96 0.67 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13921 0 11 0 111903 92 0 0 25 0 1 0 792186063 60682240 11635 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14815 11635 300 300 0 14515 0 vsize: 59260 [startup+1130.05 s] Raw data (loadavg): 0.99 0.96 0.67 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13937 0 11 0 112903 92 0 0 25 0 1 0 792186063 60813312 11651 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14847 11651 300 300 0 14547 0 vsize: 59388 [startup+1140.06 s] Raw data (loadavg): 0.99 0.96 0.68 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13944 0 11 0 113903 93 0 0 25 0 1 0 792186063 60813312 11658 4294967295 134512640 135726644 3221224576 3221223072 134744263 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14847 11658 300 300 0 14547 0 vsize: 59388 [startup+1150.05 s] Raw data (loadavg): 0.99 0.96 0.68 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 13954 0 11 0 114903 93 0 0 25 0 1 0 792186063 60813312 11668 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14847 11668 300 300 0 14547 0 vsize: 59388 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.68 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 14003 0 11 0 115902 93 0 0 25 0 1 0 792186063 61079552 11717 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14912 11717 300 300 0 14612 0 vsize: 59648 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.68 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 14011 0 11 0 116902 94 0 0 25 0 1 0 792186063 61079552 11725 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14912 11725 300 300 0 14612 0 vsize: 59648 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.69 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 14018 0 11 0 117902 94 0 0 25 0 1 0 792186063 61079552 11732 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14912 11732 300 300 0 14612 0 vsize: 59648 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.69 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 14024 0 11 0 118902 94 0 0 25 0 1 0 792186063 61079552 11738 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14912 11738 300 300 0 14612 0 vsize: 59648 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.69 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 14035 0 11 0 119902 94 0 0 25 0 1 0 792186063 61079552 11749 4294967295 134512640 135726644 3221224576 3221223072 134744172 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14912 11749 300 300 0 14612 0 vsize: 59648 [startup+1210.06 s] Raw data (loadavg): 0.99 0.97 0.70 2/54 14507 Raw data (stat): 14507 (pb2sat) R 14506 3132 3131 0 -1 0 14042 0 11 0 120902 95 0 0 25 0 1 0 792186063 61079552 11756 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14912 11756 300 300 0 14612 0 vsize: 59648 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1210.17 s] Raw data (loadavg): 0.99 0.97 0.70 1/54 14507 Raw data (stat): 14507 (pb2sat) Z 14506 3132 3131 0 -1 12 14043 0 11 0 120911 97 0 0 25 0 1 0 792186063 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1210.17 CPU time (s): 1210.09 CPU user time (s): 1209.11 CPU system time (s): 0.976851 CPU usage (%): 99.9936 Max. virtual memory (Kb): 59648 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####