Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb |
MD5SUM | 85cf0fb6ed84e77eea7ef88259fe2fe8 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
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 | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 104 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 16.5575 |
Number of variables | 4644 |
Total number of constraints | 35898 |
Number of constraints which are clauses | 30228 |
Number of constraints which are cardinality constraints (but not clauses) | 5592 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-16 04:06:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25459 boxname=wulflinc6 idbench=361 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 85cf0fb6ed84e77eea7ef88259fe2fe8 /oldhome/oroussel/tmp/wulflinc6/normalized-ppp:3-13,25,26.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ppp:3-13,25,26.opb IDLAUNCH: 25459 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 714740 kB Buffers: 34176 kB Cached: 262908 kB SwapCached: 1028 kB Active: 65712 kB Inactive: 233528 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 714488 kB SwapTotal: 2097136 kB SwapFree: 2095200 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5088 kB Slab: 15004 kB Committed_AS: 63848 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 04:27:03 (client local time) WITH STATUS 0 IN 1201.33 SECONDS stats: 25459 7 1201.33 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 7830/28776 Time: 27.8938/86400 c Decision: 7830/28776 Time: 32.1301/86400 c Decision: 7830/28776 Time: 36.6064/86400 c Decision: 7830/28776 Time: 41.0558/86400 c Decision: 7830/28776 Time: 45.927/86400 c Decision: 7830/28776 Time: 50.9133/86400 c Decision: 7830/28776 Time: 56.5804/86400 c Decision: 7830/28776 Time: 62.1056/86400 c Decision: 7830/28776 Time: 67.0218/86400 c Decision: 7830/28776 Time: 71.5631/86400 c Decision: 7830/28776 Time: 76.9343/86400 c Decision: 7830/28776 Time: 82.0295/86400 c Decision: 7830/28776 Time: 87.2077/86400 c Decision: 7830/28776 Time: 92.179/86400 c Decision: 7830/28776 Time: 97.5962/86400 c Decision: 7830/28776 Time: 102.863/86400 c Decision: 7830/28776 Time: 108.311/86400 c Decision: 7830/28776 Time: 113.454/86400 c Decision: 7830/28776 Time: 118.213/86400 c Decision: 7830/28776 Time: 123.624/86400 c Decision: 7830/28776 Time: 128.756/86400 c Decision: 7830/28776 Time: 133.545/86400 c Decision: 7830/28776 Time: 138.896/86400 c Decision: 7830/28776 Time: 145.741/86400 c Decision: 7830/28776 Time: 151.733/86400 c Decision: 7830/28776 Time: 157.839/86400 c Decision: 7830/28776 Time: 163.684/86400 c Decision: 7830/28776 Time: 169.806/86400 c Decision: 7830/28776 Time: 175.67/86400 c Decision: 7830/28776 Time: 181.378/86400 c Decision: 7830/28776 Time: 188.594/86400 c Decision: 7830/28776 Time: 194.71/86400 c Decision: 7830/28776 Time: 200.98/86400 c Decision: 7830/28776 Time: 208.42/86400 c Decision: 7830/28776 Time: 215.317/86400 c Decision: 7830/28776 Time: 222.019/86400 c Decision: 7830/28776 Time: 228.211/86400 c Decision: 7830/28776 Time: 233.798/86400 c Decision: 7830/28776 Time: 239.994/86400 c Decision: 7830/28776 Time: 245.38/86400 c Decision: 7830/28776 Time: 251.326/86400 c Decision: 7830/28776 Time: 256.113/86400 c Decision: 7830/28776 Time: 262.23/86400 c Decision: 7830/28776 Time: 267.454/86400 c Decision: 7830/28776 Time: 274.231/86400 c Decision: 7830/28776 Time: 280.704/86400 c Decision: 7830/28776 Time: 286.784/86400 c Decision: 7830/28776 Time: 292.956/86400 c Decision: 7830/28776 Time: 299.061/86400 c Decision: 7830/28776 Time: 305.303/86400 c Decision: 7830/28776 Time: 311.612/86400 c Decision: 7830/28776 Time: 318.603/86400 c Decision: 7830/28776 Time: 325.662/86400 c Decision: 7830/28776 Time: 331.612/86400 c Decision: 7830/28776 Time: 338.124/86400 c Decision: 7830/28776 Time: 345.805/86400 c Decision: 7830/28776 Time: 352.93/86400 c Decision: 7830/28776 Time: 360.028/86400 c Decision: 7830/28776 Time: 367.032/86400 c Decision: 7830/28776 Time: 374.56/86400 c Decision: 7830/28776 Time: 382.468/86400 c Decision: 7830/28776 Time: 389.454/86400 c Decision: 7830/28776 Time: 396.502/86400 c Decision: 7830/28776 Time: 404.529/86400 c Decision: 7830/28776 Time: 411.934/86400 c Decision: 7830/28776 Time: 419.42/86400 c Decision: 7830/28776 Time: 427.039/86400 c Decision: 7830/28776 Time: 434.285/86400 c Decision: 7830/28776 Time: 441.523/86400 c Decision: 7830/28776 Time: 449.024/86400 c Decision: 7830/28776 Time: 455.287/86400 c Decision: 7830/28776 Time: 463.056/86400 c Decision: 7830/28776 Time: 471.361/86400 c Decision: 7830/28776 Time: 479.693/86400 c Decision: 7830/28776 Time: 488.065/86400 c Decision: 7830/28776 Time: 496.191/86400 c Decision: 7830/28776 Time: 503.591/86400 c Decision: 7830/28776 Time: 511.524/86400 c Decision: 7830/28776 Time: 518.754/86400 c Decision: 7830/28776 Time: 526.857/86400 c Decision: 7830/28776 Time: 534.553/86400 c Decision: 7830/28776 Time: 542.74/86400 c Decision: 7830/28776 Time: 551.172/86400 c Decision: 7830/28776 Time: 559.222/86400 c Decision: 7830/28776 Time: 567.217/86400 c Decision: 7830/28776 Time: 575.246/86400 c Decision: 7830/28776 Time: 584.674/86400 c Decision: 7830/28776 Time: 593.386/86400 c Decision: 7830/28776 Time: 600.1/86400 c Decision: 7830/28776 Time: 607.84/86400 c Decision: 7830/28776 Time: 614.55/86400 c Decision: 7830/28776 Time: 621.493/86400 c Decision: 7830/28776 Time: 628.247/86400 c Decision: 7830/28776 Time: 636.608/86400 c Decision: 7830/28776 Time: 644.428/86400 c Decision: 7830/28776 Time: 651.657/86400 c Decision: 7830/28776 Time: 658.194/86400 c Decision: 7830/28776 Time: 665.788/86400 c Decision: 7830/28776 Time: 673.15/86400 c Decision: 7830/28776 Time: 680.607/86400 c Decision: 7830/28776 Time: 689.087/86400 c Decision: 7830/28776 Time: 696.762/86400 c Decision: 7830/28776 Time: 704.3/86400 c Decision: 7830/28776 Time: 712.127/86400 c Decision: 7830/28776 Time: 721.078/86400 c Decision: 7830/28776 Time: 729.616/86400 c Decision: 7830/28776 Time: 739.215/86400 c Decision: 7830/28776 Time: 745.628/86400 c Decision: 7830/28776 Time: 752.565/86400 c Decision: 7830/28776 Time: 760.551/86400 c Decision: 7830/28776 Time: 768.685/86400 c Decision: 7830/28776 Time: 776.22/86400 c Decision: 7830/28776 Time: 785.125/86400 c Decision: 7830/28776 Time: 795.077/86400 c Decision: 7830/28776 Time: 802.94/86400 c Decision: 7830/28776 Time: 811.501/86400 c Decision: 7830/28776 Time: 821.133/86400 c Decision: 7830/28776 Time: 831.675/86400 c Decision: 7830/28776 Time: 840.545/86400 c Decision: 7830/28776 Time: 850.022/86400 c Decision: 7830/28776 Time: 860.586/86400 c Decision: 7830/28776 Time: 869.866/86400 c Decision: 7830/28776 Time: 878.924/86400 c Decision: 7830/28776 Time: 887.593/86400 c Decision: 7830/28776 Time: 897.104/86400 c Decision: 7830/28776 Time: 909.71/86400 c Decision: 7830/28776 Time: 920.192/86400 c Decision: 7830/28776 Time: 930.719/86400 c Decision: 7830/28776 Time: 940.372/86400 c Decision: 7830/28776 Time: 949.185/86400 c Decision: 7830/28776 Time: 959.1/86400 c Decision: 7830/28776 Time: 968.864/86400 c Decision: 7830/28776 Time: 977.802/86400 c Decision: 7830/28776 Time: 988.735/86400 c Decision: 7830/28776 Time: 998.847/86400 c Decision: 7830/28776 Time: 1008.08/86400 c Decision: 7830/28776 Time: 1018.21/86400 c Decision: 7830/28776 Time: 1029.1/86400 c Decision: 7830/28776 Time: 1040.18/86400 c Decision: 7830/28776 Time: 1050.11/86400 c Decision: 7830/28776 Time: 1061.09/86400 c Decision: 7830/28776 Time: 1069.27/86400 c Decision: 7830/28776 Time: 1080.3/86400 c Decision: 7830/28776 Time: 1091.8/86400 c Decision: 7830/28776 Time: 1101.9/86400 c Decision: 7830/28776 Time: 1111.68/86400 c Decision: 7830/28776 Time: 1122.38/86400 c Decision: 7830/28776 Time: 1134.17/86400 c Decision: 7830/28776 Time: 1142.64/86400 c Decision: 7830/28776 Time: 1153.05/86400 c Decision: 7830/28776 Time: 1164.42/86400 c Decision: 7830/28776 Time: 1175.48/86400 c Decision: 7830/28776 Time: 1187.06/86400 c Decision: 7830/28776 Time: 1196.74/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.87 0.95 0.90 1/54 13999 Raw data (stat): 13999 (runsolver) R 13998 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967754616 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0002 s] Raw data (loadavg): 0.89 0.95 0.90 2/54 13999 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 4216 0 0 0 985 14 0 0 25 0 1 0 967754616 13070336 2831 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3191 2831 301 301 0 2890 0 vsize: 12764 [startup+20.0009 s] Raw data (loadavg): 0.91 0.96 0.91 2/54 13999 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 4406 0 0 0 1977 22 0 0 25 0 1 0 967754616 15572992 3021 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3802 3021 301 301 0 3501 0 vsize: 15208 [startup+30.0005 s] Raw data (loadavg): 0.92 0.96 0.91 2/54 13999 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 4541 0 0 0 2970 30 0 0 25 0 1 0 967754616 15843328 3156 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3868 3156 301 301 0 3567 0 vsize: 15472 [startup+39.9997 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 13999 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 4728 0 0 0 3963 36 0 0 25 0 1 0 967754616 15978496 3229 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3901 3229 301 301 0 3600 0 vsize: 15604 [startup+50.0003 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 13999 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 4825 0 0 0 4956 43 0 0 25 0 1 0 967754616 16109568 3269 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3933 3269 301 301 0 3632 0 vsize: 15732 [startup+59.9999 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 13999 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 5007 0 0 0 5948 51 0 0 25 0 1 0 967754616 16244736 3337 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3966 3337 301 301 0 3665 0 vsize: 15864 [startup+70 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 13999 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 5165 0 0 0 6941 59 0 0 25 0 1 0 967754616 16379904 3381 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3999 3381 301 301 0 3698 0 vsize: 15996 [startup+80.0007 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 13999 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 5335 0 0 0 7934 66 0 0 25 0 1 0 967754616 16379904 3437 4294967295 134512640 135730672 3221224576 3221223180 134747440 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3999 3437 301 301 0 3698 0 vsize: 15996 [startup+90.0003 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 13999 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 5488 0 0 0 8926 74 0 0 25 0 1 0 967754616 16515072 3476 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4032 3476 301 301 0 3731 0 vsize: 16128 [startup+99.9995 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 13999 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 5630 0 0 0 9919 82 0 0 25 0 1 0 967754616 16650240 3504 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4065 3504 301 301 0 3764 0 vsize: 16260 [startup+110 s] Raw data (loadavg): 1.06 0.98 0.91 2/58 14042 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 6574 0 0 0 10898 94 0 0 25 0 1 0 967754616 19931136 3565 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4866 3565 301 301 0 4565 0 vsize: 19464 [startup+120.316 s] Raw data (loadavg): 1.05 0.98 0.91 2/58 14042 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 6745 0 0 0 11923 100 0 0 25 0 1 0 967754616 19931136 3622 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4866 3622 301 301 0 4565 0 vsize: 19464 [startup+130.431 s] Raw data (loadavg): 1.19 1.01 0.93 2/56 14047 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 6945 0 0 0 12929 107 0 0 25 0 1 0 967754616 20066304 3708 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4899 3708 301 301 0 4598 0 vsize: 19596 [startup+140.572 s] Raw data (loadavg): 1.31 1.05 0.94 2/54 14052 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 7047 0 0 0 13937 113 0 0 25 0 1 0 967754616 20201472 3753 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4932 3753 301 301 0 4631 0 vsize: 19728 [startup+150.937 s] Raw data (loadavg): 1.26 1.04 0.94 2/54 14052 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 7212 0 0 0 14966 119 0 0 25 0 1 0 967754616 20336640 3804 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4965 3804 301 301 0 4664 0 vsize: 19860 [startup+160.938 s] Raw data (loadavg): 1.22 1.04 0.94 2/54 14052 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 7340 0 0 0 15960 126 0 0 25 0 1 0 967754616 20471808 3875 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4998 3875 301 301 0 4697 0 vsize: 19992 [startup+170.939 s] Raw data (loadavg): 1.19 1.04 0.94 2/54 14052 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 7490 0 0 0 16952 134 0 0 25 0 1 0 967754616 20606976 3911 4294967295 134512640 135730672 3221224576 3221222896 134732500 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5031 3911 301 301 0 4730 0 vsize: 20124 [startup+180.939 s] Raw data (loadavg): 1.16 1.04 0.94 2/54 14052 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 7633 0 0 0 17947 139 0 0 25 0 1 0 967754616 20606976 3940 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5031 3940 301 301 0 4730 0 vsize: 20124 [startup+190.94 s] Raw data (loadavg): 1.13 1.04 0.94 2/54 14052 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 7764 0 0 0 18941 146 0 0 25 0 1 0 967754616 20742144 4014 4294967295 134512640 135730672 3221224576 3221223072 134747845 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5064 4014 301 301 0 4763 0 vsize: 20256 [startup+200.941 s] Raw data (loadavg): 1.11 1.03 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 7907 0 0 0 19937 150 0 0 25 0 1 0 967754616 20742144 4043 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5064 4043 301 301 0 4763 0 vsize: 20256 [startup+210.942 s] Raw data (loadavg): 1.09 1.03 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 7990 0 0 0 20932 156 0 0 25 0 1 0 967754616 20877312 4069 4294967295 134512640 135730672 3221224576 3221223232 134734766 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5097 4069 301 301 0 4796 0 vsize: 20388 [startup+220.943 s] Raw data (loadavg): 1.08 1.03 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 8132 0 0 0 21926 162 0 0 25 0 1 0 967754616 21012480 4097 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5130 4097 301 301 0 4829 0 vsize: 20520 [startup+230.944 s] Raw data (loadavg): 1.07 1.03 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 8232 0 0 0 22921 168 0 0 25 0 1 0 967754616 21012480 4140 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5130 4140 301 301 0 4829 0 vsize: 20520 [startup+240.944 s] Raw data (loadavg): 1.06 1.03 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 8376 0 0 0 23915 174 0 0 25 0 1 0 967754616 21147648 4170 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5163 4170 301 301 0 4862 0 vsize: 20652 [startup+250.944 s] Raw data (loadavg): 1.05 1.03 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 8562 0 0 0 24908 181 0 0 25 0 1 0 967754616 21282816 4242 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5196 4242 301 301 0 4895 0 vsize: 20784 [startup+260.945 s] Raw data (loadavg): 1.04 1.03 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 8735 0 0 0 25901 189 0 0 25 0 1 0 967754616 21422080 4301 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5230 4301 301 301 0 4929 0 vsize: 20920 [startup+270.945 s] Raw data (loadavg): 1.03 1.02 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 8827 0 0 0 26894 196 0 0 25 0 1 0 967754616 21422080 4336 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5230 4336 301 301 0 4929 0 vsize: 20920 [startup+280.945 s] Raw data (loadavg): 1.03 1.02 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 8973 0 0 0 27889 201 0 0 25 0 1 0 967754616 25751552 4368 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6287 4368 301 301 0 5986 0 vsize: 25148 [startup+290.947 s] Raw data (loadavg): 1.02 1.02 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 9074 0 0 0 28885 206 0 0 25 0 1 0 967754616 25751552 4412 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6287 4412 301 301 0 5986 0 vsize: 25148 [startup+300.948 s] Raw data (loadavg): 1.02 1.02 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 9216 0 0 0 29880 211 0 0 25 0 1 0 967754616 25886720 4440 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6320 4440 301 301 0 6019 0 vsize: 25280 [startup+310.948 s] Raw data (loadavg): 1.02 1.02 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 9387 0 0 0 30875 217 0 0 25 0 1 0 967754616 26021888 4497 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6353 4497 301 301 0 6052 0 vsize: 25412 [startup+320.948 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 9495 0 0 0 31869 223 0 0 25 0 1 0 967754616 26021888 4548 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6353 4548 301 301 0 6052 0 vsize: 25412 [startup+330.949 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 9633 0 0 0 32864 228 0 0 25 0 1 0 967754616 26152960 4572 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6385 4572 301 301 0 6084 0 vsize: 25540 [startup+340.949 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 9760 0 0 0 33859 234 0 0 25 0 1 0 967754616 26152960 4642 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6385 4642 301 301 0 6084 0 vsize: 25540 [startup+350.95 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 9939 0 0 0 34854 239 0 0 25 0 1 0 967754616 26288128 4707 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6418 4707 301 301 0 6117 0 vsize: 25672 [startup+360.951 s] Raw data (loadavg): 1.00 1.02 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10023 0 0 0 35848 245 0 0 25 0 1 0 967754616 26423296 4734 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6451 4734 301 301 0 6150 0 vsize: 25804 [startup+370.951 s] Raw data (loadavg): 1.00 1.02 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10100 0 0 0 36844 250 0 0 25 0 1 0 967754616 26423296 4754 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6451 4754 301 301 0 6150 0 vsize: 25804 [startup+380.95 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10278 0 0 0 37838 256 0 0 25 0 1 0 967754616 26558464 4818 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6484 4818 301 301 0 6183 0 vsize: 25936 [startup+390.95 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10382 0 0 0 38834 260 0 0 25 0 1 0 967754616 26558464 4865 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6484 4865 301 301 0 6183 0 vsize: 25936 [startup+400.95 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10522 0 0 0 39830 264 0 0 25 0 1 0 967754616 26693632 4891 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6517 4891 301 301 0 6216 0 vsize: 26068 [startup+410.95 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10596 0 0 0 40826 269 0 0 25 0 1 0 967754616 26693632 4908 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6517 4908 301 301 0 6216 0 vsize: 26068 [startup+420.949 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10689 0 0 0 41821 274 0 0 25 0 1 0 967754616 26828800 4944 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6550 4944 301 301 0 6249 0 vsize: 26200 [startup+430.95 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10775 0 0 0 42818 278 0 0 25 0 1 0 967754616 26828800 4973 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6550 4973 301 301 0 6249 0 vsize: 26200 [startup+440.949 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10910 0 0 0 43813 283 0 0 25 0 1 0 967754616 26828800 4994 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6550 4994 301 301 0 6249 0 vsize: 26200 [startup+450.949 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10985 0 0 0 44809 287 0 0 25 0 1 0 967754616 26963968 5012 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6583 5012 301 301 0 6282 0 vsize: 26332 [startup+460.948 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11144 0 0 0 45805 291 0 0 25 0 1 0 967754616 26963968 5057 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6583 5057 301 301 0 6282 0 vsize: 26332 [startup+470.949 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11218 0 0 0 46799 298 0 0 25 0 1 0 967754616 27099136 5074 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6616 5074 301 301 0 6315 0 vsize: 26464 [startup+480.948 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11300 0 0 0 47794 303 0 0 25 0 1 0 967754616 27099136 5099 4294967295 134512640 135730672 3221224576 3221223140 134740160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6616 5099 301 301 0 6315 0 vsize: 26464 [startup+490.948 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14054 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11379 0 0 0 48790 308 0 0 25 0 1 0 967754616 27234304 5121 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6649 5121 301 301 0 6348 0 vsize: 26596 [startup+500.948 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11543 0 0 0 49786 311 0 0 25 0 1 0 967754616 27234304 5171 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6649 5171 301 301 0 6348 0 vsize: 26596 [startup+510.947 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11615 0 0 0 50782 316 0 0 25 0 1 0 967754616 27234304 5186 4294967295 134512640 135730672 3221224576 3221223072 134747711 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6649 5186 301 301 0 6348 0 vsize: 26596 [startup+520.946 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11693 0 0 0 51778 321 0 0 25 0 1 0 967754616 27369472 5207 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6682 5207 301 301 0 6381 0 vsize: 26728 [startup+530.946 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11806 0 0 0 52773 325 0 0 25 0 1 0 967754616 27369472 5263 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6682 5263 301 301 0 6381 0 vsize: 26728 [startup+540.945 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11967 0 0 0 53770 328 0 0 25 0 1 0 967754616 27508736 5310 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6716 5310 301 301 0 6415 0 vsize: 26864 [startup+550.944 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12043 0 0 0 54767 332 0 0 25 0 1 0 967754616 27508736 5329 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6716 5329 301 301 0 6415 0 vsize: 26864 [startup+560.944 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12118 0 0 0 55762 337 0 0 25 0 1 0 967754616 27508736 5347 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6716 5347 301 301 0 6415 0 vsize: 26864 [startup+570.944 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12216 0 0 0 56758 341 0 0 25 0 1 0 967754616 27648000 5388 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6750 5388 301 301 0 6449 0 vsize: 27000 [startup+580.943 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12385 0 0 0 57754 346 0 0 25 0 1 0 967754616 27648000 5443 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6750 5443 301 301 0 6449 0 vsize: 27000 [startup+590.943 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12453 0 0 0 58749 351 0 0 25 0 1 0 967754616 27783168 5454 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6783 5454 301 301 0 6482 0 vsize: 27132 [startup+600.942 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12530 0 0 0 59746 354 0 0 25 0 1 0 967754616 27783168 5474 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6783 5474 301 301 0 6482 0 vsize: 27132 [startup+610.942 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12603 0 0 0 60743 358 0 0 25 0 1 0 967754616 27783168 5490 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6783 5490 301 301 0 6482 0 vsize: 27132 [startup+620.942 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12747 0 0 0 61739 362 0 0 25 0 1 0 967754616 27922432 5520 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6817 5520 301 301 0 6516 0 vsize: 27268 [startup+630.942 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12830 0 0 0 62734 367 0 0 25 0 1 0 967754616 27922432 5546 4294967295 134512640 135730672 3221224576 3221223072 134747486 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6817 5546 301 301 0 6516 0 vsize: 27268 [startup+640.942 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12968 0 0 0 63731 370 0 0 25 0 1 0 967754616 28057600 5570 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6850 5570 301 301 0 6549 0 vsize: 27400 [startup+650.941 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13096 0 0 0 64727 375 0 0 25 0 1 0 967754616 28057600 5641 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6850 5641 301 301 0 6549 0 vsize: 27400 [startup+660.941 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13201 0 0 0 65723 379 0 0 25 0 1 0 967754616 28192768 5689 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6883 5689 301 301 0 6582 0 vsize: 27532 [startup+670.94 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13344 0 0 0 66718 384 0 0 25 0 1 0 967754616 28332032 5718 4294967295 134512640 135730672 3221224576 3221223120 134740321 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6917 5718 301 301 0 6616 0 vsize: 27668 [startup+680.941 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13464 0 0 0 67715 388 0 0 25 0 1 0 967754616 28471296 5781 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6951 5781 301 301 0 6650 0 vsize: 27804 [startup+690.94 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13579 0 0 0 68710 393 0 0 25 0 1 0 967754616 28471296 5839 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6951 5839 301 301 0 6650 0 vsize: 27804 [startup+700.939 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13722 0 0 0 69706 397 0 0 25 0 1 0 967754616 28471296 5868 4294967295 134512640 135730672 3221224576 3221223184 134744754 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6951 5868 301 301 0 6650 0 vsize: 27804 [startup+710.94 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13797 0 0 0 70703 401 0 0 25 0 1 0 967754616 28606464 5886 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6984 5886 301 301 0 6683 0 vsize: 27936 [startup+720.94 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13882 0 0 0 71699 405 0 0 25 0 1 0 967754616 28606464 5914 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6984 5914 301 301 0 6683 0 vsize: 27936 [startup+730.939 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13954 0 0 0 72694 410 0 0 25 0 1 0 967754616 28741632 5929 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7017 5929 301 301 0 6716 0 vsize: 28068 [startup+740.938 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14039 0 0 0 73691 414 0 0 25 0 1 0 967754616 28741632 5957 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7017 5957 301 301 0 6716 0 vsize: 28068 [startup+750.938 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14167 0 0 0 74687 417 0 0 25 0 1 0 967754616 28876800 5971 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7050 5971 301 301 0 6749 0 vsize: 28200 [startup+760.937 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14247 0 0 0 75683 422 0 0 25 0 1 0 967754616 28876800 5994 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7050 5994 301 301 0 6749 0 vsize: 28200 [startup+770.937 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14363 0 0 0 76680 426 0 0 25 0 1 0 967754616 28876800 6053 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7050 6053 301 301 0 6749 0 vsize: 28200 [startup+780.938 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14505 0 0 0 77676 429 0 0 25 0 1 0 967754616 29011968 6081 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7083 6081 301 301 0 6782 0 vsize: 28332 [startup+790.937 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14593 0 0 0 78672 434 0 0 25 0 1 0 967754616 29147136 6112 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7116 6112 301 301 0 6815 0 vsize: 28464 [startup+800.936 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14709 0 0 0 79669 437 0 0 25 0 1 0 967754616 29147136 6171 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7116 6171 301 301 0 6815 0 vsize: 28464 [startup+810.936 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14828 0 0 0 80666 440 0 0 25 0 1 0 967754616 29282304 6233 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7149 6233 301 301 0 6848 0 vsize: 28596 [startup+820.936 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14933 0 0 0 81663 444 0 0 25 0 1 0 967754616 29417472 6281 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7182 6281 301 301 0 6881 0 vsize: 28728 [startup+830.936 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15010 0 0 0 82660 447 0 0 25 0 1 0 967754616 29417472 6301 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7182 6301 301 301 0 6881 0 vsize: 28728 [startup+840.935 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15088 0 0 0 83657 450 0 0 25 0 1 0 967754616 29552640 6322 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7215 6322 301 301 0 6914 0 vsize: 28860 [startup+850.936 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15179 0 0 0 84653 455 0 0 25 0 1 0 967754616 29552640 6356 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7215 6356 301 301 0 6914 0 vsize: 28860 [startup+860.935 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15293 0 0 0 85650 458 0 0 25 0 1 0 967754616 29687808 6413 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7248 6413 301 301 0 6947 0 vsize: 28992 [startup+870.935 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15378 0 0 0 86647 462 0 0 25 0 1 0 967754616 29687808 6441 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7248 6441 301 301 0 6947 0 vsize: 28992 [startup+880.934 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15390 0 0 0 87644 465 0 0 25 0 1 0 967754616 29687808 6453 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7248 6453 301 301 0 6947 0 vsize: 28992 [startup+890.935 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15461 0 0 0 88642 467 0 0 25 0 1 0 967754616 29687808 6467 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7248 6467 301 301 0 6947 0 vsize: 28992 [startup+900.934 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15540 0 0 0 89637 472 0 0 25 0 1 0 967754616 29827072 6489 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7282 6489 301 301 0 6981 0 vsize: 29128 [startup+910.933 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15610 0 0 0 90634 476 0 0 25 0 1 0 967754616 29827072 6502 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7282 6502 301 301 0 6981 0 vsize: 29128 [startup+920.934 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15681 0 0 0 91630 480 0 0 25 0 1 0 967754616 29962240 6516 4294967295 134512640 135730672 3221224576 3221223072 134747777 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7315 6516 301 301 0 7014 0 vsize: 29260 [startup+930.934 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15754 0 0 0 92627 483 0 0 25 0 1 0 967754616 29962240 6532 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7315 6532 301 301 0 7014 0 vsize: 29260 [startup+940.933 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15826 0 0 0 93623 487 0 0 25 0 1 0 967754616 29962240 6547 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7315 6547 301 301 0 7014 0 vsize: 29260 [startup+950.933 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15894 0 0 0 94621 490 0 0 25 0 1 0 967754616 30101504 6558 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7349 6558 301 301 0 7048 0 vsize: 29396 [startup+960.932 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15983 0 0 0 95617 494 0 0 25 0 1 0 967754616 30101504 6590 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7349 6590 301 301 0 7048 0 vsize: 29396 [startup+970.931 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16062 0 0 0 96614 497 0 0 25 0 1 0 967754616 30101504 6612 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7349 6612 301 301 0 7048 0 vsize: 29396 [startup+980.931 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16135 0 0 0 97610 501 0 0 25 0 1 0 967754616 30101504 6628 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7349 6628 301 301 0 7048 0 vsize: 29396 [startup+990.931 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16206 0 0 0 98608 504 0 0 25 0 1 0 967754616 30236672 6642 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7382 6642 301 301 0 7081 0 vsize: 29528 [startup+1000.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16307 0 0 0 99603 509 0 0 25 0 1 0 967754616 30236672 6686 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7382 6686 301 301 0 7081 0 vsize: 29528 [startup+1010.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16430 0 0 0 100600 512 0 0 25 0 1 0 967754616 30375936 6752 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7416 6752 301 301 0 7115 0 vsize: 29664 [startup+1020.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16503 0 0 0 101597 516 0 0 25 0 1 0 967754616 30375936 6768 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7416 6768 301 301 0 7115 0 vsize: 29664 [startup+1030.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16569 0 0 0 102595 518 0 0 25 0 1 0 967754616 30375936 6777 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7416 6777 301 301 0 7115 0 vsize: 29664 [startup+1040.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16637 0 0 0 103593 521 0 0 25 0 1 0 967754616 30511104 6788 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7449 6788 301 301 0 7148 0 vsize: 29796 [startup+1050.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16705 0 0 0 104588 526 0 0 25 0 1 0 967754616 30511104 6799 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7449 6799 301 301 0 7148 0 vsize: 29796 [startup+1060.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16774 0 0 0 105586 528 0 0 25 0 1 0 967754616 30511104 6811 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7449 6811 301 301 0 7148 0 vsize: 29796 [startup+1070.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16851 0 0 0 106582 533 0 0 25 0 1 0 967754616 30511104 6831 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7449 6831 301 301 0 7148 0 vsize: 29796 [startup+1080.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16869 0 0 0 107579 535 0 0 25 0 1 0 967754616 30650368 6849 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7483 6849 301 301 0 7182 0 vsize: 29932 [startup+1090.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16942 0 0 0 108576 539 0 0 25 0 1 0 967754616 30650368 6865 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7483 6865 301 301 0 7182 0 vsize: 29932 [startup+1100.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17026 0 0 0 109572 543 0 0 25 0 1 0 967754616 30650368 6892 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7483 6892 301 301 0 7182 0 vsize: 29932 [startup+1110.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17129 0 0 0 110569 547 0 0 25 0 1 0 967754616 30789632 6938 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7517 6938 301 301 0 7216 0 vsize: 30068 [startup+1120.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17215 0 0 0 111566 550 0 0 25 0 1 0 967754616 30789632 6967 4294967295 134512640 135730672 3221224576 3221223280 134764636 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7517 6967 301 301 0 7216 0 vsize: 30068 [startup+1130.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17286 0 0 0 112562 554 0 0 25 0 1 0 967754616 30789632 6981 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7517 6981 301 301 0 7216 0 vsize: 30068 [startup+1140.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17354 0 0 0 113559 558 0 0 25 0 1 0 967754616 30789632 6992 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7517 6992 301 301 0 7216 0 vsize: 30068 [startup+1150.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17421 0 0 0 114556 561 0 0 25 0 1 0 967754616 30924800 7002 4294967295 134512640 135730672 3221224576 3221223072 134747862 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7550 7002 301 301 0 7249 0 vsize: 30200 [startup+1160.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17522 0 0 0 115554 564 0 0 25 0 1 0 967754616 30924800 7046 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7550 7046 301 301 0 7249 0 vsize: 30200 [startup+1170.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17609 0 0 0 116551 567 0 0 25 0 1 0 967754616 30924800 7076 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7550 7076 301 301 0 7249 0 vsize: 30200 [startup+1180.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17676 0 0 0 117547 571 0 0 25 0 1 0 967754616 31059968 7086 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7583 7086 301 301 0 7282 0 vsize: 30332 [startup+1190.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17682 0 0 0 118546 573 0 0 25 0 1 0 967754616 31059968 7092 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7583 7092 301 301 0 7282 0 vsize: 30332 [startup+1200.93 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14056 Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17812 0 0 0 119543 576 0 0 25 0 1 0 967754616 31059968 7108 4294967295 134512640 135730672 3221224576 3221223072 134747865 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7583 7108 301 301 0 7282 0 vsize: 30332 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.07 s] Raw data (loadavg): 1.00 1.00 0.94 1/54 14056 Raw data (stat): 13999 (pb2sat-v2) Z 13998 25568 25567 0 -1 12 17814 0 0 0 119555 578 0 0 25 0 1 0 967754616 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1201.07 CPU time (s): 1201.33 CPU user time (s): 1195.55 CPU system time (s): 5.78112 CPU usage (%): 100.022 Max. virtual memory (Kb): 30332 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####