Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb |
MD5SUM | 8d2dfe2bd5f05783f4ac50ee4efdfe60 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10203871 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 8060 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1599918681646 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1599918681646 |
Number of bits of the biggest sum of numbers | 41 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1224.74 |
Number of variables | 8060 |
Total number of constraints | 296 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 296 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 780 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-16 11:30:01 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25797 boxname=wulflinc6 idbench=1097 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 8d2dfe2bd5f05783f4ac50ee4efdfe60 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-ran10x26.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-ran10x26.opb IDLAUNCH: 25797 /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: 642328 kB Buffers: 33848 kB Cached: 335860 kB SwapCached: 1028 kB Active: 40924 kB Inactive: 331008 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 642076 kB SwapTotal: 2097136 kB SwapFree: 2095200 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5092 kB Slab: 14692 kB Committed_AS: 63848 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 11:50:04 (client local time) WITH STATUS 0 IN 1201.16 SECONDS stats: 25797 7 1201.16 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 27638/311689 Time: 46.084/86400 c Decision: 27638/311689 Time: 54.5227/86400 c Decision: 27645/311689 Time: 69.8684/86400 c Decision: 27645/311689 Time: 75.3805/86400 c Decision: 27645/311689 Time: 80.6077/86400 c Decision: 27645/311689 Time: 89.0585/86400 c Decision: 27645/311689 Time: 96.3893/86400 c Decision: 27645/311689 Time: 104.448/86400 c Decision: 27645/311689 Time: 111.877/86400 c Decision: 27645/311689 Time: 119.888/86400 c Decision: 27645/311689 Time: 128.934/86400 c Decision: 27645/311689 Time: 136.439/86400 c Decision: 27645/311689 Time: 145.959/86400 c Decision: 27645/311689 Time: 155.181/86400 c Decision: 27645/311689 Time: 163.22/86400 c Decision: 27645/311689 Time: 173.379/86400 c Decision: 27645/311689 Time: 179.77/86400 c Decision: 27645/311689 Time: 187.293/86400 c Decision: 27645/311689 Time: 194.848/86400 c Decision: 27645/311689 Time: 202.26/86400 c Decision: 27645/311689 Time: 211.254/86400 c Decision: 27645/311689 Time: 218.424/86400 c Decision: 27645/311689 Time: 224.871/86400 c Decision: 27645/311689 Time: 232.228/86400 c Decision: 27645/311689 Time: 239.336/86400 c Decision: 27645/311689 Time: 248.146/86400 c Decision: 27645/311689 Time: 255.762/86400 c Decision: 27645/311689 Time: 263.297/86400 c Decision: 27645/311689 Time: 271.507/86400 c Decision: 27645/311689 Time: 279.757/86400 c Decision: 27645/311689 Time: 287.261/86400 c Decision: 27645/311689 Time: 295.571/86400 c Decision: 27645/311689 Time: 303.742/86400 c Decision: 27645/311689 Time: 310.108/86400 c Decision: 27645/311689 Time: 317.838/86400 c Decision: 27645/311689 Time: 326.906/86400 c Decision: 27645/311689 Time: 335.496/86400 c Decision: 27645/311689 Time: 343.516/86400 c Decision: 27645/311689 Time: 351.358/86400 c Decision: 27645/311689 Time: 359.447/86400 c Decision: 27645/311689 Time: 368.789/86400 c Decision: 27645/311689 Time: 377.193/86400 c Decision: 27645/311689 Time: 385.689/86400 c Decision: 27645/311689 Time: 393.793/86400 c Decision: 27645/311689 Time: 402.148/86400 c Decision: 27645/311689 Time: 411.18/86400 c Decision: 27645/311689 Time: 419.211/86400 c Decision: 27645/311689 Time: 426.335/86400 c Decision: 27645/311689 Time: 433.788/86400 c Decision: 27645/311689 Time: 442.087/86400 c Decision: 27645/311689 Time: 451.444/86400 c Decision: 27645/311689 Time: 458.402/86400 c Decision: 27645/311689 Time: 466.58/86400 c Decision: 27645/311689 Time: 474.8/86400 c Decision: 27645/311689 Time: 483.25/86400 c Decision: 27645/311689 Time: 492.886/86400 c Decision: 27645/311689 Time: 500.687/86400 c Decision: 27645/311689 Time: 508.602/86400 c Decision: 27645/311689 Time: 516.988/86400 c Decision: 27645/311689 Time: 525.078/86400 c Decision: 27645/311689 Time: 534.942/86400 c Decision: 27645/311689 Time: 543.576/86400 c Decision: 27645/311689 Time: 552.505/86400 c Decision: 27645/311689 Time: 561.109/86400 c Decision: 27645/311689 Time: 569.59/86400 c Decision: 27645/311689 Time: 579.27/86400 c Decision: 27645/311689 Time: 587.393/86400 c Decision: 27645/311689 Time: 594.961/86400 c Decision: 27645/311689 Time: 603.233/86400 c Decision: 27645/311689 Time: 611.485/86400 c Decision: 27645/311689 Time: 621.348/86400 c Decision: 27645/311689 Time: 630.311/86400 c Decision: 27645/311689 Time: 637.961/86400 c Decision: 27645/311689 Time: 646.465/86400 c Decision: 27645/311689 Time: 654.287/86400 c Decision: 27645/311689 Time: 664.002/86400 c Decision: 27645/311689 Time: 671.803/86400 c Decision: 27645/311689 Time: 680.588/86400 c Decision: 27645/311689 Time: 687.115/86400 c Decision: 27645/311689 Time: 695.536/86400 c Decision: 27645/311689 Time: 704.579/86400 c Decision: 27645/311689 Time: 713.266/86400 c Decision: 27645/311689 Time: 721.274/86400 c Decision: 27645/311689 Time: 729.741/86400 c Decision: 27645/311689 Time: 738.547/86400 c Decision: 27645/311689 Time: 748.356/86400 c Decision: 27645/311689 Time: 757.515/86400 c Decision: 27645/311689 Time: 765.216/86400 c Decision: 27645/311689 Time: 773.628/86400 c Decision: 27645/311689 Time: 782.029/86400 c Decision: 27645/311689 Time: 791.931/86400 c Decision: 27645/311689 Time: 800.836/86400 c Decision: 27645/311689 Time: 810.115/86400 c Decision: 27645/311689 Time: 818.521/86400 c Decision: 27645/311689 Time: 824.07/86400 c Decision: 27645/311689 Time: 833.053/86400 c Decision: 27645/311689 Time: 841.228/86400 c Decision: 27645/311689 Time: 849.723/86400 c Decision: 27645/311689 Time: 857.723/86400 c Decision: 27645/311689 Time: 863.565/86400 c Decision: 27645/311689 Time: 872.377/86400 c Decision: 27645/311689 Time: 880.2/86400 c Decision: 27645/311689 Time: 888.813/86400 c Decision: 27645/311689 Time: 897.231/86400 c Decision: 27645/311689 Time: 905.517/86400 c Decision: 27645/311689 Time: 915.832/86400 c Decision: 27645/311689 Time: 923.366/86400 c Decision: 27645/311689 Time: 931.728/86400 c Decision: 27645/311689 Time: 939.816/86400 c Decision: 27645/311689 Time: 947.634/86400 c Decision: 27645/311689 Time: 955.612/86400 c Decision: 27645/311689 Time: 962.917/86400 c Decision: 27645/311689 Time: 971.475/86400 c Decision: 27645/311689 Time: 979.726/86400 c Decision: 27645/311689 Time: 988.597/86400 c Decision: 27645/311689 Time: 999.042/86400 c Decision: 27645/311689 Time: 1008.65/86400 c Decision: 27645/311689 Time: 1017.77/86400 c Decision: 27645/311689 Time: 1026.38/86400 c Decision: 27645/311689 Time: 1035.14/86400 c Decision: 27645/311689 Time: 1044.18/86400 c Decision: 27645/311689 Time: 1053.88/86400 c Decision: 27645/311689 Time: 1062.21/86400 c Decision: 27645/311689 Time: 1070.24/86400 c Decision: 27645/311689 Time: 1077.66/86400 c Decision: 27645/311689 Time: 1086.84/86400 c Decision: 27645/311689 Time: 1095.73/86400 c Decision: 27645/311689 Time: 1104.53/86400 c Decision: 27645/311689 Time: 1113.79/86400 c Decision: 27645/311689 Time: 1123.25/86400 c Decision: 27645/311689 Time: 1134.89/86400 c Decision: 27645/311689 Time: 1144.17/86400 c Decision: 27645/311689 Time: 1153.37/86400 c Decision: 27645/311689 Time: 1164.17/86400 c Decision: 27645/311689 Time: 1173.19/86400 c Decision: 27645/311689 Time: 1182.63/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.92 0.95 0.90 2/54 19379 Raw data (stat): 19379 (runsolver) R 19378 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970413135 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.0007 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 25247 0 0 0 943 56 0 0 25 0 1 0 970413135 77807616 14360 4294967295 134512640 135730672 3221224576 3220917376 134770727 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18996 14360 301 301 0 18695 0 vsize: 75984 [startup+20.0013 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 46060 0 0 0 1896 103 0 0 25 0 1 0 970413135 135262208 23700 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 33023 23700 301 301 0 32722 0 vsize: 132092 [startup+30.0023 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 46489 0 0 0 2894 105 0 0 25 0 1 0 970413135 136953856 24129 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 33436 24129 301 301 0 33135 0 vsize: 133744 [startup+40.002 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 46905 0 0 0 3891 108 0 0 25 0 1 0 970413135 138723328 24545 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 33868 24545 301 301 0 33567 0 vsize: 135472 [startup+50.0027 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 47278 0 0 0 4889 111 0 0 25 0 1 0 970413135 140632064 24918 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 34334 24918 301 301 0 34033 0 vsize: 137336 [startup+60.0028 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 47498 0 0 0 5886 114 0 0 25 0 1 0 970413135 141418496 25138 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 34526 25138 301 301 0 34225 0 vsize: 138104 [startup+70.0035 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 49133 0 0 0 6880 120 0 0 25 0 1 0 970413135 145723392 26164 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35577 26164 301 301 0 35276 0 vsize: 142308 [startup+80.0042 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 49278 0 0 0 7878 123 0 0 25 0 1 0 970413135 143867904 25700 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35124 25700 301 301 0 34823 0 vsize: 140496 [startup+90.0041 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 49949 0 0 0 8874 127 0 0 25 0 1 0 970413135 144179200 25762 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35200 25762 301 301 0 34899 0 vsize: 140800 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 51227 0 0 0 9869 132 0 0 25 0 1 0 970413135 144343040 25822 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35240 25822 301 301 0 34939 0 vsize: 140960 [startup+110.005 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 51380 0 0 0 10867 134 0 0 25 0 1 0 970413135 145002496 25975 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35401 25975 301 301 0 35100 0 vsize: 141604 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 52617 0 0 0 11862 140 0 0 25 0 1 0 970413135 147660800 26603 4294967295 134512640 135730672 3221224576 3221222744 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36050 26603 301 301 0 35749 0 vsize: 144200 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 53264 0 0 0 12856 145 0 0 25 0 1 0 970413135 162107392 26032 4294967295 134512640 135730672 3221224576 3221223220 134748064 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39577 26032 301 301 0 39276 0 vsize: 158308 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 53905 0 0 0 13853 149 0 0 25 0 1 0 970413135 162107392 26064 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39577 26064 301 301 0 39276 0 vsize: 158308 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 54527 0 0 0 14849 153 0 0 25 0 1 0 970413135 162107392 26077 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39577 26077 301 301 0 39276 0 vsize: 158308 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 55181 0 0 0 15845 157 0 0 25 0 1 0 970413135 162304000 26122 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39625 26122 301 301 0 39324 0 vsize: 158500 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 55842 0 0 0 16842 160 0 0 25 0 1 0 970413135 162631680 26174 4294967295 134512640 135730672 3221224576 3221223088 134746060 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39705 26174 301 301 0 39404 0 vsize: 158820 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 57080 0 0 0 17837 166 0 0 25 0 1 0 970413135 162631680 26194 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39705 26194 301 301 0 39404 0 vsize: 158820 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 57705 0 0 0 18834 169 0 0 25 0 1 0 970413135 162631680 26210 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39705 26210 301 301 0 39404 0 vsize: 158820 [startup+200.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 58347 0 0 0 19830 173 0 0 25 0 1 0 970413135 162631680 26243 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39705 26243 301 301 0 39404 0 vsize: 158820 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 58972 0 0 0 20826 177 0 0 25 0 1 0 970413135 162631680 26259 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39705 26259 301 301 0 39404 0 vsize: 158820 [startup+220.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 59610 0 0 0 21821 183 0 0 25 0 1 0 970413135 162779136 26288 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39741 26288 301 301 0 39440 0 vsize: 158964 [startup+230.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 60238 0 0 0 22817 187 0 0 25 0 1 0 970413135 162779136 26307 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39741 26307 301 301 0 39440 0 vsize: 158964 [startup+240.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 60867 0 0 0 23813 192 0 0 25 0 1 0 970413135 162910208 26327 4294967295 134512640 135730672 3221224576 3221222824 135285986 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39773 26327 301 301 0 39472 0 vsize: 159092 [startup+250.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 61510 0 0 0 24807 197 0 0 25 0 1 0 970413135 162910208 26361 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39773 26361 301 301 0 39472 0 vsize: 159092 [startup+260.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 62152 0 0 0 25803 202 0 0 25 0 1 0 970413135 163057664 26394 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39809 26394 301 301 0 39508 0 vsize: 159236 [startup+270.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 62788 0 0 0 26797 208 0 0 25 0 1 0 970413135 163057664 26421 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39809 26421 301 301 0 39508 0 vsize: 159236 [startup+280.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 64037 0 0 0 27790 215 0 0 25 0 1 0 970413135 163201024 26452 4294967295 134512640 135730672 3221224576 3221223072 134747483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39844 26452 301 301 0 39543 0 vsize: 159376 [startup+290.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 64679 0 0 0 28786 219 0 0 25 0 1 0 970413135 163201024 26485 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39844 26485 301 301 0 39543 0 vsize: 159376 [startup+300.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 65318 0 0 0 29782 224 0 0 25 0 1 0 970413135 163201024 26515 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39844 26515 301 301 0 39543 0 vsize: 159376 [startup+310.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 65945 0 0 0 30777 229 0 0 25 0 1 0 970413135 163332096 26533 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39876 26533 301 301 0 39575 0 vsize: 159504 [startup+320.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 67192 0 0 0 31771 235 0 0 25 0 1 0 970413135 163332096 26562 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39876 26562 301 301 0 39575 0 vsize: 159504 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 67836 0 0 0 32767 239 0 0 25 0 1 0 970413135 163471360 26597 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39910 26597 301 301 0 39609 0 vsize: 159640 [startup+340.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 68469 0 0 0 33763 244 0 0 25 0 1 0 970413135 163471360 26621 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39910 26621 301 301 0 39609 0 vsize: 159640 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 69095 0 0 0 34760 247 0 0 25 0 1 0 970413135 163471360 26638 4294967295 134512640 135730672 3221224576 3221223088 134746512 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39910 26638 301 301 0 39609 0 vsize: 159640 [startup+360.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 70345 0 0 0 35755 252 0 0 25 0 1 0 970413135 163606528 26670 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39943 26670 301 301 0 39642 0 vsize: 159772 [startup+370.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 71006 0 0 0 36751 256 0 0 25 0 1 0 970413135 163741696 26722 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39976 26722 301 301 0 39675 0 vsize: 159904 [startup+380.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 71635 0 0 0 37746 261 0 0 25 0 1 0 970413135 163741696 26742 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39976 26742 301 301 0 39675 0 vsize: 159904 [startup+390.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 72266 0 0 0 38741 267 0 0 25 0 1 0 970413135 163741696 26764 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39976 26764 301 301 0 39675 0 vsize: 159904 [startup+400.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 72917 0 0 0 39737 271 0 0 25 0 1 0 970413135 163876864 26806 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40009 26806 301 301 0 39708 0 vsize: 160036 [startup+410.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 74173 0 0 0 40732 277 0 0 25 0 1 0 970413135 164012032 26844 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40042 26844 301 301 0 39741 0 vsize: 160168 [startup+420.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 74821 0 0 0 41727 282 0 0 25 0 1 0 970413135 164159488 26883 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40078 26883 301 301 0 39777 0 vsize: 160312 [startup+430.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 75452 0 0 0 42723 286 0 0 25 0 1 0 970413135 164159488 26905 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40078 26905 301 301 0 39777 0 vsize: 160312 [startup+440.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 76083 0 0 0 43719 291 0 0 25 0 1 0 970413135 164159488 26927 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40078 26927 301 301 0 39777 0 vsize: 160312 [startup+450.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 76729 0 0 0 44715 296 0 0 25 0 1 0 970413135 164290560 26964 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40110 26964 301 301 0 39809 0 vsize: 160440 [startup+460.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 77358 0 0 0 45711 299 0 0 25 0 1 0 970413135 164290560 26984 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40110 26984 301 301 0 39809 0 vsize: 160440 [startup+470.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 77990 0 0 0 46708 303 0 0 25 0 1 0 970413135 164421632 27007 4294967295 134512640 135730672 3221224576 3221223072 134747893 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40142 27007 301 301 0 39841 0 vsize: 160568 [startup+480.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 78624 0 0 0 47704 307 0 0 25 0 1 0 970413135 164421632 27032 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40142 27032 301 301 0 39841 0 vsize: 160568 [startup+490.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 79861 0 0 0 48700 312 0 0 25 0 1 0 970413135 166916096 27660 4294967295 134512640 135730672 3221224576 3221222724 134768817 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40751 27660 301 301 0 40450 0 vsize: 163004 [startup+500.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 80490 0 0 0 49696 317 0 0 25 0 1 0 970413135 164560896 27071 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40176 27071 301 301 0 39875 0 vsize: 160704 [startup+510.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 81122 0 0 0 50692 320 0 0 25 0 1 0 970413135 164560896 27094 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40176 27094 301 301 0 39875 0 vsize: 160704 [startup+520.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 81751 0 0 0 51688 325 0 0 25 0 1 0 970413135 164560896 27114 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40176 27114 301 301 0 39875 0 vsize: 160704 [startup+530.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 82383 0 0 0 52684 329 0 0 25 0 1 0 970413135 164560896 27137 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40176 27137 301 301 0 39875 0 vsize: 160704 [startup+540.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 83622 0 0 0 53678 336 0 0 25 0 1 0 970413135 167186432 27767 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40817 27767 301 301 0 40516 0 vsize: 163268 [startup+550.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 84248 0 0 0 54675 339 0 0 25 0 1 0 970413135 164691968 27175 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40208 27175 301 301 0 39907 0 vsize: 160832 [startup+560.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 84867 0 0 0 55672 342 0 0 25 0 1 0 970413135 164691968 27185 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40208 27185 301 301 0 39907 0 vsize: 160832 [startup+570.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 85495 0 0 0 56666 348 0 0 25 0 1 0 970413135 164691968 27204 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40208 27204 301 301 0 39907 0 vsize: 160832 [startup+580.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 86125 0 0 0 57663 353 0 0 25 0 1 0 970413135 164691968 27225 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40208 27225 301 301 0 39907 0 vsize: 160832 [startup+590.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 86760 0 0 0 58659 356 0 0 25 0 1 0 970413135 164823040 27251 4294967295 134512640 135730672 3221224576 3221223200 134748143 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40240 27251 301 301 0 39939 0 vsize: 160960 [startup+600.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 87389 0 0 0 59656 360 0 0 25 0 1 0 970413135 164823040 27271 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40240 27271 301 301 0 39939 0 vsize: 160960 [startup+610.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 88629 0 0 0 60651 365 0 0 25 0 1 0 970413135 167317504 27902 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40849 27902 301 301 0 40548 0 vsize: 163396 [startup+620.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 89262 0 0 0 61647 369 0 0 25 0 1 0 970413135 164954112 27317 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40272 27317 301 301 0 39971 0 vsize: 161088 [startup+630.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 89894 0 0 0 62643 374 0 0 25 0 1 0 970413135 164954112 27340 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40272 27340 301 301 0 39971 0 vsize: 161088 [startup+640.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 90522 0 0 0 63639 378 0 0 25 0 1 0 970413135 164954112 27359 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40272 27359 301 301 0 39971 0 vsize: 161088 [startup+650.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 91153 0 0 0 64636 382 0 0 25 0 1 0 970413135 165085184 27381 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40304 27381 301 301 0 40003 0 vsize: 161216 [startup+660.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 91783 0 0 0 65632 386 0 0 25 0 1 0 970413135 165085184 27402 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40304 27402 301 301 0 40003 0 vsize: 161216 [startup+670.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 93026 0 0 0 66627 391 0 0 25 0 1 0 970413135 165085184 27427 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40304 27427 301 301 0 40003 0 vsize: 161216 [startup+680.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 93653 0 0 0 67623 395 0 0 25 0 1 0 970413135 165085184 27445 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40304 27445 301 301 0 40003 0 vsize: 161216 [startup+690.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 94285 0 0 0 68620 399 0 0 25 0 1 0 970413135 165220352 27468 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40337 27468 301 301 0 40036 0 vsize: 161348 [startup+700.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 94924 0 0 0 69616 403 0 0 25 0 1 0 970413135 165220352 27498 4294967295 134512640 135730672 3221224576 3221222912 134739186 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40337 27498 301 301 0 40036 0 vsize: 161348 [startup+710.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 95572 0 0 0 70613 407 0 0 25 0 1 0 970413135 165376000 27537 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40375 27537 301 301 0 40074 0 vsize: 161500 [startup+720.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 96801 0 0 0 71608 412 0 0 25 0 1 0 970413135 165376000 27548 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40375 27548 301 301 0 40074 0 vsize: 161500 [startup+730.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 97422 0 0 0 72604 417 0 0 25 0 1 0 970413135 165376000 27560 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40375 27560 301 301 0 40074 0 vsize: 161500 [startup+740.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 98060 0 0 0 73599 422 0 0 25 0 1 0 970413135 165515264 27589 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40409 27589 301 301 0 40108 0 vsize: 161636 [startup+750.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 98689 0 0 0 74595 426 0 0 25 0 1 0 970413135 165515264 27609 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40409 27609 301 301 0 40108 0 vsize: 161636 [startup+760.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 99317 0 0 0 75591 430 0 0 25 0 1 0 970413135 165515264 27628 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40409 27628 301 301 0 40108 0 vsize: 161636 [startup+770.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 99941 0 0 0 76587 435 0 0 25 0 1 0 970413135 165515264 27643 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40409 27643 301 301 0 40108 0 vsize: 161636 [startup+780.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 101176 0 0 0 77581 441 0 0 25 0 1 0 970413135 168009728 28269 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41018 28269 301 301 0 40717 0 vsize: 164072 [startup+790.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 101804 0 0 0 78578 444 0 0 25 0 1 0 970413135 165515264 27679 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40409 27679 301 301 0 40108 0 vsize: 161636 [startup+800.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 102436 0 0 0 79575 448 0 0 25 0 1 0 970413135 165646336 27702 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40441 27702 301 301 0 40140 0 vsize: 161764 [startup+810.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 103065 0 0 0 80571 452 0 0 25 0 1 0 970413135 165646336 27722 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40441 27722 301 301 0 40140 0 vsize: 161764 [startup+820.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 103693 0 0 0 81567 457 0 0 25 0 1 0 970413135 165646336 27741 4294967295 134512640 135730672 3221224576 3221223176 134747441 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40441 27741 301 301 0 40140 0 vsize: 161764 [startup+830.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 104325 0 0 0 82562 462 0 0 25 0 1 0 970413135 165793792 27764 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40477 27764 301 301 0 40176 0 vsize: 161908 [startup+840.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 105568 0 0 0 83557 467 0 0 25 0 1 0 970413135 165793792 27789 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40477 27789 301 301 0 40176 0 vsize: 161908 [startup+850.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 106200 0 0 0 84555 470 0 0 25 0 1 0 970413135 165793792 27812 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40477 27812 301 301 0 40176 0 vsize: 161908 [startup+860.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 106826 0 0 0 85550 475 0 0 25 0 1 0 970413135 165793792 27829 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40477 27829 301 301 0 40176 0 vsize: 161908 [startup+870.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 107457 0 0 0 86546 479 0 0 25 0 1 0 970413135 165924864 27851 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40509 27851 301 301 0 40208 0 vsize: 162036 [startup+880.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 108700 0 0 0 87542 483 0 0 25 0 1 0 970413135 165924864 27876 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40509 27876 301 301 0 40208 0 vsize: 162036 [startup+890.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 108719 0 0 0 88540 486 0 0 25 0 1 0 970413135 165924864 27895 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40509 27895 301 301 0 40208 0 vsize: 162036 [startup+900.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 109347 0 0 0 89535 492 0 0 25 0 1 0 970413135 165924864 27914 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40509 27914 301 301 0 40208 0 vsize: 162036 [startup+910.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 109975 0 0 0 90530 496 0 0 25 0 1 0 970413135 166055936 27933 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40541 27933 301 301 0 40240 0 vsize: 162164 [startup+920.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 110618 0 0 0 91527 500 0 0 25 0 1 0 970413135 166055936 27967 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40541 27967 301 301 0 40240 0 vsize: 162164 [startup+930.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 111847 0 0 0 92522 505 0 0 25 0 1 0 970413135 168550400 28587 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41150 28587 301 301 0 40849 0 vsize: 164600 [startup+940.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 112475 0 0 0 93518 509 0 0 25 0 1 0 970413135 166187008 27997 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40573 27997 301 301 0 40272 0 vsize: 162292 [startup+950.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 113107 0 0 0 94514 513 0 0 25 0 1 0 970413135 166187008 28020 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40573 28020 301 301 0 40272 0 vsize: 162292 [startup+960.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 113740 0 0 0 95510 518 0 0 25 0 1 0 970413135 166187008 28044 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40573 28044 301 301 0 40272 0 vsize: 162292 [startup+970.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 114375 0 0 0 96507 522 0 0 25 0 1 0 970413135 166330368 28070 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40608 28070 301 301 0 40307 0 vsize: 162432 [startup+980.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 115003 0 0 0 97503 526 0 0 25 0 1 0 970413135 166330368 28089 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40608 28089 301 301 0 40307 0 vsize: 162432 [startup+990.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 115635 0 0 0 98500 530 0 0 25 0 1 0 970413135 166330368 28112 4294967295 134512640 135730672 3221224576 3221223072 134747932 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40608 28112 301 301 0 40307 0 vsize: 162432 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 116266 0 0 0 99497 533 0 0 25 0 1 0 970413135 166330368 28134 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40608 28134 301 301 0 40307 0 vsize: 162432 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 116896 0 0 0 100493 537 0 0 25 0 1 0 970413135 166461440 28155 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40640 28155 301 301 0 40339 0 vsize: 162560 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 117518 0 0 0 101489 541 0 0 25 0 1 0 970413135 166461440 28168 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40640 28168 301 301 0 40339 0 vsize: 162560 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 118143 0 0 0 102486 545 0 0 25 0 1 0 970413135 166461440 28184 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40640 28184 301 301 0 40339 0 vsize: 162560 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 118771 0 0 0 103481 550 0 0 25 0 1 0 970413135 166461440 28203 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40640 28203 301 301 0 40339 0 vsize: 162560 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 120008 0 0 0 104477 554 0 0 25 0 1 0 970413135 169091072 28831 4294967295 134512640 135730672 3221224576 3221222736 134768821 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41282 28831 301 301 0 40981 0 vsize: 165128 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 120636 0 0 0 105474 558 0 0 25 0 1 0 970413135 166596608 28241 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40673 28241 301 301 0 40372 0 vsize: 162692 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 121263 0 0 0 106471 561 0 0 25 0 1 0 970413135 166596608 28259 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40673 28259 301 301 0 40372 0 vsize: 162692 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 121895 0 0 0 107466 566 0 0 25 0 1 0 970413135 166596608 28282 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40673 28282 301 301 0 40372 0 vsize: 162692 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 122531 0 0 0 108462 570 0 0 25 0 1 0 970413135 166731776 28309 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40706 28309 301 301 0 40405 0 vsize: 162824 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 123161 0 0 0 109459 574 0 0 25 0 1 0 970413135 166731776 28330 4294967295 134512640 135730672 3221224576 3221223088 134746507 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40706 28330 301 301 0 40405 0 vsize: 162824 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 123786 0 0 0 110456 578 0 0 25 0 1 0 970413135 166731776 28346 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40706 28346 301 301 0 40405 0 vsize: 162824 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 125025 0 0 0 111450 584 0 0 25 0 1 0 970413135 166731776 28367 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40706 28367 301 301 0 40405 0 vsize: 162824 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 125654 0 0 0 112446 589 0 0 25 0 1 0 970413135 166862848 28387 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40738 28387 301 301 0 40437 0 vsize: 162952 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 126285 0 0 0 113442 593 0 0 25 0 1 0 970413135 166862848 28409 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40738 28409 301 301 0 40437 0 vsize: 162952 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 126905 0 0 0 114438 597 0 0 25 0 1 0 970413135 166862848 28420 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40738 28420 301 301 0 40437 0 vsize: 162952 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 127535 0 0 0 115434 601 0 0 25 0 1 0 970413135 166862848 28441 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40738 28441 301 301 0 40437 0 vsize: 162952 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 128173 0 0 0 116429 606 0 0 25 0 1 0 970413135 166993920 28470 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40770 28470 301 301 0 40469 0 vsize: 163080 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 128798 0 0 0 117426 610 0 0 25 0 1 0 970413135 166993920 28486 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40770 28486 301 301 0 40469 0 vsize: 163080 [startup+1190.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 129428 0 0 0 118421 615 0 0 25 0 1 0 970413135 166993920 28507 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40770 28507 301 301 0 40469 0 vsize: 163080 [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19379 Raw data (stat): 19379 (pb2sat-v2) R 19378 25568 25567 0 -1 0 130057 0 0 0 119418 619 0 0 25 0 1 0 970413135 167124992 28527 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40802 28527 301 301 0 40501 0 vsize: 163208 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.84 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 19379 Raw data (stat): 19379 (pb2sat-v2) Z 19378 25568 25567 0 -1 12 130059 0 0 0 119491 625 0 0 25 0 1 0 970413135 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1200.84 CPU time (s): 1201.16 CPU user time (s): 1194.91 CPU system time (s): 6.25005 CPU usage (%): 100.027 Max. virtual memory (Kb): 165128 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####