Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran13x13.opb |
MD5SUM | 52c9f5bb9e744e5b269906d75a40a640 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8418073 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 5239 |
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 | 968548072570 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 968548072570 |
Number of bits of the biggest sum of numbers | 40 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1254.31 |
Number of variables | 5239 |
Total number of constraints | 195 |
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 | 195 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 390 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-16 11:32:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25800 boxname=wulflinc5 idbench=1100 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 52c9f5bb9e744e5b269906d75a40a640 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-ran13x13.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-ran13x13.opb IDLAUNCH: 25800 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 734288 kB Buffers: 28968 kB Cached: 248396 kB SwapCached: 688 kB Active: 34860 kB Inactive: 244628 kB HighTotal: 131008 kB HighFree: 8092 kB LowTotal: 903652 kB LowFree: 726196 kB SwapTotal: 2097136 kB SwapFree: 2095520 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5156 kB Slab: 15268 kB Committed_AS: 63716 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 11:52:03 (client local time) WITH STATUS 0 IN 1200.59 SECONDS stats: 25800 7 1200.59 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 18413/147178 Time: 46.7979/86400 c Decision: 18413/147178 Time: 53.2789/86400 c Decision: 18413/147178 Time: 59.9529/86400 c Decision: 18413/147178 Time: 65.819/86400 c Decision: 18413/147178 Time: 71.9411/86400 c Decision: 18413/147178 Time: 78.785/86400 c Decision: 18413/147178 Time: 84.6491/86400 c Decision: 18413/147178 Time: 90.0533/86400 c Decision: 18413/147178 Time: 97.2502/86400 c Decision: 18413/147178 Time: 104.035/86400 c Decision: 18413/147178 Time: 110.383/86400 c Decision: 18413/147178 Time: 116.712/86400 c Decision: 18413/147178 Time: 122.817/86400 c Decision: 18413/147178 Time: 128.945/86400 c Decision: 18413/147178 Time: 134.564/86400 c Decision: 18413/147178 Time: 140.253/86400 c Decision: 18413/147178 Time: 146.192/86400 c Decision: 18413/147178 Time: 153.056/86400 c Decision: 18413/147178 Time: 158.855/86400 c Decision: 18413/147178 Time: 165.36/86400 c Decision: 18413/147178 Time: 171.998/86400 c Decision: 18413/147178 Time: 177.879/86400 c Decision: 18413/147178 Time: 183.658/86400 c Decision: 18413/147178 Time: 190.849/86400 c Decision: 18413/147178 Time: 198.079/86400 c Decision: 18413/147178 Time: 205.851/86400 c Decision: 18413/147178 Time: 213.041/86400 c Decision: 18413/147178 Time: 220.597/86400 c Decision: 18413/147178 Time: 227.581/86400 c Decision: 18413/147178 Time: 234.548/86400 c Decision: 18413/147178 Time: 241.853/86400 c Decision: 18413/147178 Time: 249.669/86400 c Decision: 18413/147178 Time: 257.407/86400 c Decision: 18413/147178 Time: 264.561/86400 c Decision: 18413/147178 Time: 270.193/86400 c Decision: 18413/147178 Time: 277.491/86400 c Decision: 18413/147178 Time: 283.005/86400 c Decision: 18413/147178 Time: 290.795/86400 c Decision: 18413/147178 Time: 297.941/86400 c Decision: 18413/147178 Time: 304.907/86400 c Decision: 18413/147178 Time: 311.676/86400 c Decision: 18413/147178 Time: 317.922/86400 c Decision: 18413/147178 Time: 324.411/86400 c Decision: 18413/147178 Time: 330.888/86400 c Decision: 18413/147178 Time: 337.284/86400 c Decision: 18413/147178 Time: 344.059/86400 c Decision: 18413/147178 Time: 351.019/86400 c Decision: 18413/147178 Time: 358.439/86400 c Decision: 18413/147178 Time: 365.626/86400 c Decision: 18413/147178 Time: 373.224/86400 c Decision: 18413/147178 Time: 380.177/86400 c Decision: 18413/147178 Time: 387.643/86400 c Decision: 18413/147178 Time: 394.859/86400 c Decision: 18413/147178 Time: 401.361/86400 c Decision: 18413/147178 Time: 407.522/86400 c Decision: 18413/147178 Time: 414.644/86400 c Decision: 18413/147178 Time: 420.995/86400 c Decision: 18413/147178 Time: 428.893/86400 c Decision: 18413/147178 Time: 434.777/86400 c Decision: 18413/147178 Time: 441.978/86400 c Decision: 18413/147178 Time: 449.715/86400 c Decision: 18413/147178 Time: 457.014/86400 c Decision: 18413/147178 Time: 463.665/86400 c Decision: 18413/147178 Time: 470.277/86400 c Decision: 18413/147178 Time: 476.812/86400 c Decision: 18413/147178 Time: 484.149/86400 c Decision: 18413/147178 Time: 489.901/86400 c Decision: 18413/147178 Time: 496.835/86400 c Decision: 18413/147178 Time: 502.893/86400 c Decision: 18413/147178 Time: 509.117/86400 c Decision: 18413/147178 Time: 514.843/86400 c Decision: 18413/147178 Time: 521.353/86400 c Decision: 18413/147178 Time: 527.686/86400 c Decision: 18413/147178 Time: 534.323/86400 c Decision: 18413/147178 Time: 540.278/86400 c Decision: 18413/147178 Time: 547.626/86400 c Decision: 18413/147178 Time: 553.675/86400 c Decision: 18413/147178 Time: 558.627/86400 c Decision: 18413/147178 Time: 564.509/86400 c Decision: 18413/147178 Time: 570.783/86400 c Decision: 18413/147178 Time: 578.094/86400 c Decision: 18413/147178 Time: 584.64/86400 c Decision: 18413/147178 Time: 591.177/86400 c Decision: 18413/147178 Time: 598.341/86400 c Decision: 18413/147178 Time: 604.197/86400 c Decision: 18413/147178 Time: 610.855/86400 c Decision: 18413/147178 Time: 617.412/86400 c Decision: 18413/147178 Time: 623.676/86400 c Decision: 18413/147178 Time: 629.898/86400 c Decision: 18413/147178 Time: 635.831/86400 c Decision: 18413/147178 Time: 642.783/86400 c Decision: 18413/147178 Time: 648.992/86400 c Decision: 18413/147178 Time: 656.027/86400 c Decision: 18413/147178 Time: 662.633/86400 c Decision: 18413/147178 Time: 668.775/86400 c Decision: 18413/147178 Time: 675.721/86400 c Decision: 18413/147178 Time: 682.177/86400 c Decision: 18413/147178 Time: 688.403/86400 c Decision: 18413/147178 Time: 694.646/86400 c Decision: 18413/147178 Time: 701.285/86400 c Decision: 18413/147178 Time: 708.043/86400 c Decision: 18413/147178 Time: 714.552/86400 c Decision: 18413/147178 Time: 720.605/86400 c Decision: 18413/147178 Time: 726.978/86400 c Decision: 18413/147178 Time: 733.248/86400 c Decision: 18413/147178 Time: 739.022/86400 c Decision: 18413/147178 Time: 744.992/86400 c Decision: 18413/147178 Time: 752.116/86400 c Decision: 18413/147178 Time: 758.284/86400 c Decision: 18413/147178 Time: 765.407/86400 c Decision: 18413/147178 Time: 772.204/86400 c Decision: 18413/147178 Time: 778.41/86400 c Decision: 18413/147178 Time: 784.974/86400 c Decision: 18413/147178 Time: 791.351/86400 c Decision: 18413/147178 Time: 798.276/86400 c Decision: 18413/147178 Time: 805.838/86400 c Decision: 18413/147178 Time: 811.737/86400 c Decision: 18413/147178 Time: 817.779/86400 c Decision: 18413/147178 Time: 824.449/86400 c Decision: 18413/147178 Time: 831.336/86400 c Decision: 18413/147178 Time: 836.476/86400 c Decision: 18413/147178 Time: 843.067/86400 c Decision: 18413/147178 Time: 849.295/86400 c Decision: 18413/147178 Time: 855.694/86400 c Decision: 18413/147178 Time: 861.848/86400 c Decision: 18413/147178 Time: 868.929/86400 c Decision: 18413/147178 Time: 876.156/86400 c Decision: 18413/147178 Time: 882.371/86400 c Decision: 18413/147178 Time: 888.539/86400 c Decision: 18413/147178 Time: 895.68/86400 c Decision: 18413/147178 Time: 902.682/86400 c Decision: 18413/147178 Time: 908.909/86400 c Decision: 18413/147178 Time: 915.589/86400 c Decision: 18413/147178 Time: 922.19/86400 c Decision: 18413/147178 Time: 928.805/86400 c Decision: 18413/147178 Time: 935.956/86400 c Decision: 18413/147178 Time: 942.879/86400 c Decision: 18413/147178 Time: 949.666/86400 c Decision: 18413/147178 Time: 956.466/86400 c Decision: 18413/147178 Time: 962.666/86400 c Decision: 18413/147178 Time: 969.887/86400 c Decision: 18413/147178 Time: 977.403/86400 c Decision: 18413/147178 Time: 984.796/86400 c Decision: 18413/147178 Time: 991.556/86400 c Decision: 18413/147178 Time: 998.8/86400 c Decision: 18413/147178 Time: 1005.86/86400 c Decision: 18413/147178 Time: 1012.33/86400 c Decision: 18413/147178 Time: 1018.23/86400 c Decision: 18413/147178 Time: 1025.17/86400 c Decision: 18413/147178 Time: 1031.43/86400 c Decision: 18413/147178 Time: 1038.78/86400 c Decision: 18413/147178 Time: 1045.4/86400 c Decision: 18413/147178 Time: 1052.41/86400 c Decision: 18413/147178 Time: 1058.92/86400 c Decision: 18413/147178 Time: 1065.62/86400 c Decision: 18413/147178 Time: 1072.9/86400 c Decision: 18413/147178 Time: 1079.67/86400 c Decision: 18413/147178 Time: 1085.75/86400 c Decision: 18413/147178 Time: 1092.16/86400 c Decision: 18413/147178 Time: 1098.91/86400 c Decision: 18413/147178 Time: 1106.47/86400 c Decision: 18413/147178 Time: 1112.67/86400 c Decision: 18413/147178 Time: 1119.03/86400 c Decision: 18413/147178 Time: 1125.53/86400 c Decision: 18413/147178 Time: 1132.18/86400 c Decision: 18413/147178 Time: 1139.37/86400 c Decision: 18413/147178 Time: 1146.35/86400 c Decision: 18413/147178 Time: 1153.44/86400 c Decision: 18413/147178 Time: 1160.95/86400 c Decision: 18413/147178 Time: 1168.1/86400 c Decision: 18413/147178 Time: 1176/86400 c Decision: 18413/147178 Time: 1183.34/86400 c Decision: 18413/147178 Time: 1190.04/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.85 0.98 0.92 2/54 13369 Raw data (stat): 13369 (runsolver) R 13368 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970426059 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0004 s] Raw data (loadavg): 0.87 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 22495 0 0 0 947 52 0 0 25 0 1 0 970426059 68268032 11337 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16667 11337 301 301 0 16366 0 vsize: 66668 [startup+20.0015 s] Raw data (loadavg): 0.89 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 23074 0 0 0 1944 55 0 0 25 0 1 0 970426059 70791168 11916 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17283 11916 301 301 0 16982 0 vsize: 69132 [startup+30.0023 s] Raw data (loadavg): 0.91 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 23392 0 0 0 2940 59 0 0 25 0 1 0 970426059 72085504 12234 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17599 12234 301 301 0 17298 0 vsize: 70396 [startup+40.0016 s] Raw data (loadavg): 0.92 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 23514 0 0 0 3937 62 0 0 25 0 1 0 970426059 72577024 12356 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17719 12356 301 301 0 17418 0 vsize: 70876 [startup+50.0028 s] Raw data (loadavg): 0.93 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 23615 0 0 0 4933 66 0 0 25 0 1 0 970426059 72888320 12457 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17795 12457 301 301 0 17494 0 vsize: 71180 [startup+60.0036 s] Raw data (loadavg): 0.94 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 24000 0 0 0 5930 69 0 0 25 0 1 0 970426059 73216000 12554 4294967295 134512640 135730672 3221224576 3221223200 134748168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17875 12554 301 301 0 17574 0 vsize: 71500 [startup+70.0039 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 24694 0 0 0 6927 72 0 0 25 0 1 0 970426059 73691136 12672 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17991 12672 301 301 0 17690 0 vsize: 71964 [startup+80.0051 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 25340 0 0 0 7922 77 0 0 25 0 1 0 970426059 74018816 12742 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18071 12742 301 301 0 17770 0 vsize: 72284 [startup+90.0048 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 25693 0 0 0 8918 81 0 0 25 0 1 0 970426059 74350592 12807 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18152 12807 301 301 0 17851 0 vsize: 72608 [startup+100.005 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 26350 0 0 0 9914 86 0 0 25 0 1 0 970426059 74678272 12888 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18232 12888 301 301 0 17931 0 vsize: 72928 [startup+110.006 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 26780 0 0 0 10911 89 0 0 25 0 1 0 970426059 75415552 13030 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18412 13030 301 301 0 18111 0 vsize: 73648 [startup+120.008 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 27400 0 0 0 11907 93 0 0 25 0 1 0 970426059 75579392 13074 4294967295 134512640 135730672 3221224576 3221223180 134747727 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18452 13074 301 301 0 18151 0 vsize: 73808 [startup+130.008 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 27991 0 0 0 12901 98 0 0 25 0 1 0 970426059 76759040 13377 4294967295 134512640 135730672 3221224576 3221222736 134768836 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18740 13377 301 301 0 18439 0 vsize: 74960 [startup+140.009 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 28420 0 0 0 13896 104 0 0 25 0 1 0 970426059 76308480 13230 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18630 13230 301 301 0 18329 0 vsize: 74520 [startup+150.009 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 29141 0 0 0 14892 108 0 0 25 0 1 0 970426059 77094912 13375 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18822 13375 301 301 0 18521 0 vsize: 75288 [startup+160.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 29450 0 0 0 15887 112 0 0 25 0 1 0 970426059 77094912 13396 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18822 13396 301 301 0 18521 0 vsize: 75288 [startup+170.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 30050 0 0 0 16883 117 0 0 25 0 1 0 970426059 77094912 13420 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18822 13420 301 301 0 18521 0 vsize: 75288 [startup+180.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 30374 0 0 0 17877 122 0 0 25 0 1 0 970426059 77094912 13456 4294967295 134512640 135730672 3221224576 3221223072 134747534 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18822 13456 301 301 0 18521 0 vsize: 75288 [startup+190.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 30739 0 0 0 18871 129 0 0 25 0 1 0 970426059 77455360 13533 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18910 13533 301 301 0 18609 0 vsize: 75640 [startup+200.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 31373 0 0 0 19866 134 0 0 25 0 1 0 970426059 77602816 13591 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18946 13591 301 301 0 18645 0 vsize: 75784 [startup+210.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 31685 0 0 0 20861 139 0 0 25 0 1 0 970426059 86155264 13615 4294967295 134512640 135730672 3221224576 3221222736 134783994 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21034 13615 301 301 0 20733 0 vsize: 84136 [startup+220.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 32026 0 0 0 21858 142 0 0 25 0 1 0 970426059 86319104 13668 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21074 13668 301 301 0 20773 0 vsize: 84296 [startup+230.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 32764 0 0 0 22853 147 0 0 25 0 1 0 970426059 87113728 13830 4294967295 134512640 135730672 3221224576 3221223200 134748106 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21268 13830 301 301 0 20967 0 vsize: 85072 [startup+240.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 33085 0 0 0 23849 152 0 0 25 0 1 0 970426059 87277568 13863 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21308 13863 301 301 0 21007 0 vsize: 85232 [startup+250.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 33678 0 0 0 24843 157 0 0 25 0 1 0 970426059 87277568 13880 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21308 13880 301 301 0 21007 0 vsize: 85232 [startup+260.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 34022 0 0 0 25839 161 0 0 25 0 1 0 970426059 87441408 13936 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21348 13936 301 301 0 21047 0 vsize: 85392 [startup+270.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 34340 0 0 0 26835 166 0 0 25 0 1 0 970426059 87605248 13966 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21388 13966 301 301 0 21087 0 vsize: 85552 [startup+280.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 34953 0 0 0 27831 170 0 0 25 0 1 0 970426059 87605248 14003 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21388 14003 301 301 0 21087 0 vsize: 85552 [startup+290.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 35271 0 0 0 28829 172 0 0 25 0 1 0 970426059 87605248 14033 4294967295 134512640 135730672 3221224576 3221222992 134741599 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21388 14033 301 301 0 21087 0 vsize: 85552 [startup+300.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 35916 0 0 0 29825 176 0 0 25 0 1 0 970426059 87887872 14102 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21457 14102 301 301 0 21156 0 vsize: 85828 [startup+310.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 36240 0 0 0 30822 180 0 0 25 0 1 0 970426059 88051712 14138 4294967295 134512640 135730672 3221224576 3221223224 134748061 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21497 14138 301 301 0 21196 0 vsize: 85988 [startup+320.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 36599 0 0 0 31818 184 0 0 25 0 1 0 970426059 88186880 14209 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21530 14209 301 301 0 21229 0 vsize: 86120 [startup+330.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 36932 0 0 0 32814 188 0 0 25 0 1 0 970426059 88350720 14254 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21570 14254 301 301 0 21269 0 vsize: 86280 [startup+340.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 37544 0 0 0 33809 193 0 0 25 0 1 0 970426059 88514560 14290 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21610 14290 301 301 0 21309 0 vsize: 86440 [startup+350.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 37875 0 0 0 34805 197 0 0 25 0 1 0 970426059 88514560 14333 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21610 14333 301 301 0 21309 0 vsize: 86440 [startup+360.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 38460 0 0 0 35802 201 0 0 25 0 1 0 970426059 88653824 14342 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21644 14342 301 301 0 21343 0 vsize: 86576 [startup+370.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 38790 0 0 0 36799 204 0 0 25 0 1 0 970426059 88653824 14384 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21644 14384 301 301 0 21343 0 vsize: 86576 [startup+380.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 39110 0 0 0 37793 209 0 0 25 0 1 0 970426059 88801280 14416 4294967295 134512640 135730672 3221224576 3221223088 134746488 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21680 14416 301 301 0 21379 0 vsize: 86720 [startup+390.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 39727 0 0 0 38789 214 0 0 25 0 1 0 970426059 88965120 14457 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21720 14457 301 301 0 21419 0 vsize: 86880 [startup+400.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 40037 0 0 0 39786 218 0 0 25 0 1 0 970426059 88965120 14479 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21720 14479 301 301 0 21419 0 vsize: 86880 [startup+410.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 40646 0 0 0 40781 222 0 0 25 0 1 0 970426059 89128960 14512 4294967295 134512640 135730672 3221224576 3221223072 134747555 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21760 14512 301 301 0 21459 0 vsize: 87040 [startup+420.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 40981 0 0 0 41777 227 0 0 25 0 1 0 970426059 89264128 14559 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21793 14559 301 301 0 21492 0 vsize: 87172 [startup+430.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 41602 0 0 0 42772 231 0 0 25 0 1 0 970426059 89460736 14604 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21841 14604 301 301 0 21540 0 vsize: 87364 [startup+440.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 41924 0 0 0 43768 236 0 0 25 0 1 0 970426059 89460736 14638 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21841 14638 301 301 0 21540 0 vsize: 87364 [startup+450.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 42539 0 0 0 44763 241 0 0 25 0 1 0 970426059 89657344 14677 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21889 14677 301 301 0 21588 0 vsize: 87556 [startup+460.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 42851 0 0 0 45760 244 0 0 25 0 1 0 970426059 89657344 14701 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21889 14701 301 301 0 21588 0 vsize: 87556 [startup+470.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 43173 0 0 0 46755 249 0 0 25 0 1 0 970426059 89792512 14735 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21922 14735 301 301 0 21621 0 vsize: 87688 [startup+480.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 43782 0 0 0 47751 254 0 0 25 0 1 0 970426059 89792512 14768 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21922 14768 301 301 0 21621 0 vsize: 87688 [startup+490.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 44099 0 0 0 48746 258 0 0 25 0 1 0 970426059 89792512 14797 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21922 14797 301 301 0 21621 0 vsize: 87688 [startup+500.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 44732 0 0 0 49742 264 0 0 25 0 1 0 970426059 90107904 14854 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21999 14854 301 301 0 21698 0 vsize: 87996 [startup+510.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 45353 0 0 0 50737 268 0 0 25 0 1 0 970426059 91287552 15187 4294967295 134512640 135730672 3221224576 3221222752 134772748 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22287 15187 301 301 0 21986 0 vsize: 89148 [startup+520.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 45662 0 0 0 51733 272 0 0 25 0 1 0 970426059 90107904 14920 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21999 14920 301 301 0 21698 0 vsize: 87996 [startup+530.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 46274 0 0 0 52728 278 0 0 25 0 1 0 970426059 90255360 14956 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22035 14956 301 301 0 21734 0 vsize: 88140 [startup+540.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 46582 0 0 0 53723 283 0 0 25 0 1 0 970426059 90255360 14976 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22035 14976 301 301 0 21734 0 vsize: 88140 [startup+550.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 47202 0 0 0 54718 289 0 0 25 0 1 0 970426059 90415104 15020 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22074 15020 301 301 0 21773 0 vsize: 88296 [startup+560.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 47526 0 0 0 55714 293 0 0 25 0 1 0 970426059 90570752 15056 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22112 15056 301 301 0 21811 0 vsize: 88448 [startup+570.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 48142 0 0 0 56709 298 0 0 25 0 1 0 970426059 90570752 15096 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22112 15096 301 301 0 21811 0 vsize: 88448 [startup+580.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 48751 0 0 0 57703 303 0 0 25 0 1 0 970426059 90701824 15129 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22144 15129 301 301 0 21843 0 vsize: 88576 [startup+590.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 49067 0 0 0 58700 307 0 0 25 0 1 0 970426059 90701824 15157 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22144 15157 301 301 0 21843 0 vsize: 88576 [startup+600.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 49675 0 0 0 59694 313 0 0 25 0 1 0 970426059 90832896 15189 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22176 15189 301 301 0 21875 0 vsize: 88704 [startup+610.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 49998 0 0 0 60691 316 0 0 25 0 1 0 970426059 90832896 15224 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22176 15224 301 301 0 21875 0 vsize: 88704 [startup+620.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 50604 0 0 0 61686 322 0 0 25 0 1 0 970426059 90832896 15254 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22176 15254 301 301 0 21875 0 vsize: 88704 [startup+630.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 50919 0 0 0 62682 326 0 0 25 0 1 0 970426059 90963968 15281 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22208 15281 301 301 0 21907 0 vsize: 88832 [startup+640.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 51533 0 0 0 63679 329 0 0 25 0 1 0 970426059 90963968 15319 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22208 15319 301 301 0 21907 0 vsize: 88832 [startup+650.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 52138 0 0 0 64674 334 0 0 25 0 1 0 970426059 91099136 15348 4294967295 134512640 135730672 3221224576 3221223200 134783305 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22241 15348 301 301 0 21940 0 vsize: 88964 [startup+660.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 52453 0 0 0 65670 339 0 0 25 0 1 0 970426059 91099136 15375 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22241 15375 301 301 0 21940 0 vsize: 88964 [startup+670.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 53054 0 0 0 66665 343 0 0 25 0 1 0 970426059 91099136 15400 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22241 15400 301 301 0 21940 0 vsize: 88964 [startup+680.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 53384 0 0 0 67661 348 0 0 25 0 1 0 970426059 91234304 15442 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22274 15442 301 301 0 21973 0 vsize: 89096 [startup+690.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 53985 0 0 0 68655 354 0 0 25 0 1 0 970426059 91381760 15467 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22310 15467 301 301 0 22009 0 vsize: 89240 [startup+700.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 54312 0 0 0 69652 357 0 0 25 0 1 0 970426059 91381760 15506 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22310 15506 301 301 0 22009 0 vsize: 89240 [startup+710.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 54922 0 0 0 70648 361 0 0 25 0 1 0 970426059 91533312 15540 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22347 15540 301 301 0 22046 0 vsize: 89388 [startup+720.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 55236 0 0 0 71645 365 0 0 25 0 1 0 970426059 91533312 15566 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22347 15566 301 301 0 22046 0 vsize: 89388 [startup+730.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 55847 0 0 0 72640 370 0 0 25 0 1 0 970426059 91533312 15601 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22347 15601 301 301 0 22046 0 vsize: 89388 [startup+740.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 56168 0 0 0 73635 375 0 0 25 0 1 0 970426059 91664384 15634 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22379 15634 301 301 0 22078 0 vsize: 89516 [startup+750.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 56800 0 0 0 74631 379 0 0 25 0 1 0 970426059 91832320 15690 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22420 15690 301 301 0 22119 0 vsize: 89680 [startup+760.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 57392 0 0 0 75626 384 0 0 25 0 1 0 970426059 91832320 15706 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22420 15706 301 301 0 22119 0 vsize: 89680 [startup+770.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 57736 0 0 0 76623 388 0 0 25 0 1 0 970426059 92004352 15762 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22462 15762 301 301 0 22161 0 vsize: 89848 [startup+780.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 58329 0 0 0 77618 392 0 0 25 0 1 0 970426059 92004352 15779 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22462 15779 301 301 0 22161 0 vsize: 89848 [startup+790.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 58637 0 0 0 78614 397 0 0 25 0 1 0 970426059 92004352 15799 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22462 15799 301 301 0 22161 0 vsize: 89848 [startup+800.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 59242 0 0 0 79609 402 0 0 25 0 1 0 970426059 92135424 15828 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22494 15828 301 301 0 22193 0 vsize: 89976 [startup+810.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 59564 0 0 0 80604 407 0 0 25 0 1 0 970426059 92135424 15862 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22494 15862 301 301 0 22193 0 vsize: 89976 [startup+820.031 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 60161 0 0 0 81601 411 0 0 25 0 1 0 970426059 92135424 15883 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22494 15883 301 301 0 22193 0 vsize: 89976 [startup+830.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 60493 0 0 0 82596 415 0 0 25 0 1 0 970426059 92266496 15927 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22526 15927 301 301 0 22225 0 vsize: 90104 [startup+840.031 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 61106 0 0 0 83591 421 0 0 25 0 1 0 970426059 92463104 15964 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22574 15964 301 301 0 22273 0 vsize: 90296 [startup+850.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 61704 0 0 0 84587 425 0 0 25 0 1 0 970426059 93642752 16274 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22862 16274 301 301 0 22561 0 vsize: 91448 [startup+860.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 62027 0 0 0 85584 429 0 0 25 0 1 0 970426059 92463104 16021 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22574 16021 301 301 0 22273 0 vsize: 90296 [startup+870.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 62629 0 0 0 86579 433 0 0 25 0 1 0 970426059 92598272 16047 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22607 16047 301 301 0 22306 0 vsize: 90428 [startup+880.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 62948 0 0 0 87576 436 0 0 25 0 1 0 970426059 92598272 16078 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22607 16078 301 301 0 22306 0 vsize: 90428 [startup+890.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 63566 0 0 0 88573 440 0 0 25 0 1 0 970426059 92778496 16120 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22651 16120 301 301 0 22350 0 vsize: 90604 [startup+900.034 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 63885 0 0 0 89570 443 0 0 25 0 1 0 970426059 92778496 16151 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22651 16151 301 301 0 22350 0 vsize: 90604 [startup+910.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 64478 0 0 0 90566 447 0 0 25 0 1 0 970426059 92778496 16168 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22651 16168 301 301 0 22350 0 vsize: 90604 [startup+920.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 64795 0 0 0 91562 452 0 0 25 0 1 0 970426059 92909568 16197 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22683 16197 301 301 0 22382 0 vsize: 90732 [startup+930.034 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 65400 0 0 0 92558 456 0 0 25 0 1 0 970426059 93089792 16226 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22727 16226 301 301 0 22426 0 vsize: 90908 [startup+940.034 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 65722 0 0 0 93553 461 0 0 25 0 1 0 970426059 93089792 16260 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22727 16260 301 301 0 22426 0 vsize: 90908 [startup+950.034 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 66327 0 0 0 94549 465 0 0 25 0 1 0 970426059 94269440 16577 4294967295 134512640 135730672 3221224576 3221222736 134769180 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23015 16577 301 301 0 22714 0 vsize: 92060 [startup+960.035 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 66651 0 0 0 95544 470 0 0 25 0 1 0 970426059 93224960 16325 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22760 16325 301 301 0 22459 0 vsize: 91040 [startup+970.035 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 66972 0 0 0 96541 473 0 0 25 0 1 0 970426059 93224960 16358 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22760 16358 301 301 0 22459 0 vsize: 91040 [startup+980.035 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 67290 0 0 0 97538 477 0 0 25 0 1 0 970426059 93356032 16388 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22792 16388 301 301 0 22491 0 vsize: 91168 [startup+990.035 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 67605 0 0 0 98533 482 0 0 25 0 1 0 970426059 93356032 16415 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22792 16415 301 301 0 22491 0 vsize: 91168 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 68205 0 0 0 99530 485 0 0 25 0 1 0 970426059 93356032 16439 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22792 16439 301 301 0 22491 0 vsize: 91168 [startup+1010.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 68536 0 0 0 100527 489 0 0 25 0 1 0 970426059 93499392 16482 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22827 16482 301 301 0 22526 0 vsize: 91308 [startup+1020.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 69132 0 0 0 101522 494 0 0 25 0 1 0 970426059 93696000 16502 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22875 16502 301 301 0 22574 0 vsize: 91500 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 69444 0 0 0 102519 497 0 0 25 0 1 0 970426059 93696000 16526 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22875 16526 301 301 0 22574 0 vsize: 91500 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 70051 0 0 0 103515 501 0 0 25 0 1 0 970426059 93696000 16557 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22875 16557 301 301 0 22574 0 vsize: 91500 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 70367 0 0 0 104511 505 0 0 25 0 1 0 970426059 93696000 16585 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22875 16585 301 301 0 22574 0 vsize: 91500 [startup+1060.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 70982 0 0 0 105507 510 0 0 25 0 1 0 970426059 93827072 16624 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22907 16624 301 301 0 22606 0 vsize: 91628 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 71295 0 0 0 106502 514 0 0 25 0 1 0 970426059 93827072 16649 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22907 16649 301 301 0 22606 0 vsize: 91628 [startup+1080.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 71901 0 0 0 107498 518 0 0 25 0 1 0 970426059 93958144 16679 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22939 16679 301 301 0 22638 0 vsize: 91756 [startup+1090.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 72213 0 0 0 108495 522 0 0 25 0 1 0 970426059 93958144 16703 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22939 16703 301 301 0 22638 0 vsize: 91756 [startup+1100.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 72819 0 0 0 109490 527 0 0 25 0 1 0 970426059 93958144 16733 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22939 16733 301 301 0 22638 0 vsize: 91756 [startup+1110.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 73171 0 0 0 110487 530 0 0 25 0 1 0 970426059 94326784 16797 4294967295 134512640 135730672 3221224576 3221223264 134748420 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23029 16797 301 301 0 22728 0 vsize: 92116 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 73803 0 0 0 111482 535 0 0 25 0 1 0 970426059 94523392 16853 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23077 16853 301 301 0 22776 0 vsize: 92308 [startup+1130.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 74110 0 0 0 112477 540 0 0 25 0 1 0 970426059 94523392 16872 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23077 16872 301 301 0 22776 0 vsize: 92308 [startup+1140.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 74714 0 0 0 113473 544 0 0 25 0 1 0 970426059 94523392 16900 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23077 16900 301 301 0 22776 0 vsize: 92308 [startup+1150.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 75017 0 0 0 114470 547 0 0 25 0 1 0 970426059 94523392 16915 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23077 16915 301 301 0 22776 0 vsize: 92308 [startup+1160.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 75341 0 0 0 115467 551 0 0 25 0 1 0 970426059 94687232 16951 4294967295 134512640 135730672 3221224576 3221223088 134746523 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23117 16951 301 301 0 22816 0 vsize: 92468 [startup+1170.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 75939 0 0 0 116462 556 0 0 25 0 1 0 970426059 94687232 16973 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23117 16973 301 301 0 22816 0 vsize: 92468 [startup+1180.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 76257 0 0 0 117459 560 0 0 25 0 1 0 970426059 94818304 17003 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23149 17003 301 301 0 22848 0 vsize: 92596 [startup+1190.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 76570 0 0 0 118455 564 0 0 25 0 1 0 970426059 94818304 17028 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23149 17028 301 301 0 22848 0 vsize: 92596 [startup+1200.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 13369 Raw data (stat): 13369 (pb2sat-v2) R 13368 7266 7265 0 -1 0 77183 0 0 0 119451 568 0 0 25 0 1 0 970426059 94973952 17065 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23187 17065 301 301 0 22886 0 vsize: 92748 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.43 s] Raw data (loadavg): 0.99 0.98 0.92 1/54 13369 Raw data (stat): 13369 (pb2sat-v2) Z 13368 7266 7265 0 -1 12 77185 0 0 0 119487 571 0 0 25 0 1 0 970426059 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1200.43 CPU time (s): 1200.59 CPU user time (s): 1194.87 CPU system time (s): 5.71513 CPU usage (%): 100.013 Max. virtual memory (Kb): 92748 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####